Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

HiSQL: A Front-end Query System for Historical Relational Databases

The paper describes a prototype system called HiSQL (Historical SQL) which extends the functionality of SQL in manipulating historical data, by providing functions for spatial and temporal processing. Conceptually the paper is divided into three parts: the first part deals with the design and architecture of the system; the second part introduces a case study (the defters); and the third part describes specific functions for spatial and temporal processing of serial documents. The paper concludes with a comparison between HiSQL and SQL and suggestions for further work. This revised version was published online in August 2006 with corrections to the Cover Date.     

Microbiological safety of kinema, a fermented soya bean food

Kinema is a fermented soya bean food of Nepal and the hilly regions of North-eastern States of India. Generally, the fermentation is dominated by Bacillus spp. that often cause alkalinity and desirable stickiness in the product. The present study was undertaken in a limited number of commercial (market) kinema samples to test for the presence of foodborne pathogens and their properties. Bacillus cereus was present in numbers exceeding 10⁴ cfu/g product in five of the tested 15 market samples. Enterobacteriaceae and coliform bacteria exceeded 10⁵ cfu/g in 10 of the 15 samples. Escherichia coli exceeding 10⁵ cfu/g was found in two samples. Staphylococcus aureus was not detected in any of the tested samples. Of 31 isolated typical and atypical strains of B. cereus, 18 representative strains were tested qualitatively for the ability to produce diarrhoeal type enterotoxin (BCET) using an Oxoid BCET-RPLA test kit. Overall, BCET was formed by 12 strains in BHIG (brain heart infusion broth +1% glucose), by seven strains on sterilized cooked rice, and by five strains on sterilized cooked soya beans. Semi-quantitative tests on BCET revealed that levels exceeding 256 ng/g soya beans, produced by single pure culture inoculation with the isolated B. cereus strains, were reduced to ≤ 8 ng/g by frying kinema in oil, a common procedure when making kinema curry. It was also shown in a mixed pure culture experiment that a kinema strain B. Subtilis DK-W1, is able to suppress growth and BCET formation by a selected toxin producing strain (BC7-5) of B. cereus. It is concluded that the traditional way of making kinema and its culinary use in curries is safe. However, for novel applications of kinema, safety precautions are advisable.     

神经网络分类器的快速构造算法

使用ＢＰ算法训练多层网络的速度很慢而且事先难于确定隐节点和隐层的适当数目。本文提出一个有效的算法，先构造决策树，然后将构造的决策树转换为神经网。文中使用一个全局准则函数控制决策树的增长，它较好地匹配了树的复杂性和训练样本量及错分率界。实验结果，本文的算法比用ＢＰ算法训练多层网络要快，而其分类精度不低于用ＢＰ算法训练的多层神经网。     

ETR Ⅱ-30调速器液压控制系统

ETRⅠ-30调速器是瑞士爱舍维斯工厂生产的具有PID调节规律的电液调速器。本文对其液压控制系统作了较详细的介绍,供有关人员参考。     

一种产生式系统的并行推理模型

1.引言 在人工智能领域中,产生式系统是一种比较有效的知识表示方法,并得到了广泛应用。目前许多较为成功的专家系统都是用产生式系统实现的~[1]。随着应用领域的不断扩士其知识座的抓橄称渐增     

用保形样条方法求解非定常对流扩散方程

在欧拉-拉格朗日分裂方法的基础上,本文发展了一种固定网格上的欧拉-拉格朗日分裂方法.保形样条方法(SPSM)被用来解决倒特征线插值问题.通过求解几个有精确解的例子,说明SPSM方法的解是单调无振荡的,并且数值耗散也是比较小的.     

映射半解析边界元法解瞬态弹性动力问题的有关问题

提出了映射半解析边界元法解百轴对称瞬态弹性动力问题时存在解析方向不能正确反映波的传播现象的问题，产生该问题的原因和如何解决该问题的建议。     

正交双频光栅CCD系统剪切干涉测量二维温度场

以半导体激光器为光源，利用正交双频光栅（ＯＤＦＧ）ＣＣＤ系统剪切干涉对带平板边界的半圆柱体热源的二维温度场进行实时诊断，分析剪切干涉图时，用柱函数系作为拟合基底，给出二维自然对流温度场的定量分布。     

溅射——气体——聚集共沉积法制备金属／金属（介质）复合团簇镶嵌薄膜

提出了溅射－气体－聚集共沉积制备金属／金属（介质）复合团簇镶嵌薄膜的新方法，并利用该方法成功地在方华膜衬底上制备了系列Ｆｅ／Ａｇ及ＣａＦ２复合团簇镶嵌薄膜样品。透射电镜分析结果表明，样品中Ｆｅ（Ｃｕ）团簇都较好地镶嵌于Ａｇ（ＣａＦ２）基质中，其结构为两种材料的多晶共存形态。进一步分析发现，与块材相比，Ｆｅ／Ａｇ样品中Ｆｅ团簇晶格常数呈现出不同程度的收缩，而Ｃｕ／ＣａＦ２样品中Ｃｕ团簇晶格常数则呈现出不同程度的膨胀。运用附加压力的模型对该现象进行了解释。