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

有限精度时间自动机的可达性检测

作者：晏荣杰; 李广元; 徐雨波; 刘春明; 唐稚松 刊期：2006年第01期

为了缓解状态空间爆炸问题，减小模型检测过程中生成的状态空间，加快模型检测速度，引入有限精度时间自动机（finite precision timed automata，简称FPTA）作为实时系统的形式模型，并提出了一种数据结构SDS（series of delay sequence）符号化表示状态空间中的状态集．FPTA只记录时钟变量的整数值及时钟变化的先后次序，从而减小生成的状态空...

Petri网精细化操作及其在系统设计中的应用

作者：夏传良; 焦莉; 陆维明 刊期：2006年第01期

针对柔性制造系统的设计问题，提出了用Petri网精细化操作解决问题的方案．给出了两种精细化操作．研究了Petri网精细化操作的动态性质保持问题，给出了精细化操作保持活性、有界性、可回复性的充分必要条件：对一个柔性制造系统进行了设计和验证．其结果可为Petri网系统静态和动态性质的考察提供有效途径，为Petri网复杂大系统的分析提供重要手...

基于描述逻辑的模糊ER模型

作者：蒋运承; 汤庸; 王驹 刊期：2006年第01期

分析了描述逻辑ALNUI与ER模型的关系，特别是如何将ER模型转化为ALNUI的知识库，从而利用ALNUI的推理机制对ER模型进行自动推理的有效性，在此基础上，进一步研究了基于描述逻辑的模糊ER模型．针对模糊ER模型的特点和需求，在描述逻辑ALNUI的基础上，对描述逻辑ALNUI进行了模糊化推广。提出了一种新的描述逻辑，即模糊描述逻辑FALNUI．研究了基...

一种任务类型敏感的J2EE事务调度算法

作者：丁晓宁; 张昕; 金蓓弘; 黄涛 刊期：2006年第01期

J2EE（Java 2 platform enterprise edition）是构建分布式企业应用的基础中间件平台，当前的J2EE事务对资源的访问调度仍然是简单的先来先服务策略，导致服务器负载很重时，次要任务和关键任务争夺有限的资源，降低了关键任务的性能与成功率．为此，有必要识别任务类型,在资源不足时优先保证关键任务事务的执行．但提交给J2EE的事务基于交互方...

基于特征的构件模型及其规范化设计过程

作者：王忠杰; 徐晓飞; 战德臣 刊期：2006年第01期

基于构件的软件复用是解决软件危机的重要手段，但目前还缺乏规范化的模式和方法以支持具有高复用性能的构件的识别与设计，借助特征空间作为工具以解决上述问题,首先介绍特征与特征空间的概念，从特征变化的相互依存关系入手，提出特征依赖的概念和4种具体的特征依赖．在此基础上，给出了基于特征空间的构件模型，使用特征的“型-值”机制与特...

基于场景构件式实时软件设计的一致性检验

作者：胡军; 于笑丰; 张岩; 李宣东; 郑国梁 刊期：2006年第01期

在复杂的实时软件系统中使用构件式设计方法，已成为目前软件工程中的研究热点．如何有效地验证实时软件的设计是否满足给定的时间规约，是实时计算领域中的主要挑战之一．通过在接口自动机模型中添加时间区间标记，来扩展其对实时系统接口行为的表达能力；使用实时接口自动机网络柬描述实时软件系统的构件式设计模型；使用带布尔不等式时间约束...

基于有向超图的资源约束下企业过程结构优化

作者：孙雪冬; 徐晓飞; 王刚 刊期：2006年第01期

为了提高企业过程结构优化的实用性、合理性以及计算机支持性，提出了基于有向超图和资源约束的优化方法．根据优化需求，通过对考虑了支持资源的过程进行不同的有向超图建模，利用有向超图的性质以及超图上所附加的过程语义，把过程结构优化转化为有向超图的切割和活动合并问题，并给出具体求解过程．求得的过程为一个结构和支持资源都优化的过...

第2届中国可信计算与信息安全学术会议CTCIS2006征文通知

刊期：2006年第01期

一种笔式用户界面软件领域模型及其应用

作者：秦严严; 田丰; 王晓春; 戴国忠 刊期：2006年第01期

笔式用户界面软件以其自然、高效的交互方式，在很多领域中有着广泛的应用．笔式用户界面软件具有以交互为中心、用户个性化需求高的特点，由此也决定了用户在软件设计中的主导地位．以用户为中心的设计的关键问题在于，如何使用户的思想如实地反映到设计中．通过建立笔式用户界面软件特征模型PUIDM（thedomain model for pen—based user inter...

《软件学报》网格计算专刊征文通知

刊期：2006年第01期

基于快速组播切换的分层移动组播体系结构

作者：吴茜; 吴建平; 徐明伟; 崔勇 刊期：2006年第01期

移动通信在人们的日常生活中发挥着越来越重要的作用，受到了越来越多的重视．人们希望能够在移动的时候获得与静态联网者相同的网络服务，这里最主要的就是要解决移动切换和无线网络带宽受限的问题．由于组播技术不仅能够提供很多新型的网络应用，而且能够高效地实现多点传送，并有效节省网络带宽，因此移动和组播的相互融合对两者的应用和发展...

Peer-to-Peer环境下多粒度Trust模型构造

作者：张骞; 张霞; 文学志; 刘积仁; Ting; Shan 刊期：2006年第01期

信任是多方面的，在不同的应用场景中，同一节点在不同领域具有不同的可信度．现有信任模型粒度过于粗糙，不能很好地解决同一Peer节点在不同领域、不同方面的可信度计算问题．据此，提出一种新的Peer-to-Peer环境下的多粒度信任模型，并给出该模型的数值分析和分布式实现方法．分析及仿真结果表明，该模型与已有模型相比，在可信度计算的粒度、...

端到端的可用带宽测量方法

作者：刘敏; 李忠诚; 过晓冰; 邓辉 刊期：2006年第01期

目前绝大多数带宽测量方法都是基于网络瓶颈分隔原理的，在此基础上形成了基于包对／包队列的各种容量／可用带宽探测方法．但是，这类方法的测量结果不能超过源节点的最大发送速率，因此无法在高带宽环境中使用．另外，目前的可用带宽测量理论均没有考虑背景流的不同路由对测量方法所产生的影响．全面分析了背景流的路由时可用带宽测量的影响．...

延迟约束的分布式演化网络监测模型

作者：蔡志平; 殷建平; 刘芳; 刘湘辉 刊期：2006年第01期

在扩展网络或网络拓扑发生变化时，需要用最小的代价重新布置网络监测体系，以保证能收集到所有必需的网络信息．更新网络监测体系包括新增和重新配置收集节点两方面的代价。求解总代价最小的更新方案的问题是NP难的．提出了一种基于贪婪策略的近似算法，并分析了算法的时间复杂性和近似比．

自动信任协商研究

作者：李建欣; 怀进鹏; 李先贤 刊期：2006年第01期

在Internet日益孕育新技术和新应用的同时，交互主体间的生疏性以及共享资源的敏感性成为跨安全域信任建立的屏障．自动信任协商是通过协作主体间信任证、访问控制策略的交互披露，逐渐为各方建立信任关系的过程．系统介绍了这一崭新研究领域的理论研究和应用进展情况，并对信任协商中的协商模型、协商体系结构、访问控制策略规范、信任证描述及...