海军工程大学学报期刊
出版文献量(篇)
3071
总下载数(次)
11
总被引数(次)
16123

海军工程大学学报

Journal of Naval University of Engineering
曾用名: 海军工程学院学报(1977-1999)

CAJSTAJSACSTPCD

影响因子 0.3307
本刊以马列主义、毛泽东思想和邓小平理论和"三个代表"重要思想为指导,开展学术交流,推进科技进步和创新,促进高素质人才的培养,为军队现代化建设和国家经济建设服务。主要发行范围:本校各单位、学报各编委,军内外有关的研究机构、各大公共图书馆、院校图书馆、学报编辑部等有关单位,论文作者,以及报送学报的主管领导机关和相关的业务部门。读者对象:为相关专业学科的科技工作者及理工科高校师生等。
主办单位:
海军工程大学
期刊荣誉:
“中国期刊方阵”中的“双效期刊”  “中国科技核心期刊”  中国核心期刊(遴选)数据库期刊;荣获首届《中国学术期刊(光盘版)检索与评价数据规范》执行优秀奖 
ISSN:
1009-3486
CN:
42-1106/E
出版周期:
双月刊
邮编:
430033
地址:
武汉解放大道717号
出版文献量(篇)
3071
总下载数(次)
11
总被引数(次)
16123
文章浏览
目录
  • 作者: 宋玲 杨青 连莉 马军
    发表期刊: 2004年5期
    页码:  1-4
    摘要: 提出了Intranet环境下基于操作流的系统分析法,并讨论它的两类应用.一是对计算机应用系统的整体设计分析,目标是把信息采集、处理和统计等由过去基于人工管理(处理)模式的处理转换为计算机网络...
  • 作者: 刘运 殷建平 蒋晓舟
    发表期刊: 2004年5期
    页码:  5-9
    摘要: 随着病毒与反病毒竞争的加剧,变形已成为病毒技术中必不可少的一部分,深入剖析病毒变形机理是查杀变形病毒的关键.通过运用循环群的基本理论对两个具体问题进行抽象分析,揭示了这类变形机理的理论依据,...
  • 作者: 肖美华 薛锦云
    发表期刊: 2004年5期
    页码:  10-13
    摘要: 时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL*及其子逻辑CTL、LTL的语法及语义,然后分析运用时态...
  • 作者: 张晨东 张海平
    发表期刊: 2004年5期
    页码:  14-16,20
    摘要: 使基于构件的软件配置管理系统支持对配置资源的并发访问是一种必然要求,为此提出了一种资源结构映像异步更新策略用以实现这一目标.这种方法已由北京大学软件工程国家工程中心应用于青鸟软件配置管理系统...
  • 作者: 刘任任 刘玉珍
    发表期刊: 2004年5期
    页码:  17-20
    摘要: 根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪(G-)2之关系图仅是一个回路,则T(G2)不是P*k的最小覆盖成员.
  • 作者: 彭智勇 王黎维 邹现军
    发表期刊: 2004年5期
    页码:  21-24,104
    摘要: 多版本并发控制模式作为当今流行的数据库并发控制方法,由于在这种模式下对数据读和写是不冲突的,因而能够大大提高系统的并发度.文中提出了基于多版本并发控制数据库保存点和部分回滚功能的设计与实现方...
  • 作者: 刘刚 秦勇 贾利民
    发表期刊: 2004年5期
    页码:  25-29
    摘要: 文中给出了一个函数依赖概念的推广,证明了它与知识发现领域中的许多重要概念都有密切的联系,并应用它得到了知识发现领域属性约简的一个有效完备的多项式算法.
  • 作者: 冯兴杰 刘山 魏新
    发表期刊: 2004年5期
    页码:  30-32,42
    摘要: 根据文本分类的特.点,在对最小二乘支持向量机方法进行详细分析的基础上,创建了基于最小二乘支持向量机的多元文本分类器.实验表明,采用该文本分类器能够在保持较高分类精度和召回率的基础上,提高训练...
  • 作者: 周宣武 张敏情 杨晓元 王育民
    发表期刊: 2004年5期
    页码:  33-36,64
    摘要: 针对现有电子现金系统的不足,提出了一类基于椭圆曲线密码的离线电子现金方案.方案中自动更新的现金数据库可以删除过期的电子现金,避免了银行现金数据库可能无限增大的问题;在通信会话协议中,同时实现...
  • 作者: 张建军 张静波 徐周斌
    发表期刊: 2004年5期
    页码:  37-42
    摘要: 对求解线性规划问题的松弛算法进行了修正,在此基础上提出了一种基于cluster结构的并行算法,分析了算法的性能;基于曙光3000大规模并行计算机,给出了算法用于求解线性规划问题实例的实验结果...
  • 作者: 戴光明 李妍 杜安红
    发表期刊: 2004年5期
    页码:  43-47
    摘要: 研究了平面障碍环境中避障的遗传算法,重点介绍了障碍环境的模型构造和用遗传算法求解该模型的方法设计.采用了与已有遗传算法不同的染色体编码方式和不同的遗传算子设计,在初始群体产生时尽量避免了引入...
  • 作者: 林小红 蒋伟进
    发表期刊: 2004年5期
    页码:  48-51
    摘要: 针对医学领域诊断规则挖掘算法中时间和空间复杂性问题,提出一种基于邻域系统的决策表近似算法,用于医疗诊断数据挖掘预处理阶段的数据压缩.该方法以代表元素代替若干相近元素,有效地压缩了原始决策表的...
  • 作者: 刘玻 张海梅 贲可荣
    发表期刊: 2004年5期
    页码:  52-55
    摘要: 给出了一种软件项目的随机调度模型.它明确地把调度策略作为输入,一旦调度策略确定,模型就可以输出关于项目的完成时间或成本的一个概率分布.利用随机最优化技术,能够计算出软件项目的一个调度策略,它...
  • 作者: 屈斐 张志华
    发表期刊: 2004年5期
    页码:  56-59
    摘要: 提出一种基于假设检验的软件可靠性模型预测精度比较方法,该方法将模型预测值与真实值的RE(相对误差)看作随机变量,利用假设检验思想度量模型预测精度,并给出多个模型之间预测精度的比较标准.
  • 作者: 冯速 李桂范 熊锋 程明
    发表期刊: 2004年5期
    页码:  60-64
    摘要: 动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DT...
  • 作者: 曾浩 牟亚莉
    发表期刊: 2004年5期
    页码:  65-67,70
    摘要: 一个多级安全实时数据库系统不仅需要有安全限制,同时也要有时间约束.由于安全性与实时性需求之间冲突的存在而不可避免地产生隐蔽通道和优先倒置问题,文中首先分析多级安全实时数据库系统中实时性与安全...
  • 作者: 冯兴杰 刘山
    发表期刊: 2004年5期
    页码:  68-70
    摘要: 针对信息表中相对核的计算采用分治策略提出了一个新的属性约简方法,将在计算整个全域上的属性约简问题转化为计算在相应划分的子区域上属性约简问题.将原有计算POS X0(y)的算法复杂度O(|A|...
  • 作者: 于海峰 刘评 汤志国
    发表期刊: 2004年5期
    页码:  71-73
    摘要: 在分析入侵检测系统的基础上,指出现有规则匹配算法的不足.提出一种新的规则匹配算法,该算法主要利用非精确匹配技术,缩小入侵分类的检测范围,达到快速匹配的目的.根据不同的安全性要求设置不同的门限...
  • 作者: 尹宗谋 李彦
    发表期刊: 2004年5期
    页码:  74-76,81
    摘要: 将复合支路和网络撕裂技术用于寻找无向图中全部生成树的算法.给出复合支路的概念、表示方法和运算规则,以及由各个子图的全部生成树得到原图的全部生成树的方法.在图的分解和找树过程中,可以采用并行算...
  • 作者: 叶俊民 罗景 赵良 陈利
    发表期刊: 2004年5期
    页码:  77-81
    摘要: 面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作...
  • 作者: 侯向华 冷文浩
    发表期刊: 2004年5期
    页码:  82-84,95
    摘要: 分析了异步回调的基本原理和基于异步回调应用开发的过程,并给出了一个具体的项目实例,分析了如何采用CORBA异步回调的方法来管理网络中的CORBA Server对象.
  • 作者: 刘孟仁 刘海庆 邹云松
    发表期刊: 2004年5期
    页码:  85-90
    摘要: 针对一种基于Agent的信息收集系统,提出了一个具备"信息路由"模块的通信模型.依据该通信模型,定义了一种用作消息传送的通信语言,并给出了该语言XML的描述.
  • 作者: 李强 潘清 詹磊
    发表期刊: 2004年5期
    页码:  91-95
    摘要: 总结分析了现阶段流行的实时磁盘调度算法,针对磁盘的存储特性,在对任务请求的磁盘访问时间精确预估的基础上,提出了一种新的调度算法-DSJIT(diskjust in time).该算法通过对请...
  • 作者: 杨超 董鹏 陈新
    发表期刊: 2004年5期
    页码:  96-99
    摘要: 考虑一类带容量限制的运输问题.采用构造辅助网络的方法,将运输网络中的每个配送中心均拆分成两个节点,构造出新弧,形成新的网络,把此类运输问题转换为最小费用流问题来解决.并在此基础上,考虑运输网...
  • 作者: 丁鲲 严浩 刁兴春
    发表期刊: 2004年5期
    页码:  100-104
    摘要: 针对分布式数据库要求,在研究Oracle及相关系统的基础上,分析比较了几种数据同步技术方案的实现原理和优缺点,并讨论了其适用场合.
  • 作者: 杨林辉 王高山 陈斌
    发表期刊: 2004年5期
    页码:  105-108
    摘要: 以某型通信设备为例,介绍了如何将BP神经网络和传统的专家系统结合在一起,构成实时的故障诊断系统,从而避免传统的专家系统存在的一些问题,更好地解决故障诊断的问题.
  • 作者: 任淑婷 吴志美 顾国昌
    发表期刊: 2004年5期
    页码:  109-112
    摘要: 针对原来的基于时间和基于流量的计费模式在实时多媒体业务中显现出来的弊端,提出了一种基于QoS的网络计费模式,并介绍了在小区宽带接入系统中的实现,给出了这种计费模式的策略和主要数据结构.

海军工程大学学报基本信息

刊名 海军工程大学学报 主编 李泽良
曾用名 海军工程学院学报(1977-1999)
主办单位 海军工程大学  主管单位 海军工程大学
出版周期 双月刊 语种
chi
ISSN 1009-3486 CN 42-1106/E
邮编 430033 电子邮箱 hjgx@chinajournal.net.cn
电话 027-65460736 网址
地址 武汉解放大道717号

海军工程大学学报评价信息

期刊荣誉
1. “中国期刊方阵”中的“双效期刊”
2. “中国科技核心期刊”
3. 中国核心期刊(遴选)数据库期刊;荣获首届《中国学术期刊(光盘版)检索与评价数据规范》执行优秀奖

海军工程大学学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
  • 期刊分类
  • 最新期刊
  • 期刊推荐
  • 相关期刊