2003年第14卷第12期目录
同步合成Petri网系统活性与无死锁性的保持性蒲飞,陆维明2003,14(12):1977-1988 [摘要(4390)] [PDF(5240)1.25 M][HTML(0)]Monad的一种自动生成技术吕江花,金成植2003,14(12):1989-1995 [摘要(3726)] [PDF(4747)595.30 K][HTML(0)]具有高可理解性的二分决策树生成算法研究蒋艳凰,杨学军,赵强利2003,14(12):1996-2005 [摘要(4041)] [PDF(4879)769.67 K][HTML(0)]回归支持向量机的改进序列最小优化学习算法张浩然,韩正之2003,14(12):2006-2013 [摘要(4284)] [PDF(6839)700.39 K][HTML(0)]基于联合得分的连续语音识别确认方法严斌峰,朱小燕2003,14(12):2014-2020 [摘要(4054)] [PDF(5598)605.90 K][HTML(0)]具有已知代理人的不可否认门限代理签密方案李继国,李建中,曹珍富,张亦辰2003,14(12):2021-2027 [摘要(4402)] [PDF(4837)592.05 K][HTML(0)]认证协议两种形式化分析方法的比较卿斯汉2003,14(12):2028-2036 [摘要(3624)] [PDF(4722)739.21 K][HTML(0)]一个加强的NAT-PT模型曾立安,程朝辉,凌力2003,14(12):2037-2044 [摘要(4586)] [PDF(4987)616.49 K][HTML(0)]低轨卫星通信网络中动态位置更新管理方案王亮,张乃通2003,14(12):2045-2051 [摘要(3622)] [PDF(4613)534.20 K][HTML(0)]安全组播中密钥分配问题的研究朱文涛,熊继平,李津生,洪佩琳2003,14(12):2052-2059 [摘要(3781)] [PDF(5497)760.12 K][HTML(0)]线路速率缓存的重端口交换机方案及行为分析吴俊,陈晴,罗军舟2003,14(12):2060-2067 [摘要(4057)] [PDF(5094)644.26 K][HTML(0)]基于内容的分布式Web服务器调度算法杜增凯,郑名扬,鞠九滨2003,14(12):2068-2073 [摘要(4049)] [PDF(5446)636.96 K][HTML(0)]基于Hessian矩阵的中心路径提取算法李光明,田捷,赵明昌,何晖光2003,14(12):2074-2081 [摘要(5097)] [PDF(8536)940.78 K][HTML(0)]基于非均匀Catmull-Clark细分方法的曲线插值张景峤,王国瑾,郑建民2003,14(12):2082-2091 [摘要(3971)] [PDF(5849)948.41 K][HTML(0)]参数化模型欠、过和完整约束的判定算法蒋鲲,高小山,岳晶岩2003,14(12):2092-2097 [摘要(4437)] [PDF(5529)621.08 K][HTML(0)]基于特征流的面部表情运动分析及应用金辉,高文2003,14(12):2098-2105 [摘要(4542)] [PDF(6685)1.47 M][HTML(0)]参数曲线导矢界估计及在曲线绘制中的应用解本怀,王国瑾2003,14(12):2106-2112 [摘要(3457)] [PDF(4545)668.19 K][HTML(0)]