-
公开(公告)号：CN104239213A
公开(公告)日：2014-12-24
申请号：CN201410513604.6
申请日：2014-09-29
申请人： 北京航空航天大学
摘要： 本发明是一种面向航天器自动化测试的并行测试任务两阶段调度方法，属于并行测试领域。本方法包括：第一阶段，分析和确定测试任务、任务中指令和被测参数，明确任务间约束关系，建立时序约束矩阵和参数竞争关系矩阵，将任务及其间约束关系转化为无向图，把并行任务调度问题转化为图顶点的顺序最小着色问题，使用基于粒子群和模拟退火结合的方法求解，得到并行度最大的测试任务组；第二阶段，把得到的并行度最大的测试任务组在有限的测试设备上进行分配，获取最优调度方案。本发明快速建立起多个测试任务的约束关系，分析出测试任务之间的独立性，增加了测试任务的并行度，并且在满足约束的条件下实现任务在设备上的最优调度，提高测试的效率。
-
公开(公告)号：CN103914385A
公开(公告)日：2014-07-09
申请号：CN201410144168.X
申请日：2014-04-11
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明是一种面向安全苛刻系统并行测试的测试细则可视化动态构建方法，属于系统测试领域。本方法对安全苛刻系统的所有型号测试定义了一种五级结构的型号树的同构存储数据结构，按照该型号树构建当前型号树和对比型号树，然后根据测试需求进行型号树拷贝或者单节点拷贝，将对比型号树中节点添加到当前型号树中时，判断是否存在位于相同分系统节点或者测试项目节点下的、相同逻辑关系的同名节点，对于同名节点不进行再次添加。本方法对当前型号树的节点操作都记录到缓冲区中，在提交节点操作到数据库前进行消除冗余操作。本方法设计了多型号测试的通用存储结构，减少了多型号航天器测试中测试细则的编写时间及测试人员工作量，提高了测试效率。
-
公开(公告)号：CN103559217A
公开(公告)日：2014-02-05
申请号：CN201310488096.6
申请日：2013-10-17
申请人： 北京航空航天大学
IPC分类号： G06F17/30
CPC分类号： G06F17/30371 , G06F17/30575
摘要： 本发明提供了一种面向异构数据库的海量组播数据入库实现方法，按照一定周期和数量限定接收组播报文，将所需报文存入一个一级缓存数据文件中，以信号量触发对一级缓存数据文件的解析，将报文存入对应型号的二级缓存数据文件，对各型号建立对应的二级缓存数据文件存储目录及相关数据文件和控制文件；各型号入库线程根据信号量可同步触发入库操作，解析待入库二级缓存数据文件，将解析后的数据通过调用SQL*Loader和入库控制文件数据录入对应的数据库。本发明实现了海量组播数据实时、稳定地接收处理，实现了多目标数据库同步高效地入库，提升了实际应用中对海量组播数据的处理能力，保证了数据的完整性，提高了应用系统的效能。
-
公开(公告)号：CN116611018A
公开(公告)日：2023-08-18
申请号：CN202211541061.X
申请日：2022-12-02
申请人： 北京航空航天大学 , 北京空间飞行器总体设计部
IPC分类号： G06F18/25 , G06N3/0442 , G06N3/045 , G06N3/0475 , G06N3/094
摘要： 本发明是一种基于多源数据融合的装备系统健康管理及故障诊断方法，属于故障检测领域。本发明方法包括：考虑同类及异类传感器之间的数据一致性，进行航天器多源数据的预处理，保留数据的原始信息及时序特性，对不同传感器来源的数据缺失值进行针对性填充；针对航天器多源数据的同类传感器和异类传感器数据进行融合，对同类传感器数据进行最优融合，对异类传感器数据进行线性及非线性融合，最大程度保留数据原始信息；建立基于变分自编码器和生成式对抗网络的故障检测模型，并引入LSTM模型建立特征之间的时间依赖关系。本发明最大程度地保留了数据原本的特征，提高了故障检测精度，使航天器自主故障检测过程有更强的健壮性、更高的准确率。
-
公开(公告)号：CN115757103A
公开(公告)日：2023-03-07
申请号：CN202211370880.2
申请日：2022-11-03
申请人： 北京航空航天大学
IPC分类号： G06F11/36 , G06N3/04 , G06N3/0464 , G06N3/084
摘要： 本发明提供了一种基于树结构的神经网络测试用例生成方法，用于实现对深度神经网络的白盒测试。本发明方法包括：根据输入样本激活的多层神经元将深度神经网络映射为树结构；设计设计树结构变动的测试指标，衡量输入样本发生变化后对所映射的树结构的影响，用于检测测试样本是否合适；构建最大化深度神经网络预测输出的差异和最大化多层神经元覆盖率指标的联合优化函数，随机生成一组输入样本，使用梯度下降算法迭代求解联合优化函数得到梯度信息，根据梯度信息生成所需的测试用例。本发明方法关注不同层之间神经元的关联关系以及整体模型的结构信息，能生成较少且高质量的测试用例，可覆盖大部分训练集状态并激活额外的神经元结构状态。
-
公开(公告)号：CN107066382B
公开(公告)日：2021-01-26
申请号：CN201710138290.X
申请日：2017-03-09
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种基于模型的航天器系统自动化测试方法，属于系统测试领域；首先通过形式化的方法建立被测航天器系统的窗口树模型，根据业务流程划分被测航天器系统运行时的行为状态，构建系统行为状态转移图；然后遍历窗口树生成测试用例集，并在被测航天器数字化模型与验证原型系统运行，设置跟踪点，获取系统行为状态并记录状态转移序列，最后通过模型检测算法检查所获得的行为状态转移序列是否遵循状态转移规则，从而自动验证被测航天器系统总体设计以及模块之间的接口设计；本发明采用基于模型的测试技术降低航天器系统测试成本和缩短航天器系统整个研制周期，采用形式化方法和模型检测算法提高了航天器系统测试的质量和准确性。
-
公开(公告)号：CN110275817B
公开(公告)日：2020-09-22
申请号：CN201910508375.1
申请日：2019-06-13
申请人： 北京航空航天大学
摘要： 本发明提出一种基于模型驱动的日志文件自动生成方法，属于软件体系结构建模和日志文件自动生成相结合的领域。包括：基于软件体系结构建模思想，对应用程序各层功能组成进行编码，采用自动化映射方式替换包含应用系统内部定义的日志信息。然后截获相应操作行为对应的用户信息，与其它必要的系统说明信息一起生成日志内容，以log文件或数据库文件的形式进行存储。同时，可通过修改配置文件的方式任意开始或停止日志信息的收集工作，也可根据实时需要对现有日志信息进行扩展或删减。本发明实现了日志系统与应用系统的物理分离与逻辑独立，而且保证了日志内容的全面、详实、可扩展性，可帮助维护应用系统，提高后续数据分析工作效率。
-
公开(公告)号：CN107341215B
公开(公告)日：2020-05-12
申请号：CN201710498922.3
申请日：2017-06-27
申请人： 北京航空航天大学
IPC分类号： G06F16/33 , G06F16/36 , G06F16/35 , G06F16/953
摘要： 本发明提供了一种基于分布式计算平台的多源垂直知识图谱分类集成查询方法。本发明包括集成控制管理系统、图检索服务系统和查询控制管理系统，集成控制管理系统构建多源垂直知识图谱分类集成目录模型，将存储在不同位置的垂直知识图谱集逻辑上按类别进行分类集成管理，并负责接收查询任务，拆分并下发子任务；图检索服务系统执行查询子任务，实现基于关键词组的知识图谱相关实体、关系查询；查询控制管理管理查询任务和并发查询子任务的执行。本发明可实现并行查询多个知识图谱，使用户无需进行全局模式数据集成即可完成基于关键词组的知识图谱相关实体、关系信息查询，可用于构建跨领域问答系统和应用系统推荐平台。
-
公开(公告)号：CN110224869B
公开(公告)日：2020-04-17
申请号：CN201910508370.9
申请日：2019-06-13
申请人： 北京航空航天大学
摘要： 本发明提供了一种微服务网站的自动化部署方法，将微服务网站的部署区域分为负载均衡区、计算服务区、数据库服务区和存储区进行部署。本发明首先构建部署文件和配置文件；部署文件记录服务器IP地址和基础软件映射关系、安装指令等，配置文件记录服务器间的集群关系、主从服务器IP地址等；然后依据部署文件向目标服务器发送对应的基础软件及依赖项；对各区服务器，依据部署文件和配置文件进行自动部署；在部署完成后，自动依据测试文件进行正确性与可用性检测，检测通过后，在指定服务器上部署微服务网站的war包。本发明实现了微服务网站在服务器上的快速批量部署与更新，部署效率和准确率高，减少了运维人员的工作负担。
-
公开(公告)号：CN110286882A
公开(公告)日：2019-09-27
申请号：CN201910438229.6
申请日：2019-05-24
申请人： 北京航空航天大学
摘要： 本发明提出一种基于模型检测的前台系统设计与验证方法，属于模型检测的系统设计与验证领域。本发明包括：模型生成模块根据前台系统的设计需求建立界面模型，生成状态转移图；测试用例生成模块遍历界面模型，自动批量生成对前台系统测试的检测用例集；界面模型自动机对检测用例集中的每一个检测用例，通过触发界面上的菜单或者菜单项来调用相应的api转到下个界面，获取检测用例的状态表和状态转移表；状态转移自动机将检测用例的状态及状态转移规则，与规约相比对进行正确性验证，验证不通过时，输出验证不通过的位置。本发明实现了在项目初期对前台系统的设计及开发的验证，减少后期项目的维护成本，提高了前台系统的设计质量和开发效率。
-
-
-
-
-
-
-
-
-
搜索结果
57 条记录 (耗时 0.033 秒)
