2003年第14卷第3期目录
Verilog代数语义研究李勇坚,何积丰,孙永强2003,14(3):317-327 [摘要(4134)] [PDF(5819)863.16 K][HTML(0)]角色反演算法白硕,张浩2003,14(3):328-333 [摘要(3737)] [PDF(5398)690.78 K][HTML(0)]量子搜索算法孙吉贵,何雨果2003,14(3):334-344 [摘要(4365)] [PDF(7152)888.19 K][HTML(0)]中介谓词逻辑系统的λ-归结潘正华2003,14(3):345-349 [摘要(3931)] [PDF(5509)517.83 K][HTML(0)]基于领域知识重用的虚拟领域本体构造陈刚,陆汝钤,金芝2003,14(3):350-355 [摘要(5116)] [PDF(7071)560.94 K][HTML(0)]XYZ/E面向对象程序语义概述郭亮,唐稚松2003,14(3):356-361 [摘要(4283)] [PDF(6132)565.87 K][HTML(0)]基于规范划分集的并行循环计算划分黄其军,杨建武,余华山,许卓群2003,14(3):362-368 [摘要(4038)] [PDF(5796)649.68 K][HTML(0)]基于混合粒度冲突检测的事务工作流调度算法丁柯,魏峻,冯玉琳2003,14(3):369-375 [摘要(4013)] [PDF(5472)813.00 K][HTML(0)]一种任务优先级的综合设计方法金宏,王宏安,王强,戴国忠2003,14(3):376-382 [摘要(4863)] [PDF(6543)643.32 K][HTML(0)]一种意向驱动式面向agent程序设计语言郭磊,戈也挺,陈世福,张东摩2003,14(3):383-391 [摘要(4676)] [PDF(5653)715.71 K][HTML(0)]笔式用户界面开发工具研究栗阳,关志伟,戴国忠2003,14(3):392-400 [摘要(4253)] [PDF(5764)664.60 K][HTML(0)]刻面分类构件的匹配模型王渊峰,薛云皎,张涌,朱三元,钱乐秋2003,14(3):401-408 [摘要(4154)] [PDF(6158)785.15 K][HTML(0)]事件触发并发数据流模型王瑞荣,汪乐宇2003,14(3):409-414 [摘要(4000)] [PDF(5758)575.88 K][HTML(0)]面向对象程序设计语言的绑定时间分析技术廖湖声,童兆丰,王众2003,14(3):415-421 [摘要(4026)] [PDF(5530)633.36 K][HTML(0)]一种并发的BDI-Agent模型王一川,石纯一2003,14(3):422-428 [摘要(3930)] [PDF(5341)682.80 K][HTML(0)]一种基于神经网络覆盖构造法的模糊分类器叶少珍,张钹,吴鸣锐,郑文波2003,14(3):429-434 [摘要(4275)] [PDF(5351)570.61 K][HTML(0)]基于向量空间模型的文本过滤系统黄萱菁,夏迎炬,吴立德2003,14(3):435-442 [摘要(4282)] [PDF(7129)709.21 K][HTML(0)]常微分方程组并行演化建模的实验研究曹宏庆,康立山,陈毓屏,胡庆丰2003,14(3):443-450 [摘要(3714)] [PDF(5579)715.60 K][HTML(0)]基于支持向量机的渐进直推式分类学习算法陈毅松,汪国平,董士海2003,14(3):451-460 [摘要(5269)] [PDF(6715)825.70 K][HTML(0)]动态视位模型及其参数估计王志明,蔡莲红2003,14(3):461-466 [摘要(3723)] [PDF(5475)585.29 K][HTML(0)]基于匹配跟踪的感知梯度正弦建模方法张文耀,许刚,王裕国2003,14(3):467-472 [摘要(3791)] [PDF(5280)585.52 K][HTML(0)]Agent的组织承诺和小组承诺张伟,石纯一2003,14(3):473-478 [摘要(4064)] [PDF(5394)622.96 K][HTML(0)]从熵均值决策到样本分布决策何劲松,郑浩然,王煦法2003,14(3):479-483 [摘要(4324)] [PDF(5803)557.83 K][HTML(0)]基于加博函数的指纹增强算法及其应用尹义龙,詹小四,谭台哲,宁新宝2003,14(3):484-489 [摘要(3945)] [PDF(5384)1012.51 K][HTML(0)]基于并行特征组合与广义K-L变换的字符识别杨健,杨静宇,高建贞2003,14(3):490-495 [摘要(3687)] [PDF(6059)604.17 K][HTML(0)]交换式以太网上的多播协议王军,吴志美2003,14(3):496-502 [摘要(4410)] [PDF(6405)634.38 K][HTML(0)]大时滞网络中的拥塞控制算法任丰原,林闯,任勇,山秀明2003,14(3):503-511 [摘要(4649)] [PDF(7084)837.10 K][HTML(0)]一类基于混沌函数的分组密码的安全性评估张文涛,卿斯汉,吴文玲2003,14(3):512-517 [摘要(4007)] [PDF(5100)535.40 K][HTML(0)]传输层安全协议的安全性分析及改进孙林红,叶顶锋,吕述望,冯登国2003,14(3):518-523 [摘要(4058)] [PDF(5874)576.80 K][HTML(0)]Internet路由仿真系统研究与实现崔勇,徐恪,吴建平2003,14(3):524-530 [摘要(3841)] [PDF(5910)628.63 K][HTML(0)]一种提供延迟保证的多级FIFS队列包调度算法杨明川,钱华林2003,14(3):531-537 [摘要(4075)] [PDF(5255)676.97 K][HTML(0)]一种用于网络计算的可定制启动协议周悦芝,张尧学,王勇2003,14(3):538-546 [摘要(3826)] [PDF(5663)801.15 K][HTML(0)]一个安全标记公共框架的设计与实现梁洪亮,孙玉芳,赵庆松,张相锋,孙波2003,14(3):547-552 [摘要(4443)] [PDF(5611)615.69 K][HTML(0)]按需分枝组播金志权,项晓晶,陈佩佩2003,14(3):553-561 [摘要(4309)] [PDF(5356)719.88 K][HTML(0)]ABR流量控制中的变结构控制器任丰原,林闯,王福豹2003,14(3):562-568 [摘要(4148)] [PDF(5499)649.20 K][HTML(0)]AC分组密码的差分和线性密码分析吴文玲,马恒太,卿斯汉2003,14(3):569-574 [摘要(4561)] [PDF(5385)672.60 K][HTML(0)]光RP(k)网络上Hypercube通信模式的波长指派算法刘方爱,刘志勇,乔香珍2003,14(3):575-581 [摘要(4218)] [PDF(5601)684.87 K][HTML(0)]一种基于概率的QoS单播路由算法陈萍,董天临,石坚,赵淼2003,14(3):582-587 [摘要(3570)] [PDF(5258)602.04 K][HTML(0)]基于DSA及RSA的证实数字签名方案王尚平,王育民,张亚玲2003,14(3):588-593 [摘要(4650)] [PDF(6586)536.09 K][HTML(0)]基于抽样测量的高速网络实时异常检测模型程光,龚俭,丁伟2003,14(3):594-599 [摘要(5141)] [PDF(5949)547.75 K][HTML(0)]互联网密钥交换协议及其安全性分析范红2003,14(3):600-605 [摘要(4500)] [PDF(5997)544.68 K][HTML(0)]并发TTCN测试执行机的设计与实现张卫星,蒋凡2003,14(3):606-611 [摘要(4231)] [PDF(5493)554.75 K][HTML(0)]二进制流量控制算法的性能分析任丰原,林闯,任勇,山秀明2003,14(3):612-618 [摘要(4519)] [PDF(5969)651.34 K][HTML(0)]基于改进的弹簧-质点模型的三维服装模拟刘卉,陈纯,施伯乐2003,14(3):619-627 [摘要(4599)] [PDF(7434)1.08 M][HTML(0)]交互状态机模型模拟矢量自动生成方法李暾,郭阳,李思昆2003,14(3):628-634 [摘要(3784)] [PDF(5902)781.93 K][HTML(0)]多角色与虚拟场景的运动融合罗忠祥,庄越挺,潘云鹤,李岳梅2003,14(3):635-642 [摘要(3985)] [PDF(5848)874.96 K][HTML(0)]具有真实感的三维人脸动画张青山,陈国良2003,14(3):643-650 [摘要(4647)] [PDF(6610)1.17 M][HTML(0)]基于FBM约束模型的可控性分形生成方法谭建荣,陈洪亮2003,14(3):651-659 [摘要(3935)] [PDF(5467)1.37 M][HTML(0)]基于伪直母线的复杂曲面自适应分片与展开陈动人,王国瑾2003,14(3):660-665 [摘要(3852)] [PDF(5492)651.27 K][HTML(0)]复映射z←(z)-a+c(a≥2)的广义M集及其对称周期检测法谭建荣,程锦2003,14(3):666-674 [摘要(4373)] [PDF(5381)787.46 K][HTML(0)]一种分级检索MPEG视频的方法刘阳,许松涛,吴志美2003,14(3):675-681 [摘要(3997)] [PDF(5453)1009.22 K][HTML(0)]PnP问题的线性求解算法吴福朝,胡占义2003,14(3):682-688 [摘要(4740)] [PDF(8017)602.72 K][HTML(0)]一种基于正则化方法的准最佳图像复原技术曾三友,康立山,丁立新,黄元江2003,14(3):689-696 [摘要(4390)] [PDF(6348)949.53 K][HTML(0)]推广的多值指数双向联想记忆模型及其应用张道强,陈松灿2003,14(3):697-702 [摘要(4262)] [PDF(6042)1.18 M][HTML(0)]由矩形确定摄像机内参数与位置的线性方法吴福朝,王光辉,胡占义2003,14(3):703-712 [摘要(4441)] [PDF(5602)684.06 K][HTML(0)]
