Transport properties of 1,1-difluoroethane (R152a)

Based on reliable. carefully selected data sets. equations for the thermal conductivity and the viscosity of the refrigerant R 112a are presented. They are valid at temperatures from 240 to 440 K, pressures up to 20 MPa. and densities up to 1050 kg · m^–3. including the critical region.     

High-field magnetic and transport critical current density of Sm-Ba-Cu-O: Agx superconductors at low temperature

Variation of magnetic critical current density (J _mc) and transport critical current density (J _tc) in high magnetic fields at liquid helium temperature were investigated on Sm-Ba-Cu-O: Ag _x (x=0.0, 0.2, 0.4, and 0.6) superconducting samples prepared by the coprecipitation technique.T _c and crystallographic parameters remain unaffected by Ag addition. However, bothJ _mc andJ _tc were found to increase on Ag addition. The volume pinning force (F _p) also increased with increase in Ag concentration, resulting in stronger flux line sheer. Microwave-induced d.c. voltage measurement shows a significant reduction of the total number of weak links between the superconducting grains with increasing concentration of Ag, which creates stronger pinning potentials between the boundary of the superconducting intergrains. Hence, the volume pinning force is greatly enhanced by Ag addition, leading to flux line lattice movement which is responsible for highJ _mc andJ _tc.     

Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.     

Pure perceptual-based sequence learning.

Learning a sequence of target locations when the sequence is uncorrelated with a sequence of responses and target location is not the response dimension (pure perceptual-based sequence learning) was examined. Using probabilistic sequences of target locations, the author shows that such learning can be implicit, is unaffected by distance between target locations, and is mostly limited to first-order transition probabilities. Moreover, the mechanism underlying learning affords processing of information at anticipated target locations and appears to be attention based. Implications for hypotheses of implicit sequence learning are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

On the dynamic nature of response criterion in recognition memory: Effects of base rate, awareness, and feedback.

The authors examined whether participants can shift their criterion for recognition decisions in response to the probability that an item was previously studied. Participants in 3 experiments were given recognition tests in which the probability that an item was studied was correlated with its location during the test. Results from all 3 experiments indicated that participants' response criteria were sensitive to the probability that an item was previously studied and that shifts in criterion were robust. In addition, awareness of the bases for criterion shifts and feedback on performance were key factors contributing to the observed shifts in decision criteria. These data suggest that decision processes can operate in a dynamic fashion, shifting from item to item. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Vapor-liquid equilibrium and volumetric properties calculations for solutions in the supercritical carbon dioxide

The calculations of gas solubilities in supercritical solvents require equations of state remaining accurate in the critical range, which are difficult to obtain with classical models. In this work, the Helmholtz energy of a mixture is considered as the sum of the Helmholtz energies of pure components taken at a constant packing fraction and of a residual term which may have the form of a RedlichKister, Van Laar, NRTL, UNIQUAC, or UNIFAC function. Thus it is possible to assign to a given component an equation of state whose form is different from that of the others. This model has been applied to binary systems containing supercritical carbon dioxide. The results are improved with respect to those obtained with the classical model for vapor-liquid equilibria and for volumetric properties.     

氧浓度对近临界水中纤维素分解的影响

研究了不同初始氧浓度对纤维素在近临界水中分解的影响，实验结果表明，氧浓度显著地影响产物总碳收支平衡，液相不同组分的收率、气体的产量以及气相产物的组成，微量氧对产物总碳收支平衡影响不大，而对液相不同组分的收率有一定的影响。从实验结果可以看出，离子型反应机理在纤维素水解的第一步中起主导作用。而单糖的进一步分解是一个以自由基反应机理为主的过程。     

环境因素对碳钢点蚀临界电势的影响

采用动电势扫描法测定了不同体系中碳钢发生点蚀的临界电势Eb。结果表明 :当Cl- 浓度 <0 .0 1mol/L时 ,随Cl- 浓度增加 ,临界电势负移并与Cl- 浓度成线性关系 ;pH值在 7～ 11之间 ,随pH值增加 ,临界电势正移并与pH值成线性关系 ;随温度增加 ,临界电势负移并与温度成线性关系。     

水性聚氨酯电导率与聚沉值的研究

研究了软（硬）段含羧基的水性阴离子纳米聚氨酯体系的n(NCO)/n(OH)比值，COOH的质量分类，反离子各类，合成方法与电导率关系及产生的原因；探讨了该体系的n(NCO)/n(OH)值，COOH的质量分数，合成方法与临界聚沉值（Cc.c)的关系和规律。并分析，比较了软（硬）段含羧基的水性阴离子聚氨酯体系电导率与Cc.c二者关系，得出了随COOH的质量分数升高，二者变化相同，随n(NCO)/n(OH)比值升高,二者变化相反的结论。     

正交异性矩形薄板的稳定性分析

本文求得了正交异性矩形薄板屈曲位移函数微分方程的一般解。可用以求解任意边界矩形板的稳定问题。以两邻边简支，另两边自由的正方形板为例进行了计算。