摘要：偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-范畴、对称偏幺半范畴之间的关系,对偶图的代数系统进行总结,简化了偶图的离散范式的表述形式,并给予证明.综述了偶图的发展及其应用概况.对偶图范畴的定义、商变换等基本理论中存在的一些问题提出讨论,指出偶图范畴应该属于小范畴而不是大范畴,并给出商变换得出的大范畴转换为小范畴的方法.最后简述了偶图模型的扩展、应用的拓广.

摘要：偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.

摘要：范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。以范畴论为数学基础的偶图,为普适信息系统提供一个设计、模拟和分析的平台。然而偶图的范畴理论缺少规范的描述,一些概念术语的定义甚至有错误的地方。改进了偶图基本签名的定义,校正了位置图并置运算的定义,揭示了预范畴、范畴、s-范畴、对称偏幺半范畴之间的联系,给出了构造偶图范畴的算法,以便进一步研究偶图理论及其应用。

摘要：偶图理论及其算法在VLSI设计和其它工程中均有重要的应用。本文从邻接矩阵的理论出发,提出一种有效的算法,将集合的划分,简化为该矩阵的行列交换运算,取得了较好的结果。

摘要：为了指导配电网模式化接线设计,提出了一系列优化规划方法。指出对于"手拉手"环状网,在2条馈线的最下游子分区间的最短路建设联络线的方案最优。以联络线的建设费用最小为目标函数,将各供电分区作为偶图的2列,采用最小权匹配算法得到"手拉手"环状网的最优配对结果。在此基础上,采用遗传算法和最小权匹配算法相结合的方法,通过交叉和变异操作改变偶图2列的节点,实现了多分段、多联络接线模式优化规划。对一个10条线路的实例进行了规划,结果表明所提出的方法是可行的,并且具有较高的效率。

摘要：在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠和过约束发生的具体位置.这给设计者在设计过程中提供了很大的方便.

摘要：在移动边缘计算中,移动终端身份存在复杂性和动态性,对于高安全领域的任务卸载,需要对被卸载的任务进行实时跟踪,及时发现滥用行为才能保证任务卸载的安全性。然而,现有方法多基于信任评估机制选择高信任度节点进行卸载,并没有关注该节点自身发起的内部攻击问题。提出一种支持安全性分析的任务卸载方法。设计包含安全性分析的任务卸载流程,构建面向移动边缘计算的多级安全信息流模型,用于约束服务卸载、数据卸载和服务执行过程。在此基础上,基于偶图对任务卸载过程进行建模,构造标注迁移边的标号变迁系统,并利用模型检测技术验证是否满足相应的安全需求。案例分析和性能评估结果表明,该方法能够在秒级时间内预测任务卸载中的恶意行为,具有较好的可行性和有效性。

摘要：求给定偶图的所有完备匹配问题在LSI/VLSI的布图设计方面有着重要的应用。本文提出了一种求解这一问题的算法。(1)提出了许配树的概念并讨论了其性质;(2)证明了任意一棵许配树T(xi)对应于给定偶图的所有完备匹配的定理;(3)给出了求给定偶图的所有完备匹配的算法。本算法已在BST 386 CAD工作站上用C语言实现。运行结果证明了算法的正确性。算法已作为正在研充的VLSI积木块布图设计系统中的一个模块。

摘要：新片上映!《尤达与遗失的光剑》导演:阿亮配音:阿仓、大奇、丁小小、悠悠主演:尤达、机器人R2、机械战士麦克斯、手电武士、光头路人甲影片类型:皮影/科幻/搞笑影片简介:中国传统艺术形式、全手工打造的造型和布景设计、复古的光影成像特效与经典的科幻形象相结合,一定会带给你特别的体验与惊喜!本片由德高望重的绝地大师尤达领衔主演。

摘要：给出了在满足一定分派限制条件下 ,设计一份课时尽可能少的完善的课表的数学模型及其可在微机上实现的优化算法 .