航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用,为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题,提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS,首先获取软件缺陷预测模型数据,对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究,实现知识图谱...     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

一个识别零件几何与工艺特征的自动分类系统

提出了一种在成组技术中应用模糊综合评判理论识别零件几何与工艺特征、进行计算机辅助零件分类的新方法，据此设计了自动分类软件。本法是根据零件本身间的相似性自动分类，不需建立一套分类用编码系统，也不需事先设定假想零件。对不同的分类要求，修改各种输入信息很方便，具有柔性。本文对２３００个航空附件回转类零件作了试验分析，讨论了特征抽取，目标类别，权级、权重分配，模糊关系矩阵计算，及自动分类应用软件设计．本软件是在ＩＢＭ－ＰＣ微型计算机上用Ｆｏｒｔｒａｎ－７７语言实现的，分类结果满意，自动分类正确率达９０％以上。本软件设计方法也适用于设计管理部门．     

“田口式质量损失函数”的应用

利用质量损失函数，讨论产品质量波动给社会带来的损失，并将其应用于企业生产中，使企业改进了产品质量，提高了效益。这说明，在质量管理中，解决“质量”问题时，必须把改进质量的焦点移向产品的设计和开发阶段，即从以往的“产品出厂后的检查或加工过程中的控制”的质量观，推向“产品设计阶段的优化”，从“下游管理”转向“上游管理”，使产品设计或加工过程设计成为保证产品质量优化的关键。     

基于等效焦面的离轴遥感相机积分时间计算方法

目前在轨和在研的光学遥感卫星大都搭载的是离轴遥感相机,为了保证视轴正对星下点成像,相机需要整体俯仰一定角度补偿离轴角,这样就导致相机的焦平面无法平行于星下点水平面进行推扫成像,相机的积分时间计算不准确。针对以上问题,提出一种基于等效焦面的高精度积分时间计算方法,该方法构建与星下点水平面平行的等效焦面,通过建立严密的几何关系,求出真正电荷转移时间对应的像元尺寸,从而得到准确的积分时间。仿真试验表明,该方法可以将积分时间计算精度提高1.2%,为卫星在轨提高成像质量提供有效手段。     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。     

零售服务质量中的人力资源管理(英文)

本文研究了人力资源管理与服务质量的关系。透过问卷调查及数据分析,确立人力资源的重点、结构与相互关系,促进服务质量。研究选择了零售服务为试点,给管理人员提供了一个更直接、更清晰的指引,发挥人力资源本身的素质。研究结果把希士杰等质量大师在美国哈佛商报中提出的“服务利润连接（Ｓｅｒｖｉｃｅｐｒｏｆｉｔｃｈａｉｎ）”具体化,使管理人员可以直接在企业内运用。     

使用“均衡记分卡”改善服务质量(英文)

基于“量度什么,便得到什么”的原则而发展起来的“均衡记分卡”可将公司策略清晰地演绎,为每一雇员工作表现指引。除了沿用一般传统财政目标外,“均衡记分卡”提供了一个全面、灵活、有效及均衡的企业表现量度／管理方法。从“顾客角度”、“程序角度”以及“学习角度”所作的度量可能激励企业的财政工作。制定“均衡记分卡”过程可阐明并传递公司的策略于每一雇员。个别工作单位目标及雇员目标亦可结合在一起以改善整体服务质量。     

局域网络操作系统NETBIOS的开发与应用

随着局域网络产品的不断增加,局域网络的标准化问题就变得非常重要,它可以缩短网络开发周期并提高其兼容性。由美国IBM与Microsoft公司推出的以DOS为基础的NETBIOS网络操作系统,已构成当前局域网络研制的标准,它使各种局域网络均向它靠拢,形成了目前局域网络软件开发的主要方法与途径。 本文在对NETBIOS分析的基础上,进行了应用开发,为光纤局域网络NHFBNET研制出NHDCS网络软件。在研制过程中很好地解决了分布式网络软件的前后台功能与程序的可重入问题,使得所研制的软件具有较强的分布式功能和良好的兼容性,为第三代网络软件——分布式功能的网络软件的开发探索出一条新的路径。