马海云
- 作品数：52 被引量：72H指数：5
- 供职机构：天水师范学院更多>>
- 发文基金：甘肃省自然科学基金甘肃省教育厅研究生导师科研项目国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学环境科学与工程一般工业技术更多>>
- 一种收费站排队模型的模拟实现
- 2017年
- 对于简单的排队系统,可以直接用排队理论的相关公式来研究,当排队系统到达间隔时间和服务时间的概率分布很复杂时,就需用计算机模拟来求解.利用交通流量对时间的函数F(t),对排队模型进行计算机模拟,并给出了相应的算法和仿真实现.
- 马海云
- 关键词：计算机模拟
- 软件测试的一种数学简化方法被引量：2
- 2008年
- 在马尔可夫链模型的基础上,将软件测试结果的分析问题转化为一个经典概率问题。通过数学方法实现了软件测试模型的简化,加速了测试用例的生成,从而降低了测试的复杂度,解决了简化测试用例集难度的问题。通过实例证明,这种测试技术具有一定的实用性和有效性。
- 张忠林马海云贾利敏
- 关键词：马尔可夫链
- 蒙特卡罗仿真机及其应用被引量：9
- 2006年
- 蒙特卡罗仿真机是通过对随机性问题采用Monte Carlo方法进行计算机仿真,从而得出待解问题的解。为了研究复杂的随机问题,文中提出了基于蒙特卡罗的随机模拟法的蒙特卡罗仿真机,并说明了它的基本原理。通过圆周率的计算,实践了蒙特卡罗仿真机的应用过程,从而显示出蒙特卡罗仿真法处理随机性问题的优越性和仿真普遍的适用性。
- 马海云齐小军
- 关键词：蒙特卡罗方法计算机模拟随机数
- 一种改进的Hopfield网络学习算法
- 2015年
- 对人工神经网络ANN(Hopfield网络进行了分析,提出了Hopfield网络的稳定性问题,完善了Hopfield网络的学习算法。
- 张利军马海云
- 关键词：人工神经网络HOPFIELD网络神经元阈值
- 基于蒙特卡罗的软件测试技术的研究与实现被引量：10
- 2007年
- 提出了基于蒙特卡罗的软件可靠性测试方法,借鉴一些传统的软件测试方法(如白盒测试,黑盒测试法等)和蒙特卡罗方法,在它们的基础上加以改进,提出的一套全新的测试技术.通过实例说明了该测试技术的实现过程,证明了它的实用性和有效性.使用该技术可以提高软件测试的准确性和正确率、缩短软件测试的周期.
- 马海云党建武
- 关键词：软件测试蒙特卡罗方法
- 基于身份的无可信中心的门限群签名方案被引量：4
- 2012年
- 在一种改进的椭圆曲线数字签名算法的基础上,采用Shamir门限秘密共享方案和联合秘密共享技术设计了一种新的基于身份证书机制的无可信中心的(t,n)门限群签名方案,该方案由以下四个步骤组成:系统初始化阶段(确定系统参数)、密钥生成阶段(群公钥及分存秘密的生成)、部分签名的生成和验证阶段、群签名的生成和验证阶段。在这个新方案中由全体成员来共同决定群公钥和成员的私钥,无需可信中心的参与。这样每个成员只了解群公钥,没有掌握与其他成员的私钥有关的任何信息,从而有效地避免了成员私人密钥的泄漏,并且在整个方案的执行过程中都没有任何系统秘密信息的泄露。新方案具有以下优点:弱化了应用门限签名方案的前提条件,扩大了其应用范围;密钥管理简单,显著地减少了通信量和计算量,提高了系统效率,具有更好的适应性。详细分析了对该方案各种可能的攻击方式,包括在门限签名方案中常见的、非常有效的伪造攻击、合谋攻击等。分析表明所提出的方案是安全有效的。因此,该方案具有较强理论意义和较好的实际应用价值。
- 李海峰蓝才会左为平马海云
- 关键词：数字签名
- 基于RIP协议的路由建立过程被引量：2
- 2013年
- RIP协议在小型网络路由的建立过程中有比较广泛的应用。文中通过实例,详细地介绍了基于RIP协议的路由建立过程,以及相应的RIP分组格式。
- 李海峰马海云
- 关键词：RIP协议路由器
- 软件系统可靠性优化的一种改进方法研究
- 2008年
- 基于并行遗传算法将软件系统的可靠性优化问题表达为一类带约束条件的组合优化问题,并采用并行遗传算法中的岛屿模型和迁移策略,较好地改善了搜索性能。模拟实验表明:并行遗传算法有效地提高了运行速度和求解质量。
- 马海云
- 关键词：并行遗传算法软件系统
- 一种加速软件可靠性测试的技术研究被引量：2
- 2011年
- 缩短测试用例的生成周期,可以加速软件可靠性测试。该文基于遗传算法,提出了一种测试用例优化技术。把染色体看作测试用例,基于迁移策略,应用交叉和变异方法,生成新一代的染色体,并用费用分配模型进行评估。通过例子证明,该方法在产生均匀、优化的测试用例方面是有效的。
- 马海云党建武
- 关键词：测试用例遗传算法随机数
- 无回溯模式匹配算法的设计与研究
- 2011年
- 入侵检测系统(IDS)成为目前动态安全工具的主要研究和开发方向。基于模式匹配的入侵检测方法是将已知的入侵特征编码成与审计记录相符合的模式。据此设计出KMP模式匹配算法的C++实现。
- 马海云张少刚
- 关键词：入侵检测数据挖掘
