期刊
首页
|
搜索
期刊导航
>
工程科技II辑
>
海军工程大学学报
查看本刊
2004年第05期
1.
Intranet环境下基于操作流的系统分析
2.
一类基于循环群理论的变形机理分析
3.
时态逻辑形式化描述并发系统性质
4.
资源结构映像异步更新策略及其在JBCM中的应用
5.
关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果
6.
基于MVCC的保存点和事务部分回滚功能的设计与实现
7.
关系数据库中的属性约简
8.
基于支持向量机的多元文本分类研究
9.
椭圆曲线密码在电子商务现金系统中的应用研究
10.
线性规划的一种并行修正松弛算法
11.
多边形障碍环境中避障路径的遗传算法
12.
基于RS近似算法的医疗诊断知识挖掘
13.
给定人员情况下最小化开发时间和成本的软件项目调度
14.
基于假设检验的软件可靠性模型预测精度比较
15.
基于DTRC的形式自动证明平台及其应用
16.
多级安全实时数据库系统安全性与实时性需求的冲突分析
17.
基于分治的属性约简相对核计算
18.
网络入检测的快速规则匹配算法
19.
寻找无向图中全部生成树的复合支路和网络撕裂技术
20.
一种面向对象类级状态测试的形式化方法研究
21.
基于CORBA异步回调的命令分发器
22.
基于Agent的“信息路由”通信模型
23.
实时磁盘调度算法研究
24.
一类带容量限制的运输问题
25.
分布式数据库数据同步技术研究
26.
基于BP神经网络的复杂电子设备实时故障诊断专家系统
27.
基于QoS的网络计费管理软件的设计与实现
期 号:
06
05
04
03
02
01
出版年:
2020
2019
2018
>>