The aditi deductive database system

Deductive databases generalize relational databases by providing support for recursive views and non-atomic data. Aditi is a deductive system based on the client-server model; it is inherently multi-user and capable of exploiting parallelism on shared-memory multiprocessors. The back-end uses relational technology for efficiency in the management of disk-based data and uses optimization algorithms especially developed for the bottom-up evaluation of logical queries involving recursion. The front-end interacts with the user in a logical language that has more expressive power than relational query languages. We present the structure of Aditi, discuss its components in some detail, and present performance figures.     

利用视电阻率饱和度法分析稠油油藏动用状况

为了弄清稠油油藏蒸汽吞吐井附近油层的动用状况．利用侧钻井视电阻率饱和度分析法，研究电阻减小率与含油饱和度的关系．以确定蒸汽吞吐井附近油层的动用状况。实践证明，该方法切实可行，为调油油田蒸汽吞吐阶段油层动用程度研究，提供了一条新途径。     

晋北吕梁群石榴石的特征及指示意义

石榴石是山西岚县袁家村一带-娄烦县出露的吕梁群地层中主要的特征变质矿物，其次为黑云母、十字石等，对这些特征变质矿物进行电子探针的成分分析及其相关计算，并利用不同采样点的矿物对估算该点变质温度和压力，最后得到石榴石的成分变化与变质程度之间的关系，进而阐明了石榴石中成分变化对变质温度与压力的指示意义。     

Contextualizing is not nullifying: Reply to Mills (2005).

In omitting crucial words and sentencees, neglecting relevant citations, and overlooking important distinctions, Jon Mills' (see record 2005-04819-001) critique of relational psychoanalysis significantly misrepresents the authors' viewpoint. This viewpoint seeks to contextualize, but not to nullify, individual worlds of experience and their limiting horizons. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

箍筋末端135度弯钩二次就位法讨论

随着人们对建筑安全的日益重视 ,对建筑抗震要求的提高 ,国内外有关规范都对箍筋末端的设置作了明确规定 ,要求做成 135度弯钩。而在工程实践中 ,由于施工上的技术困难 ,很多工程都只设置成 90度弯钩。笔者提出的箍筋末端 135度弯钩二次就位法在基本不增加 90度弯钩施工难度与费用的基础上实现了 135度弯钩的施工 ,其法是可行的     

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

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

Preparation of clean coal by flotation following ultra fine liberation

This paper reports the results of current fundamental research at the Department of Process Engineering, University of Miskolc on the processing of clean coal from Mecsek bituminous coal, Southern Hungary. The theoretical possibility of the separation of different petrographic components was proven experimentally and their liberation degree was determined based on the petrographic composition, flotation kinetic study of isolated components (groups of components), scanning electron microscopy and microprobe analyses. The mill with stirred ball media was chosen for the ultra-fine liberation of the coal components. It was revealed that along with the liberation of coal components, their surface oxidation and spontaneous agglomeration, entrapping the mineral impurities take place in ultra-fine grinding. This paper discusses the interfacial phenomena occurring in the ultra-fine grinding process and their influence on the flotation. The concept for the advanced preparation of clean coal was developed, tested and proved. The main steps of this concept are the ultra-fine liberation in the stirred-media mill, the de-agglomeration of flocs spontaneously formed during the ultra-fine grinding and the induced (hydrophobic) flocculation with the following two-step flotation in a flotation column.     

连铸钢坯质量的原位统计分布分析研究

采用原位统计分布分析技术得到与样品原位置相对应的数以万计原始信号并对其进行系统解析，实现不同质量连铸钢坯试样的疏松度、均匀度以及夹杂物含量的定量表征。准确计算了连铸钢坯试样疏松度、碳元素的最大偏析度。提出铸坯各原位置成分含量的权重比率方法用以表征材料的均匀度，并提供了统计分布允许差范围内（C0±R）所占权重比率以及权重比率为95%置信度时，中位值置信扩展率（K）等2种判断模式。该方法以测量信息的原始性、原位性及统计性为特征，反映了连铸钢坯较大尺度范围内各化学组成及其形态的定量统计分布规律。采用上述方法可以     

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.     

SQL语言中量词和空值的使用技术

在ＳＱＬ语言中可以引入全称量词符号ＦＯＲＡＬＬ，使ＳＱＬ语言使用更为自然，方便。本文讨论全称量词，存在量词和ＡＬＬ三种谓词之间的转换，联系和区别，以及空值存在时ＳＱＬ的使用技术。