计算机辅助企业管理信息系统开发——产品结构子系统

本文阐述了工艺计划材料定额子系统的计算机辅助企业管理的经验.该系统采用VAX-11DBMS网状数据库技术,具有数据独立性、共享性、保密性和数据完整一致的特点.     

管理与飞行安全

结合民航的现行管理体制 ,探讨了如何利用管理的计划、控制和激励职能提高飞行安全水平。     

CAPP中加工方法选择研究

研究在ＣＡＰＰ系统中，通过建立加工方法的知识库以及相关的推理机构，来实现对机械零件各表面的加工方法选择。     

一个柔性化MIS系统的设计与开发

本文针对传统ＭＩＳ系统的局限，提出了柔性化ＭＩＳ系统的概念和定义。着重介绍了一个柔性化ＭＩＳ系统ＮＭＳ开发实例，介绍其设计思想和实现该系统柔性化所具备的支撑模块及这些模块的设计要点和功能等，还介绍了该系统的体系结构。在该系统中用户可以灵活地定义或修改数据模式，而且输入、输出、查询、修改、删除和统计等模块均为通用的，不因数据模式或系统功能的修改而变动源程序。源程序的中用户库名和所有条件成分均以参数或     

发现号航天飞机推迟至7月发射

美国航宇局4月28日称，发现号发射时间将由5月份推迟至7月份。航宇局于4月27日暂时停止发射准备工作，继续研究有关安全问题。     

汽车轮胎与行车安全

由交通事故的原因引入主题，介绍了汽车轮胎的类别、特性、技术要求等基本知识；分析了汽车轮胎对行车安全造成影响的主要后果、影响方式、影响因素及其危害机理。在分析论述的基础上，结合实际和运用，分别从汽车轮胎的合理选配、正常使用和维护保养等方面，详细阐述了防范和避免汽车轮胎对行车安全影响的具体措施和方法。     

航天发射特征事件综合和弹道融合策略优化研究与应用

特征事件综合和弹道融合是航天发射过程中最为重要的一项工作,通过特征事件发生时间和火箭飞行弹道可直观地反映出运载火箭的飞行状态。因此,为了进一步提高特征事件综合和弹道融合效果,基于遥、外测量信息,分别对参与特征事件综合和弹道融合的信息源进行分类及其影响因素进行分析,并提出了相应的信息融合策略。通过采用优化的融合策略,可进一步提高特征事件时间解算的准确性和实效性,提升弹道融合的效果,满足航天发射飞行态势显示和安全控制的任务需求。     

基于身份的空间网络安全研究

空间网络安全的研究是天地一体化网络研究的重要组成部分,日益受到研究人员的重视。本文根据空间网络面临的安全威胁,分析需要采用的安全机制,构建了空间网络的安全体系结构。深入分析基于身份的密码体制（IBC）,在空间网络中应用IBC提供安全服务框架,以此为基础,提出了一种密钥交换协议,并详细描述了安全通信的建立过程。分析表明,同传统的基于公钥基础设施（PKI）体制的安全解决方案相比,IBC具有较低的存储、通信和计算开销,是适合空间网络的有效安全方案。     

隐私保护自我效能对App用户隐私安全保护行为的影响研究

在隐私侵犯事件频发的情况下,研究如何提高App用户运用现有能力应对隐私侵犯,对提高用户隐私保护意识,强化企业隐私保护服务具有重要现实意义。基于保护动机理论与控制代理理论探究隐私保护自我效能对用户隐私安全保护行为的影响机理,通过问卷调查收集数据,采用结构方程模型进行实证分析。结果表明,内部隐私保护自我效能对隐私保护机制(隐私设置、隐私声明和政府监管)的感知有效性产生正向影响,外部隐私保护自我效能对隐私声明和政府监管的感知有效性产生正向影响,隐私设置和政府监管的感知有效性对用户隐私安全保护行为产生正向影响。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。