一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

微型计算机动画实现技术

分析了微型计算机动画的特点和难点,介绍微机实时动画和非实时动画的实现方法,给出了快速动画的几种页面切换技术,并介绍了计算机动画压缩技术与动画文件格式。     

微波烧结Al_2O_3陶瓷的研究

简要介绍了微波烧结的特点,对 Ａｌ２ Ｏ３ 陶瓷的微波烧结过程进行了介绍和分析,并同常规烧结进行了对比实验,在此基础上得出了一些结论,为陶瓷微波烧结提供了实验依据     

用 VB6. 0开发微机与多台单片机 之间的串行通信程序

本文介绍了一种由微机与多台单片机构成的主从式测控系统 ,并重点介绍了用 Visual Basic 6. 0 开发微机和多单片机之间的串行通信程序的设计方法.     

丝绸之路多元文化交融的活化石——艾德莱斯绸

主要介绍了丝绸之路上多元文化的典型代表——艾德莱斯绸.文章重点介绍了艾德莱斯绸的历史和传说,扎经染色工艺,各类艾德莱斯绸的特点及典型的艾德莱斯绸图案.     

改性SST固化剂在高等级公路工程中的应用研究

介绍了国内外高等级公路工程中应用ＳＳＴ固化剂施工的基本情况，着重介绍自行开发的改性ＳＳＴ固化剂的改性技术、机理分析、工艺要领与工程质量数据，并作出了技术经济评估。     

三线一表远端抄表系统的研制

介绍一种三类一线远端抄表系统，该系统可以通过一根电话线远端抄取用户的电表读数，水表读烽和煤气表读数，本文介绍了该系统的构成原理，并着重介绍了通信系统的组成。     

心阻抗二阶微分图的微机数据采集和处理

本文介绍心电信息采集和处理系统的组成。对心阻抗二阶微分图剖析并提出相应的跳跃搜索算法。概括介绍了应用软件的功能和某些功能的实现。     

飞机鸟撞事故分析、预防及建议

简要介绍了飞机鸟撞的危害，产生的原因及乌情等。并着重介绍了预防鸟撞航空工业，机场防止鸟撞方法和急需开展鸟情研究的有关课题内容和建议建立《中国鸟撞委员会》等。     

数据仓库与数据挖掘在电信业中的应用

简要介绍了数据仓库和数据挖掘技术，探讨了电信业基于数据仓库和多维数据库应用的基本框架，并人出了几个挖掘方法，最后简单介绍了相关的ORACLE工具。     

DTC—4305三相干式变压器温控仪设计

介绍了三相干式变压器温度检测控制仪的设计，分析了电路的工作原理及设计思路。对一些特殊电路进行了剖析，对整机的应用也作了简略介绍。     

细 胞 凋 亡 的 研 究 进 展

本文介绍了细胞凋亡的基因调控及最新研究进展 . 介绍 ced-3,ced-4, ced-9, p53, bc1-2, c-myc 基因在细胞凋亡中的调控作用 . 强调了氧化诱导、 Caspase-3在细胞凋亡中的重要作用 .     

DME—42测距仪及其在运七—100型飞机上应用的研究

介绍了国产运七－１００型选装型飞机上加装测距仪的方法，并介绍了测距你ＤＭＥ－４２的工作原理和测试性能。     

压电生物传感器研究进展

简要介绍了压电传感器的基本原理，并从气态物质分析、微生物分析、细胞分析、生物过程监测、反应动力学分析、蛋白质分析、核酸分析、酶分析以及生物小分子物质分析等方面介绍了压电传感器在生物分析领域的研究进展     

Mediator模式下基于语义映射的多本体融合机制研究

针对现有本体融合机制的不足，提出了一种基于Mediator模式的多本体融合机制．首先定义了基于语义相似性的语义映射概念，然后探讨了基于复杂映射的多本体融合机制，并详细介绍了多本体融合的步骤和算法，最后介绍了这种机制在OBSA信息集成系统中的实现．     

断裂表面的分形维数及其测量

本文介绍了作为表征断裂表面特征参数的分形维数的概念及其在非平面表面定量分析与微观断裂机制研究中的应用。具体介绍了测定断裂表面分形维数的各种实验方法,并对各种材料的实验结果和不同的观点进行了综述与讨论。     

因特网防御DoS攻击技术评述Ⅰ--攻击分类与特征·包过滤·攻击检测与防御

概述了因特网上DoS攻击的相应分类及基本特征，评述了包过滤、攻击检测及防御技术的最新成果．前一部分介绍了入口过滤、基于路由的过滤网和有效源地址强制协议．后一方面主要讨论了适合于检测攻击包的技术，介绍了新近提出的频谱分析方法和泛滥检测系统．简要评述了已有的防御SYN泛滥攻击的技术措施，介绍了Cisco的TCP拦截技术，提出了改进策略．     

江西省新闻出版局编务统计管理系统研究与开发

介绍了江西省新闻出版局编务统计管理系统（ＣＳＭＳ）,着重介绍了它的结构,并介绍了它的配套管理子系统与整个出版行业的务流程;ＣＳＭＳ中专业出版社的编务管理了系统实现编务数据的收集与上报、省出版局的图书出版统计管理子系统完成整个行业全部编务数据的汇总。     

均分散球形TiO2制备中的若干影响因素

介绍了用盐水解制备超细均分散球形TiO     

金边瑞香组织培养研究初报

本文介绍了金边瑞香组织培养的材料、方法和结果。