Combining knowledge present in multiple knowledge base systems into a single knowledge base is discussed. A knowledge based system can be considered an extension of a deductive database in that it permits function symbols as part of the theory. Alternative knowledge bases that deal with the same subject matter are considered. The authors define the concept of combining knowledge present in a set of knowledge bases and present algorithms to maximally combine them so that the combination is consistent with respect to the integrity constraints associated with the knowledge bases. For this, the authors define the concept of maximality and prove that the algorithms presented combine the knowledge bases to generate a maximal theory. The authors also discuss the relationships between combining multiple knowledge bases and the view update problem 相似文献
An investigation was carried out to examine the influence of microstructure on the stress corrosion cracking (SCC) growth behavior of an austempered high-carbon (1.00%), high-silicon (3.00%), and high-manganese (2.00%) cast steel. Compact tension specimens were prepared from this cast steel as per American Society for Testing Materials standard E-399 and were given four different heat treatments to produce different microstructures. The SCC behavior of these specimens was studied in 3.5% NaCl solution. The test results indicate the KISCCvalue of the material increases as the austenite content increases. Significant improvement in SCC resistance was achieved by using a novel two-step austempering process. Intergranular crack growth was observed in all these specimens. 相似文献
Modeling molecular interactions in signalling networks is important from various perspectives such as predicting side effects
of drugs, explaining unusual cellular behavior and drug and therapy design. Various formal languages have been proposed for
representing and reasoning about molecular interactions. The interactions are modeled as triggered events in most of the approaches.
The triggering of events is assumed to be immediate: once an interaction is triggered, it should occur immediately. Although
working well for engineering systems, this assumption poses a serious problem in modeling biological systems. Our knowledge
about biological systems is inherently incomplete, thus molecular interactions are constantly elaborated and refined at different
granularity of abstraction. The model of immediate triggers can not consistently deal with this refinement. In this paper
we propose an action language to address this problem. We show that the language allows for refinements of biological knowledge,
although at a higher cost in terms of complexity.
相似文献
An optical nanothermometer technique based on laser trapping, moving and targeted attaching an erbium oxide nanoparticle cluster is developed to measure the local temperature. The authors apply this new nanoscale temperature measuring technique (limited by the size of the nanoparticles) to measure the temperature of vapor nucleation in water. Vapor nucleation is observed after superheating water above the boiling point for degassed and nondegassed water. The average nucleation temperature for water without gas is 560 K but this temperature is lowered by 100 K when gas is introduced into the water. The authors are able to measure the temperature inside the bubble during bubble formation and find that the temperature inside the bubble spikes to over 1000 K because the heat source (optically‐heated nanorods) is no longer connected to liquid water and heat dissipation is greatly reduced. 相似文献
This paper presents results from a test developed to simulate the water impact (slamming) loading of sandwich boat structures. A weighted elastomer ball is dropped from increasing heights onto rigidly supported panels until damage is detected. Results from this test indicate that honeycomb core sandwich panels, the most widely used material for racing yacht hulls, start to damage due to core crushing at impact energies around 550 J. Sandwich panels of the same areal weight and with the same carbon/epoxy facings but using a novel foam core reinforced in the thickness direction with pultruded carbon fibre pins, do not show signs of damage until above 1200 J impact energy. This suggests that these will offer significantly improved resistance to wave impact. Quasi-static test results cannot be used to predict impact resistance here as the crush strength of the pinned foam is more sensitive to loading rate than that of the honeycomb core. 相似文献
This paper reports a novel remotely actuated manipulator for access to prostate tissue under magnetic resonance imaging guidance (APT-MRI) device, designed for use in a standard high-field MRI scanner. The device provides three-dimensional MRI guided needle placement with millimeter accuracy under physician control. Procedures enabled by this device include MRI guided needle biopsy, fiducial marker placements, and therapy delivery. Its compact size allows for use in both standard cylindrical and open configuration MRI scanners. Preliminary in vivo canine experiments and first clinical trials are reported. 相似文献
This paper presents the comparative study on linearity and analog/radio frequency presentation of an III–V staggered hetero-junction nanowire (NW) TFET with Si and InAs based NW TFET of same dimension. The device parameter of analog/RF performance for low power application such as transconductance (gm), output resistance (RO), intrinsic gain (gmR0), cut-off frequency (fT), maximum frequency of oscillation (fmax), gain bandwidth product (GBW), VIP2, VIP3 as well as 1-dB compression point has been explored. There is a better improvement in analog/radio frequency presentation obtained from heterojunction NW TFET over Si and InAs TFET. The result reveals that heterojunction TFET provides superior intrinsic gain, higher cutoff frequency, higher GBW better linearity performance as compared to Si and InAs TFET.