计算机科学

月刊1974-01-01年创刊
16开

获奖情况

重庆市优秀期刊

中文核心期刊

中国期刊方阵双效期刊

显示本刊MARC数据
显示本刊DC数据
国家图书馆馆藏
上海图书馆馆藏

无

隐蔽通道发现技术综述夏耐 林志强 茅兵 谢立 (1)

一种新的网格环境模型——TGrid Model齐德昱 林伟伟 (6)

一种模型驱动的工作流过程定义途径赵文 袁崇义 张世琨 王立福 (10)

对象存储系统形式化研究谭支鹏 冯丹 (16)

计算机网络与信息技术

异构网络中丢包识别研究综述叶进 王建新 (19)

AI-MIPv6：一种基于归属信息的移动IPv6预测切换协议周琼琼 孙波 陈峰 李智伟 (23)

一种负载均衡的移动Ad-hoc网络路由协议及改进赵力强 王新 林国祥 薛向阳 (30)

MNCML：一种面向多协议网络通讯的模式语言魏鲲 金浩 仲婷 潘金贵 (34)

在BGP／MPLS VPNs中用BGP实现域间流量工程梁海英 李政 高远 (37)

一种基于合作博弈的均衡路由方法张惠娟 周利华 翟鸿鸣 (43)

基于密度树的应用层多播算法彭金祥 (46)

自组网中节点分布对网络连通度的影响分析周一鹿 钟剑 刘林森 (49)

抗共谋数字指纹研究综述梁睿超 卢增祥 路海明 (52)

信用扩散与信用扩散场：一种MAS信用机制研究的新方法陈波 莫再峰 (56)

一种基于隐藏证书的自动信任协商模型廖振松 金海 李赤松 (59)

基于层次分析法的信息系统脆弱性评估方法刘宝利 肖晓春 张根度 (62)

基于Agent的网络入侵检测技术的研究王珺 王崇骏 谢俊元 陈世福 (65)

基于切片技术的远程缓冲区溢出攻击检测模型郭林 严芬 蔡玮珺 黄皓 (70)

网格环境中一种基于SPKI证书的授权模型王茜 杨广超 (75)

移动代理系统中恶意主机攻击模型的研究郑彦 王汝传 王海艳 (78)

基于Winsock技术的数据包解析研究熊安萍 (81)

一种基于时空混沌的数字图像加密系统设计与分析彭军 刘勇国 陈应祖 张伟 廖晓峰 (83)

一种基于复合离散混沌系统的对称图像加密算法杨华千 张伟 韦鹏程 王永 杨德刚 (86)

基于WEP协议的无线局域网安全性的改进思路熊江 (91)

流数据密度估计聂国梁 卢正鼎 (94)

动态Web Services的约束满足优化技术研究刘壮 郭荷清 韩涛 李冬 (97)

工作流系统上下文相关访问控制模型王小明 刘丁 付争方 (101)

传感器网络中数据融合过程的事务分析与建模胡侃 刘云生 (105)

基于网格的半结构化网络数据搜索模型陈庆奎 那丽春 (110)

一种内容分发网络中的快速复制方案赵进 张福炎 (114)

基于ESMS过滤器的信息融合理论研究及SLAM应用李新德 黄心汉 Jean Dezert (117)

应用组播技术构建校园网视频传输许晓宁 (122)

基于ArcSDE Geodatabase的城市规划管理GIS数据库的应用研究胡玲 刘强 (125)

基于MVCC的保存点设计与实现陶能锋 叶晓俊 (128)

人工智能及图像处理技术

基因组重组排序算法综述崔筠 朱大铭 马绍汉 (131)

基于Markov决策过程的交互虚拟人情感计算模型王国江 王志良 陈锋军 王玉洁 祝长生 陶伟 (135)

一种基于自然语言的模式推理算法王树西 赵星秋 刘瑞林 黄健青 (139)

汉语语句形式结构到语义结构的理解自明度韦向峰 张全 熊亮 (142)

现代汉语主谓谓语句的HNC处理研究缪建明 张全 (145)

形式背景同构判定的等价类算法沈夏炯 贾培艳 刘宗田 (148)

一种新的模糊补偿多类支持向量机张永 迟忠先 闫德勤 (152)

多Agent协作的强化学习模型和算法刘菲 曾广周 宋言伟 (156)

用于药物活性预报的Co-Training方法李丹 李国正 陆文聪 (159)

基于PCA和SVM的步态识别吴清江 许文芳 王青力 (162)

分布式环境下领域本体的自动提取高英 郭荷清 邹智敏 (164)

基于最大频繁等价类的Web信息自动抽取陈华昌 薛永生 任仲晟 张东站 (169)

基于散度差准则的隐空间特征抽取方法陈才扣 宋枫溪 刘永俊 杨静宇 (174)

基于CWM的元数据集成中形式化推理技术的研究赵晓非 黄志球 (177)

梯形模糊因果图及归一化研究梁新元 吴淑皇 石庆喜 (183)

基于机器学习的本体集成框架欧灵 张玉芳 吴中福 钟将 (187)

多代表点特征树与空间聚类算法黄添强 秦小麟 王金栋 (189)

一种双向挖掘频繁项的有效方法王晓峰 张松筠 (196)

商务网站数据挖掘方法黄斐 (200)

采用贝叶斯网络建立一种智能学习环境学生代理模型的研究钟国祥 邱玉辉 (203)

免疫排课算法梁立 肖飞 郜松 (205)

基于VC^＋＋的车牌识别系统关键技术研究赵启升 李存华 (207)

双二次多项式动力系统的分形图徐凯 吕菁 李建丽 (210)

基于Hamiltonian三角剖分的三角网格多分辨率表示詹海生 周利华 (214)

适用于凹多边形的Cyrus-Beck改进算法陈涛 (217)

全球地壳结构数据的三维可视化建模与应用郑学锋 沈钧毅 靳平 郑江铃 孙鹏 (221)

基于积分图像的快速模板匹配邵平 杨路明 黄海滨 曾耀荣 (225)

软件工程

量子纠缠和量子计算钱辰 (230)

基于Babel的构件程序设计谭袆炙 黄春 赵克佳 (235)

实时系统形式规格说明在PVS中的建立许庆国 缪淮扣 (238)

进化存储系统中的物理进化刘艳 谢长生 李怀阳 赵振 (243)

基于模型检查实现J2EE规范的实例研究李彦 张文博 陈宁江 (249)

基于抽象-验证-细化范例的软件模型检测刘吉锋 孙吉贵 (255)

一种基于分支覆盖的测试数据自动生成算法陈继锋 朱利 沈钧毅 王志海 (261)

基于蒙特卡罗方法的内核代码热点动态检测技术研究杨宁 卢显良 (265)

一种基于组合测试的Web应用兼容性故障诊断方法许蕾 聂长海 徐宝文 (268)

基于IRCFG覆盖的UML顺序图测试方法张广泉 李力峰 戎玫 戴晔 (270)

多操作系统平台间数据共享的设计与实现方正 王玲 李俊 (274)

模型驱动架构（MDA）相关技术研究与实现徐晓钟 (278)

基于工业CT切片数据的CAD模型重构段黎明 刘炉 武记超 林海 (280)

数据挖掘技术在教育中的应用研究杨永斌 (284)

计算机科学2006年第33卷（卷终）总目次 (287)