一个基于网络的程序自动评测系统

基于网络的分布式程序自动评测体系结构提供了一种高效、准确、适应性强的机制来实现一个评测系统.该体系结构通过被动激活方式利用木马技术,保证了系统在通讯和评测过程中的安全性,并在评测中实现了评测程序对系统资源的零占用,这使得样本程序在开发和评测时处于一致的运行环境中.该体系结构通过规则库和过滤程序的使用,提高了其灵活性和适应性,使得它可以适用于更多类型的样本程序.在此基础上,实现了一套完整的应用系统.经过多次实际应用,证明其具有高效、安全和配置灵活的特点.      

国际空间站进展点滴

国际空间站进展点滴目前，ＮＡＳＡ与其国际合作伙伴，正在对国际空间站进行系统设计评审（ＳＤＲ）。系统设计评审是整个空间站计划的技术基准。评审的内容包括：空间站的应用、运营和在轨装配。ＮＡＳＡ空间站计划负责人Ｒ．Ｂｒｉｎｋｌｙ说，系统设计评审是空间站从设...     

一种模块级可降级重组双机系统的系统管理程序实现方法

分析了模块级可降级重组双机系统的有效组态数,并与双机系统级备份进行了比较。分析结果表明,随着冗余级别的降低,系统的可靠性有所改善,但系统的有效组态数将大大增加,这将导致系统管理程序的复杂化。文章介绍了该系统管理程序的设计准则,并对其中几个有特点的子程序作了简要说明。     

时隙分配算法在CDM GDP 程序中的应用

机场容量由于恶劣天气等突发原因受到限制导致大面积航班的延误,带来了巨大的经济损失.CDM(Collaborative Decision Making) GDP(Ground Delay Procedure)就是解决这类突发情况的空中交通流量管理程序.就其核心问题——时隙分配,在现有的时隙分配算法基础上,引入航班延误损失系数,使得算法以延误损失替代延误时间,提出了2种基于该系数的时隙分配算法.最后,用java语言进行了仿真实验,引入了评判函数来选择在总延误损失和延误损失分配的公平性上最佳满足决策者要求的分配结果.      

基于PERT网络的航空弹药保障人员优化配置

针对航空弹药保障效率和可靠性要求高的问题,在分析保障流程的计划评审技术（PERT,Program Evaluation and Review Technique）网络图中各工序对任务完工影响程度的基础上,提取了工序关键度指标和重要度指标以及各方案下的按期完工概率,建立了保障人员配置方案评价指标体系,表示为评价函数形式.以基于蒙特卡洛方法的PERT网络仿真为核心,选择在遗传算法进化寻优框架下构建优化模型,该方法不仅得到了最优的保障人员配置方案,而且评估了需要注重的关键工序.算例实验证实了其有效性与实用性.      

成飞CIMS第三期工程通过国家验收

近日,成飞（集团）公司 CIMS第三期工程顺利通过了国家 863/CIMS专家组的评审验收,标志着成飞公司在实施和推广应用 CIMS工程技术方面又迈上了一个新的台阶。 1989年 8月,成飞（集团）公司成为国家 863/CIMS第一家应用工厂。经过 10年的努力,投资 3000多万元,完成了成飞 CIMS工程的可行性论证、初步和详细设计,由管理信息、工程信息、车间自动化和质量信息等 4个应用分集成系统以及数据库和网络两个支持系统组成了成飞 CIMS系统,建成了两条直接数控生产线,并分三阶段进行了三期工程的实施和应用。 一期工程,完成了从 C…     

如何开展管理评审

综述管理评审应采取的方法、内容和基本步骤     

填图报远程调报系统的开发与应用

本文扼要地介绍了自主开发的哈尔滨太平国际机场气象台从黑龙江省气象台调用填图报文程序的设计、功能、安装、应用及其特点。     

砝码校准能力验证方案的设计

借鉴质量管理体系的理念和方法,结合能力验证的规则和特点,阐述了砝码能力验证方案的设计过程,具体分析了设计方案的评审、实验室分组、样品传递、结果报告发布等各阶段的内容。经实践验证,设计方案合理,控制效果显著。     

砝码校准能力验证方案的设计CSCD

借鉴质量管理体系的理念和方法,结合能力验证的规则和特点,阐述了砝码能力验证方案的设计过程,具体分析了设计方案的评审、实验室分组、样品传递、结果报告发布等各阶段的内容。经实践验证,设计方案合理,控制效果显著。