天津滨海国际机场车辆管理信息系统的设计与实现

本文运用软件工程的方法天津滨海国际机场车辆管理的现状进行了系统分析，对系统的设计与开发过程进行了详细介绍了给出了系统数据库技术的实现方法。     

独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

民航网络与信息安全监管工作浅谈

民航网络与信息安全监管，是指民航行政机关依据法律法规对民航信息系统物理安全和运行安全以及关键信息的生成、存储、传递和利用的过程及手段，实施审批、审定、审核、监督、检查的行为。2006年7月至11月，民航部分企事业单位相继发生离港系统故障，故障造成航班延误，旅客滞留机场，干扰了民航的正常生产秩序，社会影响较大。离港系统故障事件，反映出相关单位在网络与信息安全日常管理上存在缺陷，技术保障上存在漏洞，应急措施上存在不足，     

基于Web的固体火箭发动机质量信息系统安全性研究

提高固体火箭发动机质量信息系统的安全性，对于固体火箭发动机的研制与生产具有重要的信息保护作用。针对基于Web的固体火箭发动机质量信息管理与评判系统。分析了操作系统，网络和数据库等三个方面的安全性，利用三维模型提出了系统安全性方案的基本框架，该方案的试运行表明，该方案的使用具有积极的意义和作用。     

信息系统中心机房的安全建设及规划管理

通过对禄口机场信息系统中心机房的安全现状的分析,提出中心机房安全建设的总体构想。分析信息系统中心机房安全建设的物理安全、链路安全、网络安全、系统安全、信息安全五部份内容。     

信息系统群演化的综合环境SEE的研究

旨在通过对系统构架各视角的研究，开发一个信息系统综合演化环境，从而提供针对各类系统演化特征的通用的解决方案，并利用方法论的手段规范、指导和维护系统(群)的演化活动。本文首先论述了大型系统中各个系统和组件变化及改进活动中存在的问题，分析相关的研究及面临的挑战，从而提出系统群演化的概念。然后文章概括了系统群演化的特征，提出解决以上问题的思想方法，即开发“信息系统群演化的综合环境(Synthetic environment of evolution，SEE)”，将各种演化活动纳入规范，指导系统群的演化活动；在此基础上，进一步就实现SEE的关键技术给出了描述及运用的范例。     

国际空间站哥伦布舱信息系统研究

欧空局哥伦布舱(挂接密封舱)是国际空间站的一个独立舱段,主要用于科学实验。它的信息系统提供了一个高级信息服务,支持乘员和地面对有效载荷的操作。文章详细描述了哥伦布舱信息系统的结构和特点。