计算机科学

基于时序逻辑软件构架形式化方法研究

任洪敏朱承钱乐秋

计算机科学. 2003, 30 (5): 1-3.

摘要 ( 97 )

PDF(232KB) ( 524 )

相关文章 | 多维度评价

基于Internet的第四代移动通信系统

顾志松黄允中张世永

计算机科学. 2003, 30 (5): 4-5.

摘要 ( 108 )

PDF(171KB) ( 449 )

相关文章 | 多维度评价

并行数据仓库Para Ware系统的查询优化

肖震陈红王珊

计算机科学. 2003, 30 (5): 6-8.

摘要 ( 101 )

PDF(148KB) ( 495 )

相关文章 | 多维度评价

移动环境下实时事务处理

李国徽杨进才王洪亚

计算机科学. 2003, 30 (5): 9-11.

摘要 ( 88 )

PDF(154KB) ( 490 )

相关文章 | 多维度评价

事务处理技术综述

陈小芳丁柯金蓓弘

计算机科学. 2003, 30 (5): 12-16.

摘要 ( 114 )

PDF(301KB) ( 627 )

相关文章 | 多维度评价

谓词执行及其关键技术浅析

沈立鲁建壮王志英

计算机科学. 2003, 30 (5): 17-19.

摘要 ( 129 )

PDF(157KB) ( 1563 )

相关文章 | 多维度评价

基于CORBA集群进程管理服务的研究与设计

孙明周明天詹瑾瑜

计算机科学. 2003, 30 (5): 20-22.

摘要 ( 114 )

PDF(226KB) ( 488 )

相关文章 | 多维度评价

溯因推理研究：现状与问题

陈荣姜云飞林笠

计算机科学. 2003, 30 (5): 23-25.

摘要 ( 115 )

PDF(232KB) ( 2386 )

相关文章 | 多维度评价

基于知识发现的范例推理系统

倪志伟蔡庆生

计算机科学. 2003, 30 (5): 26-29.

摘要 ( 104 )

PDF(244KB) ( 480 )

相关文章 | 多维度评价

一种基于规则推理的BDI模型实现

唐文彬朱淼良

计算机科学. 2003, 30 (5): 30-32.

摘要 ( 104 )

PDF(162KB) ( 573 )

相关文章 | 多维度评价

序贯模式挖掘评述

蔡烈斌刘宗田韵冬

计算机科学. 2003, 30 (5): 33-36.

摘要 ( 102 )

PDF(234KB) ( 780 )

相关文章 | 多维度评价

数据立方梯度挖掘的研究

刘玉葆冯玉才王元珍冯剑琳

计算机科学. 2003, 30 (5): 37-41.

摘要 ( 108 )

PDF(287KB) ( 497 )

相关文章 | 多维度评价

基于XML的Web数据挖掘的研究

刘振岩王万森

计算机科学. 2003, 30 (5): 42-43.

摘要 ( 107 )

PDF(171KB) ( 431 )

相关文章 | 多维度评价

加权模糊关联规则的研究

陆建江

计算机科学. 2003, 30 (5): 44-46.

摘要 ( 84 )

PDF(152KB) ( 452 )

相关文章 | 多维度评价

基于本体论的民族知识获取与分析

王丽丽曹存根顾芳田雯

计算机科学. 2003, 30 (5): 47-54.

摘要 ( 105 )

PDF(476KB) ( 609 )

相关文章 | 多维度评价

知识管理与知识共享

胡舜耕王克宏

计算机科学. 2003, 30 (5): 55-58.

摘要 ( 88 )

PDF(233KB) ( 433 )

相关文章 | 多维度评价

提高0LAP系统性能的方法研究

辛志刘少辉史忠植

计算机科学. 2003, 30 (5): 59-62.

摘要 ( 105 )

PDF(242KB) ( 725 )

相关文章 | 多维度评价

基于语言场理论的连续属性离散化方法及实现

周颖杨炳儒

计算机科学. 2003, 30 (5): 63-66.

摘要 ( 95 )

PDF(196KB) ( 452 )

相关文章 | 多维度评价

理想的Web IR服务模式的研究

刘悦冯国臻程学旗薄立彦

计算机科学. 2003, 30 (5): 67-70.

摘要 ( 111 )

PDF(233KB) ( 533 )

相关文章 | 多维度评价

基于最高响应比算法的WWW索引库更新方法

陈治平林亚平

计算机科学. 2003, 30 (5): 71-72.

摘要 ( 100 )

PDF(108KB) ( 1336 )

相关文章 | 多维度评价

一种求解TSP问题的单亲遗传算法

王斌李元香王治

计算机科学. 2003, 30 (5): 73-75.

摘要 ( 102 )

PDF(203KB) ( 768 )

相关文章 | 多维度评价

Vague集的三维表示及相似度量

蔡立晶吕泽华李凡

计算机科学. 2003, 30 (5): 76-77.

摘要 ( 97 )

PDF(78KB) ( 456 )

相关文章 | 多维度评价

汉字字形结构式压缩方法的研究和实现

高锐智华成英

计算机科学. 2003, 30 (5): 78-81.

摘要 ( 116 )

PDF(218KB) ( 1312 )

相关文章 | 多维度评价

核方法在人脸识别中的应用

朱美琳刘向东陈世福

计算机科学. 2003, 30 (5): 82-84.

摘要 ( 120 )

PDF(165KB) ( 531 )

相关文章 | 多维度评价

层次型Java软件质量度量模型研究

黄璜周欣孙家驌

计算机科学. 2003, 30 (5): 85-89.

摘要 ( 100 )

PDF(248KB) ( 663 )

相关文章 | 多维度评价

构件库技术的研究与发展

潘颖赵俊峰谢冰

计算机科学. 2003, 30 (5): 90-93.

摘要 ( 90 )

PDF(266KB) ( 657 )

相关文章 | 多维度评价

面向agent的软件开发方法

毛新军闫琪王怀民楚蓓蓓

计算机科学. 2003, 30 (5): 94-96.

摘要 ( 168 )

PDF(173KB) ( 464 )

相关文章 | 多维度评价

安全关键系统高可信保障技术的研究

杨仕平熊光泽桑楠

计算机科学. 2003, 30 (5): 97-101.

摘要 ( 260 )

PDF(287KB) ( 1172 )

相关文章 | 多维度评价

模型检测新技术研究

戎玫张广泉

计算机科学. 2003, 30 (5): 102-104.

摘要 ( 122 )

PDF(194KB) ( 582 )

相关文章 | 多维度评价

集成保护和分散式抽象的可扩展操作系统

施笑安周兴社林奕李晖

计算机科学. 2003, 30 (5): 105-107.

摘要 ( 108 )

PDF(225KB) ( 424 )

相关文章 | 多维度评价

基于UML的面向对象的图形用户界面设计模型

孙晓平郭腾冲魏明珠涂序彦

计算机科学. 2003, 30 (5): 108-112.

摘要 ( 82 )

PDF(236KB) ( 1412 )

相关文章 | 多维度评价

自调整模糊控制器的控制参数和控制规则

邓辉文王艺胡伟平

计算机科学. 2003, 30 (5): 113-114.

摘要 ( 89 )

PDF(137KB) ( 488 )

相关文章 | 多维度评价

一种基于移动Agent的主动网络体系结构

张君雁闵帆杨国纬

计算机科学. 2003, 30 (5): 115-117.

摘要 ( 78 )

PDF(158KB) ( 445 )

相关文章 | 多维度评价

TCP／IP协议对快速网络的作用分析

曹秉超张媛都志辉

计算机科学. 2003, 30 (5): 118-121.

摘要 ( 100 )

PDF(231KB) ( 710 )

相关文章 | 多维度评价

一种改进的基于Smith原则的计算机高速通信网络的拥塞控制方案

谭连生赵甫哲刘芹

计算机科学. 2003, 30 (5): 122-128.

摘要 ( 103 )

PDF(285KB) ( 460 )

相关文章 | 多维度评价

Web请求的时延刻画和降低时延的协作分配模型

傅建明朱福喜

计算机科学. 2003, 30 (5): 129-131.

摘要 ( 79 )

PDF(224KB) ( 477 )

相关文章 | 多维度评价

具有QoS特征宽带IP网络队列调度算法的研究

刘宴兵李秉智

计算机科学. 2003, 30 (5): 132-133.

摘要 ( 113 )

PDF(156KB) ( 735 )

相关文章 | 多维度评价

多用户检测问题的半定规划坐标下降算法

刘红卫王新辉刘三阳

计算机科学. 2003, 30 (5): 134-135.

摘要 ( 100 )

PDF(134KB) ( 425 )

相关文章 | 多维度评价

基于多层小区结构的移动IP移动性管理

唐宏吴中福聂能赵军熊思民

计算机科学. 2003, 30 (5): 136-138.

摘要 ( 98 )

PDF(175KB) ( 469 )

相关文章 | 多维度评价

一种针对拒绝服务攻击的IP逆向追踪方案

李毅超闵帆夏梦芹杨国纬

计算机科学. 2003, 30 (5): 139-141.

摘要 ( 96 )

PDF(138KB) ( 508 )

相关文章 | 多维度评价

数据报拥塞控制协议（DCCP）研究

陈尚兵何小燕钱积新

计算机科学. 2003, 30 (5): 142-144.

摘要 ( 86 )

PDF(156KB) ( 667 )

相关文章 | 多维度评价

伪装IP追踪技术综述

李毅超王珏夏梦芹曾家智

计算机科学. 2003, 30 (5): 145-149.

摘要 ( 105 )

PDF(263KB) ( 709 )

相关文章 | 多维度评价

基于XML的组安全策略描述

尹青周伟王清贤

计算机科学. 2003, 30 (5): 150-152.

摘要 ( 87 )

PDF(171KB) ( 486 )

相关文章 | 多维度评价

网络环境下一次性口令身份认证的研究与实现

吴和生范训礼谢俊元

计算机科学. 2003, 30 (5): 153-156.

摘要 ( 85 )

PDF(205KB) ( 552 )

相关文章 | 多维度评价

一个基于ECC的EIGamal型（t，n）门限数字签名方案

张险峰秦志光刘锦德

计算机科学. 2003, 30 (5): 157-160.

摘要 ( 94 )

PDF(192KB) ( 649 )

相关文章 | 多维度评价

PKI技术在IPSec系列协议中的应用

谭兴烈王天忠唐国栋周明天沈昌祥

计算机科学. 2003, 30 (5): 160-163.

摘要 ( 75 )

PDF(202KB) ( 653 )

相关文章 | 多维度评价

鲁棒且容错的大型动态组播系统的密钥管理

刘璟周明天

计算机科学. 2003, 30 (5): 164-166.

摘要 ( 72 )

PDF(160KB) ( 477 )

相关文章 | 多维度评价

计算技术的重要应用领域——计算金融

兰蓉徐弥榆郑守淇桂小林

计算机科学. 2003, 30 (5): 167-169.

摘要 ( 91 )

PDF(191KB) ( 1041 )

相关文章 | 多维度评价

面向虚拟企业联盟的多级信息滤波体系设计与实现

田力威尹朝万

计算机科学. 2003, 30 (5): 170-172.

摘要 ( 79 )

PDF(168KB) ( 439 )

相关文章 | 多维度评价

基于票据的微支付形式

王海源王茜

计算机科学. 2003, 30 (5): 173-175.

摘要 ( 80 )

PDF(165KB) ( 483 )

相关文章 | 多维度评价

一种用于搜索可能响应查询的候选实化视图的索引

陈长清程恳冯玉才

计算机科学. 2003, 30 (5): 176-179.

摘要 ( 84 )

PDF(207KB) ( 473 )

相关文章 | 多维度评价

一种基于XML的数据交换中间件技术

李双庆游莲古平程代杰

计算机科学. 2003, 30 (5): 180-182.

摘要 ( 73 )

PDF(168KB) ( 419 )

相关文章 | 多维度评价

异构数据源的集成与访问

熊海灵伍胜余建桥

计算机科学. 2003, 30 (5): 183-184.

摘要 ( 106 )

PDF(149KB) ( 450 )

相关文章 | 多维度评价