基于构件技术的工业控制软件设计

针对工业控制软件的典型功能和特征,本文提出一种利用新兴的构件技术重新设计和实现工业控制软件的方案。文中结合工业控制软件的特点,分析了采用构件技术的可行性,并以构件技术为基础给出了基于构件技术的工业控制软件的体系结构设计方案。该结构不同于传统模式,更有利于软件的维护和重用,适合于工业控制的应用场合。     

卫星移动通信系统星座设计仿真软件的研制

星座设计是卫星移动通信系统设计一个非常关键的内容,直接关系到系统的性能与成本,软件仿真是星座设计一个行之有效的方法,本文介绍了卫星移动通信系统星座设计仿真折设计方案,对软件的有关功能进行了介绍,该软件界面友好,具有丰富的地图操作内容,是军用及民用卫星移动通信系统星座设计仿真,演示的有效工具。     

Researching on quadrature conversion structures For an UWB demonstrative receiver

1. INTRODUCTION As the development of technologies of digital signal processing and integrated circuits, the structure of wireless communication system has been improved. Many schemes for software defined radio (SDR) systems have been developed since 1995, and they can be divided into five tiers of solutions according to their developing history and their definitions[1]. The five tiers are conventional hardware-implemented scheme; software-controlled radio scheme; SDR, that implements m…     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

基于软件协作的多级液压缸起竖系统建模与仿真研究

提出了基于软件协作技术的多级液压缸起竖系统的建模与仿真方法。运用ADAMS软件建立了考虑碰撞的起竖系统多刚体动力学可视化虚拟样机模型,探讨了基于Simulink的多级液压缸仿真模型的建立方法,给出了起竖液压系统的AMESim仿真模型,分析了机械、液压系统的参数关联关系,讨论了基于接口的多领域软件协作仿真方法,实现了多级液压缸起竖的全过程仿真,为多级液压缸系统的仿真研究提供一个新的可靠的技术途径。     

基于3SF技术嵌入式软件可靠性定性仿真分析

针对嵌入式系统软件可靠性设计中存在的失效问题,从可靠性的概念和特点入手,将“3F”技术—故障模式影响及危害性分析FMECA,故障树分析FTA和故障报告、分析与纠正措施系统FRACAS引入到软件可靠性定性分析中,称之为“3SF”技术。深入研究了3SF技术在软件可靠性定性分析中的应用,给出软件FMECA和FTA分析实例,并对将两者与软件FRACAS的结合作了研究。     

基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

卫星轨道姿态控制系统的仿真软件支撑环境

仿真软件支撑环境技术研究是“八五”仿真技术研究中的重要课题之一。本文针对卫星控制方案设计的特点和现实，借鉴国内外仿真软件支撑技术研究中的先进思想，建立了一种卫星控制系统的仿真软件支撑环境。文中主要介绍该仿真软件支撑环境的设计思想、组成、功能和采用真实系统数据对该环境进行验证的结果。从而证明了系统的可用性。目前该软件环境功能扩展的工作还在进行，拟用另一批真实数据模型来完善本支撑环境，使其在今后系统的     

系统开发中的认知方法研究

从认知方法论的角度，对目前各种系统开发过程中的认知方法体系以及由此而产生的系统开发方法展开讨论．通过对大量开发方法的比较，给出了目前存在于系统开发领域的几种认知方法体系以及常用系统开发方法与认知方法体系之间的对应关系。     

50MW热电厂仿真系统支撑软件

５０ＭＷ热电厂仿真系统支撑软件由预处理模块、模型运行调试模块、硬件调试模块、通信驱动模块四部分组成。此系统采用分布式实时控制、动态数据交换、以及分布式４８６三级树形拓扑结构组成的互连网，实现锅炉、汽轮机、电力系统的仿真控制。为电厂仿真系统建立了调试、修改、运行提供了高效率的平台