前言：中文期刊网精心挑选了数字逻辑论文范文供你参考和学习，希望我们的参考范文能激发你的文章创作灵感，欢迎阅读。
数字逻辑论文范文1
在电子商务领域里，计算机网络的优势被充分的发挥出来。所谓的电子商务，就是建立了一个虚拟的交易市场，这个市场不受时间和空间的限制，使得交易能够实时进行，大大减少了企业的成本，提升了交易效率。在计算机技术中，信息传递的实时性，将地域和时间限制打破，另外，再加上互联网成本低等优点，因而，使得计算技术成为电子商务中的重要载体。当前，互联网发展方兴未艾。互联网和计算机技术联合起来，应用于电子商务领域，大大提升了现代电子商务的发展速度，同时，也使得电子商务活动更加的便捷安全，这就这正的实现了电子商务和计算机技术之间的双赢以及互通。
二、电子商务中的信息安全威胁分析
电子商务信息安全面临的主要威胁分为以下几个方面：
1、偷窃信息
在电子商务的模式里，信息作为一种非常重要的资源，关系着交易双方能否顺利实现交易。这些重要的信息主要包括注册的账号、密码以及产品的数量和价格等。一些人为了获取利益，经常通过互联网或者公用电话，再或者在电磁波能够辐射的范围内安装接受装置，来偷窃商家和用户机密信息。
2、破坏网上交易信息
电子商务活动由于是在网络上进行的，黑客破坏的现象时常发生。一些手段较高的黑客将交易双方的交易信息的规律和格式摸清之后，会使用各种手段来侵入商家以及客户的电脑，将正在传输的机密数据进行篡改，或者数据达到目的地后，侵入对方电脑篡改信息，严重破坏了商家与客户的正常交易。
3、制造虚假邮件信息
一些不法之徒在掌握了客户和商家的数据格式信息之后，不但对机密信息进行恶意的改动，而且还会运用技术手段冒充用户的身份获取信息或者发送虚假的信息。由于网络具有虚拟的特性，使用者很难分辨信息的真假，一旦出现这样的情况，就会给交易双方造成极大的浅析计算机在电子商务中的应用张在菊山东广电网络有限公司历城分公司经济损失。
三、计算机技术在电子商务中的应用分析
3.1数据加密技术的应用
在电子商务系统中，数据加密技术是一种非常重要的技术。加密可分为对称加密和非对称加密。当前，许多机构已经使用PKI技术对原有的加密技术进行了完善，大大提升了电子商务运用中信息安全的安全度。PKI技术中，密匙一般分为公开密匙以及非公开密匙。人们可以使用公开密匙来对电子商务活动中的信息进行加密，使用另一把密匙进行解密。这样交易的双方掌握非公开密匙，就可以保证交易信息的安全了。
3.2反病毒系统的应用
计算机中的防火墙和加密措施虽然能够起到防范非法侵入的风险，但人们依旧对信息的安全感到不安。当前，携带各种病毒的文件越来越多，对计算机的安全威胁越来越大。为此，研究人员可以根据当前计算机病毒的现状，设置反病毒系统，从而更好的保证信息的安全。电子商务中，反病毒系统的应用，能够大大提升双方交易的安全性。
3.3数字签名技术的应用
数字逻辑论文范文2
基于4G网络的特点，广大师生会在未来感受到全面的4G信息化应用服务。例如校园的自习教室查询与图书馆的图书的借阅将会更加方便快捷；可以使用手机参加课堂教学；及时对患病师生进行远程医疗，移动救护车会诊；在课余生活中减少看全高清与直播赛事的缓冲；娱乐时玩耍大型高清游戏反应更快等等。未来的4G通信网络技术会给广大师生带来通畅无阻的沟通自由，智能与个性将成为未来4G应用发展的新趋势。在这些广泛的应用之中，高校4G通信网络技术在高校图书馆的信息服务体系中的应用独占鳌头。
1.1利用4G技术开发移动图书馆多媒体资源
浏览网站已经成为当代师生获取信息最主要的途径，但由于以往的3G网络资费较高，数据传输慢等多方面的因素很多师生仅仅能够访问文字信息。图书馆与其他媒介提供的多媒体资源就被极大地浪费，很多对学习有用的资源没有被高效地利用。基于此种现象，高校图书馆可以利用4G网络技术将图书馆内部的多媒体资料上传到WAP网站，供给广大师生下载和在线浏览，让高校图书馆的资源被最大化地利用起来。
1.2开展面向4G师生用户的信息推送服务
随着科技的越发完善与人性化，推送服务已经成为生活中必不可少的一个环节。图书馆的工作人员定期把管内的文献资源变动情况（例如新书预告，馆藏文献的新增与注销，数据库更新等）、将要举办的讲座或者一些企业的宣讲等信息以电子信息的方式推送到师生的移动终端上。加强图书馆与师生的良性互动，使师生更充分地把图书馆利用起来。
1.3利用4G的可视通话业务开展图书馆咨询服务
通常，图书馆咨询业务是读者到图书馆与工作人员直接进行交流。这极大的限制了师生读者的咨询量，降低了办事效率。而利用4G的可视通话业务开展图书馆咨询服务，可以使咨询过程变得方便快捷灵活又直观生动准确，把远距离的交谈效果转化为面对面交谈的效果，减少了出现传统文字信息咨询理解不当的局面，节省了师生读者往返图书馆的时间，提高了办事效率。
1.4建立4G应用平台的手机图书馆联盟
手机图书馆联盟基于手机信息绑定与使用范围广的特点，可以良好的解决师生身份信息的识别与认证，有关文献的查阅，控制超支借阅费用等一些图书馆普遍存在的问题。并且，各大高校图书馆将各自的4G平台连接起来，形成4G图书馆联盟体系，制定统一的使用原则与标准，服务于更多的读者。联盟体系可以全面有效的使用图书馆馆藏资源，节省人力资源建设及人员服务费用，更有利于管理的统一化。
1.5基于手持设备平台资源的开发与整合
手持设备平台资源是指可以全文浏览与检索下载的移动图书馆系统。其既可以对各类数据进行检索，又可以摆脱地理与物理的限制，使图书馆的服务范围覆盖更广，更有利于高校师生的生活学习。个性化的定制与便捷性的浏览信息已经成为手持设备平台最大的特点，相信在不久的将来，基于手持设备平台资源的开发与整合会在高校更广泛的推广开来。
1.6利用4G设备对馆藏图书进行定位查找
目前高校图书馆普遍存在馆藏多，结构复杂，师生读者查找不便而且费时的问题。基于此问题的研究，笔者认为可以利用4G设备可以轻松实现馆藏图书的定位查找。通过GIS（地理信息系统）原理制定书目位置信息数据库，4G校园用户检索请求发出后，快速制定一套路线图与所在的具置，包括楼层，藏室，架位，架层，等相关信息，反馈回手机终端上。极大地节省了不熟悉图书馆结构的师生读者宝贵的时间。
2结语
数字逻辑论文范文3
关键词:数字网络语言；应用；使用要求；管理
随着科学技术与信息技术的发展和进步，语言教学己从电气化时代、自动化时代走向了网络信息化时代。与此同时作为语言教学基地的语音室也在飞速发展，为教学带来了新的变革。
数字网络语言实验室技术已广泛运用于外语教学，它为外语教学模式的改革拓宽了思路。数字网络语言实验室作为一种外语教学中的现代化工具，是当前最先进、最有潜力、最有发展前景的现代化教育手段之一，为外语教学提供了新理念，给外语课堂改革注入了新鲜血液，为改变传统的注重认知、灌输、封闭、以“教师为中心”的外语课堂模式提供了新思路，为实现培养学生运用语言的能力和交际能力的目标奠定了良好的基础。
一、数字网络语言实验室的应用
目前我校正使用LBD2002-SV型数字网络语言实验室，为外语课堂教学提供了完善的解决方案。它采用专业语音网络技术，彻底解决了语音延迟、断裂问题，具有高保真音质，保证了课堂教学、自主学习、标准化测试、教学资源库、教学管理的可靠、实用和专业。实现了多种格式之间的转换；实现了教学时声、文和图像的同步；实现了自主VOD点播和图片点播。满足专业的听、说、读、写、译需求，也使标准的无纸化考试成为可能。
1.语言实验室的课堂教学。数字网络语言实验室将模拟语言实验室及网络功能融合在一起，使广播教学、对讲、监听、示范、讨论等传统的语言实验室的教学手段得以更好地实现，提高了教学效率。全面的教学方式、先进的教学手段、丰富的教学资源为教师、学生带来新鲜、理想的教与学感受。教师通过课堂教学功能可以进行广播，播放资料库资料，达到语音素材声文同步、按句处理，清晰明了地呈现给学生，完全符合语言学习的习惯。同时语言实验室也能播放外部设施资料，可以通过广播与学生对话，分组讨论和教案播放等。课堂广播教学时，每位学生自主调节收听进度，达到句句听懂，人人听懂。教师利用教师机界面显示学生收听进度，实现因人施教、因学施教。另外，数字网络语言实验室支持一般客观题考试、口语录音考试、写作考试三种考试模式。这样教师可以实时地了解学生听课的进度情况和自己的教学效果。数字网络语言实验室可联入局域网，在独立操作的同时，又能与数个教室联网进行教学。
2.开发语言实验室的教育资源，实现语音室利用率的最大化。数字网络语言实验室建设的目的最终体现在使用效益上，构建全面开放的语言实验室是实现语言实验室可持续发展的重点。现代语言实验室一般都配备了强大的自主学习功能，并提供了丰富的学习资料以及学习材料，我们在保障正常的教学服务外，可利用晚上及周末时间由管理人员值班或由学生轮流值班对学生开放，吸引学生自主地参加到语言实验室的实践活动中，给学生更大的空间和充分的时间去学习感兴趣的知识，从而激发学生的学习积极性，使学生在轻松愉悦的氛围中学习英语，真正感受到身边的外语氛围，不断提高自己的外语水平。因此，通过语言实验室的开放，能提高设备利用率，最大限度地发挥资源优势，为学生主动获取实践知识与发挥潜能提供良好的环境，同时也为老师提供了更大的科研空间。
3.数字网络语音室系统无纸化考试的功能。无纸考试系统具有专业的考试题库、周到的阅卷系统、详细的试题分析，为学校提供整套可行的专业考试实施环境。听力考试时，利用录音卡座播放考题或在本地资料库中调用考题，学生通过终端按键作答，试毕，系统自动评卷，其中为教师提供多种评估方式并将学生的考试成绩存档，以备复查，并提供难度系数、熟练程度、成绩统计等数据处理。口语考试时，针对原有传统型口语考试因录音、存储与阅卷过程极为复杂的现状，该系统推出网络化口语考试，极大地提高了考试效率。考试方式既可采用单个考生独立进行，亦可通过两两分组或三三分组进行考试。写作考试更顺畅，直接上机操作，真正发挥标准化无纸考试的效用。
二、数字网络语言实验室使用要求
1.要求实验人员精通使用各项功能，并且要求教师也能比较娴熟地使用。在每学期开始，都要对相关的教师进行现场培训，让每一位教师都能实际操作语言实验室的教学设备，并且把各设备的操作步骤张贴到每间教室的教师机监控台上，使每位教师都能正确使用不同功能的多媒体语言实验设备，熟练掌握操作方法，才能保证最有效地发挥语言实验室的作用。由于温度对机器影响是多方面的，它不仅会影响机器的使用寿命，而且还影响学生的听课质量。若在夏天使用投影仪，由于室内温度较高，投影仪容易出现停机，加之灰尘不利于机器的散热，很容易影响设备的正常运行。因此，关注温度、清洁度等对设备的影响显得非常重要。要求实验人员要保证这些设备的清洁。
2.教师应当尽量把语言教学系统的各项功能运用于教学中。数字网络语言实验室由多种现代教学设备组合而成。在课堂上，教师为学生选择播放内容和形式是主动的，是学习过程的指导者，而学生的接受是被动的。教师使用教学设备的熟练程度直接影响到教学的质量和效果。在使用过程中，有的教师往往为了避免设备操作的麻烦，把语言实验室当作一般录音机设备使用，这不仅大大削弱了语言实验室教学功能的利用和教学效益的提高，而且使课堂气氛死气沉沉。同时，有些教师为了避免由于误操作而产生的设备故障，对语言实验室的复杂教学功能望而却步，只使用几个常用的功能，造成高档设备低档使用。因此，教师一定要了解教学设备各项功能的作用，并能够正确地操作。
3.教师应当丰富教学形式，合理选择教学媒体。使用数字网络语言实验室上课，由于信息量大，节奏快，方式灵活多样，所以应避免采用一种方式、一种教材、一种媒体进行单调而重复的教学模式。教师应根据不同学生的情况选择不同的教学方式和教材内容，激发学生学习的兴趣和自主学习的热情。按照课堂教学实际需要，教师可以选择录像、视频演示、录音机等多种手段，更好地发挥数字化设备的优势，达到提高教学水平的目的。
三、数字网络语言实验室的管理
语言实验室的管理包括了机器设备的管理、供电管理、环境卫生管理、安全系统保障等，有一定的技术性和复杂性。要有科学完善的管理方法和制度才能发挥实验室的作用。管理的目的:一是提高教学质量和效率；二是提高仪器设备的利用率，充分发挥投资效益，避免仪器设备造成资金浪费，即管好、用好、维护好教学仪器设备；三是提高实验室人员素质和工作积极性，维护正常的外语教学实验秩序。
1.完善语言实验室的各项管理制度。制定合理的管理制度是语言实验室管理走向规范化、科学化的重要保证，语言实验室设备是开展语言教学的物质基础，只有科学管理才能充分发挥其作用，为了在管理过程中有章可循，为了保证教学秩序的正常进行，首先要建立和完善一系列规章制度。语言实验室的管理制度包括:实验室管理制度、大型仪器安装验收管理制度、工作人员岗位责任制度、仪器设备使用操作规程、仪器维护保养制度、实验室使用前后交接制度、语言教学设备使用与维护规范、实验室安全卫生管理办法、实验室学生守则、实验管理标准、实验室人员工作标准等。制定必要的规章制度是实验室人员管理和设备管理的必要依据，认真执行这些制度可极大提高实验室设备的完好率、使用率，强化管理人员和教师的职责，从而使设备的优势得以最大限度的发挥。
2.强化语言实验室设备日常维护管理。语言实验室的设备多，做好相关资料的收集和整理，以便设备维护和质量鉴定，将实验设备按照功能不同分类，并归纳整理好相关的资料。如，设备卡片、产品合格证、说明书、保修卡等。对损坏的设备及时提出报修申请，要建立和完善相应的制度，如《仪器设备的使用管理制度》、《仪器设备损坏的赔偿制度》等；并认真填写设备损坏维修记录。同时，实验管理人员对使用过程中出现的故障应及时排除，保证课程的顺利完成。每次上完课后，任课教师均应认真填写语言实验室使用记录，以便于实验管理人员及时了解实验室的设备运行情况并及时解决出现的问题。管理人员应定期检查各项设备的使用情况，及时排除故障和隐患，并对设备进行定期的保养和维护，保证语言实验室内各项设备及其附件的功能始终处于良好的工作状态，以确保教学的顺利进行。
3.实施全员管理新模式。我们应严格执行教师上机前的培训制度，未经培训的教师不准上机操作，不仅要重视对教师的操作培训工作，而且还应向他们传授一些排除简单故障的方法，以增强他们处理突发故障的能力。要求教师在使用设备后认真填写设备使用情况表，实行教师设备使用管理责任制。学生是语言实验室的主要使用者，对学生必须强调保持语言实验室清洁的重要性，实行固定座位，便于跟踪管理和责任追查。对于第一次进入语言实验室上课的学生，要先让他们熟练掌握学生终端各种功能的方法和技巧，充分强调语言实验室管理的各项规章制度。实验人员要提高业务素质，加强科学技术基础知识的学习，及时填写好《仪器设备损坏维修记录本》及《实验室安全卫生检查记录本》。除具备熟练专业技能外，还要有一定的敬业精神，要有高度的责任心，满腔热情的态度，树立一切为教学服务的思想，做好课前一切准备工作，课后还要查看每个教室，检查有无问题，如发现问题要及时解决，保证教学工作正常进行。
四、结束语
数字网络语言实验室是实施外语教学的重要场所，是提高外语教学水平的重要保障。语言实验室的应用与管理是一个十分复杂的系统。教师要不断探索数字网络语音室教学系统的各种新功能，充分合理利用教学资源，发挥设备技术的优势，提高教学质量和教学效果。语言实验室的管理更是要求实验人员有强烈的责任感和事业心，以主人翁的精神全身心投入到自己的工作中，保证语言实验室的正常运行，提高语音室的利用率和使用寿命，最终达到提高外语教学水平的目标。
参考文献:
[1]任桂英，崔明子.简谈数字网络语音室的应用与管理[J].中国轻工教育，2004，(4).
数字逻辑论文范文4
1）脉冲压缩。
采用脉冲压缩技术的就是通过发射信号在总功率不变的条件下兼顾高的距离分辨率将时域加宽降低其峰值功率。因加宽了其时域对于电子侦察系统就难以实现对捕获信号线性匹配和相位匹配，增加信号抗干扰能力和反侦察能力。
2）空间选择。
对于接收系统的抗干扰就是要尽量避免被敌方侦察到和干扰，以便能更好地发挥设备的性能。让敌方的干扰信号进入我方接收设备的机会减少，发射天线的波束控制就是实现一个空间滤波，就是只有当信号在滤波通道内才可接收，而以外就会被滤除掉。天线旁瓣抑制技术就是空间滤波的主要环节，因现代的干扰信号发射功率都比较大，甚至超过了有用信号的强度，主瓣抑制掉的信号多会从天线旁瓣进行接收。采用多天线接收，主辅相成，利用调节辅助天线的幅度、相位和增益等指标，从而对有源干扰进行归零，达到抗干扰目的。
3）调频技术。
频率捷变一般指辐射源发射的信号载频在可预见或随机的方式下进行频率跳变，使得信号难以干扰。发射信号、本振信号、相位信号同时进行变化且保持关系稳定的全相参辐射源是目前最有效的抗干扰技术。
2网络化管理
抗干扰技术有很多种，为实现对特定的信号最有效的抗干扰，从辐射源的发射到我方系统的接收都应有相应、有效的管理。数据链网络控制站就是一种网络控制的核心。
1）网络规划。
为实现给定参与单元预计完成的工作下，设计出数据链网络链接平台，使所有单元可通过其进行相互通信。该网络在满足系统电磁兼容条件下尽量完成传输量化和链接性要求。在约束条件多的情况下，进行网络的规划是网络管理的关键，所以设计网络拓扑使得其可靠性最大已是其发展的必然趋势。
2）网络工作状态。
对于多种性质的干扰一般都会有相应的抗干扰技术，所以如何有效的完成相应的对策确保网路调控的高效性和可靠性，必须监视网络运行情况，其有多种管理，功能管理：对敌方干扰信号进行属性分辨，调控有源系统进行抗干扰的调试控制。故障管理：对网络中出现的故障现象进行判断、定位、诊断等。性能管理：分析评价任务完成的效果，规划改善系统性能。
3）网络运行管理。
对抗干扰数据资源通过网络运行管理，可使其发挥最大的效率。不同的战场拥有不同的数据资源、不同的网络结构和特征。其网络运行管理也是根据不同的环境进行不同调控，对于敌方各种辐射源干扰，我方将通过网络系统程序调用相应的抗干扰方案进行应对。网络工作站带有多功能显示器负责监视各个网络终端的工作完成状况，管理和调控每个数字终端的工作。如发现检测出一些妨碍相关作战的问题，数据系统自动提醒操作者是什么问题和潜在问题，并自动记录用于以后排故或进行分析。
4）网络控制与设计。
网络管理的核心就是要保证各个设备都能有效的工作，如果一台设备无法识别终端命令，找不到地址，那么其相关的设备也会瘫痪，不能传送信息。设备与设备之间良好的传输，保证信息的完整、准确地交换战术数据是决定战争胜负的关键因素。因此网络控制终端站的系统控制单元必须是所有系统中最为先进的，与其他系统的通信状况也是最佳的。其在接收位置上也应能够直接接收刚入网的任何一个设备的属性信息。根据定义与环境的考虑，在满足各个设备电磁兼容的条件下，在设计网络时应进行系统的部署，好的网络控制是离不开健全的网络规划的，规划最先要根据我方的数据属性进行编制，不同的辐射源信号应给与相应的抗干扰方案，其次考虑客观环境的影响，如网络平台数量、任务管理、活动区域、入网设备、网密要求、网络容量分配等等，使得网络最终能够满足作战需求的传输容量和终端与终端的连通性。
3总结
数字逻辑论文范文5
信息技术和高校电子商务课程之间相互结合，是将信息技术以工具形式和课程相互融合一体，是课程教学体系中非常重要要素，可以成为教师教学工具，学习学习重要方法，重要教材。在教学全部过程中应该把信息技术资源，人力资源和教学课程有机集合起来，并在教学方法，课程内容，教师实施和自然融为一体，建立一个新的课程教学模式，同时创建新的教学方式。在整合两者之间关系同时，要体现出信息技术和电子商务课程双向性，也就是信息技术对于电子商务课程推动作用。信息技术如何进行改造，课程如何进行设立，商务课程是创新中对于信息技术新的开发，但是这也是一个非常关键核心问题，设计到如何建立信息文化背景下的对于信息课程整合新形式，吐过利用课程进行信息技术教育工作，是非常重要内同，要求对于变革人传统教育思想观念，教育教学新方法都有着一定促进作用。这就是要求在教学中能够不断以人为本，强调人的独立性，主动性和合作性，是建立新型教学环境重要保障。
2信息技术如何更好与电子商务教学相互结合
如何更好的将信息技术和电子商务教学相互结合，理论上非常一致看法是要整合出一个有机整体，也就是电子商务课程和信息技术整合能够有自身特点，应该能够向着横向和纵向两个方面都开始进行探索。也就是学生在学习电子商务课程中，要进行信息技术培训，使得两者之间相互交叉学习。另一个方面就是学生在学习过程中要能够进行深层次培养信息技术素养，电子商务和信息技术相互结合主要表现为几个方面，第一，认识信息技术知识，比如对于物理化学课程学习；第二，应用信息技术，要求在教学中能够做到个别辅助教学管理，教师要充分运用计算机信息技术手段进行教学，从而提高学生的信息技术能力；第三就是开发信息技术，要求进行信息技术基础教学同时，还要对于课程进行改革，比如可以利用传统模式，粉笔，黑板和电视等方式进行教学；第四要融合信息技术，对于整个教学技术阶段要进行全面改革。
3对于信息技术和高校电子商务教学深入研究
运用信息技术手段进行教学模式，要具备很多条件，比如备课，上课，练习等很多方式，信息技术作为电子商务教学重要工具，可以在学生的组织领导下进行学习，充分利用信息技术为电子商务教学提供非常好服务，电子商务课程要充分加强现代教育思想观念。如何更好将信息技术和高校电子商务教学相互结合，具体方式有那些。第一，对于基础教学实现群体教学模式，使得学生成为一个有机共同体，在现实社会中，商务活动实质流是指的是通过团队学习，建立一个共同体进行教学，比如可以建立一个网络化平台进行相互学习。这样就可以了解到其他同学观点看法，不仅可以相互促进，同时还可以加强相互之间信任和了解，充分利用学院网络进行相互学习，加强相互之间思想碰撞，极大促进团队协作能力，同时建立起鼓励机制，推选出此近期非常好的创新主体进行学习，正确利用好互联网技术，比如大学生常用网络工具，电子商务发展平台，新网络时代电子商务发展趋势，同时可以提出新的视角进行学习，引导学生树立正确网络观念，促使大学生科学利用网络信息技术，提高对于信息技术掌握能力。还可以进行主体论坛学习，建立一个非常好的学习共同体，注册一个帐号或者一个信息，然后进行及时回复，还可以上传图片，声音，视频和动画等很多方式，遇到问题还可以想共同学习帐号进行及时求助，这些都是可以很好提高高校大学生信息技术应用能力。所以说在高校建立校园网络并建立主体论坛可以针对不同学生进行共同学习，也可以使得很多教师加入进来，把自己课程想大家尽享相互分享，还可以进行异地授课活动等等很多方式，都是可以把信息及时很好应用到高校电子商务教学中，同时在教学课程中，最重要方式就是促进同学之间相互交流和学习，提高学习效率，激发学生学习兴趣，都是非常值得推崇的重要方式。所以说把网络信息技术应用电子商务教学中是非常重要一项教学模式体验。随着各种信息技术不断发展完善，电子商务技术也在不断成熟和进步，尽管网络使得电子商务发展遭受到巨大冲击，但是不论是从什么角度上说，电子商务都是稳步向前不断发展之中，也不断被应用到生活中各个领域建设中。对于无需双方会面就是进行相互交易的电子商务发展模式已经是现代社会消费者和生产者都竭力进行推广和应用的交易渠道，对于目前发展模式来讲，高校电子商务也存在很多问题，需要一步一步进行培养和学习，这就需要更多人力和物力付出。
4结论
数字逻辑论文范文6
关键词：硬件描述语言，VerilogHDL，ITL，Tempura
1、引言
几十年前，人们所做的复杂数字逻辑电路及系统的设计规模比较小也比较简单，其中所用到的FPGA或ASIC设计工作往往只能采用厂家提供的专用电路图输入工具来进行。为了满足设计性能指标，工程师往往需要花好几天或更长的时间进行艰苦的手工布线。硕士论文，ITL。工程师还得非常熟悉所选器件的内部结构和外部引线特点，才能达到设计要求。这种低水平的设计方法大大延长了设计周期。
近年来，FPGA 和ASIC 的设计在规模和复杂度方面不断取得进展，而对逻辑电路及系统的设计的时间要求却越来越短。硕士论文，ITL。这些因素促使设计人员采用高水准的设计工具，如：硬件描述语言（Verilog HDL 或VHDL）来进行设计。
然而，Verilog HDL 硬件描述语言缺乏对于电路逻辑关系描述和分析的形式化方法，尤其是缺乏基于时序的逻辑描述。这对于化简和检验正确性都带来了麻烦。而ITL语言描述则提供了另一套基于时序的形式化解决方法，对Verilog HDL 硬件描述语言起到了很好的补充作用。
2、ITL简介
区间时态逻辑(interval Temporal logic，ITL)是一种用于描述离散区间或时段的逻辑系统，它是时态逻辑的一个分支。我们可以把一个区间(interval)看作是一个有限的状态序列;这里的状态就是从所有变量到其值的映射。区间的长度定义为该区间内状态数减 1。因此，只含有一个状态的区间的长度为0。一个区间s0… sn 的长度是n。一个只有单个状态的区间的长度是0。
ITL 的基本表达式和公式的语法如下所示
表达式：
公式：
其中，μ为一个整数值;a 为静态变量(在区间内不改变);A 为状态变量(在区间内
值可变);g 是函数符号;p 为谓词。硕士论文，ITL。下面我们以RS 触发器为例来说明ITL的使用：
一个RS 触发器是一个简单的储存和保持一位数据的记忆单元。两个输入决定了互补的输出和。S（Set）为置一，R（Reset）为置零。
图1 RS 触发器结构图图2 RS 触发器的真值表
按照传统的方法，根据真值表列出输入输出变量的逻辑方程，得到：
Qn+1=S+￢R*Qn
S*R=0
而用 ITL描述可以直接把逻辑关系（动作、谓词）写出来，再化简：
把时间等参数变量考虑进去，我们就可以得到RS触发器的结构方程：
3、Tempura
用ITL 能够方便准确地描述基于时序的数字电路，然而缺乏可执行能力，运算公式不能直接进行计算机仿真和验证。Tempura 则是ITL 强有力的可编程可执行的工具集，大大增强了ITL 的实用性。Tempura 是一种可直接执行的数字电路时序逻辑设计方式，是 ITL 的一个可执行子集。发展到今天，Tempura 已经能够直接在Windows 环境下运行。硕士论文，ITL。只要熟悉ITL 的语句，对照着Tempura 自带的指导工具，使语法公式一一对应就可以进行编程和仿真，十分方便。硕士论文，ITL。
下面我们还是以RS 触发器为例来说明
用VerilogHDL采用门级描述为：
moduleRS_FF(R,S,Q,QB);
input R,S;
output Q,QB;
nor (Q,R,QB);
nor (QB,S,Q);
endmodule
用VerilogHDL采用行为描述为：
moduleRS_FF(R,S,Q,QB);
input R,S;
output Q,QB;
reg Q;
assign QB=~Q;
always@(R or S)
case({R,S})
2'b01:Q<=1;
2'b10:Q<=0;
2'b11:Q<=1'bx;
endcase
endmodule
而根据前文所述的用 ITL描述的RS触发器改写成Tempura 语言，代码如下：
为了检验设计结果，需要输入仿真参量，代码如下：
(S=0) and (R=0)and (Q=0) and (Qbar=0) and
for lis<<1,0>,<0,0>,<0,1>,<1,0>,<0,0>>
do (len(5)and (Sgets l0) and (R gets l1)
)
and
(S,R)latch(Q,Qbar)
仿真结果如下，和真值表一样。
图3 仿真结果
传统的数字电路设计方法繁琐且不严谨，而且往往缺乏时序逻辑的描述能力。针对这个问题，HDL的使用为硬件设计师提供了一个非常好的分析和设计数字硬件的工具，也为沟通软件和硬件提供了一种方法。然而，这些 HDL 一般是为模拟数字硬件的功能而设计，往往比较适用于较低层级的设计。同时传统的HDL 设计方法缺乏对数字硬件推理和证明的机制；对行为描述的能力较弱，缺乏形式设计或验证的支持工具。形式化的设计方法则提供另一种强有力的数字电路描述。在软件工程中，形式方法已经取得一些引人注目的成就。但是在硬件设计领域，形式方法的应用研究和成就仍然在起步阶段。在国内的面向市场的数字电路设计，情况更是这样，形式方法的使用很是有限。ITL 等形式方法（特别是配以成熟高效的可执行工具，如Tempura）， 将有效提高我们描述和设计数字电路。硕士论文，ITL。正如本文开头所说，在硬件设计速度赶不上软件速度的今天，形式方法将给我们带来一种新的突破思路，这在未来的电路设计领域将有广阔的应用和发展空间。
参考文献
[1]Benjamin C. Mosszkowski. ITL HandbookDecember 6, 2007
[2]Antonio Cau. Interval Temporal Logic Anot so short introduction 2009
[3]舒风笛。《面向嵌入式实时软件的需求规约语言及检测方法》，武汉大学，2004
[4]夏宇闻。《Verilog 数字系统设计教程》，2008年，北京：北京航天航空大学出版社。
