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