北九州市新规划热供给区域的热电联供系统导入效果的评价

探讨了北九州市新规划供热怄域的热电联供系统导入效果．应用《热电并给系统导入效果的评价方法》中提到的研究方法,计算了北九州市新规划热供给区域的能源需要量．同时,计算了空调系统、锅炉系统、电主热从及热主电从的热电并给系统等4种能源供给系统的能源消费量、二氧化碳排放量、初期投资、运行费用和单纯回收年数．计算结果为：与单体空调系统相比,锅炉系统、电主热从及热主电从的热电并给系统的节能分别为-2．68％,12．40％,14．68％;二氧化碳排放量的削减率分别为-1．67％,16．15％,16．64％;单纯回收年数分别为199．17年,7．81年,13．04年．与锅炉系统相比,电主热从及热主电从的热电并给系统的节能分别为14．69％,16．84％,约是最大节能（30．15％）的一半．     

多Agent的电子反拍系统模型研究

文中旨在对政府采购的电子反拍系统的灵活性、适用性进行改善．利用人工智能中的多Agent技术,分析各Agent的功能及其协作关系,给出系统的工作流程．提出了新的解决方案,建立了反拍系统的多Agent模型．系统不同程度地实现了反拍的自动化,提高了采购效率,降低了采购成本,改进了反拍系统模型的智能化水平．     

足球机器人控制参数整定系统的设计

为了提高足球机器人的运动性能,设计了足球机器人控制参数整定系统．在阐述系统基本原理的基础上讨论了系统的组成,该系统包括测试平台、测试电路和测试软件．讨论了所采用的改进的增量式PID控制算法和通过实验确定参数的方法．实验证明,该系统可以快速地整定系统控制参数．     

用面向对象的方法对粒子制造系统建模

粒子制造系统具有特殊的体系结构,并能实现体系结构的动态重组．它的基本特性是自治性和协作性．本文用面向对象的方法动态地建立了粒子制造系统的模型．用信息与方法封装的概念表示了粒子的自治性,用对象分类及系统分解的方法表示了粒子制造系统的结构的重组．基于这个模型,既可对粒子制造系统进行故障诊断,也可对制造系统实现动态控制、规划等．     

动态模拟机组自动监控系统的软件设计

介绍了一个采用物理模拟与数字仿真相结合的混合仿真系统．在这一系统中,对主设备,如发电机、变压器、输电线路、负荷采用物理模拟,对调节系统如励磁和调速系统采用计算机数字仿真．本文重点介绍了这一系统的软件功能、特点与实现方法．     

长春市住宅中分散型能源系统导入效果的评价

介绍了长春市住宅中分散型能源系统导入效果的评价．根据东京的能源消费功能单位,推测长春市能源消费功能单位．同时,根据长春市住宅能源系统及建筑面积,计算长春市新规划区住宅的能源需要量（热、电）．并设定了5种能源供给系统,它们主要由CGS（CO-generation system）、太阳能系统、补助锅炉系统和系统电力来提供电、热需要量．最后,算定各系统的一次能源消费量、CO2排放量、初期投资、运行费用及单纯回收年数,综合评价其节能性、环保性、经济性．其中,第3系统电主热从被认为最优化的方案,其一次能消费量削减为78．8％;运行费用削减为57．2％;CO2排放量削减为40．1％,单纯回收年限为9年．     

错位无环流可控硅直流可逆调速系统

介绍了为国内设计研制的首台塔式吊车主卷扬的可控硅直流可逆调速系统．该系统采用了错位无环流系统．避免了静态环流的发生．从而省去了４个体积较大的限流电抗器．系统采用了速度、电流以及电压反馈的三闭环自动控制系统．也同时避免了动态环流的产生，且系统具有十分完善的保护与故障信号系统．     

一种新型原油稳定监控系统开发研究

针对当前原油稳定监控系统自动化程度不高、抗干扰能力差和存在大量安全隐患等现状,研究开发了一种基于CAN总线和MCGS组态软件的原油稳定监控系统．该系统利用CAN总线组建原油稳定工业现场控制网络,MCGS组态上位机监控系统通过OPC技术实现二者之间通讯．实际运行表明,全数字通讯提高了系统抗干扰能力．系统组态灵活、稳定性好、可靠性高,方便进一步升级和扩展．     

煤气热电联产系统采暖季流程模拟计算

建立了煤气、热和电多联产系统采暖季流程,在AspenPlus平台上对该流程进行了模拟,获得了系统的状态参数和过程参数,运用系统能量综合利用系数、日经济收益、联合循环热效率和热电联产子系统能量综合利用系数来评价系统性能,分析了系统关键操作变量对系统性能系数的影响。研究表明,燃气循环、蒸汽循环和联合循环的热效率分别为33．55％,29．76％,38．48％;系统能量综合利用系数和热电联产子系统能量综合利用系数分别为75．94％,53．31％。     

中药丸微波干燥灭菌机原理设计

主要对中药丸微波烘干灭菌系统的工作原理进行了设计．论文给出了采用微波进行中药丸干燥灭菌的优点．系统主要由微波加热设备、物料输送系统、控制与检测系统、排湿系统等部分组成．详细介绍了微波对中药丸进行干燥灭菌的工作流程．     

基于双瀑布软件过程模型实现软件质量工程

针对高质量软件开发的需求，通过对软件性能工程使用范围受限和应用复杂等方面问题的分析，在综合多种传统软件过程模型特点的基础上，提出 了一种将软件质量属性建模、分析和反馈融入软件过程的双瀑布软件过程模型，并详细介绍了双瀑布模型在软件过程中各个阶段的任务，重点说明了其改进及引入的建模样式、建模知识库等技术.     

软件可靠性建模分析

从软件可靠性的概念出发，阐述了软件可靠性模型在软件开发及评测中的作用同时给出了软件可靠性模型的分类，故障数据的收集方法，及软件可靠性建模过程。并通过实例分析，指出了在建模过程中应注意的问题。     

面向测试的主动对象开发方法

针对主动对象这样一种常见的应用程序形式 ,提出了一种面向测试的开发框架 ,以缩短软件开发周期和提高软件质量。该框架选择 Statechart形式可视语言为基础 ,通过适当的限制和修改后作为主动对象的行为规约和测试建模的语言 ,同时针对这种行为规范提出程序实现建议和测试用例生成方法 ,并以具体实例说明了这一开发过程 ,以及实现的一个测试用例自动生成工具 ,以支持这一开发框架的应用。试验结果表明该框架易于理解和使用 ,在工具软件的辅助下有利用于缩短主动对象软件开发周期 ,改进软件质量。     

航空装备软件可靠性参数研究

开展航空装备软件可靠性参数研究是进行航空装备软件可靠性工程的基础。首先从软件可靠性定义入手，阐述了参数选取的原则；最后提出了针对不同类型的航空装备软件可靠性参数。     

SolCS系列过程控制软件

介绍过程控制软件SolCS的组成、概念、原理和实现技术 .SolCS包括 4个部分 :SolCS实时多任务系统、SolCS窗口式软件开发平台、SolCS过程控制组态软件、SolCS/NT过程控制组态软件 .前 3部分即相互关联 ,又能各自独立使用 ,并都经历了实践检验 ,第 4部分是基于WindowsNT的过程控制软件 .SolCS系列软件在工业过程控制领域具有一定的应用价值 .     

开源开发模式与传统软件过程的关系研究

开源开发模式近年得到广泛关注，在现有传统软件过程的经验上发展开源软件为中国软件业带来了新的机遇。回顾了传统软件开发过程的主要方法，重点地研究了开源软件过程。针对开源软件过程的特点，提出了开源软件过程模型，分析其4个连续、循环迭代的开发步骤。通过对传统软件过程和开源软件过程的分析，指出了传统软件过程和开源软件过程需要相互借鉴和相互融合。     

基于需求驱动的虚拟仪器软件自动生成构架

为消除当前图形化虚拟仪器软件开发过程中要求使用者具备软件设计能力的问题,研究了一种虚拟仪器软件自动生成的构架。此构架以用户需求为驱动,以行业类软件中功能的模块化为基础,建立功能集中的模块集及模块之间的关系,通过分析使用者对虚拟仪器软件的直接需求来消除当前图形化虚拟仪器软件开发过程中的设计环节,从而实现软件在需求分析基础上的自动化生成过程。最后通过软件开发平台验证了软件自动生成构架的可行性。     

一种基于数据流的软件密码机制自动化分析方法

对软件密码机制的自动化逆向分析,在漏洞挖掘、恶意代码分析、协议还原等领域发挥着重要作用.针对现有分析方法中存在的机制分析不完整、结果可读性差等问题,提出基于数据流的软件密码机制自动化分析方法,利用动态插桩获取软件运行时信息,定义和识别与密码相关的软件行为,根据行为间数据流关系,从图形和语义两个角度,实现软件密码机制的自...     

基于Python语言的余度特性分析与应用

针对余度飞控计算机系统各方面指标要求,介绍了基于Python开发语言的余度飞控计算机系统. 提出了一种新的理念——预处理理念,在这种理念的基础上,并建立了硬件三余度和软件三余度的架构模型. 其中,在软件三余度架构模型中,3个软件版本由不同语言开发,第一个软件和第二个软件用Python语言开发,第三个软件用C语言开发,在三台计算机上互为主备份软件. 结果表明,该方法在提高可靠性故障维修率的同时可以降低开发成本及同态故障率.     

A software cost model with maintenance and risk costs for safety-critical systems

Safety-critical systems are those systems whosefailure could result in loss of life,significant propertydamage,or damage to the environment[1].Software isincreasingly being used to control safety-critical systemsnow.But how can we improve the reliability of soft-ware?Formal methods can successfully enhance thequality of software and therefore increase the confidencein the system behaviors[2-4].Unfortunately,formalmethods are too complex to apply.Software testing isan efficient way to improve …