摘要：提出了核电厂安全停堆系统核1E级隔离放大器设计技术方案。该方案采用开关电源技术+模拟电源技术设计电源模块。从抗干扰、器件降额和抗震3个方面详细论述了提高隔离放大器稳定性和可靠性的设计方法。经性能验证,该产品各项技术指标及可靠性均达到或超过了国外同类产品水平,并通过了所有核1E级认证测试。

摘要：首先将软件的UML状态机模型转换为模型检测工具MOCHA的输入语言REACTIVEMODULES,在MOCHA中进行正确性验证,利用模型检测工具针对错误情况给出的反例路径,尽早修改软件的UML设计模型;然后将已验证过的UML模型转换为定理证明工具B方法的抽象规约,利用B方法的精化、验证及代码生成功能,直接生成正确的C代码。并给出了从UML状态机到REACTIVE MODULES建模语言及B AMN抽象规约的转换规则。实验结果表明,该方法可在软件工程中有效地提高高可信嵌入式软件开发和验证的效率。

摘要：针对目前振动能量采集器只能拾取环境振动中一个方向的能量，以及响应频带较窄的问题，提出并设计了一种由弹性圆柱悬臂梁、环形磁路和复合磁电换能器组成的多方向宽频带振动能量采集器。圆柱悬臂梁具有在其横截面内沿任意方向振动的特性，同时，借助磁力耦合，使任意方向振动具有非线性的特点，从而采集器实现多方向宽频带振动能量拾取。理论推导了磁力作用下圆柱悬臂梁的非线性动力学方程，以及电压输出模型；借助磁场分析软件AnsoftMaxwell分析了矩形、圆形和环形永磁铁分别组成3种磁路的磁场分布，研究了不同磁路中磁力、磁场强度及其变化量等因素对动力学方程和电压输出的影响，为获得更优性能的采集器提供了设计依据。实验结果表明：在5．88m／s。的加速度下，具有环形磁路的采集器能够拾取0°～180°多方向的振动能量，各个方向响应频带宽度达到4．4～5．6Hz；负载电阻为3MQ时，采集器输出0．5mW的最大功率。

摘要：分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务关键的系统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效分析系统是相当困难的.从系统设计和分析的角度看,基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度.模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法.结合软件体系结构描述方法和模型检查技术,提出了基于体系结构的分布式控制系统形式分析方法,通过楼宇综合控制系统实例研究,展示了该方法在提高分布式控制系统设计质量方面的效果.

摘要：基于构件的软件开发被认为是解决软件危机的最新成果,但其实践并未达到预期效果:构件设计的方法学还不完善,缺乏对实际应用的明确指导.给出一种业务构件设计方法,应用聚类算法来识别两类业务构件(过程构件和实体构件),以需求模型作为聚类分析样本点的数据来源,并给出样本点关联值的计算方法.通过引入聚集点实体的概念改进识别业务构件的准确性,给出构件粒度的计算公式,以降低业务构件的复杂度.最后描述了业务构件接口的设计步骤.基于构件的软件开发被认为是解决软件危机的最新成果,但其实践并未达到预期效果:构件设计的方法学还不完善,缺乏对实际应用的明确指导.给出一种业务构件设计方法,应用聚类算法来识别两类业务构件(过程构件和实体构件),以需求模型作为聚类分析样本点的数据来源,并给出样本点关联值的计算方法.通过引入聚集点实体的概念改进识别业务构件的准确性,给出构件粒度的计算公式,以降低业务构件的复杂度.最后描述了业务构件接口的设计步骤.

摘要：针对概念设计中对应功能的结构选择的多样性,利用组合优化思想进行了定量求解。根据产品功能与结构、结构与结构之间的相互关系,定义产品的相关矩阵,建立产品结构概念设计的多目标优化数学模型。对产品的功能、行为和结构等各种设计因素,给出了统一的设计因素基因表达的定义。对最优保存简单遗传算法进行改进,给出选择最优结构的数学计算过程。实例分析表明采用这种方法能够实现最优结构选择的自动化设计,并且这种改进的遗传算法能够获得很好的在线性能与离线性能。

摘要：服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。

摘要：提出了一种通过多播中组管理功能完成移动IP位置管理方法。每一个自治网络中都设置一个移动路由代理(MA),形成一个管理移动节点位置绑定信息的虚拟专用网,通过将与移动主机通信的节点联合起来构成一棵多播树,使网络中各节点相互合作维护移动节点的位置更新。设计了绑定信息表的存储结构和管理移动位置绑定信息的算法。模拟实验表明,提出的基于多播的位置管理方案能够使通信对端实时了解移动节点的转交地址,减少向家乡代理注册的时间和次数,减小了传输延迟,为实时业务传输提供较好的支持。同时减轻了家乡代理和各主机的负担,使移动IP的性能得到优化。

摘要：主要研究由Franklin和Reiter提出的可验证签名分享(VΣS).它可以允许一个签名的接受者在n个代理之间分享该签名,使得代理者的一些子集以后可以重构该签名.利用安全的分布式密钥生成方式、门限密码系统以及可验证秘密分享,给出了一个RSAVΣS的新协议.该协议是有效的、可证安全的,并且可以容忍至多一半代理的恶意行为.

摘要：基于构件的软件复用是解决软件危机的重要手段,但目前还缺乏规范化的模式和方法以支持具有高复用性能的构件的识别与设计,借助特征空间作为工具以解决上述问题.首先介绍特征与特征空间的概念,从特征变化的相互依存关系入手,提出特征依赖的概念和4种具体的特征依赖.在此基础上,给出了基于特征空间的构件模型,使用特征的“型-值”机制与特征依赖表达构件的复用性.然后讨论了构件复用度的度量手段和规范化设计的目标,提出4种构件规范化模式(原子模式、基本模式、框架模式和内聚模式),研究了以特征空间分解为基础的规范化方法,并通过实例加以验证.该方法实现了多粒度、多模式构件的共存和构件间基于组合的松散耦合,从而提高了构件的复用效率并降低复用成本.结果在企业资源计划(enterprice resource planning,简称ERP)系统的构件化设计与开发中得到广泛应用,对指导构件设计具有较高的理论与实践价值.