海军工程大学学报杂志北大期刊统计源期刊

海军工程大学学报 2004年第05期杂志 文档列表

Intranet环境下基于操作流的系统分析第1-4页

关键词: 系统分析；  过程描述元语言；  信息管理系统；  

一类基于循环群理论的变形机理分析第5-9页

关键词: 循环群；  加模循环群；  乘模循环群；  随机解密地址选取；  代码重组；  

时态逻辑形式化描述并发系统性质第10-13页

关键词: 形式化方法；  并发系统；  时态逻辑；  模型检测；  

资源结构映像异步更新策略及其在JBCM中的应用第14-16页

关键词: 软件配置管理；  并发；  资源结构映像；  异步更新策略；  

关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果第17-20页

关键词: 多值逻辑；  完备性；  sheffer函数；  最小覆盖；  

基于MVCC的保存点和事务部分回滚功能的设计与实现第21-24页

关键词: mvcc；  保存点；  部分回滚；  

关系数据库中的属性约简第25-29页

关键词: kdd；  属性约简；  函数依赖；  

基于支持向量机的多元文本分类研究第30-32页

关键词: 支持向量机；  文本分类；  最小二乘支持向量机；  

椭圆曲线密码在电子商务现金系统中的应用研究第33-36页

关键词: 电子商务；  电子现金；  椭圆密码；  协议算法；  盲化因子；  

线性规划的一种并行修正松弛算法第37-42页

关键词: 线性规划；  松弛法；  并行算法；  高性能计算；  

多边形障碍环境中避障路径的遗传算法第43-47页

关键词: 路径规划；  遗传算法；  凸多边形；  包围盒；  

基于RS近似算法的医疗诊断知识挖掘第48-51页

关键词: rs；  领域系统；  代表元素；  近似算法；  

给定人员情况下最小化开发时间和成本的软件项目调度第52-55页

关键词: 过程建模；  动态规划；  最优化；  软件过程；  

基于假设检验的软件可靠性模型预测精度比较第56-59页

关键词: 软件可靠性模型；  预测精度；  假设检验；  

基于DTRC的形式自动证明平台及其应用第60-64页

关键词: 动态项重写计算；  项重写系统；  运行平台；  形式自动证明；  重写策略；