基于网络演算的有损分形整形器及其性能模型

为改善Internet流量自相似等突发特征给网络性能带来的影响,提出了一种适合自相似突发流量的有损分形整形器的数学模型,分析了有损分形整形器的队列长度与延迟等性能,讨论了有损分形整形器的引入对端到端延迟、数据丢失总数以及平均包丢失率等的影响,得到了各性能指标上界与流量自相似参数的关系,给出了允许最大平均包丢失率下的最小缓存容量.这对基于分形整形器的拥塞和流量控制策略的评价、分形整形器自身参数的设计具有参考作用.     

基于证明分析的机器发现系统的实现与应用

为了实现基于文献（１）的机器发现系统，本文介绍了基于证明分析的机器发现系统的实现技术，并且给出了该系统做出的一些数学再发现例子，从而得一实用的机器发现系统。     

命题逻辑等值演算的计算机求解方法

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。     

科研的有力工具——Mathematica

介绍了Mathematica的特点、功能和使用方法.     

精化调和Ritz向量张成子空间上的调和Ritz值

研究了精化调和Rayleigh—Ritz过程中的近似特征值选取的问题．一般地。精化调和Ritz对在求解子空间中具有残量最小的最优性。因此在它们张成的子空间中应含有想求的特征向量的更丰富的信息，从而在此子空间上计算的调和Ritz值应该更准确．本正是从这一指导思想出发，研究如何求矩阵A在精化调和Ritz向量所张成的子空间上的调和Rit值θi．对Krylov子空间，建立了θi和调和Ritz值间的一个先验估计式，同时给出了用θi作为近似特征值的精化调和Arnoldi算法。最后的数值结果表明新的算法的有效性．     

π-演算观察等价的推理系统

提出带递归π－演算观察等价的推理系统,并证明了在受卫递归有穷控制子集上的完备性。该系统由推理规则和等式公理两部分组成,其断言采用条件等式的形式,直接刻画了进程项之间的符号互模拟关系。     

π-演算的符号迁移图及其早互模拟验证算法

提出符号迁移图作为π－演算进程直观而高效的表示模型,并给出了符号迁移图我种版本的早操作语义,在此基础上定义了相应版本的早互模拟和观察同余。同时引入了符号观察图和符号同余图以及τ－循环和τ－边消去定理。最后给出了关于强／弱早互模拟等价和早观察同余的符号验证算法,并证明了其正确性。     

R-演算:一个修正程序规约的演算系统

在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

浅析离散数学在计算机科学中的应用

离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性.