 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| |
2003年第14卷第3期目录
本期目录 | | | Verilog代数语义研究 | | | 李勇坚,何积丰,孙永强 | | | 2003,14(3):317-327 [摘要(3269)] [PDF 863.16 K (3312)] | | | | | 角色反演算法 | | | 白硕,张浩 | | | 2003,14(3):328-333 [摘要(2927)] [PDF 690.78 K (3217)] | | | | | 量子搜索算法 | | | 孙吉贵,何雨果 | | | 2003,14(3):334-344 [摘要(3416)] [PDF 888.19 K (4297)] | | | | | 中介谓词逻辑系统的λ-归结 | | | 潘正华 | | | 2003,14(3):345-349 [摘要(3117)] [PDF 517.83 K (3298)] | | | | | 基于领域知识重用的虚拟领域本体构造 | | | 陈刚,陆汝钤,金芝 | | | 2003,14(3):350-355 [摘要(4116)] [PDF 560.94 K (4442)] | | | | | XYZ/E面向对象程序语义概述 | | | 郭亮,唐稚松 | | | 2003,14(3):356-361 [摘要(3410)] [PDF 565.87 K (3629)] | | | | | 基于规范划分集的并行循环计算划分 | | | 黄其军,杨建武,余华山,许卓群 | | | 2003,14(3):362-368 [摘要(3206)] [PDF 649.68 K (3361)] | | | | | 基于混合粒度冲突检测的事务工作流调度算法 | | | 丁柯,魏峻,冯玉琳 | | | 2003,14(3):369-375 [摘要(3113)] [PDF 813.00 K (3116)] | | | | | 一种任务优先级的综合设计方法 | | | 金宏,王宏安,王强,戴国忠 | | | 2003,14(3):376-382 [摘要(3927)] [PDF 643.32 K (3555)] | | | | | 一种意向驱动式面向agent程序设计语言 | | | 郭磊,戈也挺,陈世福,张东摩 | | | 2003,14(3):383-391 [摘要(3686)] [PDF 715.71 K (3286)] | | | | | 笔式用户界面开发工具研究 | | | 栗阳,关志伟,戴国忠 | | | 2003,14(3):392-400 [摘要(3291)] [PDF 664.60 K (3357)] | | | | | 刻面分类构件的匹配模型 | | | 王渊峰,薛云皎,张涌,朱三元,钱乐秋 | | | 2003,14(3):401-408 [摘要(3163)] [PDF 785.15 K (3240)] | | | | | 事件触发并发数据流模型 | | | 王瑞荣,汪乐宇 | | | 2003,14(3):409-414 [摘要(3238)] [PDF 575.88 K (3464)] | | | | | 面向对象程序设计语言的绑定时间分析技术 | | | 廖湖声,童兆丰,王众 | | | 2003,14(3):415-421 [摘要(3123)] [PDF 633.36 K (3136)] | | | | | 一种并发的BDI-Agent模型 | | | 王一川,石纯一 | | | 2003,14(3):422-428 [摘要(3108)] [PDF 682.80 K (3167)] | | | | | 一种基于神经网络覆盖构造法的模糊分类器 | | | 叶少珍,张钹,吴鸣锐,郑文波 | | | 2003,14(3):429-434 [摘要(3295)] [PDF 570.61 K (3193)] | | | | | 基于向量空间模型的文本过滤系统 | | | 黄萱菁,夏迎炬,吴立德 | | | 2003,14(3):435-442 [摘要(3329)] [PDF 709.21 K (4614)] | | | | | 常微分方程组并行演化建模的实验研究 | | | 曹宏庆,康立山,陈毓屏,胡庆丰 | | | 2003,14(3):443-450 [摘要(2925)] [PDF 715.60 K (3318)] | | | | | 基于支持向量机的渐进直推式分类学习算法 | | | 陈毅松,汪国平,董士海 | | | 2003,14(3):451-460 [摘要(4151)] [PDF 825.70 K (4093)] | | | | | 动态视位模型及其参数估计 | | | 王志明,蔡莲红 | | | 2003,14(3):461-466 [摘要(2896)] [PDF 585.29 K (3240)] | | | | | 基于匹配跟踪的感知梯度正弦建模方法 | | | 张文耀,许刚,王裕国 | | | 2003,14(3):467-472 [摘要(2936)] [PDF 585.52 K (3174)] | | | | | Agent的组织承诺和小组承诺 | | | 张伟,石纯一 | | | 2003,14(3):473-478 [摘要(3157)] [PDF 622.96 K (3299)] | | | | | 从熵均值决策到样本分布决策 | | | 何劲松,郑浩然,王煦法 | | | 2003,14(3):479-483 [摘要(3415)] [PDF 557.83 K (3522)] | | | | | 基于加博函数的指纹增强算法及其应用 | | | 尹义龙,詹小四,谭台哲,宁新宝 | | | 2003,14(3):484-489 [摘要(3122)] [PDF 1012.51 K (2867)] | | | | | 基于并行特征组合与广义K-L变换的字符识别 | | | 杨健,杨静宇,高建贞 | | | 2003,14(3):490-495 [摘要(2826)] [PDF 604.17 K (3541)] | | | | | 交换式以太网上的多播协议 | | | 王军,吴志美 | | | 2003,14(3):496-502 [摘要(3465)] [PDF 634.38 K (3651)] | | | | | 大时滞网络中的拥塞控制算法 | | | 任丰原,林闯,任勇,山秀明 | | | 2003,14(3):503-511 [摘要(3645)] [PDF 837.10 K (4535)] | | | | | 一类基于混沌函数的分组密码的安全性评估 | | | 张文涛,卿斯汉,吴文玲 | | | 2003,14(3):512-517 [摘要(3171)] [PDF 535.40 K (3094)] | | | | | 传输层安全协议的安全性分析及改进 | | | 孙林红,叶顶锋,吕述望,冯登国 | | | 2003,14(3):518-523 [摘要(3048)] [PDF 576.80 K (3403)] | | | | | Internet路由仿真系统研究与实现 | | | 崔勇,徐恪,吴建平 | | | 2003,14(3):524-530 [摘要(2943)] [PDF 628.63 K (3662)] | | | | | 一种提供延迟保证的多级FIFS队列包调度算法 | | | 杨明川,钱华林 | | | 2003,14(3):531-537 [摘要(3289)] [PDF 676.97 K (3139)] | | | | | 一种用于网络计算的可定制启动协议 | | | 周悦芝,张尧学,王勇 | | | 2003,14(3):538-546 [摘要(3034)] [PDF 801.15 K (3108)] | | | | | 一个安全标记公共框架的设计与实现 | | | 梁洪亮,孙玉芳,赵庆松,张相锋,孙波 | | | 2003,14(3):547-552 [摘要(3444)] [PDF 615.69 K (3138)] | | | | | 按需分枝组播 | | | 金志权,项晓晶,陈佩佩 | | | 2003,14(3):553-561 [摘要(3476)] [PDF 719.88 K (3090)] | | | | | ABR流量控制中的变结构控制器 | | | 任丰原,林闯,王福豹 | | | 2003,14(3):562-568 [摘要(3255)] [PDF 649.20 K (3168)] | | | | | AC分组密码的差分和线性密码分析 | | | 吴文玲,马恒太,卿斯汉 | | | 2003,14(3):569-574 [摘要(3722)] [PDF 672.60 K (3229)] | | | | | 光RP(k)网络上Hypercube通信模式的波长指派算法 | | | 刘方爱,刘志勇,乔香珍 | | | 2003,14(3):575-581 [摘要(3271)] [PDF 684.87 K (3263)] | | | | | 一种基于概率的QoS单播路由算法 | | | 陈萍,董天临,石坚,赵淼 | | | 2003,14(3):582-587 [摘要(2666)] [PDF 602.04 K (3109)] | | | | | 基于DSA及RSA的证实数字签名方案 | | | 王尚平,王育民,张亚玲 | | | 2003,14(3):588-593 [摘要(3653)] [PDF 536.09 K (4109)] | | | | | 基于抽样测量的高速网络实时异常检测模型 | | | 程光,龚俭,丁伟 | | | 2003,14(3):594-599 [摘要(3881)] [PDF 547.75 K (3461)] | | | | | 互联网密钥交换协议及其安全性分析 | | | 范红 | | | 2003,14(3):600-605 [摘要(3676)] [PDF 544.68 K (3588)] | | | | | 并发TTCN测试执行机的设计与实现 | | | 张卫星,蒋凡 | | | 2003,14(3):606-611 [摘要(3390)] [PDF 554.75 K (3397)] | | | | | 二进制流量控制算法的性能分析 | | | 任丰原,林闯,任勇,山秀明 | | | 2003,14(3):612-618 [摘要(3609)] [PDF 651.34 K (3716)] | | | | | 基于改进的弹簧-质点模型的三维服装模拟 | | | 刘卉,陈纯,施伯乐 | | | 2003,14(3):619-627 [摘要(3604)] [PDF 1.08 M (4536)] | | | | | 交互状态机模型模拟矢量自动生成方法 | | | 李暾,郭阳,李思昆 | | | 2003,14(3):628-634 [摘要(2930)] [PDF 781.93 K (3412)] | | | | | 多角色与虚拟场景的运动融合 | | | 罗忠祥,庄越挺,潘云鹤,李岳梅 | | | 2003,14(3):635-642 [摘要(3139)] [PDF 874.96 K (3564)] | | | | | 具有真实感的三维人脸动画 | | | 张青山,陈国良 | | | 2003,14(3):643-650 [摘要(3307)] [PDF 1.17 M (3824)] | | | | | 基于FBM约束模型的可控性分形生成方法 | | | 谭建荣,陈洪亮 | | | 2003,14(3):651-659 [摘要(3040)] [PDF 1.37 M (3124)] | | | | | 基于伪直母线的复杂曲面自适应分片与展开 | | | 陈动人,王国瑾 | | | 2003,14(3):660-665 [摘要(3066)] [PDF 651.27 K (3066)] | | | | | 复映射z←(z)-a+c(a≥2)的广义M集及其对称周期检测法 | | | 谭建荣,程锦 | | | 2003,14(3):666-674 [摘要(3432)] [PDF 787.46 K (3086)] | | | | | 一种分级检索MPEG视频的方法 | | | 刘阳,许松涛,吴志美 | | | 2003,14(3):675-681 [摘要(3187)] [PDF 1009.22 K (3106)] | | | | | PnP问题的线性求解算法 | | | 吴福朝,胡占义 | | | 2003,14(3):682-688 [摘要(3409)] [PDF 602.72 K (4558)] | | | | | 一种基于正则化方法的准最佳图像复原技术 | | | 曾三友,康立山,丁立新,黄元江 | | | 2003,14(3):689-696 [摘要(3520)] [PDF 949.53 K (3942)] | | | | | 推广的多值指数双向联想记忆模型及其应用 | | | 张道强,陈松灿 | | | 2003,14(3):697-702 [摘要(3411)] [PDF 1.18 M (3446)] | | | | | 由矩形确定摄像机内参数与位置的线性方法 | | | 吴福朝,王光辉,胡占义 | | | 2003,14(3):703-712 [摘要(3379)] [PDF 684.06 K (3278)] | | | |
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
