ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则。讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

进程的归约

给出了进程归约语义的一般方法，并用例子说明归约语义和转换语义的对应关系。     

模归约算法的数学基础研究

 多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用.提出了模归约算法中的2类基本算子:字归约算子、半字归约算子,并进一步证明了2类算子的计算量具有某种形式的不变量(如果满足一定的条件),从而证明了模归约算法计算量的线性性质,为其算法设计和分析提供了理论基础.还通过实例给出了2个算子在ECC和AES密码算法中的一些应用.     

一新型移动进程模型—x—演算

提出一新型并发计算模型－ｘ－演算，它与π－演算的不同之处在于；具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作作界定，允许更大的并发度。着重研究Ｘ－进程的代数性质。     

基于Pi-演算的集成P2P模式的网格形式化建模

为了改进传统网格的可扩展性和动态性,提出了一种集成P2P模式的网格资源管理模型,该模型融合了网格计算和对等计算的优点.基于该模型,文中分析了一种集成P2P模式的网格体系结构,并利用Pi-演算可用于对并发和动态变化的系统进行建模的特性,对该体系结构进行描述和建模,分析了有关性能,验证了模型的有效性.结果表明,基于Pi-演算的集成P2P模式的网格形式化系统能够有效地满足网格节点的服务需求.     

Ambient演算的框架设计

给出Ambient演算的一种内部表示, 称为Ambient框架, 并给出了Ambient框架的构造方法和具体转换函数, 以及基于Ambient框架的执行操作语义. 该框架为异步、 分布和移动代码提供了语言支持.     

Combinator演算族的π演算语义

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

关于Petri网归约问题

Petri 同归约问题是当今 petri 网研究领域的一个重要课题,本文从 Petri 网静态结构的角度出发,给出了三个层次的 Petri 网归约方法,并用代数的方法严格地证明了这些归约方法保持网的两大重要性质:活性和有界性。它们为 Petri 网的归约和分析的复杂性之间提供了一个灵活折衷的手段,能够对一个庞大、复杂的 Petri网进行不同程度的归约,以适应不同的需要。文中所给出的归约算法是基于网的关联矩阵的,具有高效,便于实现的特点。此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。最后还给出了哲学家用餐问题的 Petri 网新模型并对之进行归约。     

洪泽湖调洪演算计算方法探讨

洪泽湖是淮河中游最大的平原水库,它承担着淮河上中游下泄的洪水,如何科学地对入库洪水进行调度,关系到淮河下游地区的安全,同时还对下游泄洪工程规模的确定起决定性的作用,本文针对洪泽湖的调洪演算方法进行了探讨。     

分子生物计算在逻辑演算中的应用

DNA计算是一种基于生化反应机理的新型信息处理模式,与基于图灵机思想的电子计算机原理截然不同。近年来,DNA分子生物计算理论、实验技术的快速发展为DNA计算机的实现技术提供了一种新的理论和手段。文章首次尝试了DNA计算在逻辑演算中的应用,拓宽了DNA计算的应用领域。模型的最大优点是反应物可以在溶液中充分混合接触而进行生化反应,充分体现了DNA计算巨大并行性的优点,另外编码数和操作数都是线性增加的。     

几个重要分布在微积分学中的创造性应用

通过适当地构造概率模型,应用概率论中几种重要分布的理论和方法创造性地解决微积分学中的相关问题,从而显示出概率方法应用的广泛性和优越性.     

基于分数阶微积分的岩石硬性结构面蠕变本构模型

结构面普遍存在于工程岩体中,影响工程安全。对含结构面岩体的蠕变特性及本构模型的研究对揭示岩质边坡蠕变机制及边坡失稳预测具有较大的意义。利用水泥砂浆制作非贯通硬性结构面试样,进行剪切蠕变试验,并对蠕变特性进行分析。将整数阶黏壶元件改进为分数阶微积分软体元件,并替换Kelvin模型中整数阶黏壶元件,同时引入能够模拟结构面加速蠕变过程的非线性黏性元件并将其非定常化,采用元件组合方式,构建基于分数阶微积分的岩石硬性结构面蠕变本构模型。以非贯通硬性结构面和贯通型硬性结构面试样剪切蠕变试验数据为基础,分别对本构模型进行验证并对待定参数进行辨识。结果证明,试验值和预测值之间相关性程度R~2均较高,非贯通硬性结构面和贯通型硬性结构面相关性R~2分别达0.94和0.97,表明该模型能较好地模拟非贯通硬性结构面和贯通型硬性结构面岩体蠕变特性,对揭示岩质边坡蠕变机制和时效演化有重要意义。     

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

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

浅论微积分中的辩证思想

微积分中蕴含着丰富的辩证思想,文章遵照唯物辩证法的认识论,坚持理论与实际统一的原则,通过对微分与积分、有限与无限、离散与连续、直线与曲线、特殊与一般等具体实例的分析,论证了微积分中蕴含的辩证思想.     

关于微积分学中的形而上学方法

通过对弧长的"微分勾股定理"、阿基米德的曲边三角形解法以及微积分学大量的概念和理论分析,说明了没有形而上学的方法,就不会有定积分以及三维欧氏空间的线、面、体积分等概念的形成.没有形而上学的方法,就不会有微积分学的诞生.形而上学的方法推动了微积分学的发展.     

MAPLE在微积分教学中的应用

极限是微积分的重点和难点。本文简述了数学软件MAPLE在极限教学中的应用。     

数学分析教学中开设"微格讲坛"的探讨

提出了将职业素质教育融入数学分析教学中的一种模式,给出了实验结果与分析.     

基于掌形积分的路由协议仿真与性能分析

现有基于RWM移动模型的自组织网络路由协议仿真经常会引起一些问题,如平均运动速率衰减、移动节点分布不均匀等,使得路由协议的仿真不准确.针对这些问题,本文应用掌形积分对RWM移动模型的初始化重新进行了设计,该设计方法简单、易于实现.在此基础上,作者仿真了自组织网络常用的路由协议并进行性能分析.仿真结果表明,在RWM移动模型和修改后RWM移动模型下的路由协议性能存在差别.RWM移动模型的平稳性会对路由协议性能产生显著的影响.     

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…