| |
2007年第18卷第7期目录
本期目录 | | | 基于逻辑电路的Petri网化简方法 | | | 叶剑虹,宋文,孙世新 | | | 2007,18(7):1553-1562 | | | [摘要](5066) [PDF 734.05 K](7294) | | | 支持术语公理约束的扩展模糊描述逻辑推理 | | | 康达周,徐宝文,陆建江,李言辉 | | | 2007,18(7):1563-1572 | | | [摘要](5221) [PDF 479.43 K](6272) | | | 命题线性时序逻辑的对偶模型问题的复杂性 | | | 吴志林,张文辉 | | | 2007,18(7):1573-1581 | | | [摘要](4818) [PDF 598.30 K](5982) | | | 特征模型驱动的Web Services组装方案及其工具支持 | | | 邢岩,谷放,梅宏 | | | 2007,18(7):1582-1591 | | | [摘要](4630) [PDF 564.42 K](6406) | | | 基于序列模式的Servlet容器缓存替换 | | | 李洋,张文博,魏峻,钟华,黄涛 | | | 2007,18(7):1592-1602 | | | [摘要](5289) [PDF 699.64 K](6775) | | | 基于动态反馈的标志位线性分析算法 | | | 唐锋,武成岗,冯晓兵,张兆庆 | | | 2007,18(7):1603-1611 | | | [摘要](5136) [PDF 562.14 K](5863) | | | 基于MDA的TRISO-Model模型管理方法及应用 | | | 袁峰,李明树 | | | 2007,18(7):1612-1625 | | | [摘要](5490) [PDF 758.25 K](6719) | | | 基于扩展状态任务网的制造供应链计划 | | | 苏生,战德臣,徐晓飞 | | | 2007,18(7):1626-1638 | | | [摘要](4135) [PDF 971.52 K](7128) | | | 异构无线网络中垂直切换算法的评测与改进 | | | 刘敏,李忠诚,过晓冰,张德魁 | | | 2007,18(7):1652-1659 | | | [摘要](5143) [PDF 535.17 K](7646) | | | 基于在线模型评估的动态Web系统性能保障 | | | 张勇,黄涛,陈宁江,金蓓弘 | | | 2007,18(7):1660-1671 | | | [摘要](4864) [PDF 787.71 K](6755) | | | 与位置无关的无线传感器网络连通性覆盖协议 | | | 毛莺池,冯国富,陈力军,陈道蓄 | | | 2007,18(7):1672-1684 | | | [摘要](5679) [PDF 862.84 K](6869) | | | 基于影响集的协作过滤推荐算法 | | | 陈健,印鉴 | | | 2007,18(7):1685-1694 | | | [摘要](5463) [PDF 669.61 K](7590) | | | 面向卫星网络的TCP代理 | | | 曾斌,李之棠,徐帆江 | | | 2007,18(7):1695-1704 | | | [摘要](5002) [PDF 671.08 K](7361) | | | 门户环境中基于语义数据协作应用集成方法 | | | 宋靖宇,魏峻,万淑超 | | | 2007,18(7):1705-1714 | | | [摘要](4599) [PDF 529.10 K](6292) | | | 基于安全操作系统的电子证据获取与存储 | | | 丁丽萍,周博文,王永吉 | | | 2007,18(7):1715-1729 | | | [摘要](5461) [PDF 762.96 K](7458) | | | 基于灰色系统理论的信誉报告机制 | | | 徐兰芳,胡怀飞,桑子夏,徐凤鸣,邹德清 | | | 2007,18(7):1730-1737 | | | [摘要](5207) [PDF 538.32 K](6492) | | | Dixon结式在密码学中的应用 | | | 唐樨瑾,冯勇 | | | 2007,18(7):1738-1745 | | | [摘要](5159) [PDF 673.01 K](6540) | | | 一种改进的密码协议形式化模型 | | | 张畅,王亚弟,韩继红,郭渊博 | | | 2007,18(7):1746-1755 | | | [摘要](4725) [PDF 824.71 K](6984) | | | 一种可并行的消息认证码 | | | 王大印,林东岱,吴文玲 | | | 2007,18(7):1756-1764 | | | [摘要](5616) [PDF 505.24 K](6523) | | | 移动Ad Hoc网络中保证覆盖的准确计时可靠链路方法 | | | 张治国,刘聪,张鹏 | | | 2007,18(7):1765-1773 | | | [摘要](4314) [PDF 536.53 K](6231) | | | 构造有限域上具有给定阶点的椭圆曲线 | | | 王鲲鹏,李宝 | | | 2007,18(7):1774-1777 | | | [摘要](5086) [PDF 250.29 K](6722) | | | DHT网络基于债务关系的公平文件交换 | | | 于坤,吴国新,许立波,陈刚 | | | 2007,18(7):1778-1785 | | | [摘要](5100) [PDF 505.20 K](6520) | | | 大规模移动自主网络中基于簇的QoS多路径路由 | | | 卢锡城,安辉耀,彭宇行,彭伟 | | | 2007,18(7):1786-1798 | | | [摘要](4767) [PDF 887.59 K](6599) | | | 椭圆曲线Tate对的压缩 | | | 胡磊 | | | 2007,18(7):1799-1805 | | | [摘要](5041) [PDF 466.54 K](6320) | | | 龙芯2号同时多线程处理器的软硬件接口设计 | | | 李祖松,许先超,胡伟武,唐志敏 | | | 2007,18(7):1806-1817 | | | [摘要](4827) [PDF 591.80 K](6485) | | | 基于NPV广义超立方体最佳容错路由算法 | | | 田绍槐,陆应平,张大方 | | | 2007,18(7):1818-1830 | | | [摘要](4855) [PDF 1.35 M](6299) | | | 支持截止期敏感应用的数据流任务调度方法 | | | 于戈,李晓静,杨晓春,欧征宇,邓庆绪 | | | 2007,18(7):1831-1843 | | | [摘要](4796) [PDF 527.59 K](6736) | | | 一种静态最少优先级分配算法 | | | 邢建生,王永吉,刘军祥,曾海涛,NASRO Min-Allah | | | 2007,18(7):1844-1854 | | | [摘要](4610) [PDF 734.26 K](6723) | |
综述文章
|
