Surface Characteristics of Sorptive-Filtration Storm Water Media. II: Higher Specific Gravity (ρs > 1.0) Oxide-Coated Fixed Media

Most current control strategies for storm water treatment utilize fixed or filter-bed media with specific gravity (ρs) greater than 1.0. In contrast to Part I, Part II focuses on such higher density (ρs > 1.0) manganese-oxide-coated media that can be used in combined unit operations and processes for in-situ treatment of storm water. Methods were developed to coat manganese oxides onto sand and cementitious media for storm water treatment. With respect to manganese, coatings of ramsdellite produced a point of zero charge (PZC) of 5.2, while mixtures of birnessite and cryptomelane produced a PZC of 2.6 Manganese oxide increased the specific surface area (SSA) of sand and cementitious media. Manganese-oxide-coated sand (MOCS) produced a larger SSA (2.48-m2∕g), as compared with birnessite-coated media (BCM) (1.51 m2∕g), while the two have a similar surface charge (PZC = 6.4). Manganese-oxide-coated cementitious media (MOCM) produced a significantly larger SSA (19.49 m2∕g), as compared with coated sand, and SEM analyses indicated the surface contained manganese oxide and calcite of thickness 10–30 μm. Based on the results, coated cementitious media provided surface characteristics that can significantly enhance filtration and adsorption of heavy metal in storm water, in comparison to sand.     

不同粉磨工艺的水泥颗粒体系分布特征

研究了生产过程中粉磨工艺对水泥颗粒特性的影响.重点分析了开路与闭路引起水泥颗粒特性的差异以及闭路系统中辊压机对颗粒特性影响的作用.通过对比分析,得出闭路系统水泥颗粒分布集中、颗粒粗糙度大,辊压机进一步增加了这一趋势.闭路系统水泥中熟料<30μm粒子比例大大增加,这是闭路系统水泥强度较高的主要原因之一.     

折射法对溶液中分子络合物的研究(一)

本文将近期发展起来的研究溶液中分子络合物的折射法用于氯苯-苯酚体系。以侵入式折射仪测定了该体系在惰性溶剂四氯化碳中的络合常数,并对R.A.Singh等的论文中关于△n~2的求算问题进行了商榷。     

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.     

Comments on “Wirtinger-based integral inequality: Application to time-delay systems [Automatica 49 (2013) 2860–2866]”

In a recent paper (Automatica 49 (2013) 2860–2866), the Wirtinger-based inequality has been introduced to derive tractable stability conditions for time-delay or sampled-data systems. We point out that there exist two errors in Theorem 8 for the stability analysis of sampled-data systems, and the correct theorem is presented.     

CAN总线在汽车轮胎监测系统中的应用设计

针对当前独立的汽车轮胎监测系统存在的弊端提出一种新的实现方案,动态监测汽车各轮胎的参数,并把动态参数通过CAN总线传输到汽车驾驶室仪表上,实现汽车轮胎故障预警功能.该方案增加了系统的可靠性、灵活性,扩展了汽车轮胎压力监测系统的使用场合,在大型车辆的安全系统中有很高的实用价值.     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.     

Stable sodium metal anode enhanced by advanced electrolytes with SbF3 additive

The practical application of sodium metal batteries (SMBs) is hampered due to the inferior interfacial stability between Na metal and conventional electrolytes....     

钨合金球的制备与研究进展

基于不同领域对钨合金球性能指标的要求,总结并综述了制备钨合金球的材料体系、制备方法及性能检测方法等,对钨合金球的应用领域及今后研究发展方向进行了简单概述,以期为钨合金球的制备研究提供参考.     

基于故障树的计算机安全性分析模型

提出了通过分析计算机系统的资源实体、访问者权限、安全需求和弱点等安全属性,按照不同的安全需求构造出安全故障树来直观地反映攻击者可能选取的攻击手段的安全状况评价方法;分析安全故障树,使用潜在攻击路径和系统安全失效概率从定性和定量两个方面表达计算机系统的安全状况,为系统的安全改进提供指导和建议。