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

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

新辩证论：多元文化语境中的比较文学研究范式

东西方文化的共同本质不在于同一性而在于其差异性，但这种差异不是绝对的，即差异是同一的具体形态而同一是差异的理想形态。这就是比较文学研究的理论基础——新辩证论。多元文化时代的比较文学研究必须首先承认差异与同一的辨证关系，然后才能通过这种关系进行文化对话。而对话不是万能的，必要的文化逾越是不可避免的。正象差异与同一是一体的，文化对话与文化逾越也处于一个统一体之中。     

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

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

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

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

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

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

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

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

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

对应用进化代数（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.