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