夏建勋
- 作品数：10 被引量：27H指数：3
- 供职机构：孝感学院更多>>
- 相关领域：自动化与计算机技术经济管理天文地球更多>>
- 基于演化算法的SAT问题求解
- 2007年
- SAT问题即布尔可满足性问题是逻辑学的一个基本问题,也是计算机科学和人工智能研究的核心问题。寻找求解SAT问题的快速算法不仅在理论研究上而且在许多应用领域都具有极其重要的意义。本文讨论了基于演化算法的SAT问题求解方法。
- 夏建勋
- 关键词：SAT问题NP问题演化算法逻辑学
- 需求分析的Z语言形式化方法被引量：7
- 2008年
- 非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求。Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明。介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方。
- 夏建勋唐红武
- 关键词：软件工程Z语言形式化方法
- 基于MapX的110公安指挥调度系统设计
- 2008年
- 目前,许多中、小城市的110指挥系统还停留在原始的一位接警员、一部电话和一个记录本的阶段,这种落后局面与日益发展的社会对城市110工作的要求极不适应,迫切需要对传统110指挥系统加以改造。讨论了基于MapX的110公安指挥调度系统的总体设计方案,并对各个子系统的功能进行了比较详细的描述,同时对110公安指挥调度系统今后的发展方向给予了展望。
- 夏建勋
- 关键词：MAPX指挥调度系统设计
- 基于演化算法的TSP求解
- 2007年
- TSP即旅行商问题或者货郎担问题是一个易于描述但难于解决的NP问题,也是一个具有广泛的应用背景和重要理论价值的组合优化问题。简要介绍了求解TSP的若干方法,同时讨论了基于演化算法的TSP求解方法,并对TSP的求解进行了展望。
- 夏建勋
- 关键词：TSPNP问题演化算法
- 带有限期作业排序快速算法的另一种实现方法被引量：1
- 2004年
- 介绍了带有限期作业排序问题的概念,以及使用贪心方法求解此问题的一般算法和一种改进的快速算法。根据改进的快速算法的基本思想,给出了另一种更直观,更易于理解和实现的方法,并分析了此算法在最好、最坏和平均情况下算法的时间复杂性,说明在平均情况下此算法的时间复杂性并不比快速算法的时间复杂性差。
- 夏建勋
- 实现SSL数字签名的一种解决方案被引量：2
- 2003年
- 提出了一种改造SSL握手协议和记录协议实现SSL数字签名的解决方案。
- 夏建勋
- 关键词：数字签名SSL握手协议INTERNET电子商务网络安全
- 基于用户的协同过滤推荐技术被引量：2
- 2009年
- 随着因特网普遍使用和电子商务迅猛发展,推荐系统已成为重要研究领域,人们对推荐技术作了广泛的研究。个性化的推荐系统以个性化方式向用户推荐商品,帮助用户找到他们所需要的商品,并便捷地完成购买过程。介绍了电子商务系统中的协同过滤推荐技术,详细分析了基于用户的协同过滤推荐算法,同时指出了它的优点和缺点。
- 夏建勋
- 关键词：电子商务协同过滤推荐系统
- 基于MapX的110公安指挥调度系统电子地图的制作
- 2007年
- MapX是具有强大地图功能的控件,可以轻易地嵌入常见的可视化开发工具中。对传统110公安指挥调度系统的改造中一项重要内容就是增加电子地图功能。讨论了由纸质地图或者AutoCAD图制作电子地图的方法。
- 夏建勋
- 关键词：MAPX电子地图
- 两个耦合复杂网络的自适应同步被引量：3
- 2008年
- 研究了两个具有相同拓扑结构的全同耦合复杂网络之间的同步,它是一个网络内的结点同步的推广。设计具有动态演化强度的简单线性反馈控制器使两耦合网络同步。对著名的罗伦兹系统为动力学结点的两个耦合网络给出了数值模拟结果,证明了所提出的方法的有效性。
- 唐红武夏建勋
