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