Action演算中动作内部数据流分析方法及其实现

针对Action演算的分子形式, 提出分子语法结构树等概念, 并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现. 为深入研究Action演算的性质和应用提供了分析手段.     

集值反演算子的拓扑度计算

孙经先在1987年首次研究了单值反演算子拓扑度的计算问题,但其结果不能平行移植到集值反演算子上,本文价助单值反演算子已有的结果,将其扩广到集值反演算子上,并给出了某些应用.     

Combinator演算族的π演算语义

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

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

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

A-proper 算子的反演算子及其广义拓扑度计算

本文研究了A-proper算子的反演算子的A-proper性,并将孙经先(1989)给出的全连续反演算子的拓扑度计算公式推广到A-proper 反演算子,同时还给出了某些应用.     

面向移动协同的扩展式动态环境演算范型研究

针对已有移动协同研究中尚缺乏既能描述移动性、又能描述协作性的演算系统,提出了一种扩展式动态环境演算范型(EMA).在对动态环境演算中的基本概念"环境"进行深入解析的基础上给出其在协同计算情境下的新语义,之后抽取刻画协同行为的基础动作A,并将A作为刻画协作性的基本单位.进而将动作行为理论引入到动态环境演算中,即在动态环境演算的基础上将A作为参与环境演算的基本实体,从而借助已有动态环境演算对移动性的描述能力来刻画移动协同计算的移动性,同时借助A刻画了移动协同中的协作性.最后给出了基于EMA的移动协同行为实例描述.较之经典动态环境演算,EMA弥补了不能刻画移动协同中的协作性缺陷,为移动协同理论框架的完善提供了依据,为移动协同应用的构建提供了一种新的理论基础.     

时态信息管理中的时间元素演算

时态信息管理是信息化技术的重要发展方向,对时态信息中的时间元素进行研究,给出其有效的形式表达,并对其演算进行形式描述,这是时态信息管理走向应用的基础工作.文中在描述时间元素演算的同时,提出了BCDM中的同属性元组概念,并用图形描述了同属性元组间的演算问题。     

基于符号模型自动分析隐私保留的用户认证协议安全性

利用大数据特征,PPMUAS协议声称实现了移动用户的隐私保护和认证,但并没有给出严格证明.故本文首先应用Applied PI演算对PPMUAS协议进行形式化描述,然后分别使用非单射一致性和Query对认证性和秘密性进行建模,最后把PPMUAS协议的Applied PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析与证明.结果表明PPMUAS协议具有秘密性,但缺少认证性,并给出了解决方法.     

基于约束的智能主体及其在自动协商中的应用

把Agent技术、ECA(Event Condition Action)规则和约束满足问题相结合,提出了一种基于约束的BDI(Belief-Desire-Intension)结构Agent.首先给出了协商问题的形式化描述,而后形式化定义CBDI-Agent(Constraint based BDI-Agent)的结构.基于该结构,提出了一个自动协商协议.最后给出了一个应用实例.     

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

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

Landweber迭代的加速与在数值微分中的应用

Landweber迭代法对于求解大规模问题是十分有利的,但是,Landweber迭代序列收敛速度是相当慢的．给出了一种新的Landweber迭代格式,能够大大加快收敛速度．还将Landweber迭代法应用于数值微分问题,将数值微分问题转化为一个特殊的第一类Fredholm积分方程的求解问题．     

情态演算在行动推理中的应用

情态演算是专门设计来表示动态变化世界的一个二阶多类语言，它可作为描述动态系统的一个工具，在行动推理的应用中显示出其强大的表示能力和实现能力．在情态演算中，可以对行动进行公理化，可以描述行动的时间性、并发性及agent的信念和知识，可用Prolog实现在开放世界中带有感知行动的规划．讨论并介绍与这些应用有关的基本概念、思想，方法和最新的一些研究成果。     

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

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

基于流演算的语义Web服务组合研究

针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.     

公路桥梁车辆荷载效应的结构可靠性模型

利用荷载与荷载效应的关系，由设计基准期［０，Ｔ］内的车辆荷载（车重）随机过程最大值分布推导出荷载效应最大值分布．同时由实测数据给出计算实例，并用推导出的效应分布计算结果与直接由效应统计分析求得的效应分布计算出的结果及现行规范标准值进行了比较．     

鲁棒环境演算中的互模拟同余关系

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型，移动环境演算是一种广为使用的描述移动计算的形式化模型．针对这种演算的一种改进——鲁棒环境演算，提出了一个新的标号转移系统，并在此基础上引进了一种互模拟同余关系．同时，作为上述工作的应用，给出了一些重要进程等价性定律的简洁证明．     

梯形分布荷载下地基附加应力计算方法

文章采用布辛奈斯克(J.V.Boussinesq)解,通过积分法推导出梯形分布荷载下地基附加应力计算公式,利用该公式可以通过改变初始条件,导出矩形及三角形等荷载形式下地基附加应力计算公式,解决了土力学教材中计算公式过于分散和复杂的特点,其推导结果具有一定的实用价值,适应程序化计算。     

吸引子在迭代系统中的作用

本文主要讨论吸引子在函数迭代系统（ＩＦＳ）构成分形图中所起的作用．讨论了吸引子与ＩＦＳ中伴随概率的关系,伴随概率可以调节各吸引子所起作用的强弱;着重讨论了吸引子在分形图平移变换和比例变换中的作用,提出了分形图平移变换和比例变换的准则以及相应的计算步骤;并用实例演示了平移变换和比例变换的方法及其正确性     

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

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

冲激(偶)函数类性质的教学策略探讨

冲激(偶)函数类性质历来是<信号与系统>教学中的难点,也是学生不易理解的内容,为此,教学策略采用"三步走"的方法:首先与普通函数定义方法相比较引出广义函数定义和"两广义函数相等"的概念,继而用高等数学的微积分知识证明冲激(偶)函数类的"抽样"性质,最后以前两者为基础证明冲激偶函数的"筛选"性质.