软件学报杂志 北大期刊 CSCD期刊 统计源期刊

Petri网可达性的综合判定法

作者：胡娟; 刘力惠; 范植华; 李磊; 王常青; 周纬杰 刊期：2004年第07期

Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的'综合判定法'.此判定方法综合多种传统判定方法的优点,结合Gr(o)bner基理论,确保了对...

嵌入一致图语法的依赖图

作者：李国东; 张德富 刊期：2004年第07期

图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依赖图并挖掘并行性,从而协助并行编译器和并行语言的设计和实现.

一类递归函数的多态类型

作者：黄文集 刊期：2004年第07期

以上下文无关语言上的递归函数为基础的语言LFC(1anguage for context free recursive function)是一种形式规约语言,适于处理短语结构.LFC也是函数式语言,具有函数式语言的许多特点.LFC已经在形式规约获取系统SAQ(specification acquisition system)中实现,为其最初设计的类型系统不支持多态类型.引入类型变量和相应的类型检查方法,就可以将其...

2005年智能计算及其应用国际研讨会通知

刊期：2004年第07期

2004年全国开放式分布与并行计算学术会议

刊期：2004年第07期

第13届全国信息存储技术学术会议

刊期：2004年第07期

敬告作者

刊期：2004年第07期

第4届中国信息和通信安全学术会议（CCICS 2005）征文通知

刊期：2004年第07期

庆祝《软件学报》创刊15周年纪念活动预告

刊期：2004年第07期

如何测量SMP机群可扩放性

作者：何家华; 陈国良; 单久龙 刊期：2004年第07期

可扩放性是并行计算的一个重要性能标准,但是传统的可扩放性准则并不适用于SMP机群.如何测量SMP机群的可扩放性?试图提出该问题的一个解决方案.首先找出并验证问题的根源--处理器集合不等价性.然后,采用处理器集合的观点来全面、正确地观察系统的行为,而并非像传统的做法那样仅仅使用处理器数来描述并行系统.通过引入性能参考因子的概念,扩展了...

一种软件流水的反流水算法

作者：汤志忠; 李文龙; 苏伯珙 刊期：2004年第07期

软件流水是一种循环程序的优化技术,已经广泛应用于现代优化编译器中.为了充分利用VLIW DSP处理机的指令级并行性,必须使用软件流水技术对DSP程序进行优化.然而,在串行源代码不存在的情况下,对软件流水后的原始代码进行变换、理解、测试和调试,并转换成其他处理机的代码是非常困难的.提出了一种反流水技术,它能够将软件流水后的优化汇编代码反向...

超立方体中基于极大安全通路矩阵的容错路由

作者：王雷; 林亚平; 陈治平; 文学 刊期：2004年第07期

n维超立方体结构的多处理机系统在并行与分布式处理中具有良好的性能,随着多处理机系统规模的增大,系统出现链路与节点故障的概率也随之增大,因此设计容错性更强的路由算法对n维超立方体结构的多处理机系统具有重要意义.针对超立方体结构的多处理机系统中存在链路故障的情况,提出了用于最优通路记录的极大安全通路矩阵(maximum safety path matr...

软件流水的开销模型和决策框架

作者：李文龙; 林海波; 汤志忠 刊期：2004年第07期

软件流水是一种重要的指令调度技术,它通过重叠地执行不同的循环体来提高指令级并行性(instruction level parallelism,简称ILP).模调度是一类被广泛采用的软件流水调度算法.软件流水并非一种无损的优化方法,它具有一定的开销,比如延长了编译时间、增加了寄存器压力等.而且,受到体系结构、调度算法以及程序特性的限制,进行软件流水并不一定能达...

多智体系统时态认知规范的模型检测算法

作者：吴立军; 苏开乐 刊期：2004年第07期

模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolic model verifier)模型检测器的基础上,根据知识的语义和集合理论,提出了多种检验知识和公共知识的算法,从而使SMV的检测功能由时...

离群模糊核聚类算法

作者：沈红斌; 王士同; 吴小俊 刊期：2004年第07期

一般说来,离群点是远离其他数据点的数据,但很可能包含着极其重要的信息.提出了一种新的离群模糊核聚类算法来发现样本集中的离群点.通过Mercer核把原来的数据空间映射到特征空间,并为特征空间的每个向量分配一个动态权值,在经典的FCM模糊聚类算法的基础上得到了一个特征空间内的全新的聚类目标函数,通过对目标函数的优化,最终得到了各个数据的...