关于真值维护系统TMS的研究

本文系统地论述了几类典型的ＴＭＳ系统，对它们进行分析和比较，量后简要地叙述近年来在该领域中的一些重要研究动向。     

广义AND／OR图的自底向上的启发式搜索算法BHAO

本文首先根据三角模概念，定义了一类新的更具普遍意义的广义ＡＮＤ／ＯＲ图．根据新定义的启发式函数ｈ（ｎ，ｘ）以及广义ＡＮＤ／ＯＲ图的最佳解树之所有子树亦是最佳子解树的原理，提出了广义ＡＮＤ／ＯＲ图的自底向上的启发式搜索算法ＢＨＡＯ．文中证明了算法ＢＨＡＯ的可采纳性．本文还提出了两类新的启发式函数的单调限制概念，并据此研究了算法ＢＨＡＯ的单调限制性质，研究了两个ＢＨＡＯ算法间的比较性质．     

变温长波碲镉汞光电导现象研究

报道了ｎ型Ｈｇ０．８Ｃｌ０．２Ｔｅ光电导体的变温材料参数与性能参数的对照关系，并讨论了材料的锭条参数与小芯片霍耳参数的差异，得到一组光电导的实验优化数据，实测小芯片载流子浓度ｎ≈１．８×１０＾１５ｃｍ＾－３，这与高性能器件实测值的倒推数值一致，这被解释为长江红外高背景辐射的结果。     

新型耐磨蚀铸造高铬钢的研制

本文设计了用于含有磨粒的强酸介质的新型耐磨蚀钢的化学成分，采用金相显微镜、Ｘ射线衍射、扫描电子显微镜、腐蚀与磨蚀试验等方法，观察与分析了钢的显微组织与磨蚀形貌，研究了新型铸造高铬钢的性能，并对其磨蚀机理进行了较为深入的探讨。试验结果表明，较高的含铬量和含碳量与适量的钼、铜的复合使用，使新型高铬钢具有比高合金化的ＺＳ２８合金更好的抗磨蚀性能，而且成本比较低，具有广阔的应用前景。     

球形容器自增强最优化设计

本文以弹性失效准则及强度理论为基础，按Ｔｒｅｓｃａ屈服条件，给出了球形容器自增强处理的最优化设计方法，同时符合：ｍａｘ、ｍｉｎＫ和ｍｉｎ（σｅｑ）ｍａｘ３个优化目标，并满足（σｅｑ）ｍａｘ≤ ［σ］和（ σθ＇－σｒ＇）ｒ＝Ｒｉ＞－σｓ两个约束条件。该优化设计方法可达用于工程设计。     

Analysis of a homologous series of non-reducing oligosaccharides from Arnica montana L. Roots

The oligosaccharide component compositions of a series of non-reducing oligosaccharides extracted from the roots of Arnica montana L. has been determined by gel permeation chromatography (g.p.c.). The range of oligosaccharides present was found to extend beyond the octasaccharide previously reported. with 16% to 19% of the oligosaccharides having a degree of polymerisation of between 11 and 19 and almost 3% having a degree of polymerisation greater than 20. The chromatographic behaviour of this series of oligosaccharides is compared with that observed for series of D-gluco-oligosaccharides.     

Synthesis of distillation trains by thermodynamic analysis

Thermodynamic principles, involving mainly: (1) minimum reversible work of separation and (2) second-law analysis that accounts for irreversibility, are used to synthesize separation trains. These principles lead to a development and classification into two groups of many of the heuristics appearing in the literature. An efficient algorithm based on reversible thermodynamics leads to optimal structures for simple acyclic trains. Complex structures are efficiently synthesized by algorithms using reversible thermodynamics and second-law analysis. The procedures presented are depth-first algorithms. The optimal structures developed are shown to be strongly influenced by feed and product compositions.     

微波高压提取快速测定饲料含氟量的探讨

采用微波高压制样技术,快速提取饲料中的氟元素,结合氟离子选择性电极标准添加和电位极差测试方法,能够快速、准确地测试饲料中的含氟量     

On-Line File Caching

Abstract. Consider the following file caching problem: in response to a sequence of requests for files, where each file has a specified size and retrieval cost , maintain a cache of files of total size at most some specified k so as to minimize the total retrieval cost. Specifically, when a requested file is not in the cache, bring it into the cache and pay the retrieval cost, and remove other files from the cache so that the total size of files remaining in the cache is at most k . This problem generalizes previous paging and caching problems by allowing objects of arbitrary size and cost, both important attributes when caching files for world-wide-web browsers, servers, and proxies. We give a simple deterministic on-line algorithm that generalizes many well-known paging and weighted-caching strategies, including least-recently-used, first-in-first-out, flush-when-full, and the balance algorithm. On any request sequence, the total cost incurred by the algorithm is at most k/(k-h+1) times the minimum possible using a cache of size h ≤ k . For any algorithm satisfying the latter bound, we show it is also the case that for most choices of k , the retrieval cost is either insignificant or at most a constant (independent of k ) times the optimum. This helps explain why competitive ratios of many on-line paging algorithms have been typically observed to be constant in practice.