舰艇仿真指控系统的设计与实现

舰艇指控系统是海军新型舰艇的作战指挥控制中心，实现仿真指控系统是舰艇新装备尽快形成战斗力的需要。在“新型导弹驱护舰作战指控舱仿真训练系统”项目建设的基础上，提出了舰艇仿真指控系统的设计方案和有关技术难点的实现方法。     

知识管理研究

知识管理是知识经济时代政企单位运作的主要管理体系和管理工具。本文结合大型企业综合信息系统设计实践经验，针对我国目前政府和企业信息化建设现状，对知识管理系统建设过程中的一些问题，提出了几点初步的设想。     

面向嵌入式系统的组态支撑技术

描述了嵌入式系统和组态的定义，介绍了嵌入式系统的构成，通用组态软件的构成和特点。接看对面向嵌入式系统的组态软件和本组态支撑软件进行了分析。并对各模块的功能和模块工作流程进行了详细的介绍。软件设计体现了数据与代码分离的特点，并且采用数据驱动的工作方式。     

舰船噪声特性数据库系统的设计和实现

描述了舰船噪声数据库系统的总体设计和详细设计，系统功能模块，还包括系统配置、开发平台、数据库管理系统等。     

基于模式设计的作战指挥系统测试环境的仿真

在简要介绍C^3I系统的基础上，结合系统仿真技术和软件设计模式思想，对海军作战指挥系统的测试环境中的功能测试需求进行分析，在此基础上提出了一个具体软件的实现过程，并比较了与目前方法的优劣。     

直驱式容积控制电液伺服系统及其在船舶舵机上的应用

介绍了直驱式容积控制电液伺服系统的组成、特点,并结合船舶舵机的应用背景,研制出了船舶舵机用的直驱式容积控制电液伺服系统试验样机,并对系统进行了相关理论分析和试验研究.研究结果表明,直驱式容积控制电液伺服系统作为船舶舵机的动力装置,其性能指标能够达到舵机的执行标准.与传统的液压舵机的动力装置相比,这种新型的船舶舵机动力装置具有节能高效、操作与控制简单、小型集成化、可靠性高等诸多优点,是一种有广泛应用前景的船舶舵机操舵装置.     

The stabilization control of underactuated surface vessels

The problem of stabilization control of underactuated surface vessels with two independent control inputs is in vestigated inthis paper. Through transformation, a cascade property of the system is revealed. And the original nonlinear system could be divided into two subsystems: a linear subsystem and a nonlinear subsystem. The stabilization laws are derived for the two subsystems separately. A smooth time - varying feedback stabilization law with exponentially convergence rate is obtained. The proposed stabilization law guarantees all the system states converge to the equilibrium exponentially. The aim of stabilization control of underactuated surface vessels is achieved. At last, the effectiveness of the proposed algorithm is illustrated by simulation tests.     

准东铁路增建二线牵引供电系统研究

结合伊泰准东铁路虎石至周家湾段增建二线电气化工程特点,为增建二线绕行既有线的牵引供电系统提出一种新的设计思路,并对其牵引网的载流能力、牵引变压器容量、牵引网末端电压水平等主要控制因素进行分析,同时对配套电气化工程从不同角度进行优化设计,使研究方案技术更合理,供电能力更强,具有明显的经济效益和社会效益。     

基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

地铁车站直接蒸发式空调解决方案探讨

直接蒸发式空调系统以节能、占地小、控制灵活等特点多用于中小型建筑,地铁车站空调的冷量规模和空气末端的数量具备采用直接蒸发空调机组的条件,针对该系统应用于地铁车站进行具体分析,根据地铁车站特点,对冷却水系统进行优化整合,提出整体配置方案,从空气处理过程、制冷压缩循环、系统运营成本、土建和设备初投资等方面与常规空调系统进行对比分析。结果表明:该系统具有一定的优势,同时也指出了其存在的缺点和局限性;在设计中应根据具体工程的特点判断是否采用该系统。直接蒸发式空调系统作为一种运行节能、投资节省的空调方式,可以为地铁工程空调系统设计提供一种新的思路和参考。