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

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

弹丸外弹道优化设计初始点的选取

在弹丸外弹道优化设计中,需对优化设计变量赋于初始值.初始值选取得如何,对整个优化计算所耗机时、迭代点收敛到哪个极值点上等等,影响很大.该文对初始值的选取原则、选取方法等作了讨论,所得结果也可作为对弹丸主要结构参数选优的预估.     

输入——输出迭代算法中松弛因子的确定

本文利用变分的手段提示了输入—输出迭代算法中松弛因子的取值规律。     

A frame-based knowledge representation model and its mapping to nested relations

The first part of this paper introduces the basic constructs of a frame representation model and gives a formal definition for them. Subsequently the nested relational model (NF²) is described as an extension of the classical relational model to support relation-valued attributes. In the second part of this paper both models are compared with each other and a mapping of frame representation structures to NF² structures is specified. The structural similarities between frames and NF² relations are made clear and it is shown that their main difference is due to the type polymorphism introduced by the concept hierarchy of the frame model. This causes type collisions to occur in the strictly typed NF² model when frames are directly mapped to NF² structures. Two solutions to this problem are suggested and compared. The paper concludes with a reformulation of query operations of the frame model in terms of NF² algebra operations.     

The principles of information processing based on the numerical solution of the nonlinear heat-conduction problem. Pt. 1. The three-dimensional discrete mathematical model

A three-dimensional solution of the direct problem of heat conduction when a linear pulsed heat source acts in the plane of contact of two semibounded bodies is presented. The solution is obtained by the method of finite differences. An example of the modeling is considered. __________ Translated from Izmeritel’naya Tekhnika, No. 10, pp. 42–45, October, 2007.     

基于耗散结构理论和灰色关联熵的水资源系统演化方向判别模型研究

水资源系统是一耗散结构，本文以水资源量作为序参量，来描述水资源系统的有序性和演化方向。依据协同学理论，水资源系统要维持有序就要求经济、社会、生态子系统相互协调，系统序参量之间相互协同。应用耗散结构理论和灰色系统理论，把灰关联度与熵结合起来，以序参量为基础，建立了基于灰关联熵的水资源系统演化方向的判别模型，为水资源系统分析提供了新方法。并将该模型应用于黄河流域水资源系统的演化评价，为实施临界调控提供了依据。     

Object-oriented query language access to relational databases: A semantic framework for query translation

This research investigates and approach to query processing in a multidatabase system that uses an objectoriented model to capture the semantics of other data models. The object-oriented model is used to construct a global schema, defining an integrated view of the different schemas in the environment. The model is also used as a self-describing model to build a meta-database for storing information about the global schema. A unique aspect of this work is that the object-oriented model is used to describe the different data models of the multidatabase environment, thereby extending the meta database with semantic information about the local schemas. With the global and local schemas all represented in an object-oriented form, structural mappings between the global schema and each local schema are then easily supported. An object algebra then provides a query language for expressing global queries, using the structural mappings to translate object algebra queries into SQL queries over local relational schema. The advantage of using an object algebra is that the object-oriented database can be viewed as a blackboard for temporary storage of local data and for establishing relationships between different databases. The object algebra can be used to directly retrieve temporarily-stored data from the object-oriented database or to transparently retrieve data from local sources using the translation process described in this paper.     

CAD^2B—一个计算机辅助数据库设计系统

本文介绍了一个用Ｔｕｒｂｏ Ｃ语言在ＡＳＴ－２８６机器上实现的计算机辅助数据库设计系统ＣＡＤ＾２Ｂ。该系统提供了人机交互的环境，供设计者进行概念模型设计，并自动完成从概念模型逻辑模型的映射，创建满足规范化要求的关系表。该系统采用的概念模型是引入了事件和时间的扩展了的实体关系模型。该模型既能充分反映应用环境的静态和动态语义，又是向关系模式转化的基础。     

TIC: A timed calculus

TIC is a timed algebraic calculus which combines ideas from asynchronous and synchronous calculi. Time is introduced by assigning explicit time restrictions to the events of an asynchronous calculus. The semantics is defined in an operational way. Interleaving of behaviours is defined in such a way that a proper merge of events in time is achieved. Weak timed bisimulation is also defined. Examples are presented to show the applicability of the calculus to the study of timed behaviours.This work was partially supported by CICYT under the TIC program (MEDAS project)