| |
2007年第18卷第1期目录
本期目录 | | | 一种扩展了价格信息的时间Petri网 | | | 刘显明,李师贤,李文军,潘理 | | | 2007,18(1):1-10 | | | [摘要](6003) [PDF 767.00 K](7111) | | | 时间约束Petri网及其可调度性分析与验证 | | | 宋巍,窦万春,刘茜萍 | | | 2007,18(1):11-21 | | | [摘要](5546) [PDF 902.74 K](8555) | | | Petri网共享PP-型子网合成性质分析 | | | 夏传良,焦莉,陆维明 | | | 2007,18(1):22-32 | | | [摘要](4757) [PDF 875.27 K](6743) | | | G?del n值命题逻辑中命题的α-真度理论 | | | 李骏,王国俊 | | | 2007,18(1):33-39 | | | [摘要](4576) [PDF 435.15 K](6764) | | | 关于二元延迟3步前馈逆有限自动机的结构 | | | 王鸿吉,姚刚 | | | 2007,18(1):40-49 | | | [摘要](4545) [PDF 1.28 M](5844) | | | 场景驱动的构件行为抽取 | | | 张岩,胡军,于笑丰,张天,李宣东,郑国梁 | | | 2007,18(1):50-61 | | | [摘要](6330) [PDF 770.53 K](6915) | | | 一种基于时间自动机的实时系统测试方法 | | | 陈伟,薛云志,赵琛,李明树 | | | 2007,18(1):62-73 | | | [摘要](6768) [PDF 760.47 K](8972) | | | 一种基于异常传播分析的数据流分析方法 | | | 姜淑娟,徐宝文,史亮 | | | 2007,18(1):74-84 | | | [摘要](4938) [PDF 671.46 K](6696) | | | 基于目标距离评估的启发式Web Services组合算法 | | | 温嘉佳,陈俊亮,彭泳 | | | 2007,18(1):85-93 | | | [摘要](5301) [PDF 529.68 K](7170) | | | 一种基于模型的特征交互检测方法 | | | 左继红,王千祥,梅宏 | | | 2007,18(1):94-104 | | | [摘要](4796) [PDF 653.07 K](6268) | | | 基于轨迹标签的无结构P2P副本一致性维护算法 | | | 谢鲲,张大方,谢高岗,文吉刚 | | | 2007,18(1):105-116 | | | [摘要](5231) [PDF 743.85 K](6595) | | | 基于有状态Bloom filter引擎的高速分组检测 | | | 叶明江,崔勇,徐恪,吴建平 | | | 2007,18(1):117-126 | | | [摘要](6184) [PDF 629.39 K](7499) | | | 无线传感器网络多重覆盖问题分析 | | | 刘明,曹建农,郑源,陈力军,谢立 | | | 2007,18(1):127-136 | | | [摘要](5759) [PDF 788.35 K](6863) | | | 用于评估网络信息系统的风险传播模型 | | | 张永铮,方滨兴,迟悦,云晓春 | | | 2007,18(1):137-145 | | | [摘要](6596) [PDF 904.20 K](8625) | | | 内容传递网络处理能力受限代理放置贪婪算法 | | | 陈益峰,何炎祥,曹建农 | | | 2007,18(1):146-156 | | | [摘要](10241) [PDF 728.16 K](18177) | | | 基于相似度加权推荐的P2P环境下的信任模型 | | | 李景涛,荆一楠,肖晓春,王雪平,张根度 | | | 2007,18(1):157-167 | | | [摘要](8079) [PDF 647.89 K](10800) | | | 基于分布式密钥生成方法的RSA可验证签名分享设计 | | | 吕克伟 | | | 2007,18(1):168-176 | | | [摘要](5373) [PDF 570.47 K](6433) | |
|
