高可靠性温室环境测控系统架构形式化建模与特性证明

温室环境测控系统由多个可并发执行的子系统共同协作来构造适宜的温室环境以确保作物有效生长.为提高温室环境测控系统设计的效率和可靠性,本文提出一个能为设计者提供指导性框架的融入容错技术的高可靠性温室环境测控系统架构.并且运用PVS形式化语言对系统架构进行了精确而无二义性的形式化建模,以及PVS证明工具对系统架构的容错特性进行了机械化证明,以确保系统架构能满足高可靠性需求.     

矿井灾害预警救援与环境预测一体化系统设计

针对灾害预警救援系统和环境预测系统由于是独立运行而具有局限性的问题,提出了一种矿井灾害预警与环境预测一体化系统的设计方案;给出了该系统设计思路及架构,阐述了该系统中相互关联的数据采集、灾害预警、救援指挥和环境预测4个子系统的设计原理,介绍了该系统人机界面的结构及设计原则。该系统的研究对井下救援工作具有重要意义。     

基于HLA的卫星测控仿真系统

研究基于HLA/RTI的卫星测控仿真系统。根据模拟测控系统环境,设计基于HLA的测控系统仿真架构,介绍各成员的功能交互,设计了FOM/SOM表,将HLA思想很好应用于整个卫星测控系统,以获得仿真联邦的高层次的互操作和重用,初步达到交互仿真效果。     

嵌入式机器视觉测控系统的设计与实现

设计实现了一种基于TI公司DM642高性能DSP的嵌入式机器视觉测控系统;系统采用DSP主控结合FPGA协处理的架构,集图像采集、数据处理和通信控制功能于一体;在DSP/BIOS实时操作系统内核支持下,经组态配置后,系统可完成具有高度重复性和一定智能性的测控任务;有效解决了传统基于PC的机器视觉系统的诸多缺点;经验证,系统高效可靠,可在一些工业场合替代传统基于PC的机器视觉系统,对产品进行连续、稳定地测控。     

基于B/S的双CCD相机精度靶测控系统软件架构设计

上位机软件是双CCD相机精度靶测控系统中非常重要的一部分;针对精度靶测控系统软件存在后期功能拓展难、维护效率低、使用升级复杂等问题;先进行了对该类软件的调查研究,然后分析上位机测控软件功能需求,根据软件的需求分析,设计了一种基于B/S架构的精度靶测控系统上位机软件实现方案;软件架构采用了浏览器和服务器方式专有的三层结构,在中间层设计了TCP服务器,提高软件的功能拓展性,降低了实现代码的耦合性;采用了Netty通信技术框架及其非阻塞技术实现了TCP服务器底层,设计了专有的解码方法接收下位机数据及发送控制指令;通过模拟测试,能够满足下位机频繁发送数据,上位机稳定接收和可靠运行的功能需求,软件的结构设计合理,扩展性和维护性良好。     

嵌入式控制系统在分布式测控系统中的应用

分布式测控系统以其测控范围广、构建成本低等优势而得到广泛的应用,本文针对嵌入式控制系统在分布式测控系统中的应用展开了分析讨论,给出了完整的分布式测控系统的系统架构与系统层次功能的设计方案,并在此基础上重点对嵌入式控制系统,从硬件设计和软件设计两个角度完成了嵌入式分布测控系统的构建方案,对于进一步提高分布式测控系统,以及嵌入式控制系统在分布式网络中的应用均具有一定的借鉴和指导意义。     

基于一体化云架构的测控中心系统设计与实现

测控中心系统作为航天任务工程中的重要组成部分,通常采用双机双工、服务器集群、磁盘冗余、数据备份恢复等技术来保障航天任务系统的持续运行和稳定可靠,但同时存在软硬件紧耦合、资源共享效率低、系统扩展能力较差等问题,所有这些限制了整个航天测控系统的发展。针对以上问题,研究并设计基于一体化云架构的测控中心系统,实现服务按需定制、资源共享互通、系统弹性扩展,并已经过航天任务的实施检验。     

面向服务的测量船测控服务总线系统

当前测量船测控软件系统需要完成对各类飞行器的遥测、遥控、外测、仿真等数据的处理,该系统复杂性较高,不易扩展和维护。面向服务的体系架构SOA是一个组件模型,它将复杂系统的不同功能单元封装为服务,并通过接口实现对服务的调用,大大降低了系统的复杂性,方便了系统功能的扩展。分析了测量船测控软件系统,设计了面向服务的测量船测控服务总线系统架构,该架构支持“服务调度规则”与“服务调度系统”2种服务调度模式,实现了系统服务端、客户端和服务调度。测试结果表明：该系统能够保证2种模式下的服务调用性能,对提高测量船测控软件系统的效率具有重要意义。     

运载火箭地面一体化测发控系统设计

现役运载火箭各分系统的测发控系统各自独立,存在资源浪费,兼容性差、信息传递低效等问题;随着测控技术发展和火箭电气系统需求牵引,新一代运载火箭地面测试、发射与控制在通用化、集成化、智能化等方面提出了更高的要求;通过梳理一体化设计的功能,提出一种运载火箭地面测发控系统的体系架构,整合传统运载火箭控制、测量、总控网等分系统的测发控共性需求,在统一供配电、有线测控、无线调制解调、数据处理与分析4个功能层面进行设计,包括系统组成、交互关系、重要单机(软件)的设计及其关键技术应用;该设计在某型号完成了原理性试验和关键技术验证,结果表明系统通用性强、集成度高、信息架构合理高效,能够在确保可靠性安全性的情况下,简化操作、提高效率、降低成本。     

火箭地面测控系统的电磁兼容性设计

随着电子集成技术的发展及嵌入式系统的普及应用,地面测控系统的元器件密度越来越高,数据传输的通信频率也越来越快。如何使地面测控系统中各电气、电子设备在复杂、多变的电磁环境中协调工作正常,成为一个突出的问题;为更好的提高系统性能,对某型测控系统进行了电磁兼容设计研究,对系统的敏感部位途径或进行了分类的抗干扰设计,制定了解决措施或改善方法;经后续实际应用验证,有效解决了传统电子设备工作过程中容易出现的数据传输误码、系统死机等问题,满足工程应用;提出了测控系统解决电磁兼容问题的分析思路,对充分发挥地面测控系统的性能,降低电磁干扰,实现电磁兼容,有一定的工程实用价值。     

安全体系结构与安全标准体系

提高信息系统安全必须从体系结构着手。该文对国际上已有的安全体系结构及标准体系进行了分析,对安全体系结构的认识进一步清晰化;并在此基础上提出了通用的安全体系结构模型。该模型可以用于指导特定的安全体系结构的制定以及指导安全标准体系的制定。     

基于工作组的IPsec安全策略系统研究与实现

参考了IETF工作组提出的安全策略系统标准框架,提出了基于工作组的安全策略系统的思想。结合一个端到端安全通信原型系统,设计了基于工作组的安全策略系统的总体框架,讨论了该安全策略系统的功能模块及采用的关键技术。     

一个基于CORBA的C4ISR安全体系结构实例

C^4ISR是一种类型的电子信息系统，安全可靠是它的生命线。通过分析CORBA及其安全服务，结合C^4ISR系统自身的特点，设计了一个基于CORBA的C^4ISR系统安全体系结构的实例，给出了实现CORBA安全服务以及将其应用到C^4ISR系统安全体系结构中的解决方案。     

Treating data privacy in distributed systems

This papers describes and is primarily concerned with the security data definition and management in a distributed data base of aggregated type, although the approach described may be applied to any distributed system architecture. A multi-level logical security architecture is presented reflecting the logical architecture of the distributed system. In particular, three security logical schemata are proposed: the network security schema, the external security schemata, and the intermediate security schemata. For each schema data models are introduced, allowing the definition and the management of security information. Mapping rules between the logical levels are discussed. Finally security mechanisms are analyzed.     

3GPP框架下的UMTS核心网安全体系研究

3GPP UMTS网络是第3代移动通信系统的重要组网技术之一。UMTS核心网安全问题还没有受到充分的重视，缺乏完整的安全体系。为此，在3G网络安全分析的基础上，重点关注3G核心网面临的新的安全威胁和防护需求，建立了适用于3GPP UMTS网络的核心网络安全体系，划分了安全平面和安全层次，明确了核心网络安全目标，建立了未来研究的基础框架。     

基于SOA的网络安全系统应用研究

提出了一种基于面向服务架构SOA的网络安全系统,详细分析了系统的特点,对于基于SOA的网络安全系统与传统的网络安全系统的不同之处进行了比较,给出了一个基于SOA的网络安全扫描系统的实例。研究表明,基于SOA的网络安全系统具有更好的柔性、重用性和可扩展性。     

财务系统信息安全架构研究

文章通过分析财务系统环境和应用功能特点,设计了财务管理系统软件安全架构,结合财务系统的具体业务模型,重点从应用安全、数据安全等方面对财务管理系统的安全架构进行设计。应用结果表明,本安全架构对提高软件安全性有明显效果,有效地提高财务系统安全性。     

信息系统安全等级化防护研究探讨

文章针对广州强力安全部门网络安全系统防护提出的一种网络安全系统设计构架;对其中的网络安全体系结构设计与实现进行了详细的分析;提出了安全体系结构模型和管理执行策略模型,并详述了其设计过程。把安全体系结构、安全策略管理的实现和网络安全的实现机制有机地结合在一起。     

气象行业PKI安全平台的设计与实现

随着全国气象系统信息化建设的不断推进,信息安全成为关系气象业务稳定运行和科学发展的重要问题。PKI架构作为目前成熟的提供信息安全服务的安全基础设施,为满足气象系统信息安全需求提供了解决方案。本文设计气象行业PKI安全平台的总体框架和认证体系,并对平台关键实现技术做详细的阐述。     

大型复杂软件系统安全需求的体系结构模型

在开发基于Internet的大型复杂软件系统时，应该在体系结构层次上考虑业务需求和安全需求，而传统的体系结构没有专门针对安全需求的构件、连接件和体系结构风格的描述，因此在体系结构层次上描述安全需求还比较困难。本文首先论述了在体系结构层次上描述安全需求的必要性。然后，在传统体系结构单元——部件／连接件的基础上，引入了安全构件、半安全构件、安全连接件、半安全连接件等新的设计单元，并给出了这些设计单元形式化的语义和约束以及图形模型，解决了软件系统安全需求的构件表示方式。最后，用一个实例展示了软件系统安全需求的体系结构模型。