浙江省自然科学基金(Y1100689)
- 作品数:17 被引量:37H指数:3
- 相关作者:莫毓昌潘竹生赵建民钟发荣陈荣根更多>>
- 相关机构:浙江师范大学吉林大学东南大学更多>>
- 发文基金:浙江省自然科学基金国家自然科学基金浙江省教育厅科研计划更多>>
- 相关领域:理学一般工业技术自动化与计算机技术文化科学更多>>
- PMS故障树分析中的变量排序策略库研究被引量:3
- 2011年
- 研究阶段任务系统(PMS)故障树变量排序方法。构造一个包含10种不同排序策略的策略库,基于实例基准测试对策略库中的单个策略进行平均性能分析,并在此基础上对策略库本身进行互补性和完备性分析。实例分析表明,应用该策略库可以为各种结构特征的大规模PMS故障树快速有效地生成系统二进制决策图。
- 曾令国莫毓昌
- 关键词:故障树分析
- 优先级边排序策略及其性能分析被引量:2
- 2014年
- 网络可靠度BDD分析的计算复杂度与BDD尺度线性相关,而BDD尺度依赖边排序策略,边排序问题是BDD网络可靠度分析的重要问题。从网络结构特性出发,设计了优先级边排序策略并深入研究了在该策略下不同排序起点对BDD尺度的影响。实验结果表明:源点和网络中心不是高性能排序起点,最佳排序起点分布在网络边缘,网络中心点为最差排序起点。该结论可为揭示边排序影响BDD尺度的本质以及研究高效启发性边排序策略提供重要参考依据。
- 潘竹生莫毓昌赵建民
- 关键词:网络可靠度二叉决策图
- 阶段一致型阶段任务系统最优变量排序研究被引量:1
- 2015年
- 为缩小二进制决策图(BDD)模型的尺度,提高阶段一致型阶段任务系统(PMS)可靠性分析的准确性,对阶段一致型PMS的最优变量排序问题进行了研究。利用已有的阶段依赖排序(PDO)方法,基于不同的阶段组合关系,研究PMS故障树最优变量排序和PDO之间的关系。结果表明:阶段一致型PMS具有前向PDO适用于阶段与组合PMS,后向PDO适用于阶段或组合PMS的特性;将PMS故障树排序问题规约为一般故障树变量排序问题。
- 杨新民刘海天莫毓昌
- 关键词:故障树
- 冗余可修系统的可靠性分析被引量:4
- 2013年
- 针对冗余可修系统这一类广泛配置于各种关键应用中的高可靠系统,定义简单的冗余可修系统可靠性描述模型———冗余可修门.该模型能够有效地集成于动态故障树分析工具中,用以刻画冗余可修系统的可靠性行为,基于离散事件仿真方法给出通用的冗余可修门可靠性模拟方法.基于随机过程理论,证明了共享维修系统状态演变对应的随机过程是马尔科夫再生过程,推导了有效的可靠性分析公式.基于系统的同构性和负指数分布的无记忆性,证明了独立维修系统的失效转移性质,结合马尔科夫再生过程理论推导了有效的可靠性分析公式.通过实例说明了给出的冗余可修系统可靠性分析方法的具体应用.
- 潘竹生莫毓昌
- 关键词:冗余系统可修系统可靠性分析动态故障树
- 抗能量攻击的新标量乘算法被引量:2
- 2012年
- 标量乘算法是椭圆曲线密码中最基础也是最关键的运算,对整个密码体制的效率和安全性具有举足轻重的作用。在分析NAF(Non-Adjacent Form)标量乘算法和能量分析攻击基础上,综合考虑标量乘算法的速度和安全性,提出一种随机高效的ECC快速算法———改进的随机标量乘算法。与已有算法相比,该算法在保证同NAF等汉明重量的基础上,克服了由于引入随机变量所导致的冗余计算,实现了速度与安全的折中;也克服了NAF标量乘中需要预存储标量的不足,提高了存储效率。同时通过引入随进变量,每次产生不同的随机NAF表示,增强了抗SPA、DPA的攻击。
- 陈军赵建民
- 关键词:椭圆曲线密码标量乘NAF
- ARCH:用于计算机组成与结构课程教学的模拟器被引量:1
- 2013年
- 介绍基于开源软件包MML的计算机模拟器ARCH。ARCH实现了硬件结构的逻辑门级映射,易修改和动态运行,并具有丰富的寻址方式和指令类型,克服了软件实验平台抽象粒度过大和硬件实验平台交互性不强的问题。
- 莫毓昌张前贤陈荣根
- 关键词:模拟器计算机组成与结构ARCH
- 网络可靠度BDD分析算法的性能改进被引量:6
- 2012年
- BDD是布尔函数的图形表示形式,被广泛应用到网络可靠度的分析计算中。为了提升网络可靠度BDD分析算法的性能,本文根据边扩展图实例,识别两类无效边扩展路径:冗余节点型无效扩展路径和ST非连通型无效扩展路径,然后基于基本的网络可靠度BDD分析算法,实现了两类无效扩展路径的消除技术。实验结果表明,两种无效扩展路径消除技术能够提前识别无效扩展路径,避免无效扩展,有效减少中间子网的数量,缩减分析时间;通过把两种技术结合起来,可以有效地消除边扩展图中的这两类无效扩展路径,从而极大提升可靠度分析的性能。
- 潘竹生莫毓昌钟发荣赵建民
- 关键词:网络可靠度
- 一种新的启发式边排序策略及其性能分析被引量:2
- 2014年
- 网络可靠度BDD分析方法的计算复杂度与BDD尺度线性相关,而BDD尺度严重依赖边排序质量。由于求解最优边排序是一个NP问题,在实际应用中,通常采用启发式边排序策略如BFS(Breadth-First-Search)和DFS(Depth-First-Search)。针对边排序问题,从分析基于边界集(Boundary Set)的BDD构建方法 BDD-BS出发,将边界集思想应用于边排序过程,提出了一种新的启发式边排序策略。性能分析和大量实验表明,新设计的边排序策略性能优于经典的DFS和BFS策略,该结果为网络可靠度BDD分析方法在大规模网络中的应用拓展了新的空间。
- 潘竹生莫毓昌钟发荣刘轩伍欢
- 关键词:网络可靠度二叉决策图
- 物联网中车身CAN/LIN网络平台的实现及关键技术设计
- CAN/LIN网络应用的出现是一个很有前途的解决方案,它可利用到复杂的事物场景。然而,在物联网中,开发和部署这些应用电力消耗仍然存在着复杂的挑战。本文介绍了车身控制系统的基本架构,实现了CAN总线和LIN总线网络平台,并...
- 暴建民崔刚李彬王秀峰付忠传莫毓昌
- 关键词:物联网车身控制系统CAN/LIN网关低功耗
- 文献传递
- 用于计算机体系结构教学的哈佛体系结构模拟器被引量:1
- 2014年
- 已有的计算机体系结构教学模拟器主要是面向冯诺依曼体系结构。针对缺乏面向哈佛体系结构模拟器这一问题,本文提出并设计了基于开源软件包Multimedia Logic(MML)[1]哈佛体系结构模拟器。该模拟器不仅具有软件的易动态运行、易修改、易二次开发的优点,同时还实现了硬件结构的逻辑门级映射[2],从而在课程教学和实验设计方面对哈佛体系结构教学提供了很好的支持。
- 张前贤莫毓昌潘竹生
- 关键词:模拟器哈佛体系结构