Models of approximation in databases

Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some “world”, the combined databases will not be, and answers to queries against such combined databases can only be approximated. In this paper we describe various situations in which a precise answer cannot be obtained for a query asked against multiple databases. Based on an analysis of these situations, we propose a classification of constructs that can be used to model approximations.

The main goal of the paper is to study several formal models of approximations and their semantics. In particular, we obtain universality properties for these models of approximations. Universality properties suggest syntax for languages with approximations based on the operations which are naturally associated with them. We prove universality properties for most of the approximation constructs. Then we design languages built around datatypes given by the approximation constructs. A straightforward approach results in languages that have a number of limitations. In an attempt to overcome those limitations, we explain how all the languages can be embedded into a language for conjunctive and disjunctive sets from Libkin and Wong (1996) and demonstrate its usefulness in querying independent databases. We also discuss the semantics of approximation constructs and the relationship between them.     

Industrial application integration using the unification approach to agent-enabled semantic SOA

Within the enterprise, information infrastructure as the mean to bring together different software applications is the key component to enable cooperation and information and knowledge exchange in an open-distributed environment. The paper addresses the issues of industrial application integration in business processes using agent-enabled service-oriented architectures (SOA). In this paper, we show that agent-enabled SOA can play an important role for service integration. Our framework combines Web services (WS) and intelligent agent technologies orchestrated by a business process management system. This framework looks for unification of agent and WS service models, is grounded in a semantic SOA of an agent platform and is supported by the Component Agent Platform Over .NET Framework agent platform tools. We describe the architecture and illustrate the approach by an industrial application scenario from petroleum wells’ drilling.     

Early Postoperative Immunothrombosis of Bioprosthetic Mitral Valve and Left Atrium: A Case Report

A 72-year-old female patient with mixed rheumatic mitral valve disease and persistent atrial fibrillation underwent mitral valve replacement and suffered from a combined thrombosis of the bioprosthetic valve and the left atrium as soon as 2 days post operation. The patient immediately underwent repeated valve replacement and left atrial thrombectomy. Yet, four days later the patient died due to the recurrent prosthetic valve and left atrial thrombosis which both resulted in an extremely low cardiac output. In this patient’s case, the thrombosis was notable for the resistance to anticoagulant therapy as well as for aggressive neutrophil infiltration and release of neutrophil extracellular traps (NETs) within the clot, as demonstrated by immunostaining. The reasons behind these phenomena remained unclear, as no signs of sepsis or contamination of the BHV were documented, although the patient was diagnosed with inherited thrombophilia that could impede the fibrinolysis. The described case highlights the hazard of immunothrombosis upon valve replacement and elucidates its mechanisms in this surgical setting.     

A new approach to radioactive waste self-burial using high penetrating radiation

The method of self-burial of radioactive waste in geological formations using direct heating of rocks by radiation is proposed in this paper. In the currently known studies, thermal conductivity is considered as a main heat transfer mechanism. Application of high penetrating gamma radiation for direct melting of surrounding rocks will reduce the energy absorption inside the sinking device and will lower maximum temperature and temperature gradients in the elements of the device. In this paper, conditions of realization of the direct heating by radiation mechanism are presented and requirements to heat-generating radionuclides have been derived. Assessments of the spatial distribution of energy release in the surrounding rocks for the point and plane sources with the radionuclide ⁶⁰Co have been performed. Based on these data, the temperature distributions in the surrounding rocks and the expression for determining the descent velocity as a function of ⁶⁰Co surface activity in the sinking device have been obtained. Estimations of energy absorption fraction inside the spherical heat-generating elements filled with ⁶⁰Co and surface activity of ⁶⁰Co, necessary to achieve velocity of about 1 km per year, have been made. The results are given for granite and salt rocks.     

含有固化生物活性物质的高分子纤维及膜材料

通过调节高分子体系的结构,可以有目的性地设计含有固化药物成分（如生物酶和／或抗菌剂）的高分子基体结构,生物活性的高低主要由固化的药物成分决定。     

In-Situ Analyzing the Influence of Thermoelectromagnetic Convection on the Nucleation Ahead of the Advancing Interface During Directional Solidification

Sn-3wt%Pb alloy was directionally solidified without and with a 0.08T transverse magnetic field(TMF),and real-time recorded by in-situ synchrotron X-ray imaging.Results indicate that TMF shortened the distance from the location of nucleation to the advancing interface,and accelerated the growth rate of the equiaxed crystal,which caused the columnar-to-equiaxed transition(CET)finally.The thermoelectromagnetic convection(TEMC)in front of the interface and around the crystal’s dendritic branch should respond to changes of the distance and the growth rate.     

Increasing the Level of Automation in the Forestry Logging Process with Crane Trajectory Planning and Control

Working with forestry machines requires a great deal of training to be sufficiently skilled to operate forestry cranes. In view of this, it would be desirable within the forestry industry to introduce automated motions, such as those seen in robotic arms, to shorten the training time and make the work of the operator easier. Motivated by this fact, we have developed two experimental platforms for testing control systems and motion‐planning algorithms in real time. They correspond to a laboratory setup and a commercial version of a hydraulic manipulator used in forwarder machines. The aim of this article is to present the results of this development by providing an overview of our trajectory‐planning algorithm and motion‐control method, with a subsequent view of the experimental results. For motion control, we design feedback controllers that are able to track reference trajectories based on sensor measurements. Likewise, we provide arguments to design controllers in an open‐loop for machines that lack sensing devices. Relying on the tracking efficiency of these controllers, we design time‐efficient reference trajectories of motions that correspond to logging tasks. To demonstrate performance, we provide an overview of extensive testing done on these machines.