2000年第11卷第4期目录

   
浏览其它刊期:  
  

本期目录

基于形式化方法的因特网路由协议的一致性测试
  毕军,吴建平
  2000,11(4):427-434 [摘要(3495)]  [PDF 473.32 K (4026)]
  
基于模型的人体动画方法
  劳志强,潘云鹤
  2000,11(4):435-440 [摘要(3797)]  [PDF 1.10 M (4133)]
  
Rwtt/ Mwtt中的枝点元素(英文)
  张再跃,眭跃飞
  2000,11(4):441-452 [摘要(3902)]  [PDF 352.04 K (3993)]
  
非线性系统的模糊辨识误差分析
  王士同,於东军
  2000,11(4):447-452 [摘要(3482)]  [PDF 322.83 K (4057)]
  
一种混合型多概念获取系统
  高阳,刘海涛,周志华,陈兆乾
  2000,11(4):453-460 [摘要(3761)]  [PDF 458.45 K (3656)]
  
基于Web和数据库的网络管理系统的设计与实现
  段海新,杨家海,吴建平
  2000,11(4):468-472 [摘要(4160)]  [PDF 375.48 K (6059)]
  
基于统计的汉语词性标注方法的分析与改进
  魏欧,吴健,孙玉芳
  2000,11(4):473-480 [摘要(4112)]  [PDF 521.08 K (5157)]
  
面向对象Z的子类型继承和推理规则
  王云峰,李必信,郑国梁
  2000,11(4):481-486 [摘要(3589)]  [PDF 429.18 K (4135)]
  
基于遗传算法的指纹图匹配算法及应用
  漆远,田捷,邓翔
  2000,11(4):488-493 [摘要(3506)]  [PDF 794.42 K (4503)]
  
Ada-I:支持保护对象继承的Ada95扩充语言
  陆嘉,温冬婵,王鼎兴
  2000,11(4):494-501 [摘要(3604)]  [PDF 484.54 K (3665)]
  
一种基于照片中纹理重构三维模型的方法
  杨孟洲,石教英
  2000,11(4):502-506 [摘要(3715)]  [PDF 527.74 K (4041)]
  
CC-NUMA并行系统通信优化的变换技术
  陈渝,李春江,杨学军,陈福接
  2000,11(4):507-514 [摘要(3478)]  [PDF 518.53 K (3957)]
  
网上IP劫持攻击的研究
  赵欣,陈道蓄,谢立
  2000,11(4):515-519 [摘要(5058)]  [PDF 339.99 K (4360)]
  
驱动程序生成器的设计与实现
  王颖,金涛,孙玉芳
  2000,11(4):520-252 [摘要(3296)]  [PDF 427.13 K (4133)]
  
一种面向对象的开放式超媒体引擎
  龚育昌,周学海,文栋辉,赵振西
  2000,11(4):526-531 [摘要(3615)]  [PDF 771.13 K (4059)]
  
小波空间的视图变形合成
  徐丹,鲍歌,石教英
  2000,11(4):532-539 [摘要(3732)]  [PDF 1.77 M (4068)]
  
基于多界面的COM/CORBA互操作
  兑继英,汪芸,顾冠群
  2000,11(4):540-544 [摘要(3507)]  [PDF 336.18 K (4249)]
  
利用Bookmark服务进行网络信息过滤
  卢增祥,关宏超,李衍达
  2000,11(4):545-550 [摘要(3904)]  [PDF 419.22 K (3925)]
  
异构计算中的负载共享
  曾国荪,陆鑫达
  2000,11(4):551-556 [摘要(3562)]  [PDF 380.35 K (3879)]
  
一种利用模块内聚性的对象抽取方法
  周毓明,徐宝文
  2000,11(4):557-562 [摘要(4599)]  [PDF 419.86 K (4188)]
  
判断两个凸多面体是否相交的一个快速算法
  任世军,洪炳熔,孟庆鑫
  2000,11(4):563-568 [摘要(3952)]  [PDF 371.16 K (4279)]
  

综述文章

分布式虚拟环境综述
  潘志庚,姜晓红,张明敏,石教英
  2000,11(4):461-467 [摘要(7224)]  [PDF 500.95 K (7352)]