您的位置： 专家智库 > >

王志刚

作品数：49 被引量：85H指数：5
供职机构：湖南师范大学数学与计算机科学学院更多>>
发文基金：湖南省教育厅科研基金新疆维吾尔自治区自然科学基金教育部人文社会科学研究基金更多>>
相关领域：自动化与计算机技术理学经济管理文化科学更多>>

合作作者

文献类型

  • 48篇期刊文章
  • 1篇学位论文

领域

  • 45篇自动化与计算...
  • 4篇理学
  • 1篇经济管理
  • 1篇文化科学

主题

  • 5篇形式化
  • 5篇体系结构
  • 5篇网络
  • 4篇进化
  • 3篇有限群
  • 3篇容错
  • 3篇软件体系结构
  • 3篇计算机
  • 3篇分布式
  • 3篇UML
  • 3篇MIDAS
  • 2篇多项式
  • 2篇遗传算法
  • 2篇有限域
  • 2篇容错技术
  • 2篇软件架构
  • 2篇软件开发
  • 2篇视频
  • 2篇数据包
  • 2篇数据库

机构

  • 49篇湖南师范大学
  • 4篇重庆三峡学院
  • 3篇怀化学院
  • 1篇广东商学院
  • 1篇长沙学院
  • 1篇湖南农业大学
  • 1篇三峡学院
  • 1篇中南大学
  • 1篇中国水电工程...
  • 1篇湖南财经高等...

作者

  • 49篇王志刚
  • 5篇王绍恒
  • 5篇高磊
  • 4篇丁湘陵
  • 3篇李琼
  • 3篇汤小康
  • 2篇谢茂芳
  • 2篇王一夫
  • 2篇禹四明
  • 2篇袁敏
  • 2篇钟绍辉
  • 2篇刘先锋
  • 1篇彭冰沁
  • 1篇李钒
  • 1篇戴光华
  • 1篇李腾飞
  • 1篇贺慧琳
  • 1篇曹步文
  • 1篇覃梦雄
  • 1篇张立敏

传媒

  • 5篇计算机工程与...
  • 4篇现代计算机
  • 4篇软件导刊
  • 3篇湖南师范大学...
  • 3篇计算机与现代...
  • 2篇计算机时代
  • 2篇电脑知识与技...
  • 2篇微计算机信息
  • 2篇福建电脑
  • 2篇现代计算机（...
  • 2篇工程地质计算...
  • 2篇电脑知识与技...
  • 1篇计算机光盘软...
  • 1篇长沙电力学院...
  • 1篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇计算机仿真
  • 1篇计算机工程与...
  • 1篇信息技术
  • 1篇湖南教育学院...

年份

  • 3篇2017
  • 3篇2016
  • 3篇2014
  • 4篇2013
  • 1篇2010
  • 5篇2009
  • 3篇2008
  • 8篇2007
  • 3篇2006
  • 2篇2005
  • 3篇2003
  • 4篇2002
  • 3篇2001
  • 2篇2000
  • 2篇1999
共 49 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
软件发布规划的遗传算法实现与解释被引量：2
2016年
软件发布规划是一个不良问题,适宜采用进化的方法来求解。好的软件发布规划可以有效地改善软件的质量,降低开发费用。研究软件发布规划问题的遗传算法,重点介绍算法的具体实现细节,内容包括初始化种群、适应度的计算和子代的产生等过程。为实际求解软件发布规划问题提供可行操作步骤。
王志刚高磊
关键词：进化遗传算法染色体
基于CDMA的Ad hoc网络MAC协议吞吐量研究被引量：3
2009年
网络吞吐量性能是衡量一个通信网络性能的一个重要指标,基于CDMA技术的Ad hoc网络扩频码的分配方案对系统吞吐量性能有着重要的影响,研究了如何充分利用CDMA多址接入能力提高Adhoc信道利用率等网络性能。通过建立网络状态的马尔可夫模型,提出一种分析吞吐量性能的方法,该方法适用于同时存在背景噪声和多址干扰的情况。最后,通过数值仿真分析了扩频增益和信噪比对吞吐量性能的影响,并对网络参数进行了优化配置。该研究成果对基于CDMA技术的Ad hoc网络设计和优化提供了理论依据。
禹四明王志刚
关键词：码分多址多址接入协议吞吐量性能马尔可夫模型
Object-Z规格到实现机制探讨
2013年
形式化规格是保证所设计的系统具有较高的可信度和正确性的重要途径,它涉及软件生命周期的各个阶段。从形式化规格到软件编码是软件开发中的一个关键环节。在分析了规格化和高级语言之间的内在关系的基础上,概括了基于Object-Z规格到Java实现的几条转换机制,并运用案例研究来说明这些机制。
王志刚谢茂芳
关键词：软件体系结构OBJECT-ZJAVA
哥德巴赫猜想的统计分析
2001年
王志刚王绍恒
关键词：哥德巴赫猜想统计分析验证法
高可用性群集系统ARP协议问题研究被引量：1
2009年
群集系统常用作高可靠性服务器,应用于关键网络计算领域。但是,由某些型号的计算机构成的群集系统在网络通信方面存在ARP协议缺陷,当服务进程从主用节点切换到冗余备份结点后,会出现一段时间的网络通信中断,从而严重影响服务质量。本文从ARP协议工作原理着手,通过测试实验,详细阐述了群集系统中存在的ARP协议缺陷问题,并给出了解决办法。
刘艳平王志刚刘先锋
关键词：ARP协议
NT无盘WIN95工作站的安装
1999年
讨论了一种通过修改注册表文件、配置文件来正确安装ＮＴ 无盘ＷＩＮ９５ 工作站的方法．
王一夫王志刚
关键词：注册表文件WINDOWS95无盘工作站NT网络
求有限域的极小多项式的搜索算法
2003年
给出了求一个有限域的极小多项式的搜索算法,并由此算法求出了一类有限域,它们具有相同的极小多项式,并讨论了算法复杂性。
王志刚王绍恒
关键词：有限域极小多项式搜索算法有限群群论
基于UML的构件建模方法被引量：7
2005年
基于构件的开发(CBD)是一种新型的软件开发方法。为了能使构件达到最大程度的复用,CBD需要采用统一的描述方式。统一建模语言(UML)在用于基于构件的开发中使得对构件的描述统一起来,提高了构件的标准化和推广了构件的应用范围。介绍了基于构件的开发(CBD)方法的有关概念,以及统一建模语言UML的建模机制。通过一个图书管理系统来考察在采用CBD方法开发系统的过程中如何使用统一建模语言进行构件建模,并给出了建模的一般步骤。
贺慧琳王志刚
关键词：CBDUML
求特殊射影线性群PSL(2,q)的元阶集的搜索算法被引量：4
2002年
In this paper, in order to find a set of element orders of projective special liner group PSL(2,q) and num-bers of elements every order and order of group,we give a search algorithm and discuss complexity of the algorithm.
王志刚王绍恒
关键词：计算机搜索算法射影线性群有限群
敏捷开发:极限编程(XP)在电子邮政清算系统中的实践研究被引量：1
2007年
极限编程(XP)是一种轻量级方法论,适用于在开发软件过程中面对模糊或者快速多变的需求的中小规模团队,本文介绍了其特点及其在电子邮政清算系统项目开发中的成功实践,总结了极限编程对于中小型需求易变的软件开发项目应用的优势和不足。
鲁力王志刚
关键词：敏捷开发极限编程电子邮政
全选 清除 导出
共5页<12345>
聚类工具0