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

本文将近期发展起来的研究溶液中分子络合物的折射法用于氯苯-苯酚体系。以侵入式折射仪测定了该体系在惰性溶剂四氯化碳中的络合常数,并对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.     

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....     

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

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

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

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

Fabrication of Cu(In,Ga)Se2 thin films by ion beam sputtering deposition from a quaternary target at different substrate temperatures

Cu(In, Ga)Se₂ (CIGS) thin films were fabricated by ion beam sputtering deposition from a single quaternary target at different substrate temperatures (T _sub). The thin films were characterized with X-ray diffractometry, scanning electron microscopy, energy-dispersive X-ray spectroscopy and four-point probe technique to study the microstructures, surface morphology, composition and electrical properties, respectively. The results show that the films grown above 400?°C are of chalcopyrite structure. Cu(In_0.7Ga_0.3)Se₂ thin film was obtained when T _sub is 550?°C. The Cu and Se atomic percentage when T _sub is above 500?°C is higher than when T _sub is below 500?°C. With the increase in T _sub, the surfaces morphology of the films is denser and the resistivity of the films decreases.