Translational Semantics for a Conceptual Level Query Language

A conceptual level database language for the entity relationship (ER) model implicitly contains integrities basic to ER concepts and special retrieval semantics for inheritances of attributes and relationships.Prolog,which belongs to the logical and physical level,cannot be used as a foundation to directly define the database language.It is shown how Prolog can be enhanced to understand the concepts of entities,relationships,attributes and is-a relationships.The enhanced Prolog is then used as a foundation to define the semantics of a database query language for the ER model.The three basic functions of model specification,updates and retrievals are defined.     

工作流过程定义中的分层结构与正则Petri网

The abstract level problem and the classification of the abstract level problem in the workflow process model are discussed. The formalized problem of the abstract level problem in the process model is researched. The concept and definition of the petri net with end-transition and normal petri net according to the control abstract level problem are put forward and discussed. The equivalence of general Petri Net and general Petri Net is proved by the petri net with priori relationship.     

Academician Forum

The fast progress of science and technology, along with the increasing requirement of high level life quality, facilitates the development of digital medicine- to search for the essential differences and variance of patients＇ complex life system and to seek the basic law of life phenomena. Here, the status and development of digital medical engineering is summarizing and concluding, and some opinions and suggestions are proposed for solving the realistic problems of digital medical engineering in china.     

The Polynomially Exponential Time Restrained Analytical Hierarchy

A polynomially exponential time restrained analytical hierarchy is introduced with the basic properties of the hierarchy followed.And it will be shown that there is a recursive set A such that A does not belong to any level of the p-arithmetical hierarchies.Then we shall prove that there are recursive sets A and B such that the different levels of the analytical hierarchy relative to A are different and for some n every level higher than n of the analytical hierarchy relative to B is the same as the n-th level.And whether the higher levels are collapsed into some lower level is neither provable nor disprovable in set theory and several other results.     

基于集成化建模的个性化和自动化的学习资源选择平台(英文)

In order to automatically select learning resources in an Internet environment according to the background knowledge and the learning objectives of the learners,a platform based on integrated modeling is developed.The platform constitutes three levels and four views.The three levels are database level,knowledge analysis level and modeling level.The four views are user modeling,learning resource modeling,knowledge points modeling and learning process modeling.The process model is used to connect the learners and the learning resources.The workflow optimization method is used to optimize the learning resource selection according to the objectives and background knowledge level of the learner,at the same time,a learning plan is given.Finally,a web-based prototype system is developed by java.     

Reliable Communication on Cube-Based Multicomputers

We consider a distributed unicasting algorithm for hypercubes with faulty nodes(including disconnected hypercubes)using the safety level concept.The safety level of ach node in an n-dimensional hypercube in an approximated measure of the number and distribution of faulty nodes in the neighborhood and it can be easily calculated through n-1 rounds of information exchange among neighboring nodes.Optimal unicasting between two nodes is guaranteed if the safety level of the source node is no less than the Hamming distance between the source and the destination.The feasibility of an optimal or suboptimal unicasting can be easily determined at the source node by comparing its safety level,together with its neighbors‘ safety levels,with the Hamming distance between the source and the destination.The proposed scheme is also the first attempt to address the unicasting problem in discronnected hypercubes.The safety level concept is also extended to be used in hypercubes with both faulty nodes and links and in generalized hypercubes.     

An Improved HEAPSORT Algorithm with n log n - 0.788928n Comparisons in the Worst Case

A new variant of HEAPSORT is presented in this paper. The algorithm is not an internal sorting algorithm in the strong sense, since extra storage for n integers is necessary. The basic idea of the new algorithm is similar to the classical sorting algorithm HEAPSORT, but the algorithm rebuilds the heap in another way. The basic idea of the new algorithm is it uses only one comparison at each node. The new algorithm shift walks down a path in the heap until a leaf is reached. The request of placing the element in the root immediately to its destination is relaxed. The new algorithm requires about n log n - 0.788928n comparisons in the worst case and n log n - n comparisons on the average which is only about 0.4n more than necessary. It beats on average even the clever variants of QUICKSORT, if n is not very small. The difference between the worst case and the best case indicates that there is still room for improvement of the new algorithm by constructing heap more carefully.     

时空信息的层次存储和管理

To get high-performance data accessing irt GIS,a hierarchical model for spatiotemporal data presentation and storage, which is composed of four levelsgeimral level,global level,theme level and view level, is provided. The general level, global level and theme level are for logical presentation and physical storage, and the view level is for logical presentation only. The general level provides uniform presentation for spatial objects by time measurement. The global level.as the mediate level in data presentatmn, simplifies the decomposition and recomposition for spatial data, which can lead to fast data access and easy level-to4evel data transformation. The theme level classifies the spatial object according the objects’original type. Which is a semantk level. Lastly, the view level provides the data access interrace for end-user.     

Deep Semantic Structure of Natural Language

This paper presents the result of research of deep structure of natural language. The main result attained is the existence of a deterministic mathematical model that relates phonetics to associated mental images starting from the simplest linguistic units in agreement with the human response to different acoustic stimuli. Moreover, there exists two level hierarchy for natural language understanding. The first level uncovers the conceptual meaning of linguistic units, and hence forming a corresponding mental image. At the second level the operational meaning is found to suit, context, pragmatics, and world knowledge. This agrees with our knowledge about human cognition. The resulting model is parallel, hierarchical but still concise to explain the speed of natural language understanding.     

常见浮选液位测量装置的分析及对比

为了解决浮选控制过程中的液位计选型问题,从现场应用出发,分析对比了常用的浮力式液位计、激光液位计、静压液位计、超声波液位计等浮选液位测量装置的基本结构、工作原理及现场应用情况。分析认为因传感器性能、附属装置稳定性、测量介质等不同,各测量装置均有优缺点,实际应用时应综合考虑现场浮选生产过程具体情况、维修条件、装置性能、安装使用费用等因素,选择合适的浮选液位测量装置。     

遥感图像变化检测综述

主要介绍了变化检测的基本理论。首先简述和分析了遥感图像变化检测的基本概念,指出变化检测的本质是一类模式分类问题;然后全面回顾了现有变化检测方法,将其归纳为像素级、特征级和目标级三大类,详细论述了各种方法的基本原理和特点并对其适用范围和优缺点进行了总结。     

信息检索中基本水平类概念加工优势的研究

类概念是日常生活的重要组成部分,类概念可划分为上位水平、基本水平和下位水平。根据“oddball”范式,该课题使用国内省份、城市、景点以及少量动物和植物为实验材料,用传统的行为研究技术为实验手段,设计了语义启动任务,试图探讨启动范式下不同的类概念层级与信息提取之间的关系,研究提问线索对信息检索粒度的影响以及不同层次概念提取的差异,观察基本层加工优势的存在。实验结果表明,类概念层级间的优先加工会受到任务范式的影响,不同类概念水平之间的语义启动具有方向性。     

二维码识读机具后台通讯处理软件的设计与实现

本文在定义四层协议模型(硬件层、数据链路层、传输层和应用层)的基础上，讨论了基于Windows 9x／NT/2000平台的二维码识读机具后台通信处理软件QuickSet的基本设计思路及其实现方法，为二维码识读机具的软件设置方法提供了通用的标准，简化了设计工作。     

基于BP神经网络的矿山地下水位预测研究

采用BP神经网络技术,将矿区的降雨量、排水量及前期水位三个因素作为输入层,矿山地下水位作为输出层,建立矿山地下水位预测模型.文章详细介绍了BP神经网络实现矿山地下水位预测的基本算法,将研究区矿山的长期观测孔实测水位作为实验数据并作出误差分析.最终成果能够达到矿山地下水位预测目的,并为分析地下水降落漏斗趋势提供有力依据.     

小波变换在雷达物位计信号处理中的应用

雷达物位计信号处理的关键是去除噪声,提取有用信息.通过研究调频连续波FMCW雷达物位计工作原理及信号处理的基本算法,对比传统的采用傅里叶变换进行信号处理的方法,提出了采用小波变换来去除回波的干扰信号.实际应用结果表明,小波分析可以有效地应用于分析物位计回波信号,为提高测量精度等后续工作的开展提供稳定数据.     

VHDL语言行为描述划分的研究与实现

硬件描述语言行为级划分的处理对象是行为级的硬件描述，其结果可以用来指导综合中数据通路的设计实现及后续综合。本文研究ＶＨＤＬ语言行为描述划分的内容和系统设计方法，提出了一种类层次可变权的ＶＨＤＬ语言行为划分算法，该算法将单级层次划分算法与多级层次划分算的思想统一到一种算法中；针对行为划分的目标特点本文在划分因素评估中提出了规模因素的思想。     

基于层次型报表的数据存储技术研究

数据模型常见有层次、网状和关系三种模型,结合《某市农业信息系统》的设计中遭到的层次型报表,该文研究了将层次型模型转化为关系模型的三种方法．最终提出了基于树型存储法的字典目录法数据存储技术。利用谈技术实现了系统的成功开发,证明了字典目录法有效性。     

基于层次型报表的数据存储技术研究

数据模型常见有层次、网状和关系三种模型,结合《某市农业信息系统》的设计中遇到的层次型报表,该文研究了将层次型模型转化为关系模型的三种方法,最终提出了基于树型存储法的字典目录法数据存储技术,利用该技术实现了系统的成功开发,证明了字典目录法有效性。