大坝安全监控专家系统中的知识处理

在介绍产生式规则及其数学模型的基础上，论述了用成熟的关系数据库 技术来表示和存储产生式规则表示的专家知识的方法，较好地解决了知识的存储和管理问题 。同时，利用关系数据库中实体间的关系，很容易将分散存储的规则元素组合成规则供推理 时使用。在分析了大坝安全监控专家系统知识特点的基础上举例说明了用关系数据库表 示产生式规则的具体方法。     

系统备份及其误区分析

文章对系统备份的几个主要方面进行了讨论，并在此基础上，对系统备分的若干认识误区进行了分析。     

长江螺山站高水位流量关系和城陵矶（莲花塘）控制水位的研究

螺山站高水位流量关系是确定长江城陵矶（莲花糖）控制水位的基本依据，从基本的河道水力学规律出发，考虑涨落率修正、瞬时比降修正，计算各时段点的代表性比降，和相应糙率，求出均值，根据断面资料，得出高水位的稳定流曲线，并以各日流量转化的稳定流点，进行验证，精度很好，分析了河段区间流量对螺山站稳定流量的影响。阐明了螺山站稳定流量的变化情况和趋势，推求了各次大洪水的超额洪量，计算出莲花糖以上的总入流，根据现今的湖区及槽蓄容积进行洪水演进，计算1954年特大洪水的超额洪量，并分析节三峡水库拦洪后对长江中下游超额水量的影响；对莲花塘不同防洪控制水位进行了技术经济分析和评价，提出了抬高控制水位的具体建议。     

条件概率关系数据库模型

现实世界中大量存在着的不确定性信息，关系数据库模型仅视它们为空值，有必要增强其处理这类信息的能力，文章在总结前人工作的基础上推广关系数据库模型，创建有效处理随机型不确定性信息的条件概念关系数据库模型，该模型通过在关系模式中增加一个条件概率测度属性，为每条记录指定适当的条件概率的途径，来表示不确定性信息。文中以对象码为基本工具，创建了条件概率关系结构；以特征函数为基本工具，定义了一套基于该结构的代数运算规则。条件概率的语意比概率的语意广泛，灵活，因而该模型能有效克服概率关系模型的许多不足。     

从关联分析法看如何改善沥青抗老化性能

用灰色关联分析法研究了沥青抗老化性能与沥青化学组成之间的关联程度，结果表明，影响再生沥青性质的主要因素是沥青中的芳烃和胶质的含量。通过添加芳香组分能改善沥青四组分之间的配伍性，从而可以改善再生沥青的抗老化性能。并通过对再生剂进行富芳处理，验证了上述结论。     

Alcohol tolerance in humans is enhanced by prior caffeine antagonism of alcohol-induced impairment.

The author tested the hypothesis that a history of drug-induced antagonism of alcohol impairment would enhance alcohol tolerance in humans. Groups of participants (N = 21) repeatedly performed a psychomotor task under different drug treatments: 0.65 g/kg alcohol, 4 mg/kg caffeine, or both drugs combined. Tolerance to a 0.65 g/kg alcohol dose challenge was then tested. Results showed that a history of combined alcohol and caffeine administrations increased alcohol tolerance compared with an exposure history to either drug alone. The findings contribute to the understanding of the complexities of polydrug use history and provide a useful model to examine how alcohol tolerance might be affected by a history of coadministration with other drugs (e.g., cocaine and nicotine). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The Einstein relation in nanostructured materials: simplified theory and suggestion for experimental determination

An attempt is made to study the Einstein relation for the diffusivity–mobility ratio (DMR) in quantum wells (QWs) and quantum well wires (QWWs) of tetragonal compounds on the basis of a newly formulated electron energy spectrum taking into account the combined influences of the anisotropies in effective electron mass, the spin–orbit splitting, and the presence of crystal field splitting, respectively. The results for quantum-confined III–V compounds form a special case of our generalized analysis. The DMR has also been studied for QWs and QWWs of II–VI and IV–VI materials. Taking QWs and QWWs of CdGeAs₂, InAs, CdS and PbSe as examples, it was found that the DMR increases with increasing carrier statistics and decreasing film thickness respectively in various oscillatory manners emphasizing the influence of dimensional quantizations and the energy band constants in different cases. An experimental method of determining the DMR in nanostructures with arbitrary dispersion laws has also been suggested and the present simplified analysis is in agreement with the suggested relationship. The well-known results for nanostructures with parabolic energy bands have also been obtained as special cases from this generalized analysis under certain limiting conditions.     

P、V操作的新探讨

P、V操作的概念以及使用在操作系统中非常重要、这里从一些新颖的角度来分析P、V操作，用P、V操作来实现进程的同步与互斥以及一种简单易行的逻辑关系则可以解决P操作嵌套时的执行次序。     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

CAD系统中产品设计三维实体建模方法的研究

三维建模是应用CAD系统进行产品设计的重要步骤。现在市场上已有不少的CAD系统，但是不同系统中的三维建模方法却是基本相同的。在这些三维建模的方法中，往往对用户施加了许多的限制，使得用户无法建立复杂的三维实体。笔者提出了一种新的三维建模方法－折叠法，应用这种方法的概念和原理，可以开发出先进的三维建模CAD系统。折叠二维平面图形构成三维实体是作者提出的一种新概念。