2007年第18卷第7期目录
基于逻辑电路的Petri网化简方法叶剑虹,宋文,孙世新2007,18(7):1553-1562 [摘要(4487)] [PDF(6400)734.05 K][HTML(0)]支持术语公理约束的扩展模糊描述逻辑推理康达周,徐宝文,陆建江,李言辉2007,18(7):1563-1572 [摘要(4633)] [PDF(5370)479.43 K][HTML(0)]命题线性时序逻辑的对偶模型问题的复杂性吴志林,张文辉2007,18(7):1573-1581 [摘要(4202)] [PDF(5078)598.30 K][HTML(0)]特征模型驱动的Web Services组装方案及其工具支持邢岩,谷放,梅宏2007,18(7):1582-1591 [摘要(4046)] [PDF(5535)564.42 K][HTML(0)]基于序列模式的Servlet容器缓存替换李洋,张文博,魏峻,钟华,黄涛2007,18(7):1592-1602 [摘要(4813)] [PDF(5962)699.64 K][HTML(0)]基于动态反馈的标志位线性分析算法唐锋,武成岗,冯晓兵,张兆庆2007,18(7):1603-1611 [摘要(4486)] [PDF(5132)562.14 K][HTML(0)]基于MDA的TRISO-Model模型管理方法及应用袁峰,李明树2007,18(7):1612-1625 [摘要(4869)] [PDF(5846)758.25 K][HTML(0)]基于扩展状态任务网的制造供应链计划苏生,战德臣,徐晓飞2007,18(7):1626-1638 [摘要(3644)] [PDF(6290)971.52 K][HTML(0)]异构无线网络中垂直切换算法的评测与改进刘敏,李忠诚,过晓冰,张德魁2007,18(7):1652-1659 [摘要(4597)] [PDF(6845)535.17 K][HTML(0)]基于在线模型评估的动态Web系统性能保障张勇,黄涛,陈宁江,金蓓弘2007,18(7):1660-1671 [摘要(4315)] [PDF(5855)787.71 K][HTML(0)]与位置无关的无线传感器网络连通性覆盖协议毛莺池,冯国富,陈力军,陈道蓄2007,18(7):1672-1684 [摘要(5270)] [PDF(6076)862.84 K][HTML(0)]基于影响集的协作过滤推荐算法陈健,印鉴2007,18(7):1685-1694 [摘要(4937)] [PDF(6771)669.61 K][HTML(0)]面向卫星网络的TCP代理曾斌,李之棠,徐帆江2007,18(7):1695-1704 [摘要(4508)] [PDF(6476)671.08 K][HTML(0)]门户环境中基于语义数据协作应用集成方法宋靖宇,魏峻,万淑超2007,18(7):1705-1714 [摘要(3951)] [PDF(5542)529.10 K][HTML(0)]基于安全操作系统的电子证据获取与存储丁丽萍,周博文,王永吉2007,18(7):1715-1729 [摘要(4790)] [PDF(6620)762.96 K][HTML(0)]基于灰色系统理论的信誉报告机制徐兰芳,胡怀飞,桑子夏,徐凤鸣,邹德清2007,18(7):1730-1737 [摘要(4593)] [PDF(5647)538.32 K][HTML(0)]Dixon结式在密码学中的应用唐樨瑾,冯勇2007,18(7):1738-1745 [摘要(4557)] [PDF(5711)673.01 K][HTML(0)]一种改进的密码协议形式化模型张畅,王亚弟,韩继红,郭渊博2007,18(7):1746-1755 [摘要(4227)] [PDF(6159)824.71 K][HTML(0)]一种可并行的消息认证码王大印,林东岱,吴文玲2007,18(7):1756-1764 [摘要(5095)] [PDF(5733)505.24 K][HTML(0)]移动Ad Hoc网络中保证覆盖的准确计时可靠链路方法张治国,刘聪,张鹏2007,18(7):1765-1773 [摘要(3758)] [PDF(5368)536.53 K][HTML(0)]构造有限域上具有给定阶点的椭圆曲线王鲲鹏,李宝2007,18(7):1774-1777 [摘要(4507)] [PDF(5901)250.29 K][HTML(0)]DHT网络基于债务关系的公平文件交换于坤,吴国新,许立波,陈刚2007,18(7):1778-1785 [摘要(4584)] [PDF(5706)505.20 K][HTML(0)]大规模移动自主网络中基于簇的QoS多路径路由卢锡城,安辉耀,彭宇行,彭伟2007,18(7):1786-1798 [摘要(4231)] [PDF(5730)887.59 K][HTML(0)]椭圆曲线Tate对的压缩胡磊2007,18(7):1799-1805 [摘要(4524)] [PDF(5549)466.54 K][HTML(0)]龙芯2号同时多线程处理器的软硬件接口设计李祖松,许先超,胡伟武,唐志敏2007,18(7):1806-1817 [摘要(4285)] [PDF(5642)591.80 K][HTML(0)]基于NPV广义超立方体最佳容错路由算法田绍槐,陆应平,张大方2007,18(7):1818-1830 [摘要(4304)] [PDF(5428)1.35 M][HTML(0)]支持截止期敏感应用的数据流任务调度方法于戈,李晓静,杨晓春,欧征宇,邓庆绪2007,18(7):1831-1843 [摘要(4329)] [PDF(5867)527.59 K][HTML(0)]一种静态最少优先级分配算法邢建生,王永吉,刘军祥,曾海涛,NASRO Min-Allah2007,18(7):1844-1854 [摘要(4044)] [PDF(5965)734.26 K][HTML(0)]
基于特征选择的轻量级入侵检测系统陈友,程学旗,李洋,戴磊2007,18(7):1639-1651 [摘要(7715)] [PDF(10915)845.09 K][HTML(0)]
