Schematization of networks

We study the problem of computing schematized versions of network maps, like railroad or highway maps. Every path of the schematized map has two or three links with restricted orientations, and the schematized map must be topologically equivalent to the input map. Our approach can handle several types of schematizations, and certain additional constraints can be added, such as a minimum vertical distance between two paths. Our algorithm runs in O(nlogn) time, and experimental results showing the quality of the output are given.     

An exploration of students’ errors in derivatives in a university of technology

This paper reports on an exploration of errors that were displayed by students who studied mathematics in chemical engineering in derivatives of various functions such as algebraic, exponential, logarithmic and trigonometric functions. The participants of this study were a group of twenty students who were at risk in an extended curriculum programme in a university of technology in Western Cape, South Africa. The researcher used a qualitative case study approach and collected data from students’ written work. This research uses action, process, object, and schema (APOS) theory to classify errors into categories and to analyse and interpret the data collected. The students displayed five different kinds of errors, namely, conceptual, interpretation, linear extrapolation, procedural and arbitrary. The use of APOS theory as a framework revealed that several students’ errors might be caused by over-generalisation of mathematical rules and properties such as the power rule of differentiation and distributive property in manipulation of algebraic expressions. This study suggests that teaching of the standard rules of differentiation should put emphasis on its restrictions to eliminate common errors that normally crop up due to over-generalisation of certain differentiation rules.     

XML-Data模式的一致性问题

运用键、外键和XML-Data模式篱笆等概念研究了XM-Data模式的一致性问题，XML-Data模式的一致性问题就是判断是否存在一个既满足XML-Data模式又满足完整性约束的XML-Data模式篱笆．提出了XML-Data模式及XML-Data模式篱笆的概念．给出了如何从现有的XML-Data模式构造XML-Data模式篱笆的算法并且证明了XML-Data模式的一致性问题是不可判定的。     

Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)

An XML schema is a set of rules for defining the allowed sub-elements of any element in an XML document. These rules use regular expressions to define the language of the element's children. Updates to an XML schema are updates to the regular expressions defined by the schema rules. We consider an interactive, data administration tool for XML databases. In this tool, changes on an XML schema are activated by updates that violate the validity of an XML document. Our schema validator is a Datalog program, resulting from the translation of a given XML schema. Changing the schema implies changing the validator.The main contribution of this paper is an algorithm allowing the evolution of XML schemas. This algorithm is based on the computation of new regular expressions to extend a given regular language in a conservative way, trying to foresee the needs of an application. A translation function from schema constraints to Datalog programs is introduced. The validation of an XML tree corresponds to the evaluation of the Datalog program over the tree. Our method allows the maintenance of the Datalog program in an incremental way, i.e., without redoing the entire translation.     

关系模式规范化的几个算法

本文在不计算函数依赖集闭包的情况下,给出了求关系模式关键字、BCNF判定和分解、寻找BCNF分解中丢失的函数依赖等几个算法。     

Theoretical and Empirical Properties of the Genetic Algorithm as a Numerical Optimizer

Abstract

We investigate the basic form of the genetic algorithm as an optimization technique. Its failure to maximize a simple function of a string of 50 binary variables prompts a closer study of Holland's “schema theorem” and we find the implications of this result to be much weaker than are often claimed. Further theoretical results and exact calculations for simple problems provide an understanding of how the genetic algorithm works and why it failed in our original application. We show that the algorithm can be fine tuned to succeed in that problem but only by introducing features that could cause serious difficulties in harder problems.     

基于模式约束的XML数据存储和索引技术

对XML数据建立有效的索引,是左右XML数据处理性能的重要因素.现有的索引和存储策略,大部分以丢失结构信息为代价,不利于结构查询和更新.XMLSchema作为描述XML文档结构信息的标准,对文档和查询路径进行有效性验证提供保证,基于此提出了一种基于XMLmSchema模式约束的XML文档数据索引技术SBXI,用于文档数据存储和查询的导航,提高了存储和查询效率,具有较高的空间利用率和较低的索引维护代价,并支持含有多个谓词的复杂查询.     

协议一致性测试中的编解码方案

由于协议一致性测试的现实需求以及现有处理工具的不足,提出了一种可扩展的编解码GCodec,并给出了相应的设计方案与原型实现。该方案不仅解决了现有工具生成中间文件过大的问题,并具备更好的语言扩展性和编码规则扩展性。此方案的实现已初步用于工业界的协议一致性测试,使测试工具的编解码模块可以做到真正的插件式开发,取得了预期的成果。     

XML-based data management system for combinatorial solid-state materials science

Informatics tools are an important part of the high-throughput or combinatorial materials development process. Particularly for thin film studies, the rate of sample synthesis and characterization has increased to a point where the throughput of the whole materials development process is limited by the ability to process the characterization data and design new experiments. We describe in this work software tools that we have developed to solve the data management problems. In particular, we discuss the use of extensible markup language (XML) to address the problem of representing structurally varied experimental data in a data management system without having to make modifications to the core software parts whenever the materials processing or characterization tools or sample and data handling procedures change.