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

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

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

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

进位反馈移位寄存器状态图分布的进一步研究

进一步研究了以奇数q为连接数的FCSR的所有q 1个周期状态的状态图的圈长和计数问题，使得FCSR的状态图分布与LFSR的状态图分布一样清晰。     

自动量程转换电路设计

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

SRAM的一种可测性设计

用ETCO算法对SRAM进行了内建自测试设计．首先说明了设计的原理，进而对电路中所用的各个单元电路进行了设计，主要包括地址计数器、数据计数器和BIST控制器等．设计出的电路可针对具体的故障模型设置相应的测试长度，从而获得预期的故障覆盖率．测试时不需存储正确响应，并可通过一个响应标志位表示检测的结果．可测性部分对电路硬件的开销较小，所设计的电路在工作站上已成功通过仿真，此电路可广泛应用于嵌入式SRAM，以降低电路的测试难度．     

变换型煤用于制造低含量CO水煤气气化的研究

在小型单管气化反应炉内进行了本题的研究。用粉煤和变换剂制成的型煤进行了水煤气气化反应试验，考察了变换剂种类添加量，气化反应温度，反应时间，蒸汽流量对煤气组成的产气率的影响。结果表明，Ｃａ基变换剂可使煤气ＣＯ含量ψ降低０．１０左右，Ｃａ－Ｎａ复合变换剂还可显著提高煤气产率。     

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

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

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

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

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

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

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

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