《计算机组成原理》（运算器）多媒体模拟实验教学

介绍如何应用计算机设计《计算机组成原理》的实验教学，应用C 编写功能函数来模拟各种芯片的工作，使同学们在学习中更直观的了解芯片的工作。所介绍的程序是对运算功能发生器(74LS181)的模拟编程，完成32种算术逻辑运算实验。     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

自动量程转换电路设计

介绍了双积分式 A/D转换器 CC1 44 3 3在宽范围电压测量中自动量程转换电路的设计及工作原理 .通过多路模拟开关与运放的组合设置了多个电压量程 ,应用 CC1 44 3 3的超欠量程信息控制双向移位寄存器的移位操作 ,获得了合适的量程标志 .通过量程标志对多路模拟开关及显示器小数点位置的控制 ,实现了量程的自动切换及表示 .应用辅助门电路及数据选择器解决了量程标志中边界问题及无效量程标志问题 .设计的电路具有测量电压范围宽、工作稳定可靠、显示直观等优点 .     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

可编程控制器在供热网中的应用

论述了可编程序控制器的工作原理及结构，结合实际分析了它具体的工作过程，介绍了可编程序控制器在供热网中热力站本地控制器、便携式流量计等方面的应用，指出了利用可编程PLC实时、多任务的特点对热力站进行调控的效果。     

渐进决策模型在户籍制度改革中的应用--以上海“居住证转户籍”政策为例

上海的户籍制度改革体现了渐进决策理论模型的特征，通过调整户籍政策将附着在户籍制度上的利益进行合理调整与再分配，从而达到特定时期内不同利益群体间的利益均衡。该文拟以居住证时代为背景，通过剖析上海“居住证转户籍”政策来阐述渐进决策模型在上海户籍制度改革中的运用。     

语域三变量的教学模式在大学英语精读教学中的运用

将韩礼德的语域理论应用于大学英语精读教学的三变量分析法教学模式,可以弥补外语教学中过分关注语言形式的正确性而忽略交际语言的得体性这一缺陷,帮助培养学生运用得体语言进行交际的能力,即根据场合正确选择语域的能力.     

税控收款机Flash文件系统的设计与实现

针对税控收款机设计了一种Flash文件系统,通过Flash空间分配实现方式优化、断电保护和空间回收等关键技术,并结合嵌入式数据库设计思想,向用户提供方便可靠的数据导入导出及日常检索功能,从而为税控收款机的推广提供了系统软件支持。     

军用PCS系统中移动基站的位置登记策略研究

移动基站技术是军用PCS系统的关键技术之一。在未来的战争中，通信基站根据需要可以自由移动，并有可能带大量用户共同移动，基站移动到新地方后能够快速和网络恢复连接，建立通信。基站的可移动性带来的关键问题是如何在网络中对移动基站进行拓扑更新和对用户群的位置进行快速有效登记。简要介绍了移动基站技术的概念后，以第二代数字移动通信系统GSM网络为基础，对移动基站的拓扑更新和用户群的成组位置登记提出了新的策略，补充和完善了原有的协议，使得新的协议更能够适应基站移动性的需求。     

最优状态编码研究

探讨了状态机电路最优状态编码的问题。研究了状态编码的成本及寄存器最优、组合逻辑最优之间的关系，介绍了3种常用的编码方法。通过实验分析差异。