基于虚拟设备驱动程序的软件逻辑分析仪

基于Windows 9x操作系统平台提出了利用虚拟设备驱动程序开发软件逻辑分析仪的方法 ,并开发了相应的软件。软件逻辑分析仪主要用于调试和逆向设计PC机扩展卡及其他外围设备 ,其基本功能是连续长时间捕获驱动软件对硬件设备发出的I/O端口操作指令。介绍了它的工作原理 。

基于SIBAS32控制平台的地铁车辆高速断路器分断的软件逻辑分析

根据上海11号线地铁车辆牵引系统中高速断路器分断动作过程中各继电器的动作情况及高速断路器的外围电气控制原理,推断出了SIBAS32控制平台下,高速断路器的请求分、允许分及ICU允许的软件控制逻辑,并通过监控软件的输出结果证实了上述逻辑推断基本符合实际控制系统中的控制逻辑。

基于SIBAS32控制平台的地铁车辆高速断路器闭合的软件逻辑分析

根据上海11号线地铁车辆牵引系统中高速断路器合动作过程中各继电器的动作情况及高速断路器的外围电气控制原理,推断出了SIBAS32控制平台下,高速断路器的请求合、允许合及ICU允许的软件控制逻辑,对国外技术的消化吸收具有一定的借鉴意义。

试论《伤寒论》软件逻辑运算结构

试论《伤寒论》软件逻辑运算结构辽宁省对外贸易局医院（１１６００１）杨麦青《伤寒论》成书距今已１７００余年，近贤叶橘泉氏谓：“中国医籍之最有价值而为近世科学医界所推崇者，厥唯张仲景之伤寒论。”信哉斯言！近年来若干中外医家在临床实验、实验医学研究方面的报...

核电站安全级DCS应用软件逻辑的自动化测试研究

应用软件逻辑测试是属于核电站安全级DCS应用软件V&V活动的一个重要环节,通过涂抹确认的测试方法测试周期长、测试效率低、无法避免人因失误。本文研究了一种逻辑自动化测试方法,通过优化测试用例,使自动化测试工具可以测试安全级DCS应用软件逻辑测试用例。结合多个核电项目应用软件逻辑测试的实践经验,证明了应用软件自动化逻辑测试方法不仅提高了测试效率,同时降低了人因失误率。为后续核电项目安全级DCS应用软件逻辑测试提供参考意义。

基于软件和逻辑联合仿真的SOPC验证技术研究

针对航天高可靠SOPC测试验证重要性,对SOPC仿真技术进行深入剖析研究,提炼出了一套切实可行的SOPC仿真技术.阐明了SOPC仿真技术的具体实现方法,分析了SOPC的具体验证方法,并把这套仿真验证技术成功地应用到了多个航天高可靠SOPC的测试中,发现了很多引起功能失效的重大问题,并对其中常见的问题给予归类总结.

逻辑教学软件及其实效性研究

作为现代化教育技术的一个重要手段,逻辑教学软件在逻辑教育过程中发挥着十分重要的作用。逻辑教学软件的使用可以提高教学质量和教学效率,促进逻辑教学现代化的发展,也有利于学生更好地理解逻辑的思想,更有效地掌握逻辑的方法。为此,介绍一些国际上流行的逻辑教学软件,以及国内逻辑教学中逻辑软件的使用情况,并讨论逻辑教学软件的实效性。

开源逻辑软件协同设计管理系统

本文以逻辑软件开源设计为主线,基于通用化、模块化的标准研究开源逻辑软件协同设计管理系统,主要由逻辑软件协同设计管理平台、软件无线电演示验证平台和逻辑软件公共构建模块(Common Building Blocks,CBB)库三大部分组成.一方面,实现逻辑软件开发及使用过程中的标准化管理、高效协同工作和资源成果共享;另一方面,提供一个快速、全面的逻辑软件原型设计验证平台,可支持各种逻辑软件的功能、性能测试.

军用可编程逻辑器件软件配置管理的研究与应用

针对军用可编程逻辑器件软件缺乏可靠的技术状态控制手段,本文结合军用可编程逻辑器件项目开发使用硬件描述语言的特点,提出一种软件技术状态管理的方法,重点说明可编程逻辑器件软件在标识及控制软件配置管理项的实现方法。最后通过军用可编程逻辑器件实际项目在实施前后对比的结果,说明采用该方法进行过程控制是一种有效的,能及时传递项目软件状态变化情况,满足过程控制的要求。

基于可编程逻辑软件的微电网仿真系统开发

微电网包含众多特性迥异的分布式电源且运行控制策略复杂,需要借助各种试验手段对控制系统进行验证。动模试验平台和半实物仿真平台由于体积庞大、造价高昂的缺点,制约了其在工程中的应用。基于可编程逻辑软件搭建了包含分布式电源、负荷和控制器的微电网仿真系统。以某独立型微电网为例进行仿真试验,试验结果表明,基于该系统可开展分布式电源建模、系统控制策略设计、软件调试及仿真等多种形式的试验验证,测试并验证控制理论、控制策略,仿真验证后的控制逻辑可直接在控制器中动态加载运行。

机车传动系统控制逻辑纯软件仿真测试平台开发

提出一种采用纯软件仿真方式对逻辑控制软件进行验证的方法并详细介绍了其设计思路及具体实现方法。基于Lab VIEW搭建一个纯PC软件的TCU控制逻辑仿真平台,用来模拟各种工况下TCU外部逻辑环境的数据流,并通过OPC协议与TCU逻辑控制软件进行实时数据交互。应用结果表明,该仿真测试平台在不需要任何TCU硬件和外部环境的情况下有效地验证逻辑控制软件中各种控制功能的正确性,大大提高了调试的便利性和工作效率。

WBZT-121备用电源自投装置逻辑软件的改进

阐述了110kV电网的备用电源自投装置在一般故障下的动作过程,分析了该设备故障过程的特殊性,指出WBZT-121装置逻辑软件存在的问题,提出了对该装置的改进意见。

对WBZT-121备自投装置的逻辑软件改进

在 1 1 0kV电网中大力推广备用电源自投装置 ,这是电力生产二十五项反措中的重点要求之一 ,备自投装置的正确动作对提高供电可靠性、保证地区电网的稳定运行有着重要的意义。本文以WBZT - 1 2 1备用电源自投装置在现场的运行和改进情况为例 ,谈谈自己在现场的几点做法 ,旨在以小见大 ,希望能对其他型号备自投装置的运行和维护有所启发。

浅谈软件教学

基于生产线方式的软件开发提高软件开发的效率将经验劳动变成体力劳动及规范化劳动。软件生产线的建立于逻辑哲学密不可分，本文从逻辑哲学的“可说者”和“不可说者”范畴说明建立软件生产线的软件逻辑和商业逻辑的关系。（“不可说者”）建立软件生产线的价值、逻辑等方法（内容是有限的）先于（“可说者”）建立软件生产线（类别是无限的，可能性是有限的），并且决定了建立软件生产线的可能性（好或不好），实现了以有限方法把握无限的东西。用逻辑哲学的方法阐释了怎样做好软件。

浅谈软件教学

基于生产线方式的软件开发提高软件开发的效率将经验劳动变成体力劳动及规范化劳动。软件生产线的建立于逻辑哲学密不可分，本文从逻辑哲学的“可说者”和“不：可说者”范畴说明建立软件生产线的软件逻辑和商业逻辑的关系。（“不可说者”）建立软件生产线的价值、逻辑等方法（内容是有限的）先于（“可说者”）建立软件生产线（类别是无限的，可能性是有限的），并且决定了建立软件生产线的可能性（好或不好），实现了以有限方法把握无限的东西。用逻辑哲学的方法阐释了怎样做好软件。

论“可行性研究”在“软件工程”教学中的重要性

本文讨论了在本科计算机相关专业的软件工程课程中扩展关于软件可行性研究相关内容的必要性。鉴于目前我国软件工程著述中这部分内容的欠完整性,文中对相关知识做了框架性、基础性的讨论。本文作者认为,关于软件可行性研究的这些框架性、基础性的知识对于已修完相关课程的学生来说也是有所裨益的。

MFT软逻辑及硬回路设计

文章介绍了平顶山热电有限公司DCS升级改造中,锅炉主燃料跳闸(MFT)的软件逻辑及硬件跳闸板回路设计。通过信号、电源、软件与硬件的冗余设计及容错设计等方式和方法,为机组的可靠运行提供有力的保证措施。