论文部分内容阅读
提出了一种利用弧函数上的绑定变量来实现的子流调用机制,并且以参数映射的方式达到了流程独立性基础上的调用。
基于着色Petri网的工作流系统子流调用机制的研究与实现
【摘 要】
：
提出了一种利用弧函数上的绑定变量来实现的子流调用机制,并且以参数映射的方式达到了流程独立性基础上的调用。
【机 构】
：
清华大学软件学院
【出 处】
：
计算机应用研究
【发表日期】
：
2006年06期
【基金项目】
：
国家自然科学基金资助项目（60373011）,国家“973”计划资助项目（2002CB312006）
其他文献
如何提高软件质量始终是软件工程领域研究的重要方向,基于度量的量化管理是目前最有效的质量保证手段之一,过程度量是软件开发过程中实施软件质量保证(SQA)的一个重要课题。研究了软件过程度量的概念和范围,讨论了几种常用的度量和度量指标。最后提出了一种软件过程度量模型及其度量元。
提出一种适用于大规模、高查询率而单次查询需要传输的数据量很小、位置信息无关的无线传感器网络查询方法——CBQM。该方法以小世界理论为依据,在CARD和TRANSFER协议的基础上,引入了方向边节点,改进了contact的选择方法,降低了协议的能耗,提高了网络生命周期。通过仿真得出,在保证查询成功率的前提下,CBQM的查询最优能耗与CARD相比降低了约38%,比TRANSFER降低了40%以上。
考虑到选播的QoS路由问题,提出了一种基于模拟退火遗传算法的时延控制选播路由算法。该算法利用模拟退火的思想弥补了遗传算法局部收敛较弱和较慢的缺陷,并根据给定的条件找到一条较好的路径。网络仿真模拟实验结果表明,该算法具有良好的收敛性和求解效果,可以找到满足时延要求的低费用的路由路径。
提出一种自适应协同进化算法,对其进行了数学描述。设计了一个支持该算法的创新设计系统,为分布式环境下设计人员的协作和创新思路的开拓提供了支撑平台。算法中自适应学习的引入为在设计中自动而有效地使用先验智能提供了可行性。最后以一个建筑实例的设计为例对所述的方法和系统加以描述。
在大型信息系统的设计中,访问控制一直是一项复杂的工作。基于角色的访问控制(RBAC)被推荐来代替传统的访问控制模型。应用到信息系统中时,需要解决RBAC的控制粒度问题。我们需要一个能够基于上下文进行细粒度访问控制的RBAC模型,即基于对象实例上下文上的访问控制。对现有的解决方案进行综述和比较,提出了使用会话期上下文检查的RBAC模型:RBAC-CCS。RBAC-CCS中用了参数化权限,在权限检查时
提出一种基于结构光的三维信息获取方法,利用投影仪向物体投射黑色条纹,移动的条纹扫描整个物体,根据条纹在物体上的变形来估计物体的三维形状,实现了三维信息的获取。该方法仅使用投影仪和数码相机等简单设备,实现简单快速,精度相对比较高,适用范围广,可扩展性强。
以国家“863”计划子课题“国家草业信息化平台”系统应用为背景,结合微软最新开发平台.NET和ES-R I公司的MapObjects,研究并实现了一个新的W ebG IS。通过分离地图图素数据和属性数据达到提高访问效率和属性数据安全目的,实现了简易的数据维护界面,并且可以结合现有的流媒体服务实现图素和多媒体资料间的关联。
针对分布式集群环境,提出了实现高可用设计的新的设计原则,着重关注相继失效问题和冗余问题。对核心的数据分布算法进行了设计和论证,并在此基础上设计了以数据副本和校验计算相结合的并行分布存储模型,在满足并行性要求的前提下,以适度的时空开销实现了多级容错能力的高可用存储。
瞬态电流测试可以检测一些用电压测试和稳态电流测试不能检测的故障。对每一个故障都进行一次测试生成所花费的时间太多,而且没有必要。针对用瞬态电流测试来检测晶体管开路故障(Stuck-open Fault),研究精简故障数目,提高测试生成效率的方法。通过从靠近电路原始输出端向原始输入端逐渐进行测试生成以及其他一些办法,可以明显提高测试生成的时间效率。模拟实验结果表明,测试生成算法执行时间大约减少了70%
在多种群并行遗传算法(Multi-population Parallel Genetic A lgorithm)的基础上,将复合形法引入遗传算法来反映决策者对各目标函数的偏好信息,提出了一种新的结合复合形法的混合多目标遗传算法。算法将群体划分为相等规模的子群体,每个子群体对应于相应的子目标函数,各子群体具有独自的适应度评价函数,杂交和变异跨子群体边界执行。将复合形法引入遗传算法,通过次重要目标函数