The Development of Parallel Resolution Algorithms Using the Graph Representation

The parallel resolution procedures based on graph structures method are presented. OR-, AND- and DCDP- parallel inference on connection graph representation is explored and modifications to these algorithms using heuristic estimation are proposed. The principles for designing these heuristic functions are thoroughly discussed. The colored clause graphs resolution principle is presented. The comparison of efficiency (on the Steamroller problem) is carried out and the results are presented. The parallel unification algorithm used in the parallel inference procedure is briefly outlined in the final part of the paper.

An Analysis of Some Relations Among Domain Ontologies

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

Az európai gazdasági kormányzás előtt álló kihívások. A hármas tagadás lehetetlensége (Challenges of European economic governance. The impossible trinity of denial.)

Az európai gazdasági integráció folyamata olyan kényszerhelyzetekben formálódott a múltban, amelyek a közgazdaságtudományban jól ismert lehetetlen háromság alapján is leírhatók. Az Európai Monetáris Rendszer a rögzített árfolyam-mechanizmusra és önálló jegybanki politikára épített, korlátozva a tőkemozgásokat. A Gazdasági és Monetáris Unió ugyanakkor a tőke szabad áramlásával és az árfolyamok visszavonhatatlan rögzítésével felszámolta a tagállami szintű jegybanki autonómiát. Az euróövezet működése egyszersmind arra a háromszoros tagadásra épül(t), hogy 1. nem lehetséges az euróövezetből való kilépés, 2. nem engedélyezett a kimentés és 3. nem kerülhet sor államcsődre. A 2008-ban Európát is elérő pénzügyi és gazdasági válság azonban elemi erővel mutatott rá e hármas tiltás tarthatatlanságára. A gazdasági kormányzás körül kibontakozott viták így jól közelíthetők a három tiltó szabály egyidejű érvényesülése lehetetlenségének bemutatásával, számba véve az egyes opciók költségeit és lehetséges hasznait. / === / The process of economic integration in the EU has been shaped by the well-known theorem of the impossible trinity. Accordingly, the European Monetary System was built upon a mix of a fixed exchange-rate regime and an autonomous monetary policy, thereby constraining capital mobility. In launching the EMU project, the EU countries decided to fix national currencies irrevocably and maintain full capital mobility, in exchange for delegating their monetary policy upwards to a supranational level. The introduction of the Euro zone, however, has simultaneously meant denial of the following three elements: (1) exit, (2) bail-out, and (3) default. Nevertheless, the 2008–9 financial and economic crisis has demonstrated mercilessly that these three pillars are incompatible with each other. So the current debates on reshaping economic governance in the EU can be modelled by introducing the “impossible trinity of denial”, concentrating on the benefits and the costs of each option.

A longitudinal study of Project Trio: A dropout prevention program in a large urban environment

The subject of dropout prevention/reduction is deservedly receiving attention as a problem that, if not resolved, could threaten our national future.^ This study investigates a small segment of the overall dropout problem, which has apparently unique features of program design and population selection. The evidence presented here should add to the knowledge bank of this complicated problem.^ Project Trio was one of a number of dropout prevention programs and activities which were conducted in Dade County school years 1984-85 and 1985-86, and it is here investigated longitudinally through the end of the 1987-88 school year. It involved 17 junior and senior high schools, and 27 programs, 10 the first year and 17 the second, with over 1,000 total students, who had been selected by the schools from a list of the "at risk" students provided by the district, and were divided approximately evenly into the classical research design of an experimental group and the control group, which following standard procedure was to take the regular school curriculum. No school had more than 25 students in either group.^ Each school modified the basic design of the project to accommodate the individual school characteristics and the perceived needs of their students; however all schools projects were to include some form of academic enhancement, counseling and career awareness study.^ The conclusion of this study was that the control group had a significantly lower dropout rate than the experimental group. Though impossible to make a certain determination of the reasons for this unexpected result, it appears from evidence presented that one cause may have been inadequate administration at the local level.^ This study was also a longitudinal investigation of the "at risk" population as a whole for the three and four year period, to determine if academic factors were present in records may be used to identify dropout proneness.^ A significant correlation was found between dropping out and various measures including scores on the Quality of School Life Instrument, attendance, grade point averages, mathematics grades, and overage in grade, important identifiers in selection for dropout prevention programs. ^

Developing a high density platinum/alumina hermetic feedthrough

Typically, hermetic feedthroughs for implantable devices, such as pacemakers, use a alumina ceramic insulator brazed to a platinum wire pin. This combination of material has a long history in implantable devices and has been approved by the FDA for implantable hermetic feedthroughs. The growing demand for increased input/output (I/O) hermetic feedthroughs for implantable neural stimulator applications could be addressed by developing a new, cofired platinum/alumina multilayer ceramic technology in a configuration that supports 300 plus I/Os, which is not commercially available. Seven platinum powders with different particle sizes were used to develop different conductive cofire inks to control the densification mismatch between platinum and alumina. Firing profile (ramp rate, burn- out and holding times) and firing atmosphere and concentrations (hydrogen (wet/dry), air, neutral, vacuum) were also optimized. Platinum and alumina exhibit the alloy formation reaction in a reduced atmosphere. Formation of any compound can increase the bonding of the metal/ceramic interface, resulting in enhanced hermeticity. The feedthrough fabricated in a reduced atmosphere demonstrated significantly superior performance than that of other atmospheres. A composite structure of tungsten/platinum ratios graded thru the via structure (pure W, 50/50 W/Pt, 80/20 Pt/W and pure Pt) exhibited the best performance in comparison to the performance of other materials used for ink metallization. Studies on the high temperature reaction of platinum and alumina, previously unreported, showed that, at low temperatures in reduced atmosphere, Pt 3Al or Pt8Al21 with a tetragonal structure would be formed. Cubic Pt3Al is formed upon heating the sample to temperatures above 1350 °C. This cubic structure is the equilibrium state of Pt-Al alloy at high temperatures. The alumina dissolves into the platinum ink and is redeposited as a surface coating. This was observed on both cofired samples and pure platinum thin films coated on a 99.6 Wt% alumina and fired at 1550 °C. Different mechanisms are proposed to describe this behavior based on the size of the platinum particle