Seal演算与Boxed Ambient演算的关系分析

研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义.本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价.最后给出了Seal演算通信进程到Boxed Ambient演算通信进程的一种结构化转换方法.     

Combinator演算族的π演算语义

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义; 通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力： π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下 研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.     

基于贝叶斯方法的事件推理

为了处理逻辑推理中，事件信息不确定不完整的情况，本文在传统事件演算的框架下，引入了贝叶斯概率的算法思想，给出了基于贝叶斯方法的事件推理的方法，实现了对传统方法的有效扩展。该方法能在网络诊断、交通事故推断等重要领域得到很好的应用。     

一个以agent为中介的电子市场的形式化框架

采用π演算对电子市场框架及成员进行定义, 动态地描述了市场中agent的行为, 从动态的观点来讨论以a gent为中介的电子市场. 提出了一个以软件agent为中介的电子市场的形式化描述框架. 在基于该框架的电子市场中, 交易由agent来实现, 参与交易的agent可动态的加入、离开市场, 根据市场的实际情况进行联合, 从而有效地达成交易.     

异构服务聚合的协同访问控制算法研究

由于服务聚合要实现异构多态交互过程,必然对安全访问控制模型的性能提出较高的要求.为满足服务聚合的访问控制需求,本文提出了一种异构服务聚合协同访问控制算法ACAHSP.首先,本文剖析了服务聚合中访问的动态情景要素构成,从多维度定义了构成情景的不同要素;然后,提出了基于动态情景状态的状态演算和规则演算的机制,并给出了动态情景机约束下在服务聚合模型ACAHSP;其次,基于CP ABE算法提出了ACAHSP访问控制模型的安全验证算法,强有力的保证了ACAHSP模型在服务聚合中访问控制机制状态机转换、数据交互的安全性;最后,结合案例进行应用验证,并与已有模型进行对比.     

Email系统特征交互问题的π-演算检测

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.     

灯光环境显示系统中多维度信息传递的研究

灯光是一种常见的环境显示（Ambient Display）媒介,它能在提供新颖与美的体验的同时,传递一定的环境信息.但是,由于灯光的抽象特性,灯光环境显示在传递多维度信息,提高信息容量,并通过灯光有效表达具体的细节信息方面,还有待探索.本文基于距离交互理论,探索灯光环境显示的一种交互设计框架,在理解用户行为和意愿的基础上,研究如何基于此框架向人们传递多维度的和具体的细节信息.研究结果表明,通过保持不可见性与有效性之间的平衡,基于具有叠加机制的交互框架,以合理的变化为载体,灯光环境显示将能够有效地提高信息传递的容量.      

有界Petri网的进程演算表达

为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致性.同时,证明了该方法在网的标号互模拟上满足完全抽象性.     

加权框架的基本性质及其与框架乘子的关系

研究了加权框架的基本性质及其与框架乘子的关系.首先给出了加权框架的定义,在此基础上证明了加权框架的一些基本性质:两个加权框架的并仍是加权框架;半正规序列与加权框架的乘积仍是加权框架,并用实例进行了说明.同时给出了加权框架与框架乘子的联系,目的在于将加权框架和算子联系起来,为进一步研究奠定理论基础.     

一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

ESeal Calculus: A secure mobile calculus

0　IntroductionAdvancesincomputercommunicationsandcomputerhard warearechangingthelandscapeofcomputation .Mobilecomputationisnowpervasive .Theπ calculus[1 ] isatypicalcalcu lusofmobilecomputation .Manyworksextenditinmanyas pects.Forexample ,Ref.[2 ,3]extendthebasictypesystemsforπ calculusasgivingmoreinformativetypestoprocesses.YoshidaandHennessyproposeinRef.[4 ]atypesystemforahigher orderπ calculusthatcanbeusedtocontroltheeffectsofmigratingcodeonlocalenvironments.Thesealcalculus[5] canber…     

多移动机器人可重构物流系统建模方法

提出了可重构物流系统的一种新的定义,并在充分考虑移动机器人个体和群体的重构能力的前提下,提出了一种基于图论和谓词逻辑的多机器人可重构物流系统的建模方法。其中,移动机器人本体的结构调整被视为设备级重构,而移动机器人群体的组织以及之间协调策略的调整被视为系统级重构。针对各种工件运输任务,该建模方法有助于选择合适的移动机器人功能模块、或合适的移动机器人个体及相应的合作协调策略,从而实现可重构物流系统构型的迅速调整。     

小波变换与分形微积分

从Fourier分析发展而来的小波变换和分形微积分是处理分形结构的强有力的独特的数学工具．从函数的可微性，即从局部奇异性角度来探讨分形微积分与小波变换及它们在分形理论中的应用，获得四个定理．     

极坐标系下二重积分计算方法浅析

讨论高职数学教学中二重积分计算方法,有利于高职学生解决学习中的难点,学好高等数学这门学科。二重积分的计算,是在熟悉定积分计算的基础上,将二重积分化为两次定积分来计算。对二重积分化为两次定积分,重点应放在配置积分限,然后是计算定积分的问题。     

1 1维N=1超Poincaré张量运算

超引力张量运算目的是构造代数离壳封闭的各种超引力模型.文中建立了1 1维 N=1超Poincare张量运算并详细地导出了多重态的定域超对称变换性质及不变作用量密度公式.     

随机路点运动模型合群特性研究

以随机点过程和Palm积分为数学模型基础,对移动通信系统仿真模型中常用的随机路点(RWP)运动模型的合群特性进行了分析.指出大量服从RWP模型的节点共同运动时,会表现出一种天然的倾向于区域中心的合群特性,而非均匀分布.通过定义合群密度,给出了RWP模型在一般凸区域内的合群密度的计算方法及一维线段和正方形区域上的合群密度显式.通过两个实例仿真验证了分析结论.     

用Spi演算描述密码学安全协议

Ｓｐｉ演算通过在Ｐｉ演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述,通过测试等价Ｓｐｉ演算简化了所描述的安全协议的验证,它为密码学安全协议系统的描述和验证提供了坚实而有效的支持。     

关于积分中值定理的一些见解

本文给出了第一积分中值定理以及第二中值定理,并从较强的条件和较繁的证明给出了第一积分中值定理的推广以及从中值点所存在的范围推广积分第二中值定理,并在较强条件下给出了一个简单的证明,得到推广后的第一、第二积分中值定理的结果是原来的[a,b]改为(a,b),其余结果不变。最后同样给出了积分中值定理的一个相关问题,然后给出了较为复杂的证明过程。     

基于分数阶微积分的模糊分数阶控制器研究

在分析分数阶微积分的基础上,提出了一种新型模糊分数阶比例积分微分控制器.分数阶微积分将传统控制器中的积分和微分的阶数扩展到任意实数,为控制器的设计提供了比传统整数阶更好的性能扩展.结合分数阶比例积分微分控制器和模糊控制逻辑,用分数阶比例积分微分单元代替传统的模糊比例积分微分控制器中的比例积分微分单元,构建了模糊分数阶比例积分微分控制器的结构,采用模糊逻辑推理和Tus-tin离散方法实现了模糊分数阶比例积分微分控制器的计算.最后,用数字仿真方法和不同条件下的对比分析验证了新型模糊分数阶比例积分微分控制器的优良控制特性.研究结果表明,设计的新型模糊分数阶比例积分微分控制器对非线性和参数不确定性具有较强的鲁棒性.