一种电子文件谱系生成方法

    公开(公告)号:CN105005605A

    公开(公告)日:2015-10-28

    申请号:CN201510390575.3

    申请日:2015-07-06

    CPC classification number: G06F17/3007

    Abstract: 本发明提供了一种电子文件谱系生成方法,该方法在电子文件中注入电子标签,并在电子标签中记录文件ID和父ID,然后将ID之间的引用关系都记录在服务器的数据库中,在进行文件谱系查询时,根据ID之间的引用关系生成文件的谱系结构图,这种方法便于对文件整个生命周期进行管控,实现对文件处理、流转过程的管理。并且本发明在电子文件标签中记录了文件的基本信息,便于对文件进行处理过程、流转过程、密级管理等问题进行查询,该监控过程智能透明,不会改变用户操作习惯,也不会改变原有信息的状态,大大提高了对电子数据安全和管理的效率。

    发射场多模式微波光纤中继转发质量判决分系统

    公开(公告)号:CN104158603A

    公开(公告)日:2014-11-19

    申请号:CN201410349960.9

    申请日:2014-07-22

    Abstract: 本发明公开了一种发射场多模式微波光纤中继转发质量判决分系统,主要包括1台多通道扩频复用信号源、1台功率放大器、1台S波段下变频器、1台S波段信号预处理器、5台信号分析器处理器、1台信号评估计算机、便携调试终端、远程控制终端、1台评估监视终端、1台多路信号监视控制计算机、发射天线和接收天线。本发明优点在于通过信号预处理、下变频、数字信号处理可直观显示多路信号的频谱,操作人员可依据此系统对信号质量进行评估,通过天线接收指向调整以及对预处理设备的调控使得多路信号均衡,达到各地面设备可解调的要求,从而确保系统在最短时间内从调试状态达到工作状态。

    一种基于双单向隔离网闸的边界访问控制方法

    公开(公告)号:CN103491072A

    公开(公告)日:2014-01-01

    申请号:CN201310403023.2

    申请日:2013-09-06

    Abstract: 本发明公开了一种基于双单向隔离网闸的边界访问控制方法,本发明采用了基于双单向隔离网闸的边界访问控制模式来实现信息的双向交换,通过保证两条单向传输通道的独立、隔离来控制高密级信息不会由高等级安全域流向低等级安全域,并有效屏蔽了基于双向网络协议的恶意攻击,提高了安全域边界的防护能力;通过加入信息源的身份可信认证和数据加密技术,引入了信息发送源的身份认证信息,并通过身份信息对传输的应用数据进行加密,只有判断信息的来源可信后,才能对应用数据进行还原处理,如果信息源的身份可信认证未通过,则不会解密相关数据,在应用层面加入可信认证、内容检测等安全机制提高了安全域间信息传输的可信性和保密性,提高了系统的抗风险能力。

    一种基于抽象解释和模型验证的运行时错误分析方法

    公开(公告)号:CN103617115A

    公开(公告)日:2014-03-05

    申请号:CN201310529070.1

    申请日:2013-10-30

    Abstract: 一种基于抽象解释和模型验证的运行时错误分析方法,本发明包括以下步骤:基于抽象解释理论,采用前向迭代方法分析程序数值变量值范围,获得程序点达到稳定时的变量值范围信息,对于循环节点的迭代计算采用循环展开和延迟拓宽相结合的方法实现;根据待分析的运行时错误类型,在相关需要检测的程序点处将变量值范围信息转化为断言或假设形式插入程序中;将带有断言和假设的程序转化为布尔公式,其中布尔公式包括限制条件和属性;使用SAT验证器判断布尔公式中属性的正确性。若正确,说明不存在相关运行时错误;若不正确,说明存在相关运行时错误,并输出相关的反例路径。本发明实现了在运行时错误分析精度和效率之间取得一个平衡点。

    一种基于技术成熟属性的技术成熟度等级确定方法

    公开(公告)号:CN102890753A

    公开(公告)日:2013-01-23

    申请号:CN201210411118.4

    申请日:2012-10-24

    Abstract: 本发明涉及一种基于技术成熟属性的技术成熟度等级确定方法,首先依据技术成熟度等级(Technology Readiness Level,TRL)国际标准定义和原则,从技术本身的配置(技术状态)、技术在系统中的集成度(集成状态)、进行演示或验证的环境三方面属性出发,根据这些重要特征在各个级别不断发展、变化的过程,制定出技术成熟度评价准则,可以更清晰地认识、科学客观地评价一项关键技术元素(Critical Technology Elements,CTE)成熟所达到的等级。最后,根据评价细则符合程度计算出一项技术的成熟比例。

    一种安全攸关系统的软件安全性保证的实现方法

    公开(公告)号:CN103955427B

    公开(公告)日:2016-08-24

    申请号:CN201410178300.9

    申请日:2014-04-29

    Abstract: 一种安全攸关系统的软件安全性保证的实现方法,(1)定义系统的软件安全设计要求,包括软件需求阶段安全性设计要求、软件设计阶段安全性设计要求、软件编码阶段安全性设计要求、软件测试阶段安全性设计要求;(2)根据软件安全性等级,对(1)中的安全性设计要求进行裁剪,并按各项要求实施软件需求、软件设计、软件编码、软件测试的安全性设计;(3)获取软件安全证据,判断安全证据是否满足(2)中各项安全性设计要求;(4)获取系统的软件安全性风险规避措施;(5)验证软件安全性风险规避措施是否可追踪到软件需求、软件设计、软件编码、软件测试。本发明提升了软件安全性保障能力,填补了航天重大工程软件安全性保证的技术空白。

    一种基于内存管理的模式化软件关键行为跟踪方法

    公开(公告)号:CN103631712B

    公开(公告)日:2016-03-02

    申请号:CN201310502650.1

    申请日:2013-10-23

    Inventor: 袁野 范志强

    Abstract: 一种基于内存管理的模式化软件关键行为跟踪方法,由部署在服务器的监控控制台和客户端的监控探头组成软件关键行为监控系统。监控控制台通过静态分析提取被监控软件的行为节点信息,定义关键行为及行为提取特征信息,采用探头注入的方式实现对目标软件的监控。监控探头利用函数劫持技术,并采用基于小内存管理的堆空间代码驻留技术和维持栈空间平衡的容器管理技术,实现关键行为信息的有效提取。本发明可以针对单线程、多线程及包含复杂递归调用关系的软件关键行为进行有效地跟踪,具有较高的灵活性和适应性,并且考虑了目标及其它软件的正常运行。

    一种航天工程制造成熟度等级确定方法

    公开(公告)号:CN104820771A

    公开(公告)日:2015-08-05

    申请号:CN201510171177.2

    申请日:2015-04-10

    Inventor: 马宽 刘瑜 周少鹏

    Abstract: 一种航天工程制造成熟度等级确定方法,首先对成熟度分级并进行定义,并根据待评价制造技术或产品的不同,从航天工程制造成熟度评价要素表中选取每一等级的评价要素,确定每个要素的权重;然后确定用于判定成熟度等级的成熟指数阈值,并根据成熟指数计算公式计算初评等级的成熟指数;最后根据自评等级的成熟指数选择向更高等级或更低等级计算成熟指数,确定最终的成熟度等级。本发明最终实现了航天工程制造技术或产品的成熟度等级确定,给出了航天工程制造成熟度等级确定的定量计算方法,最大程度上满足了我国航天工程制造技术和产品成熟状态评价的需求,为航天工程制造成熟计划制定,制造能力提升提供了有力工具。

Patent Agency Ranking