受限正规树文法与基于正则表达式包含判定的类型检查

XML简单灵活的特性使得XML在网络服务、关系数据库以及形式化研究等领域得到应用。同时，XML处理的技术不断发展，近期的研究表明静态类型化的处理方式在XML处理的有关方面有重要的优势。静态类型化XML处理技术是将XML的模式语言作为程序语言的基本数据类型，在程序运行之前进行静态的类型检查，从而确保运行时的类型安全。目前大多数静态类型系统采用正则表达式类型作为基本类型，正则表达式类型与树自动机是一一对应的。 子类型关系判定是类型检查中的核心问题。语义子类型的方法在静态类型化XML处理中有很多优点。在这种子类型判定方法中，类型被看成是值的集合，子类型关系判定转化为集合的包含判定。目前广泛应用的XML的模式语言如DTD、XML Schema等都是正规树语言的子类。正规树语言的包含问题是可判定的。在类型检查中，正则表达式类型的实现是基于树自动机的，子类型关系判定转化为树自动机的包含判定，效率较低。 本文提出了一种基于正则表达式包含判定的类型检查方法。由于DTD是目前使用最普遍的XML模式语言，因此本文首先提出针对DTD的类型检查方法，然后在此基础上进行扩展，提出了产生式不相交的正规树文法的概念以及针对该受限树文法的类型检查方法。DTD以及XML Schema等常用的XML模式语言均可由该树文法直接描述。在本文的方法中，子类型关系判定的过程不需要构造树自动机，而是根据类型表达式的树状结构自下而上地进行检查，每一层的检查基于正则表达式的包含判定，同时在判定过程中利用了树文法中的标号与类型之间的联系。该方法可以针对不同种类的正则表达式使用不同的包含判定算法。通过采用一种称为消除局部递归类型的策略，使得对并类型的子类型关系判定比基于树自动机的类型检查方法更加简单。本文实现了上述类型检查方法，并通过相应的实验说明该方法的可行性以及有效性。同时分析比较了已有的XML类型检查的方法与基于正则表达式包含判定的类型检查方法的优缺点。

本体辅助的自动化模式匹配技术

在基于映射的数据交换系统框架下,提出了一种本体辅助的模式匹配方法.它利用WordNet词汇本体和决策树学习相结合的方法进行属性名称匹配,构建数据类型本体计算属性数据类型的语义距离,依赖领域本体发现一对多的语义匹配关系,这3个过程逐步提高了匹配质量.建立在实际应用数据上的实验结果表明,该方法具有较高的精确度和召回率.

Optical Analysis of Hg2+ Ions by Oligonucleotide–Gold-Nanoparticle Hybrids and DNA-Based Machines

Zwei verschiedene optische Methoden für die Analyse von Hg2+-Ionen, die auf der Bildung von Thymin-Hg2+-Komplexen beruhen, werden vorgestellt. Bei diesen Methoden werden die Hg2+-Ionen mithilfe aggregierter Goldnanopartikel und einer auf der DNA-Chemie basierenden Maschine (siehe Schema) analysiert.

基于嵌入式实时Linux的远程监控系统

提出了一种基于嵌入式实时Linux的设备远程监控系统,重点针对现有远程监控系统体积、实时性问题加以改进。在自行研发的操作系统基础之上,一方面实现了嵌入式Internet技术;另一方面满足了系统硬实时性需求,为故障的实时预报、诊断、控制提供了强有力的支持。

CIMS设计过程中存在的一些问题及解决方案

提出了一种新的集成的I2 DEF方法 ,并介绍了与之配套的设计开发工具 ,用以支持大型复杂信息系统的设计与开发 ,它可以成功地解决计算机集成制造系统设计开发过程中遇到的许多问题。本文指出了我国CIMS工程存在的问题 ,分析了这些问题产生的原因 ,并结合企业实际给出了应用I2 DEF方法的解决方案。

对象互操作的行为模型

对象互操作表达了一组对象在完成某一任务时的动态协作关系，对象互操作的行为描述与抽象是支持面向应用对象互操作的基础．对此，提出一种活动模型作为描述对象互操作行为的方法．该方法以一阶时态逻辑为基础，表达了互操作对象之间交换消息的时态顺序和不同活动之间的行为关系．在该方法中，提出了活动特化和活动聚合两种行为抽象机制，实现了对象互操作行为的复用．最后讨论了给定论域的类模式和活动模式的一致性集成问题。

大规模多数据库系统的互操作机制

Sharing data among disparate databases has so far mostly been achieved through some form of ad-hoc schema integration. This approach becomes less tractable as the number of participating database increases. In this paper,we first present the primary problems to be resolved in large multidatabase systems and discuss the autonomy and heteroheneity of large multidatabase systems and then describe a coalition agent mechanism to implement large multidatabase systems interoperation.

基于SP95标准的工厂模型设计与建模方法研究

为解决当前数字化工厂模型所存在的实时性不强和集成性不足等问题,提出了使用管控系统间集成通用标准--SP95标准进行数字化工厂建模。在应用SP95标准对工厂模型进行定义和描述的基础上,结合国内离散企业中的实际情况,提出了一种扩展的工厂模型。该模型在SP95标准的基础上扩展了料架和变量两个元素,并介绍了其实现方式和作用。通过SP95标准提供的功能,扩展了基于可扩展标记语言技术的制造标记语言的Schema结构,为业务系统集成提供统一的数据共享格式。最后给出了一个构建工厂模型的实例,验证了所提出的模型。

胜利勘探数据中心及勘探辅助决策系统研究

In the paper through extensive study and design, the technical plan for establishing the exploration database center is made to combine imported and self developed techniques. By research and repeated experiment a modern database center has been set up with its hardware and network having advanced performance, its system well configured, its data store and management complete, and its data support being fast and direct. Through study on the theory, method and model of decision an exploration decision assistant schema is designed with one decision plan of well location decision support system being evaluated and put into action. 1. Study on the establishment of Shengli exploration database center Research is made on the hardware configuration of the database center including its workstations and all connected hardware and system. The hardware of the database center is formed by connecting workstations, microcomputer workstations, disk arrays, and those equipments used for seismic processing and interpretation. Research on the data store and management includes the analysis of the contents to be managed, data flow, data standard, data QC, data backup and restore policy, optimization of database system. A reasonable data management regulation and workflow is made and the scientific exploration data management system is created. Data load is done by working out a schedule firstly and at last 200 more projects of seismic surveys has been loaded amount to 25TB. 2. Exploration work support system and its application Seismic data processing system support has the following features, automatic extraction of seismic attributes, GIS navigation, data order, extraction of any sized data cube, pseudo huge capacity disk array, standard output exchange format etc. The prestack data can be accessed by the processing system or data can be transferred to other processing system through standard exchange format. For supporting seismic interpretation system the following features exist such as auto scan and store of interpretation result, internal data quality control etc. the interpretation system is connected directly with database center to get real time support of seismic data, formation data and well data. Comprehensive geological study support is done through intranet with the ability to query or display data graphically on the navigation system under some geological constraints. Production management support system is mainly used to collect, analyze and display production data with its core technology on the controlled data collection and creation of multiple standard forms. 3. exploration decision support system design By classification of workflow and data flow of all the exploration stages and study on decision theory and method, target of each decision step, decision model and requirement, three concept models has been formed for the Shengli exploration decision support system including the exploration distribution support system, the well location support system and production management support system. the well location decision support system has passed evaluation and been put into action. 4. Technical advance Hardware and software match with high performance for the database center. By combining parallel computer system, database server, huge capacity ATL, disk array, network and firewall together to create the first exploration database center in China with reasonable configuration, high performance and able to manage the whole data sets of exploration. Huge exploration data management technology is formed where exploration data standards and management regulations are made to guarantee data quality, safety and security. Multifunction query and support system for comprehensive exploration information support. It includes support system for geological study, seismic processing and interpretation and production management. In the system a lot of new database and computer technology have been used to provide real time information support for exploration work. Finally is the design of Shengli exploration decision support system. 5. Application and benefit Data storage has reached the amount of 25TB with thousand of users in Shengli oil field to access data to improve work efficiency multiple times. The technology has also been applied by many other units of SINOPEC. Its application of providing data to a project named Exploration achievements and Evaluation of Favorable Targets in Hekou Area shortened the data preparation period from 30 days to 2 days, enriching data abundance 15 percent and getting information support from the database center perfectly. Its application to provide former processed result for a project named Pre-stack depth migration in Guxi fracture zone reduced the amount of repeated process and shortened work period of one month and improved processing precision and quality, saving capital investment of data processing of 30 million yuan. It application by providing project database automatically in project named Geological and seismic study of southern slope zone of Dongying Sag shortened data preparation time so that researchers have more time to do research, thus to improve interpretation precision and quality.

孤岛油田曲流河微相单砂体储层建筑结构及挖潜方向研究

In the intermediary and later stage of oil field development, remaining oil disperses fiercely, the contradiction in the layer has become the main problem and the distribution of remaining oil is transforming to the difference of single sand-body. So, the fine description research of reservoir is becoming a tendency and the methods of remaining oil research need new developments. In the research of “The Single-sand-body Architectural Element and Potentiality Analysis Research of Meandering River, GuDao Oil Field”, the research principle is analytical hierarchy process and schema prescription what are reservoir fine description methods under the condition of dense well pattern. The knowledge of regional sedimentary system and sedimentary facies is the foundation of this research. According to the 3D distribution model of the microfacies sand-body of fluvial facies, stratigraphic unit classification & coenocorrelation of 154 wells are completed in the research of meandering river sand-body in Ng3-4. In this research, the 3D distribution of microfacies sand-body in the main layers are settled. The architectural element model of Ng4 point bar is analysed using the drill core and FMI data. According to the overgrow model of point bar, the surfaces of lateral accretion is traced and the architectural element model of point bar is settled. In the research, the control of micro-facies sand-body of meandering river to the distribution of remaining oil is analysed and the potential area is proposed. All these will play an important role in the development of GuDao oil field. In this research, abundant of logging data, drill core data and production performance data are used to analyse the contributing factor of single sand-body in the Ng3-4 meandering river. Using the technology of geological modeling, all that are researched including the 3D distribution scales of meandering river point bar, the control affection of inner lateral accretion layer to the distribution of oil & gas and remaining. Then, the way of remaining oil development in the sand-body of meandering river is improved. The innovation of the research technology includes (1) the presentation of the conception and research methods of micro-facies sand-body (2) enriching the content of reservoir architectural element research and (3) to renew the research method of remaining oil analysis. The research has practiced with obvious effect.(1)It is deepened into understand the river facies reservoir construction of Gudao oil field, By Building the reservoir construction and studying the effect of diffent deposit or geological interface to fluid partition and to the distribution of the remaining oil, we improved the understanding to the distribution of the remaining oil；(2)By building the distribution mod of the remaining oil in the reservoir construction and making the remaining oil description detailed,the development direction of old oil field is more clear；(3)Expanded the application scales of the horizontal well and enhanced the application effects of the horizontal well technique , we designed and drilled 23 ports horizontal wells in all , the cumulative hydrocarbon production is 10.6*104 t；(4) According to the findings of the internal building structure in reservoir of the fluvial facies in the region of interest, and uniting the injection/production corresponding states、the producing history and the dynamic monitoring documents of the oil/water wells in the flooding units , we researched the residual oil distribution in the point bar , and found the distribution regular patterns of the remaining oil, and comprehended the distribution of the remaining oil . In base of that , we proceeded the optimizing designs of the oil well potentialities , and advanced the effect of the treatment potentials . It is proved that , it was very important that internal building structure research of the single sand body of reservoir for guiding the high efficiency potentialities of the remaining oil in the high water cut stage .

中学生问题解决中操作要求对资源分配的影响

Schema acquisition is one of the mechanisms of learning. How to design reasonable teaching material to promote schema acquisition is an important question that psychological researchers and educators both interested. Cognitive Load Theory indicates that: The cognitive resource of Human is limited, the organization and presentation of the learning material should avoid demanding the learner consume resource in actions that have nothing to do with schema acquisition. How can we do that? Sweller. J. et think: Increasing the operation cost of the learning material would make the students put more resource into the implementation of the operation, this kind of resource consuming has nothing to do with schema acquisition. So, in order to make the students put more resource into actions which relating to schema acquisition, we should decrease the operation cost of the learning material. But, the research results of O'Hara et indicate: In problem-solving of knowledge lean field, increasing the operation cost would make the college students invent more resource to plan and understanding actions. So, Increasing the operation cost would facilitate the schema acquisition. How operation cost will effect the Middle-School Students' (MSS) schema acquisition and resource distribution when they solve problems of knowledge lean/rich field? This is the main question this research want to make inquiry. IN this research, we use three experiments indicate: Increasing the operation cost of actions, the implementing action would be less and the planning action would be more. So, increasing the operation cost can promote the schema acquisition. We use "cost-benefit analysis" strategy to explain this result. This strategy means that: Human is rational, before doing one action, he will weigh the cost and the coming benefit of this action, if the coming benefit is higher than the cost, he will implement this action; if the cost is higher than the coming benefit, this action will be contained. On the one hand, this research further affirms the core opinion of the Cognitive Load Theory: Human's cognitive resource is limited, we should put the limited resource into actions which is related to the schema acquisition; On the other hand, for the learning material designing principle which is advanced by the Cognitive Load Theory, we raise our questions. Besides, the question we raised holds some identical views with the constructive learning opinion: Learning is not passive information absorption, but positively constructing the meaning of the information, besides, this kind of construction can't done by others. The result of this research can provide some theory guidance and experimental basis for the designing of the MSS's science teaching material from a complete new angle.