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