李扬
- 作品数：3 被引量：3H指数：1
- 供职机构：哈尔滨理工大学计算机科学与技术学院更多>>
- 发文基金：黑龙江省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 任务关键系统可生存性的形式化建模方法被引量：2
- 2011年
- 通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型,并比较两种建模角度的异同。理论分析和实验结果表明该模型能够正确地反映出可生存性的关键属性,并可在理论上指导可生存系统的设计和实现。
- 王健郭黎利李扬
- 关键词：可生存性随机进程代数形式化建模
- 装配序列规划的DNA计算及其仿真被引量：1
- 2011年
- 为了解决装配序列规划中的NP问题,引入DNA计算的方法进行最优装配序列求解.依据信息论中信息熵的概念,采用信息分解转换法提取装配体信息,提出用装配信息熵评价零件之间的关联,将装配序列规划问题转化为求最小Hamilton回路问题.研究了DNA计算理论,并给出了利用DNA计算求解最优装配序列的步骤.设计了DNA计算的仿真模型,求出最优装配序列.与传统优化方法进行了比较,证明了DNA计算能够并行地处理海量数据,解决计算复杂度高的工程问题.
- 李扬周亮曹刚任彦海
- 关键词：DNA计算信息熵
- 任务关键系统可生存性的形式化建模方法
- 通过剖析影响可生存性的本质特征，将服务请求与服务器、攻击者与服务器描述为不同的组件，使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程，从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型，并比较两种建...
- 王健郭黎利李扬
- 关键词：计算机网络安全可生存性形式化建模进程代数
