2000年第11卷第3期目录
时序逻辑语言XYZ/E中指针的形式化表示与验证李广元,唐稚松2000,11(3):285-292 [摘要(3758)] [PDF(3921)416.08 K][HTML(0)]扩充析取逻辑程序的争论语义王克文,周立柱,陈火旺2000,11(3):293-299 [摘要(3694)] [PDF(3786)422.43 K][HTML(0)]论加权扩充自由选择网的活性与安全性甄强,陆维明2000,11(3):300-307 [摘要(3127)] [PDF(4240)470.24 K][HTML(0)]基于语料库与层次词典的自动文摘研究宋今,赵东岩2000,11(3):308-314 [摘要(3829)] [PDF(4398)402.26 K][HTML(0)]Agent研究现状与发展趋势刘大有,杨鲲,陈建中2000,11(3):315-321 [摘要(9414)] [PDF(6865)555.47 K][HTML(0)]用弯曲体纹理构造发型张晓鹏,陈彦云,吴恩华2000,11(3):322-327 [摘要(3482)] [PDF(3789)744.40 K][HTML(0)]进化式信息过滤方法研究田范江,李丛蓉,王鼎兴2000,11(3):328-333 [摘要(3533)] [PDF(4057)382.83 K][HTML(0)]数据流分析中的区域覆盖技术胡世亮,臧斌宇,凌冰,朱传琪2000,11(3):334-341 [摘要(3070)] [PDF(3794)480.63 K][HTML(0)]多Agent系统的几种规范生成机制王一川,石纯一2000,11(3):342-345 [摘要(3301)] [PDF(3723)286.00 K][HTML(0)]电子商务安全协议的逻辑验证陈庆锋,王驹,白硕,张师超,隋立颖2000,11(3):346-362 [摘要(3727)] [PDF(4433)850.72 K][HTML(0)]树木的整体性运动及树内部风场的研究冯金辉,严涛,陈彦云,吴恩华2000,11(3):363-367 [摘要(3633)] [PDF(4236)809.75 K][HTML(0)]基于自组织结构的自主智能机器人集成系统朱淼良,张新晖,王寻羽,唐文彬2000,11(3):368-371 [摘要(3938)] [PDF(4074)297.26 K][HTML(0)]基于特征曲线的自动人面识别研究章高清,王申康,叶懋东2000,11(3):372-378 [摘要(3565)] [PDF(3752)2.62 M][HTML(0)]用最大熵原则作多阈值选择的条件迭代算法罗希平,田捷2000,11(3):379-385 [摘要(3928)] [PDF(4648)1.52 M][HTML(0)]基于Shared-Nothing的并行Hash连接算法效率分析李庆华,睢海燕,邓冲2000,11(3):386-392 [摘要(3201)] [PDF(4369)541.96 K][HTML(0)]分布式Ada语言系统的实现张冰,李赣生,王华民2000,11(3):393-397 [摘要(3681)] [PDF(4042)350.90 K][HTML(0)]并行计算:提高SAT问题求解效率的有效方法金人超,黄文奇2000,11(3):398-400 [摘要(3765)] [PDF(3968)531.10 K][HTML(0)]一种支持多重循环软件流水的寄存器结构容红波,汤志忠2000,11(3):401-409 [摘要(3508)] [PDF(3826)562.04 K][HTML(0)]用XYZ/E形式化体系结构风格焦文品,史忠植2000,11(3):410-415 [摘要(3019)] [PDF(3813)359.28 K][HTML(0)]基于模拟退火机制的多种群并行遗传算法吴浩扬,常炳国,朱长纯,刘君华2000,11(3):416-420 [摘要(3853)] [PDF(4995)366.93 K][HTML(0)]群决策支持系统通信部件的研究与实现郭朝珍,康延东2000,11(3):421-426 [摘要(3496)] [PDF(3733)327.04 K][HTML(0)]