fsh—A functional unix command interpreter

Command interpreters under the UNIX operating system typically employ the syntax and semantics of imperative programming languages. Many of the advantages that functional programming languages hold over imperative languages can be incorporated in a functional command interpreter. Unfortunately, functional command interpreters to date have used the syntax of Backus's FP. The advantages of command expressiveness and composition have not been appreciated. A powerful functional command interpreter, fsh, that overcomes many of the deterrents of previous functional command interpreters is presented. Much of the unnecessary complexity of existing UNIX command interpreters is avoided by following the functional paradigm. fsh has been implemented under the UNIX 4.2BSD and System V operating systems.     

Dielectric behaviour of glasses and glass ceramics in the system BaO-PbO-TiO2-B2O3-SiO2

Glasses with varying molar ratios of PbO/BaO in the system BaO-PbO-TiO₂-B₂O₃-SiO₂ were prepared keeping (BaO + PbO)/TiO₂ ratio equal to one. The glasses were ceramized by two-stage heat treatment. X-ray diffraction indicates that PbTiO₃ crystallizes in lead-rich glasses while BaTiO₃ precipitates in barium-rich compositions. Solid solution (Ba, Pb)TiO₃ does not seem to crystallize over the entire range of compositions. Simultaneous presence of PbO and BaO in the initial glass composition reduces the yield of ferroelectric phase. Dielectric properties have been interpreted in terms of microstructural features.     

程控电话交换机过电流保护元件用高性能PTC陶瓷的研制

阐述了高性能ＰＴＣ陶瓷材料制备的基本要点，并以基方固溶体化学组成、原材料选择、复合添加物改性以及特定烧结工艺等方面开展工作，制得了居里温度为９０℃左右、室温体积电阻率为３０Ω·ｃｍ，电阻率突变ρνｍａｘ／ρνｍｉｎ＞１０５、电阻率温度系数α≈１５％／℃、耐电压强度≥１５０Ｖ／ｍｍ的高性能ＰＴＣ陶瓷材料。此材料制得的元件能满足程控电话交换机过电流保护的要求。     

A functional programming approach to the specification and verification of concurrent systems

Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language. Thus the correctness of concurrent systems can be reduced to the correctness of functional programs. In this paper such correctness is proved formally in the-calculus extended with recursion equations for functional programs. The-calculus is chosen since it allows the definition of properties by least fixed points (induction) as well as by greatest fixed points (coinduction), and since greatest fixed points are useful for formalising properties, such as fairness, of infinitely proceeding programs. Moreover, non-deterministic processes are represented as incompletely specified deterministic processes, that is, as properties of stream transformers. This method is illustrated by proving the correctness of the alternating bit protocol.     

条件函数依赖及其在领域无关数据清洗中的应用

条件函数依赖(Conditional Functional Dependeny,CFD)是对函数依赖(Functional Depencency,FD)加入语义约束扩展而来,它在数据库一致性检测、数据清洗方面更优于后者.讨论了条件函数依赖的相关概念及其基本性质,讨论如何将它应用于数据清洗,并对已提出的基于CFD的数据清洗方案提出改进措施,并通过实验说明改进措施的可行性.     

多传感器信息融合技术探析

多传感器信息融合是一门涉及信号处理、信息论、人工智能、模糊数学等理论的多学科交叉技术,被广泛应用于军事和民用领域。文章介绍了多传感器信息融合的概念,描述了多传感器信息融合的功能模型、主要方法和应用,并对其发展趋势进行了分析。     

Sulfamic acid functionalized slag for effective removal of organic dye and toxic metal from the aqueous samples

Surface functionalization of blast furnace slag with sulfamic acid(a zwitterion) was performed for the removal of Cr~(3+) and methylene blue dye(MB) from water samples. The slag functionalization process was optimized using Response Surface Methodology Design. Statistical analysis of the parameters that include the sulfamic acid amount(A), reaction time(B), and temperature(C) revealed that(A) increase had a negative effect on the adsorption of both pollutants by the zwitterion slag, whereas(B) and(C)increase presented a positive impact. At the optimum condition of 2 g sulfamic acid amount, 50 min reaction time and 37 °C temperature, the prepared slag showed a removal efficiency of more than 90% for both Cr~(3+) and MB. Surface characterization by SEM/EDS, FTIR, XPS and surface area analyser, showed an improvement in surface properties and the incorporation of zwitterionic NH_2~+ and S@O groups of sulfamic acid. Adsorption isotherm and kinetic studies conducted with the zwitterion slag showed the adsorption process was suited to Freundlich isotherm model and pseudo-second-order kinetic model.The thermodynamic study conducted revealed the spontaneity of the process based on the calculated negative DG(Gibb's free energy) values. The prepared zwitterion slag offered easy regeneration with dilute HCl solution and showed a considerable removal(Cr3+: 65% and MB: 80%) for both pollutants even after 3 cycles of usage.     

A panoramic view of Li7P3S11 solid electrolytes synthesis,structural aspects and practical challenges for all-solid-state lithium batteries

The development of an inorganic electrochemical stable solid-state electrolyte is essentially responsible for future state-of-the-art all-solid-state lithium batteries (ASSLBs). Because of their advantages in safety, working temperature, high energy density, and packaging, ASSLBs can develop an ideal energy storage system for modern electric vehicles (EVs). A solid electrolyte (SE) model must have an economical synthesis approach, exhibit electrochemical and chemical stability, high ionic conductivity, and low interfacial resistance. Owing to its highest conductivity of 17 mS·cm^-1, and deformability, the sulfide-based Li₇P₃S₁₁ solid electrolyte is a promising contender for the high-performance bulk type of ASSLBs. Herein, we present a current glimpse of the progress of synthetic procedures, structural aspects, and ionic conductivity improvement strategies. Structural elucidation and mechanistic approaches have been extensively discussed by using various characterization techniques. The chemical stability of Li₇P₃S₁₁ could be enhanced via oxide doping, and hard and soft acid/base (HSAB) concepts are also discussed. The issues to be undertaken for designing the ideal solid electrolytes, interfacial challenges, and high energy density have been discoursed. This review aims to provide a bird's eye view of the recent development of Li₇P₃S₁₁-based solid-state electrolyte applications and explore the strategies for designing new solid electrolytes with a target-oriented approach to enhance the efficiency of high energy density all-solid-state lithium batteries.     

Effect of Ca2+ and Mg2+ ions on the sintering and spectroscopic properties of cr-doped yttrium aluminum garnet ceramics

In this work, we investigated the effects of Ca²⁺ and Mg²⁺ ions and annealing temperature on the spectroscopic parameters of chromium-doped yttrium aluminum garnet ceramics (Cr:YAG). Samples were obtained with either a separate or a simultaneous addition of calcium and magnesium oxides. To achieve this, aqueous suspensions were prepared using Y₂O₃, Al₂O₃, Cr₂O₃, MgO, and CaO high-purity powders as raw materials. The obtained suspensions were freeze-granulated, pressed into pellets, debinded, and subjected to reactive sintering in vacuum at 1715°C for 6 h. Each material was annealed in air with temperatures between 1300 and 1700°C. Samples were also compared to Cr:YAG ceramics with the addition of silica as a sintering aid. All the materials obtained were then exposed to 445 nm excitation, and emission spectra in the visible and infrared wavelengths were recorded. The results showed that the emission spectra of Cr:YAG ceramics varied according to the annealing conditions: as-sintered samples exhibited strong emissions of around 680 nm and, after air annealing, of around 1400 nm. This phenomenon is attributed to the Cr³⁺→Cr⁴⁺ transition. Samples doped solely with MgO exhibited the highest emission intensity in the infrared region. Thus, Mg²⁺ ions provided the best conversion efficiency of chromium ions.     

掺杂对PZT压电陶瓷的影响及研究进展

在介绍掺杂PZT压电陶瓷材料制备的基础上,总结出生产掺杂PZT材料的最佳掺杂条件,以及配方对压电陶瓷性能的影响,只要工艺合适,性能完全能再提高,对压电陶瓷材料的发展趋势进行了展望。