Evaluation of recursive queries with extended rules in deductivedatabases

In order to extend the expressive power of deductive databases, a formula that can have existential quantifiers in prenex normal form in a restricted way is defined as an extended rule. With the extended rule, we can easily define a virtual view that requires a division operation of relational algebra to evaluate. The paper addresses a recursive query evaluation where at least one formula in a recursive rule set is of an extended rule. We investigate transformable recursions as well as four cases of non-transformable recursions of transitive-closure-like and linear type. The work reveals that occurrence of an existentially quantified variable in the extended recursive body predicate might dramatically limit the level of recursive search. In particular, the number of iterations to answer extended queries can be determined, independently of database contents     

Ultrasonic thin-walled tube wave structure for sensing devices

Theoretical and experimental investigations of thin-walled tube acoustic wave devices for gravimetric sensing applications are presented. Integrated sensor configurations have been demonstrated by employing a sol-gel processed thin piezoelectric lead zirconate titanate (PZT) film. This was coated coaxially on stainless steel tubes and interdigital transducers (IDT) fabricated as the transmitter and receiver on the curved tube surfaces. We have observed tube waves along both the axial and circumferential directions between 1 and 6.6 MHz. We have also analyzed the mass sensitivities of different modes propagating along the tubes and shown that high mass sensitivity can be achieved by keeping the tube wall thin     

Gain optimization for Yagi-Uda arrays

The author presents a personal account of the search for a design procedure for Yagi-Uda antenna arrays yielding a maximum gain, or directivity if element losses are neglected. Results on current distributions in the array are briefly reviewed. The analytical approach used to achieve gain optimization by means spacing and length perturbations is sketched. By using both spacing and length perturbations, it was possible to find the optimized array analytically in a systematic way, some examples having gain increases of nearly 80%. The effects of finite dipole radius and mutual coupling were included in the theoretical treatment     

Numerical Simulation of Deforming Manufacture Process for Automobile Bevel Gear Blank

1 Introduction Rear axle bevel gearis a vital kind of annular accessory with high precision and hugeload availablefeatures ,andit is widely used as the differential drive in automobiles and tractor .In China ,the traditional manufactureapproach of producing the rear axle bevel gear blankis die forging,which not only requires a highinvestment ofproduct equipments , but also involves a low material utilization and great noise .In order to overcome thesedrawbacks , manyresearchers have done a gre…     

双能X射线骨密度仪测定技术研究

以Ｌｕｎａｒ公司ＤＰＸ－Ｌ型双能Ｘ射线骨密度仪为例，研究引起测量误差的主要因素并提出质控措施。用自检模块、腰椎体膜评定仪器的体外测量精度好于１％。对１０位志愿者重复２次测量，体内精度对腰椎，ＭＰＤ（平均百分差）为０．４６，ＣＶ（变异系数）为０．７５；对股骨颈，ＭＰＤ为１．２６、ＣＶ为０．４７；Ｗａｒｄ’ｓ三角区ＭＰＤ为２．０１、ＣＶ为１．１４；大转子ＭＰＤ为１．６６、ＣＶ为０．７２。扫描图像由２位     

Cell cycle regulation of the Saccharomyces cerevisiae polo-like kinase cdc5p

Progression through and completion of mitosis require the actions of the evolutionarily conserved Polo kinase. We have determined that the levels of Cdc5p, a Saccharomyces cerevisiae member of the Polo family of mitotic kinases, are cell cycle regulated. Cdc5p accumulates in the nuclei of G2/M-phase cells, and its levels decline dramatically as cells progress through anaphase and begin telophase. We report that Cdc5p levels are sensitive to mutations in key components of the anaphase-promoting complex (APC). We have determined that Cdc5p-associated kinase activity is restricted to G2/M and that this activity is posttranslationally regulated. These results further link the actions of the APC to the completion of mitosis and suggest possible roles for Cdc5p during progression through and completion of mitosis.     

NCD－环上模的理论探讨

研究了ＮＣＤ－环上模Ｍ，在模半理想的条件下，可得到一些有趣的结果。     

Synthesis and characterization of block copolymers from D,L-lactide and poly(tetramethylene ether glycol)

The copolymer from D ,L -lactide and poly(tetramethyene ether glycol) (PTMG) was prepared in bulk with an isotributyl aluminum–water–phosphoric acid complex catalyst as the initiator and characterized by H-NMR, GPC, and DSC. The effects of the temperature and the amount of PTMG on the polymerization rate and the molecular weight of copolymers were studied. The behavior of the degradation and delivery rate of Levonorgestrel microspheres in vitro was observed. The results show that the degradation and the delivery rate can be controlled by adjusting the molar rate of hydrophilic and hydrophobic segments of the copolymer © 1995 John Wiley & Sons, Inc.     

天津市正常人全血和血清微量元素含量分析

人体内微量元素含量平衡与否与人体健康状态有着密切关系已为大量实践所证实。人体血液中微量元素的正常值测定是研究人体健康与微量元素关系的一项基础性工作,本文提供了天津市正常人全血及血清中几种微量元素含量的数据。     

HAR-sEMG: A Dataset for Human Activity Recognition on Lower-Limb sEMG

Knowledge and Information Systems - In the past decade, human activity recognition (HAR) has grown in popularity due to its applications in security and entertainment. As recent years have...