一种关系数据库查询优化的方法

本文提出一种将关系数据库的SQL查询转换为关系代数的一种方法，该方法使这类查询的SQL语句得到优化。     

磁浸没透镜的宽束曲轴像差分析的微分代数方法研究

微分代数是计算机数值分析领域中的一个非常有效的方法,可以实现任意高阶微分的准确计算.本文根据微分代数方法的基本原理,将其引入到磁浸没透镜的宽束曲轴像差的分析计算中,得到了任意阶曲轴像差的微分代数表达式.文中针对轴上磁场具有某种解析表达式的一个实际的磁浸没透镜系统,利用微分代数的曲轴像差分析方法,计算了它的曲轴像差,并给出了全部二阶和三阶几何像差的分布图形.     

二维谐振子与二维氢原子的能量及波函数

借助于ＳＵ(１,１)代数,找出了二维谐振子与二维氢原子的能量及波函数间的关系．     

BCI-代数上θ类映射和τ映射的性质

进一步讨论了文[1]中提出的两类自映射：类映射及类映射的性质，并利用两类自映射给出了某些BCI-代数的新刻画．     

受控离散事件过程（CDEP）的一种代数分析方法

本文在文［１～３］的基础上，提出了受控离散事件过程（ＣＤＥＰ）的一种代数分析方法，弥补了Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ［１～３］的理论对具体系统的应用缺乏可操作性的缺陷，使得对ＣＤＥＰ动态过程的分析变得更为直观，同时也使控制器的设计过程更具可操作性．     

GIS多源信息统计分析代数法在铀成矿预测评价中的应用——以四川省降扎地区为例

利用GIS多源信息统计分析代数法开展了降扎地区铀矿资源预测评价,确定了2个Ⅰ级、1个Ⅱ级和1个Ⅲ级铀成矿远景区。研究表明,该方法可行,结果可信,可以应用到整个若尔盖铀矿田铀资源的预测评价。     

周期性可定实时并行进程的进化代数分析

对应用进化代数（EA），即目前的抽象状态机（Abstract State Machine—ASM），描述可定时实时并行进程进行了研究，进化代数采用第一顺序逻辑（FirSt—Order Logic）定义或解释计算机问题．描述不同的抽象等级并且逻辑地描述计算机算法．因此非常适合描述并行进程复杂的运行过程．并逻辑地精确推导进程调度。     

Turbo码概率-代数联合解码算法

Turbo码采用修正的BAHL et al.算法实现解码.这是一种基于软值的概率迭代解码算法.本文在保持Turbo码迭代软解码算法优点的基础上,充分利用Turbo码编码器结构这一确知条件,结合代数解码原理,提出了一种Turbo码概率-代数联合解码算法.该算法结合了概率解码和代数解码的优点,又有效避免了误差传播的发生,使Turbo码的纠错性能在原经典算法的基础上得到进一步的提高.该算法不仅为降低Turbo码的比特误码率和误差地板值提供了一种新的研究途径,而且因其更好的纠错性能而具有十分明显的实用价值.仿真实验结果显示,在比特误码率(BER)为10^-3~10^-4时,与经典Turbo码解码算法相比,采用该算法能获得0.1dB左右的编码增益.     

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.