基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

应用核磁共振实验实现量子计算的注记

从量子力学的基本原理出发,阐述了利用核磁共振进行量子计算的实验方法,澄清了有关文献中若干容易混淆而又十分重要的概念,并进一步报道CNOT门操作的实验方法和结果.实验结果与理论的预言一致.     

实验性脾虚证大鼠血清中微量元素含量的研究

用破气苦降药加饮食失节法复制了大鼠脾虚证模型。采用原子吸收光谱法检测了血清发Ｚｎ、Ｃｕ和Ｆｅ的含量。本研究证明，脾虚证大鼠血清Ｚｎ值明显降低（Ｐ＜０．００１）；Ｃｕ值、Ｆｅ值无明显差异（Ｐ＞００５）；Ｃｕ／Ｚｎ比值上升。用中药加味四君子汤治疗后，血清Ｚｎ值明显回升并高于正常水平（Ｐ＜００５），Ｃｕ值回升（Ｐ＜０．０５），但Ｆｅ值和Ｃｕ／Ｚｎ比值与自然恢复及对照组比较无显著性差异。这说明：１．脾虚组Ｚｎ的降低可能与消化吸收障碍有关；２．加味四君子汤对脾虚证时血清Ｚｎ及Ｃｕ／Ｚｎ比值的变化有明显的调整和恢复作用．     

基于J2EE体系结构实现网上购物系统

J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 .     

逻辑学语境下的科学实用主义

作为实用主义的鼻祖,皮尔士首先和主要是一位逻辑学家.他的实用主义从根本上讲是一种逻辑学说,要求从逻辑学理论上对其进行解读.审视科学实用主义同逻辑学的内在的、历史的联系及其形而上的蕴含,可以更清晰地认识实用主义理论的本真意义.     

R0代数中的真布尔元

通过研究R0代数中一类特殊的元——真布尔元的性质，给出了一些特别的R0等式，并据此得到了真布尔元对R0代数分类的充要条件，为格上研究R0代数开辟了一个新的方向。     

勘探部署图的多分辨率模型及其实现

利用地质勘探数据生成多比例尺图在勘探部署图的绘制与管理中具有重要意义。在分析构成勘探部署图数据元素特点的基础上,提出了不同比例尺图件的多分辨率模型。该模型保存了勘探图的不同比例尺下的数据,在应用中能根据不同的比例尺要求生成满足要求的图件,同时给出了模型的数据结构。结果表明,基于有向无环图(DAG)表示的数据抽取算法利用变化数据的空间关系能够提高计算性能,且算法的计算时间与变化数呈线性关系。     

思维逻辑转换与翻译

翻译和思维逻辑有极其紧密的联系。逻辑活动贯穿于翻译过程的始终。在翻译过程中,译者需要在原语和译 语间进行思维逻辑的转换。从三个层面上阐述了逻辑转换在翻译中的作用:逻辑对确定词义的作用、逻辑对确定译语 句子表达的作用和逻辑对从篇章结构角度检验译文的正误的作用。     

环同态象的结构

本文对一类较为特殊的环给出商环分类的一种方法，为进一步研究商环的性质提供了较为直观的模型。     

WindoWs操作系统主引导扇区程序剖析

通过对操作系统启动过程的深入研究，在WINDOWS98 DOS状态下，对当前大容量硬盘主引导扇区的引导过程进行了全面的剖析，导出扩展INT 13H读取大容量硬盘逻辑扇区的方法，这将对大容量硬盘的管理与维护十分有利。