2003年第14卷第3期目录
Verilog代数语义研究李勇坚,何积丰,孙永强2003,14(3):317-327 [摘要(3982)] [PDF(4909)863.16 K][HTML(0)]角色反演算法白硕,张浩2003,14(3):328-333 [摘要(3605)] [PDF(4565)690.78 K][HTML(0)]量子搜索算法孙吉贵,何雨果2003,14(3):334-344 [摘要(4207)] [PDF(5919)888.19 K][HTML(0)]中介谓词逻辑系统的λ-归结潘正华2003,14(3):345-349 [摘要(3794)] [PDF(4647)517.83 K][HTML(0)]基于领域知识重用的虚拟领域本体构造陈刚,陆汝钤,金芝2003,14(3):350-355 [摘要(4959)] [PDF(6111)560.94 K][HTML(0)]XYZ/E面向对象程序语义概述郭亮,唐稚松2003,14(3):356-361 [摘要(4156)] [PDF(5141)565.87 K][HTML(0)]基于规范划分集的并行循环计算划分黄其军,杨建武,余华山,许卓群2003,14(3):362-368 [摘要(3901)] [PDF(4718)649.68 K][HTML(0)]基于混合粒度冲突检测的事务工作流调度算法丁柯,魏峻,冯玉琳2003,14(3):369-375 [摘要(3856)] [PDF(4518)813.00 K][HTML(0)]一种任务优先级的综合设计方法金宏,王宏安,王强,戴国忠2003,14(3):376-382 [摘要(4687)] [PDF(5130)643.32 K][HTML(0)]一种意向驱动式面向agent程序设计语言郭磊,戈也挺,陈世福,张东摩2003,14(3):383-391 [摘要(4542)] [PDF(4664)715.71 K][HTML(0)]笔式用户界面开发工具研究栗阳,关志伟,戴国忠2003,14(3):392-400 [摘要(4098)] [PDF(4687)664.60 K][HTML(0)]刻面分类构件的匹配模型王渊峰,薛云皎,张涌,朱三元,钱乐秋2003,14(3):401-408 [摘要(4009)] [PDF(4961)785.15 K][HTML(0)]事件触发并发数据流模型王瑞荣,汪乐宇2003,14(3):409-414 [摘要(3846)] [PDF(4891)575.88 K][HTML(0)]面向对象程序设计语言的绑定时间分析技术廖湖声,童兆丰,王众2003,14(3):415-421 [摘要(3861)] [PDF(4415)633.36 K][HTML(0)]一种并发的BDI-Agent模型王一川,石纯一2003,14(3):422-428 [摘要(3769)] [PDF(4436)682.80 K][HTML(0)]一种基于神经网络覆盖构造法的模糊分类器叶少珍,张钹,吴鸣锐,郑文波2003,14(3):429-434 [摘要(4138)] [PDF(4434)570.61 K][HTML(0)]基于向量空间模型的文本过滤系统黄萱菁,夏迎炬,吴立德2003,14(3):435-442 [摘要(4153)] [PDF(6182)709.21 K][HTML(0)]常微分方程组并行演化建模的实验研究曹宏庆,康立山,陈毓屏,胡庆丰2003,14(3):443-450 [摘要(3605)] [PDF(4613)715.60 K][HTML(0)]基于支持向量机的渐进直推式分类学习算法陈毅松,汪国平,董士海2003,14(3):451-460 [摘要(5101)] [PDF(5712)825.70 K][HTML(0)]动态视位模型及其参数估计王志明,蔡莲红2003,14(3):461-466 [摘要(3594)] [PDF(4562)585.29 K][HTML(0)]基于匹配跟踪的感知梯度正弦建模方法张文耀,许刚,王裕国2003,14(3):467-472 [摘要(3663)] [PDF(4432)585.52 K][HTML(0)]Agent的组织承诺和小组承诺张伟,石纯一2003,14(3):473-478 [摘要(3925)] [PDF(4520)622.96 K][HTML(0)]从熵均值决策到样本分布决策何劲松,郑浩然,王煦法2003,14(3):479-483 [摘要(4196)] [PDF(4849)557.83 K][HTML(0)]基于加博函数的指纹增强算法及其应用尹义龙,詹小四,谭台哲,宁新宝2003,14(3):484-489 [摘要(3805)] [PDF(4283)1012.51 K][HTML(0)]基于并行特征组合与广义K-L变换的字符识别杨健,杨静宇,高建贞2003,14(3):490-495 [摘要(3534)] [PDF(5096)604.17 K][HTML(0)]交换式以太网上的多播协议王军,吴志美2003,14(3):496-502 [摘要(4268)] [PDF(5240)634.38 K][HTML(0)]大时滞网络中的拥塞控制算法任丰原,林闯,任勇,山秀明2003,14(3):503-511 [摘要(4497)] [PDF(6167)837.10 K][HTML(0)]一类基于混沌函数的分组密码的安全性评估张文涛,卿斯汉,吴文玲2003,14(3):512-517 [摘要(3853)] [PDF(4193)535.40 K][HTML(0)]传输层安全协议的安全性分析及改进孙林红,叶顶锋,吕述望,冯登国2003,14(3):518-523 [摘要(3879)] [PDF(4886)576.80 K][HTML(0)]Internet路由仿真系统研究与实现崔勇,徐恪,吴建平2003,14(3):524-530 [摘要(3673)] [PDF(5020)628.63 K][HTML(0)]一种提供延迟保证的多级FIFS队列包调度算法杨明川,钱华林2003,14(3):531-537 [摘要(3924)] [PDF(4386)676.97 K][HTML(0)]一种用于网络计算的可定制启动协议周悦芝,张尧学,王勇2003,14(3):538-546 [摘要(3702)] [PDF(4608)801.15 K][HTML(0)]一个安全标记公共框架的设计与实现梁洪亮,孙玉芳,赵庆松,张相锋,孙波2003,14(3):547-552 [摘要(4251)] [PDF(4636)615.69 K][HTML(0)]按需分枝组播金志权,项晓晶,陈佩佩2003,14(3):553-561 [摘要(4177)] [PDF(4423)719.88 K][HTML(0)]ABR流量控制中的变结构控制器任丰原,林闯,王福豹2003,14(3):562-568 [摘要(3988)] [PDF(4556)649.20 K][HTML(0)]AC分组密码的差分和线性密码分析吴文玲,马恒太,卿斯汉2003,14(3):569-574 [摘要(4415)] [PDF(4473)672.60 K][HTML(0)]光RP(k)网络上Hypercube通信模式的波长指派算法刘方爱,刘志勇,乔香珍2003,14(3):575-581 [摘要(4045)] [PDF(4635)684.87 K][HTML(0)]一种基于概率的QoS单播路由算法陈萍,董天临,石坚,赵淼2003,14(3):582-587 [摘要(3380)] [PDF(4353)602.04 K][HTML(0)]基于DSA及RSA的证实数字签名方案王尚平,王育民,张亚玲2003,14(3):588-593 [摘要(4474)] [PDF(5580)536.09 K][HTML(0)]基于抽样测量的高速网络实时异常检测模型程光,龚俭,丁伟2003,14(3):594-599 [摘要(4951)] [PDF(4990)547.75 K][HTML(0)]互联网密钥交换协议及其安全性分析范红2003,14(3):600-605 [摘要(4347)] [PDF(4999)544.68 K][HTML(0)]并发TTCN测试执行机的设计与实现张卫星,蒋凡2003,14(3):606-611 [摘要(4056)] [PDF(4612)554.75 K][HTML(0)]二进制流量控制算法的性能分析任丰原,林闯,任勇,山秀明2003,14(3):612-618 [摘要(4375)] [PDF(5070)651.34 K][HTML(0)]基于改进的弹簧-质点模型的三维服装模拟刘卉,陈纯,施伯乐2003,14(3):619-627 [摘要(4421)] [PDF(6282)1.08 M][HTML(0)]交互状态机模型模拟矢量自动生成方法李暾,郭阳,李思昆2003,14(3):628-634 [摘要(3661)] [PDF(4941)781.93 K][HTML(0)]多角色与虚拟场景的运动融合罗忠祥,庄越挺,潘云鹤,李岳梅2003,14(3):635-642 [摘要(3804)] [PDF(4964)874.96 K][HTML(0)]具有真实感的三维人脸动画张青山,陈国良2003,14(3):643-650 [摘要(4381)] [PDF(5598)1.17 M][HTML(0)]基于FBM约束模型的可控性分形生成方法谭建荣,陈洪亮2003,14(3):651-659 [摘要(3777)] [PDF(4586)1.37 M][HTML(0)]基于伪直母线的复杂曲面自适应分片与展开陈动人,王国瑾2003,14(3):660-665 [摘要(3726)] [PDF(4517)651.27 K][HTML(0)]复映射z←(z)-a+c(a≥2)的广义M集及其对称周期检测法谭建荣,程锦2003,14(3):666-674 [摘要(4239)] [PDF(4442)787.46 K][HTML(0)]一种分级检索MPEG视频的方法刘阳,许松涛,吴志美2003,14(3):675-681 [摘要(3851)] [PDF(4499)1009.22 K][HTML(0)]PnP问题的线性求解算法吴福朝,胡占义2003,14(3):682-688 [摘要(4489)] [PDF(6620)602.72 K][HTML(0)]一种基于正则化方法的准最佳图像复原技术曾三友,康立山,丁立新,黄元江2003,14(3):689-696 [摘要(4238)] [PDF(5369)949.53 K][HTML(0)]推广的多值指数双向联想记忆模型及其应用张道强,陈松灿2003,14(3):697-702 [摘要(4122)] [PDF(4894)1.18 M][HTML(0)]由矩形确定摄像机内参数与位置的线性方法吴福朝,王光辉,胡占义2003,14(3):703-712 [摘要(4264)] [PDF(4716)684.06 K][HTML(0)]