杨亚磊
- 作品数：11 被引量：37H指数：3
- 供职机构：西北工业大学更多>>
- 发文基金：国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于多属性熵权合成的软件可信等级评估方法被引量：5
- 2014年
- 提出了一种基于多属性熵权合成的软件可信等级评估方法,该方法基于证据分类对多元可信证据进行合成,再通过不确定熵计算各可信属性的权重值,进而合成待评测软件的可信级别.该方法着重解决了软件可信性评估中可信证据合成时证据冲突,以及多属性权重分配等问题,从而使软件可信评估的结果更加准确和真实.最后通过具体实施验证了该方法的可行性.
- 王犇周兴社杨亚磊
- 场景驱动CPS系统的结构模型与行为模型协同建模方法
- 本发明公开了一种场景驱动CPS系统的结构模型与行为模型协同建模方法，包括利用MSC构建场景模型；构建场景事件流图；构建CPS系统框图；将场景事件流图在构建的CPS系统实体关系图上进行投影，投影得到的CPS系统实体关系图的...
- 杨刚杨亚磊周兴社王宇英杜承烈沈博
- 基于C4.5的HTTP隧道检测技术研究被引量：4
- 2012年
- 针对网络恶意软件威胁日益严重等问题,研究了恶意软件常采用的通信方式———隧道技术,并提出了一种基于C4.5的HTTP隧道检测算法。该算法采用决策支持树算法C4.5提取网络流特征字段,根据特征字段生成训练数据建立HTTP隧道分类的决策树检测模型,采用该分类模型检测HTTP隧道流,为检测恶意软件提供依据。实验结果表明,与同类算法相比,该算法不依赖样本空间的分布,能准确地检测HTTP隧道流,具有良好的有效性和稳定性。
- 王宜菲杨亚磊饶孟良
- 关键词：恶意软件网络流C4.5决策树
- 一种基于CPS‑ADL模型向混合程序转换的CPS建模与验证方法
- 本发明公开了一种基于CPS‑ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS‑ADL平台上采用扩展的混成系统描述语言E‑HYSDEL对CPS进行建模；给出HP模型...
- 周兴社拓明福张凡杨刚单黎君杨亚磊张军
- 文献传递
- 基于多属性熵权合成的软件可信等级评估方法
- 本发明公开了一种基于多属性熵权合成的软件可信等级评估方法，首先定义待评软件的可信属性集合并获取支持这些可信属性的证据项，根据证据类型不同，对每一个可信证据进行度量，获取度量结果，然后获取软件可信证据对软件可信属性的基本信...
- 杨刚杨亚磊周兴社王涛田青
- 文献传递
- 场景驱动CPS系统的结构模型与行为模型协同建模方法
- 本发明公开了一种场景驱动CPS系统的结构模型与行为模型协同建模方法，包括利用MSC构建场景模型；构建场景事件流图；构建CPS系统框图；将场景事件流图在构建的CPS系统实体关系图上进行投影，投影得到的CPS系统实体关系图的...
- 杨刚杨亚磊周兴社王宇英杜承烈沈博
- 文献传递
- 基于映射机制的业务规则生成系统
- 2015年
- 针对业务规则语言繁杂而导致的信息系统难以升级或迁移等问题,在分析现有业务规则开发方法基础上,采用分层体系结构,提出了一种独立于规则引擎的基于映射机制的业务规则生成系统模型。该系统定义了类自然语言的业务规则描述模型,设计了基于XML的中间业务规则,并构建了中间业务规则与目标规则的映射关系,实现了不同规则引擎所识别规则之间的相互转换。
- 李伟超周兴社杨刚杨亚磊
- 关键词：自动生成映射表
- 一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法
- 本发明公开了一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS-ADL平台上采用扩展的混成系统描述语言E-HYSDEL对CPS进行建模；给出HP模型...
- 周兴社拓明福张凡杨刚单黎君杨亚磊张军
- 信息-物理融合系统动态行为模型构建方法被引量：28
- 2014年
- 信息-物理融合系统(Cyber-Physical System,CPS)特有的计算、通信、控制的联合动态性,计算与物理的多尺度融合性,系统环境及状态的时空交互性以及系统动态行为的非确定性,不但使面向CPS的模型驱动设计与验证方法在CPS系统设计中更为重要,而且也向其提出了新的技术挑战.论文在结合典型实例分析CPS系统特征及其模型构建具体挑战的基础上,研究并总结了CPS动态行为建模的主要方法:一体化建模方法从CPS系统层面描述计算过程与物理过程的交互与融合;时空交互建模方法关注CPS系统行为与时间及空间关系的语义表示;功能和实现兼容建模方法侧重刻画CPS系统的逻辑设计和物理实现的映射与支撑;而集成建模方法则重点解决多异构模型的交互方式与语义的一致表达.论文基于多异构实体的CPS系统建模框架,提出了一种CPS系统结构与动态行为的协同建模方法,并用CPS-ADL对其进行了实现和验证.
- 周兴社杨亚磊杨刚
- 一种将AADL无损转换成XML的方法
- 本发明涉及一种将AADL无损转换成XML的方法，属于语言转换技术领域。本发明涉用于将AADL语言描述的模型转换为XML格式，使用Xtext描述AADL语言的文法，用EMF描述AADL的元模型，在Xtext中建立AADL文...
- 周兴社孙中豪杨刚高荣杨亚磊
- 文献传递
