Fast Algorithms for Revision of Some Special Prepositional Knowledge Bases

In this paper, the computational complexity of prepositional clause set counterfactuals is discussed. It is shown that the computational complexity of prepositional clause set counterfactuals is at the second level of the polynomial hierarchy, and that the computational complexity of prepositional Horn clause set counterfactuals is at the first level of the polynomial hierarchy. Furthermore, some polynomial algorithms are presented for some special prepositional clause set, such as the unique satisfiable clause set and the clause set of which only one subset is minimally inconsistent with the input clause whose inconsistency check can be solved in polynomial time.     

一种TCP/IP网络与LonWorks网络的集成方案

针对TCP/IP网络与LonWorks网络互操作和集成的需要，该文给出了一种进行两类网络集成的方案——“LonTalk-TCP/IP”集成方案，并详细叙述了此方案的实施步骤。方案基于ISO/OSI参考模型进行设计，采用DDE技术和客户机/服务器模式实现。方案简单实用，具有良好的开放性和可扩展性。     

Inhibition of NF-KB activity in rabbit vascular smooth muscle cells by lovastatin

Nuclear factor NF-KB is believed to play an important role in regulating the production of matrix met-alloproteinases (MMPs), which induce atherosclerosis, restenosis and plaque rupture. We incubated rabbit vascular smooth muscle cells(RVSMCs)with 5 nmol/L lovastatin in the presence of IL-1-a and PDGFBB (20g/L, respectively) to study whether lovastatin inhibited NF-KB binding activity induced by IL-1 and PDGF. The NF-KB activity was detected by electrophoretic mobility shift assay (EMSA); MMP-1 and MMP-3 were measured by western blotting; and MMP-9 was detected by zymography. The result showed that lovastatin strongly reduced NF-KB activity upregulated by IL-1 combined with PDGF, and lovastatin also dose-dependently inhibited the expression of MMP-1, -3 and -9 induced by IL-1 and PDGF. It suggested that the beneficial effects of statins may extend to mechanisms beyond cholesterol reduction.     

一种往复冲裁工艺

介绍了一种工件无毛刺往复冲裁工艺，并探讨了该工艺的实施要点     

Vision Recognition of Three Dimensional Object Using Aspect Graph

ＶｉｓｉｏｎＲｅｃｏｇｎｉｔｉｏｎｏｆＴｈｒｅｅＤｉｍｅｎｓｉｏｎａｌＯｂｊｅｃｔＵｓｉｎｇＡｓｐｅｃｔＧｒａｐｈＬＵＡＮＸｉｎＺＨＵＴｉｅｙｉＴＡＯＱｉｚｈｉ（栾新）（朱铁一）（陶奇志）（ＲｏｂｏｔＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅ，Ｈａｒｂｉｎ...     

COSIX V2.0中10M以太网卡驱动程序的设计与实现

ＣＯＳＩＸ Ｖ２．０是基于微内核、采用多服务器结构和国产操作系统。以太网是一种得到广泛使用的网络。本文介绍ＣＯＳＩＸ Ｖ２．０中１０Ｍ以太网的驱动，介绍了１０Ｍ以太网卡驱动程序的结构，给出了一个网卡驱动程序的实现。     

决策树分类技术研究

决策树分类是一种重要的数据分类技术。ID3、C4．和EC4．5是建立决策树的常用算法，但目前国内对一些新的决策树分类算法研究较少。为此，在消化大量文献资料的基础上，研究了CART、SLIQ、SPRINT、PUBLIC等新算法，对各种决策树分类算法的基本思想进行阐述，并分析比较了各种算法的主要特性，为数据分类研究者提供借鉴。     

一种面向对象软件风险评估方法研究

目前,大多数软件项目风险评估技术本质上都是基于主观的,而在软件开发过程中客观地依赖于度量技术进行软件风险分析的研究还很少。该文针对面向对象软件开发的特点,在对面向对象软件度量进行研究的基础上,提出了一种利用主成分分析技术评估软件风险的方法,该法能在软件项目管理过程中帮助开发者或管理人员识别软件的高风险模块,便于有效地开展风险管理。     

基于Web的网络教学系统的设计与实现

网络教学系统是一个虚拟的教学环境。通过它学生可以实现自主学习。我们采用ASP技术和Web技术。设计了一个基于Web的网络教学系统。本文介绍了其设计思想、主要功能。并对作业处理、教案学习、问题答疑等关键部件的具体实现方法进行了阐述。     

一种新的基于优先层级的舍位平衡算法

本文根据在日常的报表数据处理中，由于计量单位的改变，常常出现数据不平衡的现象，提出了一种基于优先层级的舍位平衡算法；并在此算法的基础上，针对数据舍位处理中常见的几个问题进行了讨论；最后通过一个简单的例子说明了舍位平衡算法能够较好的解决报表中数据不平衡的问题。