一种运行态PKI/CA认证体系平滑升级方法，包括运行态PKI/CA认证体系平滑升级总体架构；运行态PKI/CA认证体系平滑升级总体架构包括基础设施层、密码计算接口层、通用算法组件、证书应用中间件和通用桌面套件；基础设施层由现有的认证基础...

本发明公开了一种多源异构嵌入式软件协同仿真测试方法，包括基于混合式P2P的协同仿真测试方法、基于滑动窗口的时钟同步方法和基于时间系数矩阵的动态时间推进方法。本发明采用的基于混合式P2P的协同仿真测试方法可以实现多源异构嵌入式软件中全实物...

本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信需求的分解；软件...

本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成了软件的可信特征...

本发明公开了一种带有任意有界时滞的异构多智能体系统的分组一致性控制方法，构建一阶系统和二阶系统的数学模型，确定多智能体系统拓扑结构，利用图论知识描述其拓扑关系；设计带有时滞的异构多智能体系统的控制协议；利用矩阵论和非负矩阵的性质分析系统...

本发明公开了一种基于抽象业务原子操作的异构系统自动化运维方法，包括以下步骤：业务原子操作、运维作业设定、资源信息采集、运维任务执行、自动翻译、命令过滤、命令交互。本发明提出的基于抽象业务原子操作的异构系统自动化运维方法，为运维人员屏蔽了...

本发明公开了一种基于语义聚合指纹的文本多粒度相似度比对方法，包括以下步骤：词向量表示的训练；语义特征提取；多特征聚合；层级索引构建；相似度计算。本发明联合多维语义相关性进行词向量表示建模，充分挖掘单词间的语义信息，以句子为单位提取特征，...

本发明公开了一种基于混合自动化测试框架的Web测试平台，其总体架构包括自动化测试管理层、自动化测试引擎层和第三方测试工具，其中，自动化测试管理层用于Web自动化测试的全过程管理，支持测试实施人员进行测试需求分析、测试设计和测试结果分析与...

本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器外部接口的统一封...

本发明公开了一种数据驱动的复杂控制系统扰动解耦容错控制方法，包括：步骤一、离线解耦，利用复杂控制系统正常工况下运行数据构造扰动解耦矩阵，实现对扰动的离线解耦；步骤二、在线容错控制，对复杂控制系统实时运行工作过程中产生的测量数据进行在线扰...

本发明公开了一种基于层次化自适应策略的容错CPS仿真测试方法，包括以下步骤：容错CPS仿真资源模型的建立与测试资源的分配，包括建立容错CPS仿真资源的分层模型和测试资源的自适应分配；容错CPS仿真测试，包括层间消息传递和协同仿真时序推进...

本发明公开了一种基于状态行为树的自动化仿真测试优化方法。包括以下步骤：层次化的测试脚本设计；状态行为树模型的建立，包括状态行为树的初建和构成；基于最大公共子树的测试优化，包括状态行为树编码和最大公共子树求解；混合实时任务调度，包括任务调...

本发明公开了一种将XML Schema文档转换为XSL文档的方法，包括以下步骤：先确定XML Schema标准定义中需要关注的元素，然后确定XML Schema标准定义的元素和XSL标准定义的元素之间的映射关系；对XML Schema文...

本发明公开了一种将IETP数据包转换为SCORM数据包的方法，包括以下步骤：清空SCORM数据包目录下的临时目录及其子目录；清空IETP数据包解压后所在目录及其子目录；解压IETP数据包；获取IETP数据包解压后的多个PM手册，并其存入...

本发明公开了一种基于应用集成插件的安全数据交换方法，具体步骤如下：步骤一，应用集成插件功能；步骤二，应用插件的集成；步骤三，数据交换应用；步骤四，安全数据交换的流程；步骤五，交换系统的扩展。本发明将数据交换系统的数据收发接口封装到应用集...

本发明公开了一种基于XML Schema验证XML文档的方法，包括：S1，Java语言实现DOM编程接口，解析XML文档以获取相应的解析文档DOMdoc；S2，对解析文档DOMdoc进行完整性校验，以判断其是否存在语法错误；S3，输出错...

本发明公开了一种基于XSL将XML文档转换为HTML格式文档的方法，包括：S1，新建一个与XML文档同名的HTML格式文档；S2，定义转换算法，实现XML文档到HTML格式文档的转换；S3，调用系统默认浏览器以显示HTML格式文档；其中...

本发明公开了一种基于远程过程调用的软总线通信方法，具体步骤如下：步骤一，远程调用软总线总体架构；步骤二，建立Actor模型机制；步骤三，建立规则链表；步骤四，连接仿真节点；步骤五，启动Actor生命周期。本发明的方法中软总线将基于消息派...

本发明公开了一种工业控制网多属性约束访问控制决策系统和方法，该策系统和方法属于工控安全领域。为解决关键设施工业控制网面临的控制信息完整性破坏和非法控制等问题，结合关键设施工业控制网具有承载业务确定、网络组件及其状态有限、可描述、可预期、...

本发明公开了一种将XML Schema文档转换为Java代码的方法，包括：S1，建立与XML Schema标准定义的30种元素、12种限定元素相对应的Java类，并依据元素、限定元素之间的嵌套关系建立Java类之间的引用关系；S2，解析...