A framework for linguistic logic programming

Lawry's label semantics for modeling and computing with linguistic information in natural language provides a clear interpretation of linguistic expressions and thus a transparent model for real‐world applications. Meanwhile, annotated logic programs (ALPs) and its fuzzy extension AFLPs have been developed as an extension of classical logic programs offering a powerful computational framework for handling uncertain and imprecise data within logic programs. This paper proposes annotated linguistic logic programs (ALLPs) that embed Lawry's label semantics into the ALP/AFLP syntax, providing a linguistic logic programming formalism for development of automated reasoning systems involving soft data as vague and imprecise concepts occurring frequently in natural language. The syntax of ALLPs is introduced, and their declarative semantics is studied. The ALLP SLD‐style proof procedure is then defined and proved to be sound and complete with respect to the declarative semantics of ALLPs. © 2010 Wiley Periodicals, Inc.     

A Quasi-ARMAX approach to modelling of non-linear systems

This paper proposes a class of quasi-ARMAX models for non-linear systems. Similar to ordinary non-linear ARMAX models, the quasi-ARMAX models are flexible black-box models, but they have various linearity properties similar to those of linear ARMAX models. A modelling scheme is introduced to construct models consisting of two parts: a macro-part and a kernel-part. By using Taylor expansion and other mathematical transformation techniques, it is first constructed as a class of quasi-ARMAX interfaces (macro-parts) that have various linearity properties but contain some complicated coefficients. MIMO neurofuzzy models (kernel-parts) are then introduced to represent the complicated coefficients. It is shown that the proposed quasi-ARMAX models have both good approximation ability and some easy-to-use properties. The proposed models have been successfully applied to prediction, fault detection and adaptive control of non-linear systems.     

基于结构优化的张弦立体桁架经济性分析

在截面面积和索力值优化设计的基础上,建立以最小造价为目标函数的优化模型,参考市面上各种钢管和钢绞线的报价,提出在考虑结构位移和杆件强度约束下计算钢管直径、厚度的最优造价优化法。最后分别对预应力张弦立体桁架和非预应力张弦立体桁架进行优化,通过算例分析得出预应力张弦立体桁架相对于非预应力张弦立体桁架在经济上的优越性。     

Immobilization of alkaline phosphatase on magnetic particles by site-specific and covalent cross-linking catalyzed by microbial transglutaminase

Bacterial alkaline phosphatase (BAP) was site-specifically and covalently immobilized on magnetic particles (MPs) using the enzymatic reaction of microbial transglutaminase (MTG). Immobilization efficiency was affected by the chemical surface treatment of MPs and immobilized BAP exhibited more than 90% of the initial activity after 10 rounds of recycling.     

基于激光扫描技术的三维模型重建

通过分析三维激光扫描系统获取的点云数据,得到了利用点云数据构建三维模型的技术、方法和流程。介绍了利用地面三维激光扫描仪获取点云数据的过程以及结合RiSCAN PRO软件和Geomagic Studio软件进行建模的方法。对原始测量的点云数据进行处理(去除噪声,平滑,对多站点数据做拼接配准,提取目标建筑物等)得到正确和完整的目标建筑物的表面信息,然后构建三角网建立它的三维表面模型,最后通过所拍的照片进行纹理映射得到真实的三维模型。实验结果表明,利用上述方法可以有效地处理三维激光扫描获取的点云数据,实现对建筑物快速三维可视化建模。     

Criteria for versatile GaN MOVPE tool:high growth rate GaN by atmospheric pressure growth

Growth rate has a direct impact on the productivity of nitride LED production.Atmospheric pressure growth of GaN with a growth rate as high as 10μm/h and also Al_0.1Ga_0.9N growth of 1μm/h by using 4 inch by 11 production scale MOVPE are described.XRD of（002） and（102） direction was 200 arcsec and 250 arcsec, respectively.Impact of the growth rate on productivity is discussed.     

Oxygen release behavior of metastable tetragonal t′meta-(Ce0.5Zr0.5)2 phases prepared by reduction and successive oxidation of t′ phase

Tetragonal CaF₂-related-type t′-/Ce_0.5Zr_0.5)O₂ phase was reduced at 773 K ≤ T_red. ≤ 1073 K to prepare precursors with various oxygen compositions: Ce₂Zr₂O_712d /0.111 < δ < 0.379). Metastable tetragonal t^′_meta-(Ce_0.5Zr_0.5)O₂ phases were prepared by oxidizing in O₂ at 873 K the precursors, and subjected to evolved oxygen gas analysis by heating the samples at a constant rate. When the precursor was prepared at T_red: ? 773 K; i.e. δ ? 0:379; the oxygen release behavior of the tetragonal phase agreed approximately with that of the t^′. For δ < 0.29, distinct features of the t^′_meta-(Ce_0.5Zr_0.5)O₂ appeared in the XRD results and Raman spectra. The temperature exhibiting the maximum release rate of oxygen from the t^′_meta became lower with decreasing the d value. It could be concluded that the thermodynamic behavior of the t^′_meta is related closely to the precursor composition and becomes more unstable with decrease in the δ value. The t^′ and t^′_meta phases with disordered arrangement of Ce and Zr ions may belong to the same space group; nevertheless, difference in the random arrays of the Ce and Zr ions was suggested on the basis of the present experimental results.     

A novel ferromagnetic thermo-stent for plaque stabilization that self-regulates the temperature

The purpose of this study is to investigate the vascular wall with a thermally self-regulating, cylindrical stent made of a low Curie temperature ferromagnetic alloy. Physiologic saline was circulated in the silicone model vessel implanted with the stent. The stent-temperature remained nearly constant for variable saline flows, saline temperatures, and magnetic flux densities. Stent implants of this type in human blood vessels could potentially enable thermotherapy and temperature determination without catheterization.     

Poly(4-diphenylaminostyrene) with a well-defined polymer chain structure: Controllable optical and electrical properties

The effect of polymer chain structure on the optical and electrical properties are reported for poly(4-diphenylaminostyrene) (PDAS), which was prepared by the living anionic polymerization of 4-diphenylaminostyrene (DAS) with the benzyllithium (BzLi)/N,N,N′,N′-tetramethylethylenediamine (TMEDA) system. The optical properties of PDAS are strongly affected by the stereoregularity of the PDAS polymer chain; intramolecular excimer-forming fluorescence was observed from PDAS with a syndiotactic-rich configuration. The highest occupied molecular orbital (HOMO) and lowest unoccupied molecular orbital (LUMO) energy levels of PDAS were approximately −5.4 and −2.0 eV, respectively, regardless of the polymer chain structure. The hole and electron drift mobilities for PDAS were in the order of 10⁻⁴ to 10⁻⁵ (cm²/V s) and 10⁻⁵ (cm²/V s), respectively, with negative slopes. The distance of each triphenylamino (TPA) group in the polymer chain was a major factor influencing the drift mobility of PDAS. The current-voltage (I-V) characteristics of PDAS were controllable according to the polymer chain structure of PDAS.     

Chemical Modification of Phage-Displayed Helix-Loop-Helix Peptides to Construct Kinase-Focused Libraries

Conformationally constrained peptides hold promise as molecular tools in chemical biology and as a new modality in drug discovery. The construction and screening of a target-focused library could be a promising approach for the generation of de novo ligands or inhibitors against target proteins. Here, we have prepared a protein kinase-focused library by chemically modifying helix-loop-helix (HLH) peptides displayed on phage and subsequently tethered to adenosine. The library was screened against aurora kinase A (AurA). The selected HLH peptide Bip - 3 retained the α-helical structure and bound to AurA with a K_D value of 13.7 μM. Bip - 3 and the adenosine-tethered peptide Bip - 3 - Adc provided IC₅₀ values of 103 μM and 7.7 μM, respectively, suggesting that Bip - 3 - Adc bivalently inhibited AurA. In addition, the selectivity of Bip - 3 - Adc to several protein kinases was tested, and was highest against AurA. These results demonstrate that chemical modification can enable the construction of a kinase-focused library of phage-displayed HLH peptides.