Prolog/Rex represents a powerful amalgamation of the latest techniques for knowledge representation and processing, rich in semantic features that ease the difficult task of encoding heterogeneous knowledge of real-world applications. The Prolog/Rex concept mechanism lets a user represent domain entities in terms of their structural and behavioral properties, including multiple inheritance, arbitrary user-defined relations among entities, annotated values (demons), incomplete knowledge, etc. A flexible rule language helps the knowledge engineer capture human expertise and provide flexible control of the reasoning process. Additional Prolog/Rex strength that cannot be found in any other hybrid language made on top of Prolog is language level support for keeping many potentially contradictory solutions to a problem, allowing possible solutions and their implications to be automatically generated and completely explored before they are committed. The same mechanism is used to model time-states, which are useful in planning and scheduling applications of Prolog/Rex 相似文献
Summary: The cold crystallization process of initially amorphous poly(L ‐lactic acid), PLLA, with two different molecular weights, during a heating at 2 °C/min, was investigated by DSC and time‐resolved simultaneous SAXS and WAXS, using synchrotron radiation. Equatorial scans of the isotropic 2D‐SAXS patterns showed that the average Bragg long period (LB) of PLLA samples was approximately constant with the development of cold crystallization up to a temperature that corresponded to a melt/re‐crystallization process that took place before the nominal melting peak seen by DSC. LB values were found to be higher for the high molecular weight material. This was in accordance with the higher melting temperature observed in the high molecular weight PLLA that implied the existence of thicker lamellae. WAXS results showed that the molecular weight did not apparently affect the crystal form and the final degree of crystallinity of PLLA. The Avrami parameters from WAXS and DSC were consistent, showing that the non‐isothermal cold crystallization of the two PLLA samples corresponded mainly to a three‐dimensional growth, although an imperfect crystallization process was involved at early times. The crystallization rate of PLLA, observed both by WAXS and DSC, decreased with increasing molecular weight.
SAXS profiles of PLLA2 as a function of temperature. The inset shows the 2D‐SAXS pattern obtained at 180 °C. 相似文献
Abstract: Prolog/Rex supports the construction of knowledge-based systems, allowing frames (Prolog/Rex concepts) and rules to be combined, and providing language level support for hypothetical reasoning and assumption-based truth maintenance (Prolog/Rex viewpoint mechanism). To increase run-time performance during rule execution, Prolog/Rex provides two complementary rule compilation techniques: the simple indexing scheme and the heavily modified Rete expansion method. To improve the efficiency of the inference engine, we built an agenda-based rule manager that uses priority mechanism and/or heuristics embedded in meta-rules to control the rule firing order. Forward- and backward-chaining can be combined within the same program. 相似文献
Here we describe a system that enables short peptides to bind DNA sequence-specifically. Linking the peptide covalently to DNA through a disulphide bond eliminates the unfavourable energetic cost of diffusion and thus potentiates the peptide-DNA interaction. By this approach we have deconstructed the GCN4/DNA complex into its elemental DNA recognition units. We find that the GCN4 basic region contacts the two half-sites with very different affinities and propose that this thermodynamic asymmetry plays a role in differential regulation of gene expression. Specific binding of the peptide to DNA stabilizes the disulphide bond toward reduction suggesting a novel approach to the discovery of new DNA-binding specificities. 相似文献