基于重写归纳技术的串行加法器的描述和验证

在用重写系统描述逻辑位，门电路，位串和自然数的基础上，对半加器，全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画，并用基于重写归纳的推理技术证明了所有描述的正确性，为用重写技术正确描述和验证复杂硬件电路奠定了基础。最后给出与其他类似工作的分析和比较。     

与病毒程序有关的主要中断和系统功能调用

本文介绍与计算机病毒程序有关的主要中断和系统功能调用．     

基于PLC的数字电路逻辑功能探析

本文介绍了利用PLC平台实现几个简单数字电路逻辑功能的实验过程。通过这些大胆的尝试,使两学科的知识得到了一定的融合,也使PLC平台发挥了更大的作用。     

时序电路的功能验证探析

本文笔者比较了基于状态转换表和基于状态转换图的功能验证方法,并总结出两种方法各自的特点和适合时序电路功能验证的方法,为验证工程师挑选验证方案提供了有利的数据支持。     

基因克隆和功能验证研究

综述了基因克隆和功能研究的方法,并对研究前景进行了展望.     

基于Proteus软件的单片机虚拟实验平台研究与开发

提出一种基于Proteus软件仿真法构建单片机虚拟实验平台的方案,并通过对一应用实例的分析,验证了该方案的可行性,并在一定程度上解决了传统单片机实验室设备资金短缺和维护困难的问题。     

Deltav系统计量功能开发

利用Deltav系统的顺序功能图,对累积流量计算进行了设计,实现了精确的累积流量计算。     

基于事件驱动的数字逻辑功能仿真工具

本文介绍了现代专用集成电路(ASIC)芯片的设计流程、详细讨论了对Verilog HDL所描述的数字电路网表进行逻辑功能仿真工具LGS的开发过程.主要包括分层建模、事件驱动算法和具体实现中的一些技术问题.也论述了面向对象技术及C 在EDA(Electronic Design Automation)工具开发中的应用.最后给出一个LGS应用于乘法器电路设计的仿真验证示例.     

一种基于覆盖率的功能验证方法

针对功能验证的特点，在传统功能验证的基础上，引入覆盖率作为验证程度的反馈信息，从而有针对性地完善了验证环境，提高了验证程度．并以一款8位MCU为例，介绍了基于覆盖率的功能验证方法的具体实现．     

软件在环仿真技术的整车控制器功能验证

在采用Simulink软件搭建控制对象模型的基础上,基于VEOS系统制定测试方案,搭建某款纯电动汽车整车控制器测试平台,实现软件在环仿真;利用仿真结果对功能错误的代码进行调试改正,并将调试好的C代码下载到硬件环境中进行实车测试,完成电动汽车整车控制器的功能验证。研究表明,整车控制器能够根据测试人员的故障输入快速准确地识别故障等级,并作出响应;应用软件在环仿真技术能及时发现整车控制器在早期研发阶段存在的功能代码错误,可有效缩短整车控制器的开发周期。     

基于PLC的氧化铝气力输送系统设计和实现

介绍了基于OMRON公司CPM2AHPLC的氧化铝输送系统。采用双泵交替运行方式进行输送,有效地提高了系统的效率,并阐述了两泵操作之间的逻辑互锁关系,对粉尘类物品的输送有一定的参考价值。     

无线电测试中智能仿真系统的研究与设计

提出智能仿真系统的思想,是以单片机控制为核心,以程序控制的方式控制数据采集/数据输出速度与计算机之间的数据通讯,可任意指定区域存储或输出以及炸高计算显示等,而且进行硬件电路和相应软件的设计。该系统不仅可以作为瞬态记录仪和信号发生器使用,将它与计算机联机,可以作为频谱分析仪.该系统可用于无线电测试、自动控制和近炸引信仿真等领域。     

基于数据选择器输出函数关系的逻辑电路设计

为完善用数据选择器进行组合逻辑电路设计的方法, 分析了数据选择器输出函数的与或形式逻辑表达式, 发现利用输出原函数、输出反函数互为反函数的关系, 对于某些逻辑问题的设计可使数据选择器的数据输入端有变量接入时都为原变量, 而不需要附加非门对反变量进行取非运算, 简化了电路结构。     

实时操作系统内核设计中的优化

针对实时操作系统中要求中断响应实时性强的特点 ,提出了将中断响应分为中断处理和中断服务两部分 ,并且根据这种中断响应机制设计了多级中断服务请求队列 ,对临界资源的保护进行了探讨 .这些技术应用于某型号高空无线电高度表 ,使其测高值达到 1 5 0 0 0 m,误差为低空 1 %     

基于FEKO的引信目标近场动态散射特性实时仿真

引信目标的近场散射特性受到天线方向图、目标局部照射、弹目交会状态等因素的影响,计算过程复杂。首先提出了一种基于FEKO的目标近场散射特性实时仿真方法,然后根据引信作用段的特点建立了弹目交会模型,对引信目标的近场动态散射特性进行了实时仿真,仿真结果表明近场散射强度与导弹脱靶量和目标照亮区有直接关系,脱靶量越小,散射强度相对越大,且弹目距离较近时,由于照亮区的不同散射强度将出现较大起伏。     

基于ARM处理器的UART设计

UART是用于控制计算机与串行设备的装置,在嵌入式系统中它操作简单、工作可靠、抗干扰强。本文介绍了一种近距离的通信方法．讲述了UART的原理和软件设计的改进,在ARM中采用串口通信技术,具有使用方便、程序简单、可读性好、工作效率高等优点,可以广泛应用于基于串行通信的各种场合。结果表明,此设计有助于提高数据传输的实时性。     

计算机与智能温控仪表连网通讯的系统设计

利用ＶＢ的通讯和定时功能设计通讯软件具有快捷方便的特点，本文讨论了计算机与智能仪表通讯软件设计的过程和方法。     

Vxworks基于S3C44B0X处理器的中断处理设计

嵌入式微处理器和嵌入式实时操作系统是嵌入式系统的两大核心技术。详细分析了wind River公司的嵌入式实时操作系统Vxworks中断处理机制,并针对Vxworks中断处理机制对于SAMSUNG公司ARM7微处理器芯片S3C44B0X的特殊性,给出了Vxworks基于S3C44B0X处理器的中断实现。     

一种基于激光散点的回波信号融合处理方案

通过分析激光散点回波信号特性,采用复合散点目标特性合成方法对散点回波信号进行合成,合成后的回波信号具有人为或自然噪声,针对合成后的回波信号特性,选用并调整一系列的信号处理方法,对合成后的回波信号进行处理,通过仿真分析,能获得较好的融合效果和处理精度。从采集散点回波信号到合成回波信号,再到处理合成后的回波信号,整个过程构成了一种完整精确的激光散点回波信号融合处理方案。     

成套设备工程项目管理系统的设计与实现

以开发成套设备工程项目信息管理系统的设计与实现阶段的工作内容为背景,在分析、设计系统逻辑结构与功能层次模型的基础上,阐述了系统实现过程中的两个关键问题．