An Effective Method for Constructing Data Structures Solving an Array Maintenance Problem

In this paper a constructive method of data structures solving an array maintenance problem is offered. These data structures are defined in terms of a family of digraphs which have previously been defined, representing solutions for this problem. We present as well a prototype of the method in Haskell.

Multialgebraic Systems in Information Granulation

In different fields a conception of granules is applied both as a group of elements defined by internal properties and as something inseparable whole reflecting external properties. Granular computing may be interpreted in terms of abstraction, generalization, clustering, levels of abstraction, levels of detail, and so on. We have proposed to use multialgebraic systems as a mathematical tool for synthesis and analysis of granules and granule structures. The theorem of necessary and sufficient conditions for multialgebraic systems existence has been proved.

Conceptual Information Compression and Efficient Pattern Search

This paper introduces an encoding of knowledge representation statements as regular languages and proposes a two-phase approach to processing of explicitly declared conceptual information. The idea is presented for the simple conceptual graphs where conceptual pattern search is implemented by the so called projection operation. Projection calculations are organised into off-line preprocessing and run-time computations. This enables fast run-time treatment of NP-complete problems, given that the intermediate results of the off-line phase are kept in suitable data structures. The experiments with randomly-generated, middle-size knowledge bases support the claim that the suggested approach radically improves the run-time conceptual pattern search.

Mathematical Model of Re-Structuring Complex Technical and Economic Structures

Research and development of mathematical model of optimum distribution of resources (basically financial) for maintenance of the new (raised) quality (reliability) of complex system concerning, which the decision on its re-structuring is accepted, is stated. The final model gives answers (algorithm of calculation) to questions: how many elements of system to allocate on modernization, which elements, up to what level of depth modernization of each of allocated is necessary, and optimum answers are by criterion of minimization of financial charges.

Synthesis Methods of Multiple-valued Structures of Language Systems

The basic construction concepts of many-valued intellectual systems, which are adequate to primal problems of person activity and using hybrid tools with many-valued of coding are considered. The many-valued intellectual systems being two-place, but simulating neuron processes of space toting which are different on a level of actions, inertial and threshold of properties of neurons diaphragms, and also modification of frequency of following of the transmitted messages are created. All enumerated properties and functions in point of fact are essential not only are discrete on time, but also many-valued.

Multiple-Valued Structures of Intellectual Systems

The basic construction concepts of many-valued intellectual systems, which are adequate to primal problems of person activity and using hybrid tools with many-valued intellectual systems being two-place, but simulating neuron processes of space toting which are different on a level of actions, inertial and threshold of properties of neuron diaphragms, and also frequency modification of the following transmitted messages are created. All enumerated properties and functions in point of fact are essential not only are discrete on time, but also many-valued.

Arthur Lindo Patterson, his function and element preferences in early crystal structures

In 1934, Arthur Lindo Patterson showed that a map of interatomic vectors is obtainable from measured X-ray diffraction data without phase information. Such maps were interpretable for simple crystal structures, but proliferation and overlapping of peaks caused confusion as the number of atoms increased. Since the peak height of a vector between two particular atoms is related to the product of their atomic numbers, a complicated structure could effectively be reduced to a simple one by including just a few heavy atoms (of high atomic number) since their interatomic vectors would stand out from the general clutter. Once located, these atoms provide approximate phases for Fourier syntheses that reveal the locations of additional atoms. Surveys of small-molecule structures in the Cambridge Structural Database during the periods 1936-1969, when Patterson methods were commonly used, and 1980-2013, dominated by direct methods, demonstrate large differences in the abundance of certain elements. The moderately heavy elements K, Rb, As and Br are the heaviest elements in the structure more than 3 times as often in the early period than in the recent period. Examples are given of three triumphs of the heavy atom method and two initial failures that had to be overcome. © 2014 © 2014 Taylor & Francis.

Discovering knowledge structures in mind maps of mental health risks

This thesis addressed the problem of risk analysis in mental healthcare, with respect to the GRiST project at Aston University. That project provides a risk-screening tool based on the knowledge of 46 experts, captured as mind maps that describe relationships between risks and patterns of behavioural cues. Mind mapping, though, fails to impose control over content, and is not considered to formally represent knowledge. In contrast, this thesis treated GRiSTs mind maps as a rich knowledge base in need of refinement; that process drew on existing techniques for designing databases and knowledge bases. Identifying well-defined mind map concepts, though, was hindered by spelling mistakes, and by ambiguity and lack of coverage in the tools used for researching words. A novel use of the Edit Distance overcame those problems, by assessing similarities between mind map texts, and between spelling mistakes and suggested corrections. That algorithm further identified stems, the shortest text string found in related word-forms. As opposed to existing approaches’ reliance on built-in linguistic knowledge, this thesis devised a novel, more flexible text-based technique. An additional tool, Correspondence Analysis, found patterns in word usage that allowed machines to determine likely intended meanings for ambiguous words. Correspondence Analysis further produced clusters of related concepts, which in turn drove the automatic generation of novel mind maps. Such maps underpinned adjuncts to the mind mapping software used by GRiST; one such new facility generated novel mind maps, to reflect the collected expert knowledge on any specified concept. Mind maps from GRiST are stored as XML, which suggested storing them in an XML database. In fact, the entire approach here is ”XML-centric”, in that all stages rely on XML as far as possible. A XML-based query language allows user to retrieve information from the mind map knowledge base. The approach, it was concluded, will prove valuable to mind mapping in general, and to detecting patterns in any type of digital information.

Data structures for highly efficient querying of spatial data

The virtual quadrilateral is the coalescence of novel data structures that reduces the storage requirements of spatial data without jeopardizing the quality and operability of the inherent information. The data representative of the observed area is parsed to ascertain the necessary contiguous measures that, when contained, implicitly define a quadrilateral. The virtual quadrilateral then represents a geolocated area of the observed space where all of the measures are the same. The area, contoured as a rectangle, is pseudo-delimited by the opposite coordinates of the bounding area. Once defined, the virtual quadrilateral is representative of an area in the observed space and is represented in a database by the attributes of its bounding coordinates and measure of its contiguous space. Virtual quadrilaterals have been found to ensure a lossless reduction of the physical storage, maintain the implied features of the data, facilitate the rapid retrieval of vast amount of the represented spatial data and accommodate complex queries. The methods presented herein demonstrate that virtual quadrilaterals are created quite easily, are stable and versatile objects in a database and have proven to be beneficial to exigent spatial data applications such as geographic information systems. ^

Thermodynamic description and phase transformation of highly symmetrical monoatomic structures

Based on theoretical considerations an explanation for the temperature dependence of the thermal expansion and the bulk modulus is proposed. A new equation state is also derived. Additionally a physical explanation for the latent heat of fusion is presented. These theoretical predictions are tested against experiments on highly symmetrical monatomic structures. ^ The volume is not an independent variable and must be broken down into its fundamental components when the relationships to the pressure and temperature are defined. Using zero pressure and temperature reference frame, the initial parameters, volume at zero pressure and temperature[V°], bulk modulus at zero temperature [K°] and volume coefficient of thermal expansion at zero pressure[α°] are defined. ^ The new derived EoS is tested against the experiments on perovskite and epsilon iron. The Root-mean-square-deviations (RMSD) of the residuals of the molar volume, pressure, and temperature are in the range of the uncertainty of the experiments. ^ Separating the experiments into 200 K ranges, the new EoS was compared to the most widely used finite strain, interatomic potential, and empirical isothermal EoSs such as the Burch-Murnaghan, the Vinet, and the Roy-Roy respectively. Correlation coefficients, RMSD's of the residuals, and Akaike Information Criteria were used for evaluating the fitting. Based on these fitting parameters, the new p-V-T EoS is superior in every temperature range relative to the investigated conventional isothermal EoS. ^ The new EoS for epsilon iron reproduces the preliminary-reference earth-model (PREM) densities at 6100-7400 K indicating that the presence of light elements might not be necessary to explain the Earth's inner core densities. ^ It is suggested that the latent heat of fusion supplies the energy required for overcoming on the viscous drag resistance of the atoms. The calculated energies for melts formed from highly symmetrical packing arrangements correlate very well with experimentally determined latent heat values. ^ The optical investigation of carhonado-diamond is also part of the dissertation. The collected first complete infrared FTIR absorption spectra for carhonado-diamond confirm the interstellar origin for the most enigmatic diamonds known as carbonado. ^

Design of an information system for metrology contents

Dimensional and form inspections are key to the manufacturing and assembly of products. Product verification can involve a number of different measuring instruments operated using their dedicated software. Typically, each of these instruments with their associated software is more suitable for the verification of a pre-specified quality characteristic of the product than others. The number of different systems and software applications to perform a complete measurement of products and assemblies within a manufacturing organisation is therefore expected to be large. This number becomes even larger as advances in measurement technologies are made. The idea of a universal software application for any instrument still appears to be only a theoretical possibility. A need for information integration is apparent. In this paper, a design of an information system to consistently manage (store, search, retrieve, search, secure) measurement results from various instruments and software applications is introduced. Two of the main ideas underlying the proposed system include abstracting structures and formats of measurement files from the data so that complexity and compatibility between different approaches to measurement data modelling is avoided. Secondly, the information within a file is enriched with meta-information to facilitate its consistent storage and retrieval. To demonstrate the designed information system, a web application is implemented. © Springer-Verlag Berlin Heidelberg 2010.

Étude descriptive du développement des habiletés en compréhension de textes d'élèves de deuxième et de quatrième années en fonction des structures narratives non dialogique et dialogique

La majorité des situations dans lesquelles l'enfant fait ses apprentissages requièrent l'activité de lecture. Au-delà, des mots, au-delà de la simple perception physique du langage, Smith (1977) décrit la structure profonde du langage comme la signification que le lecteur donne à un texte, en plus du sens propre du texte lui-même. Pour le lecteur, le sens d'un texte comprend l'information qu'il en extrait, en plus de certaines informations qu'il en infère. En d'autres mots, le sens correspond aux réponses que le lecteur obtient à ses questions cognitives. En conséquence, la structure profonde de la langue se présente réellement comme le processus par lequel le discours est produit et compris. Elle se trouve à la fois dans la tête de l'individu et dans le texte; elle fait partie de la théorie du monde du lecteur. […]La présente recherche s'inscrit dans le modèle constructiviste de la compréhension en lecture. Son objectif propre est de donner des indices sur le développement des habiletés en compréhension chez des élèves de deuxième et quatrième années de l'école primaire. Peu de recherches s'y sont intéressées. On utilisera un protocole de recherche de type factoriel 2*2*2*2 (2 types de structures de textes * 2 niveaux de complexité des textes * 2 niveaux scolaires * 2 ordres de présentation des textes).

Ground Plane Slot Structures for Isolation of Cosited Microstrip Antennas

Ground plane slot structures have been shown to reduce coupling between cosited antennas. Although some such structures have already been reported, no analytical model exists to describe their behavior and there are no design guidelines. In this work, the behavior of reported ground plane structures is used as a clue to obtain generalizable information about such structures' behavior. The structures' scalability and excitation behavior is investigated. Next a circuit model is derived that describes the interaction of microstrip patch antennas with a ground plane slot structure based on mutual admittances between the ground plane slots and the effective slots at the antennas' radiating edges. The circuit model leads to design guidelines for the ground plane slot structure and an approximate relationship between mutual admittances which must be satisfied in order to isolate the antennas. Finally, we present a novel ground plane slot structure that mitigates some of the disadvantages of earlier designs.

Core-level photoemission investigations of the CDTE(100) and INSB(100) surface and interfacial structures

Photoemission techniques, utilizing a synchrotron light source, were used to analyze the clean (100) surfaces of the zinc-blende semiconductor materials CdTe and InSb. Several interfacial systems involving the surfaces of these materials were also studied, including the CdTe(lOO)-Ag interface, the CdTe(lOO)-Sb system, and the InSb(lOO)-Sn interface. High-energy electron diffraction was also employed to acquire information about of surface structure. A one-domain (2xl) structure was observed for the CdTe(lOO) surface. Analysis of photoemission spectra of the Cd 4d core level for this surface structure revealed two components resulting from Cd surface atoms. The total intensity of these components accounts for a full monolayer of Cd atoms on the surface. A structural model is discussed commensurate with these results. Photoemission spectra of the Cd and Te 4d core levels indicate that Ag or Sb deposited on the CdTe(l00)-(2xl) surface at room temperature do not bound strongly to the surface Cd atoms. The room temperature growth characteristics for these two elements on the CdTe(lOO)-(2xl) are discussed. The growth at elevated substrate temperatures was also studied for Sb deposition. The InSb(lOO) surface differed from the CdTe(lOO) surface. Using molecular beam epitaxy, several structures could be generated for the InSb(lOO) surface, including a c(8x2), a c(4x4), an asymmetric (lx3), a symmetric (lx3), and a (lxl). Analysis of photoemission intensities and line shapes indicates that the c(4x4) surface is terminated with 1-3/4 monolayers of Sb atoms. The c(8x2) surface is found to be terminated with 3/4 monolayer of In atoms. Structural models for both of these surfaces are proposed based upon the photoemission results and upon models of the similar GaAs(lOO) structures. The room temperature growth characteristics of grey Sn on the lnSb(lOO)-c(4x4) and InSb(l00)-c(8x2) surfaces were studied with photoemission. The discontinuity in the valence band maximum for this semiconductor heterojunction system is measured to be 0.40 eV, independent of the starting surface structure and stoichiometry. This result is reconciled with theoretical predictions for heterostructure behavior.

THERMODYNAMICS AND APPLICATION OF A PAIR OF SYNTHETIC NUCLEOBASES FROM ARTIFICIALLY EXPANDED GENETIC INFORMATION SYSTEM

UV-melting experiments were performed on 9-mer duplexes containing a pair of synthetic nucleobases P·Z, two members of Expanded Genetic Information System (AEGIS), or P, Z containing mismatches. Enthalpy, entropy and free energy change were derived from simulation using two-state transition model. Nearest neighbor thermodynamic parameters of trimers or tetramers containing P·Z pair or P, Z containing mismatches were derived based on known nearest neighbor parameters. Proposed structures based on thermodynamic parameters are discussed. An application using P·Z pair as reverse selection tool of desired nucleic acid secondary structure is described.