何峰
- 作品数：11 被引量：14H指数：2
- 供职机构：武汉大学更多>>
- 发文基金：国家自然科学基金教育部科学技术研究重点项目国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术历史地理建筑科学理学更多>>
- 基于时序逻辑和SCR方法的需求分析方法
- 1999年
- 以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础，提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解，还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．
- 何峰毋国庆姚剑
- 关键词：SCR时序逻辑
- 论中国现代商业银行的资产负债管理
- 何峰
- 关键词：资产负债管理
- 贪污受贿犯罪研究
- 全文共分为四章.第一章主要论述了中国目前贪污受贿犯罪的九大特点.第二章对贪污受贿犯罪原发展趋势进行了研究,并认为贪污受贿犯罪近期内总体将呈上升趋势,并表现出一些新的特点.第三章主要分析了中国贪污受贿犯罪日趋势增多的社会、...
- 何峰
- 关键词：贪污受贿犯罪刑事立法
- 文献传递
- 苏州城内外水路系统与城市地域结构-以明清时期为中心
- 何峰
- 关键词：城市明清
- 演化计算的组件软件框架及其应用
- 该文提出了一个基于组件的演化计算软件设计框架CBFEC(Component-Based Framework for Evolutionary Computation)来指导设计可重用、可扩展的演化计算软件.演化计算是人工...
- 何峰
- 关键词：组件软件工程约束满足问题
- 文献传递
- 一种实时系统的需求分析方法
- 实时系统有着广泛而关键的应用,为了能把实时系统的开发建立在一个坚实的基础之上,该文提出一个描述实时系统需求的模型.在这个模型中,层次式有穷状态机被表示成规则的形式,并且一个模板对应于一个状态机.与状态机相关的规则和信息可...
- 何峰
- 关键词：实时系统计算机辅助软件工程有限状态机层次状态机
- 文献传递
- 一种具有个体学习能力的演化算法
- 2002年
- 1引言
70年代由美国学者John H.Holland提出的遗传算法是一种借鉴生物界自然选择思想和自然遗传机制的全局搜索算法[1].它把问题的每一个可能解看作一个个体,而个体的集合则形成种群.算法在整个种群空间内随机搜索,按一定的评价函效对当前种群中每一个个体进行评价,然后基于个体的评价值按优胜劣汰原则选择出父体,再用变异、杂交等遗传算子作用于父体以产生新的个体形成下一代种群,如此反复,使种群不断进化,直至产生最终的解.因为演化算法在解决大空间、非线性、全局寻优等复杂问题时具有传统方法所不具备的独特的优越性,所以它得到了广泛的研究和应用.
- 何峰康立山陈毓屏
- 关键词：遗传算法演化算法
- 论题:中国传统社会中国家对社会的控制:手段与途径被引量：6
- 2004年
- 鲁西奇陈勇张星久魏幼红江田祥肖启荣席会东(整理)何峰
- 关键词：市民社会理论国家权力国家意识形态民间信仰
- 实时控制系统需求描述方法及其应用被引量：2
- 2001年
- 1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并发处理;(4)系统具有特定的性能要求,甚至是严格或苛刻的;(5)高可靠性;(6)系统十分复杂;(7)难以测试,在单个操作环境下无法测试。
- 蔡持峰毋国庆李剑何峰
- 关键词：电梯
- 演化算法的一个通用设计模型被引量：2
- 2003年
- 本文提出了一个演化算法的通用设计模型 ,并用 U ML 详细说明了它的组成与结构 .该模型以演化算法中的关键概念及其相互作用机制为核心 ,把这些概念合理分类并加以抽象 ,有效地实现了关注分离和封装实现细节 .而应用设计模式来组织这些概念又使该模型具有灵活的体系结构 .因此该模型具有可重用、可扩展、易理解、易使用、便于进行测试等优点 .最后将该模型的实现应用到各类不同的问题来验证其通用性和有效性 ,并给出了函数优化和 TSP问题的实验结果 .
- 何峰康立山陈毓屏
- 关键词：演化算法封装可重用性可扩展性
