摘要：本文全面地分析了演绎数据库的实现机制,提出了一种基于关系代数及重写操作的演绎数据库模型,设计并实现了基于该模型的一种新的演绎机制—逻辑与数据库操作相结合的机制。

摘要：对诸如航天器、发电厂、汽车、土木结构等实体工程系统进行优化设计就是在满足工程性能指标,设计可用资源等条件限制下按一定评价标准寻求最优设计方案的过程。值得指出的是:目前的工程优化设计理论几乎都是针对具体单元、孤立结构的;系统工程的优化理论又几乎全是针对已建成系统的运行,控制和管理的。对于如何利用计算机等现代数值分析计算手段自动高效地设计一个工程系统,使其得到总体上的全局性的协调一致的优化,据我们所知,成熟的理论为数甚少,尚处于探索阶段。

摘要：本文介绍近年来货币政策规则研究的进展状况,主要从模型框架、货币政策规则的选择和设计、货币政策规则的一致性、最优性、前瞻性、稳健性及操作性等方面对货币政策规则的理论研究、实证检验及实际应用进行综述。

摘要：　　1.引言　　传统的设计方法是由已明确定义的问题陈述获取解的连续过程.但在实际工作中,寻求解的过程是个不断深化的过程,而解的不断深化中问题分析得以细化,即解变化问题亦变化.因此,寻求解的过程并非只是一次性的活动,在设计中会针对不同层次的问题产生各种版本的解,每一个解都是前一个的修改.这就是说,解和问题之间实际上存在着一种相互协同寻优的过程.将问题与解的互演化与遗传算法结合起来,就形成了所谓的协同演化方法.……

摘要：当前国内银行业面临的风险形势日益严峻。因此，适应外部环境的变化，设计一个健全、有效的全面风险管理组织结构，对商业银行有效管理面临的各类风险，持续地提升风险管理能力和核心竞争力具有重要意义。商业银行全面风险管理组织结构是商业银行组织结构中对银行的全面风险进行管理的一个特定系统，它涉及到银行中几乎所有的部门、机构和人员。设计商业银行全面风险管理组织结构要考察相关组织变量和参考巴塞尔委员会有关规定从而应遵循八大原则。在今天复杂的金融环境中，银行组织宜采用混合型结构将各种组织结构的特点结合起来，以取长补短。但是组织结构不存在某种最佳的方式，正确的风险管理组织结构应能很好地适合银行的实际情况，保证银行能够有效运行，并充分控制各类风险。

摘要：以一个牙鲆养殖群体中的100个个体为实验材料，根据其生长激素（GH）基因的五个外显子序列设计引物，进行PCR扩增，通过SSCP分析技术对其进行检测，结果表明该群体生长激素基因的第四个外显子存在多态性。共检测到两种基因型，其中AA型个体占88％，AB型个体占12％；DNA测序结果表明，AB型在第1763位发生碱基突变，c→t，与AA型同源性达到99％，同时发现不同基因型的个体在体重和头长上表现出显著的差异（P〈0．05）。上述结果表明利用PCR-SSCP技术可以检测到牙鲆生长激素基因外显子部分存在序列遗传多态性，且该多态性与其生长的某些性状具有一定的连锁关系，为将来进行标记辅助选育奠定了基础。

摘要：在软硬件协同设计中,常常需要改变嵌入式处理器的体系结构,并评价其对系统各种优化目标的影响。以便产生高效的目标代码。可重定向编译技术正好能满足这一需求。可重定向编译器和传统编译器之间的本质区别在于前者要求编译器代码尽可能重用,以便辅助体系结构设计者探索设计空间。本文综述了已有的主要可重定向编译技术,并指出了所遇到的问题和困难。

摘要：地震大体可分为两类：天然地震和人工地震。天然地震指地球自然运动引发的地震，包括构造运动、火山、塌陷、崩塌等引起的地震，灾难性的地震基本上都是构造运动引起的。人工地震指人为激发的地震，包括为探测地球内部而特别设计激发的地震和工业生产军事活动引发的地震。

摘要：在思维方式上从局部分析式思维向整体系统式思维转变,在方法学上由分解—分析向分析—综合式转变。把材料的微观与宏观整体地联系起来,即实现原子结构(或电子结构)、相结构、组织结构和性质的理论大综合,建立材料信息科学和材料计算机设计科学,发展先进制备科学和应用科学,将是21世纪材料科学的最大任务。

摘要：对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷,发现协议的不精确性。本文将使用具有强数学基础和强分析能力的着色 Petri 网(Colored Petri Net,简称 CP-Nets)对 NS 公钥认证协议(Needham-Schroeder Public-Key Authentication Protocol)送行建模.在此基础上分析验证该协议,阐明协议存在的缺陷并给出改进的方法。