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