12CaO·7Al2O3型精炼合成渣物性与脱硫试验

对近两年从国外发展起来的新型精炼合成渣 12 Ca O· 7Al2 O3的烧成工艺、物性和脱硫能力进行了试验研究。结果表明 ,该渣系原料来源广泛 ,成本较低 ;以 12 Ca O· 7Al2 O3为低熔点相 ,具有较低的熔化温度 ,在精炼温度下具有较好的流动性 ;由于具有很高的碱度和 Al2 O3含量 ,因而具有较强的脱硫能力和吸附铝脱氧产物的能力 ,并且在精炼过程中还可配加大量石灰 ,进一步提高其脱硫能力 ,尤其适用于铝脱氧钢     

遥感估算植被覆盖度的角度效应分析

植被覆盖度是植被在地面的垂直投影面积占统计区总面积的百分比.由于植被反射的二向性特性,不同角度估算的植被覆盖度原则上不可比,另外,不同观测角度对应像元不同的采样面积,对于非均一地表这种面积差异引起的角度效应也非常显著.本文除了考虑植被的二向性反射,还重点模拟分析了由于像元的采样面积差异引起的角度效应及其带来的植被覆盖度估算误差.模拟结果表明:相比天顶观测,在倾斜40°观测时,对于作物和裸土混合,由于面积误差带来的红光波段反射率差异已高达56%,同时引起的植被覆盖度估算误差达到23%,因此研究植被覆盖度的角度效应问题很有必要.     

食管支架径向支撑性能

针对目前编织型食道支架支撑性研究存在的问题,完成了支架几何模型及有限元模型的创建、材料模型的选取以及边界条件的设置,提出了基于有限元分析的食管支架径向支撑力计算方法,并对不同头数、不同丝径、不同导程支架的径向支撑力进行分析.分析结果显示:头数越多,径向支撑力越大;丝径越大,径向支撑力越大;导程越大,径向支撑力越小.支撑...     

Evaluating the reliability of microsatellite genotyping from low-quality DNA templates with a polynomial distribution model

Molecular studies using trace DNA, such as from museum specimens, ancient or forensic samples and samples obtained noninvasively, often have a common problem of low quality of DNA templates. Amplification errors, such as allelic dropout and false allele, may arise during polymerase chain reaction (PCR) using such samples. A mathematical model which treats homozygotes and heterozygotes discriminately has been developed to measure sample quality and compute the confidence level of using multipletube approaches. We use plucked hair samples collected from 26 individual Sichuan snub-nosed monkeys (Rhinopithecus roxel- lana) to test the model. In this case, a confidence level of 99% can be achieved by three positive PCRs. If the sample quality is very poor and requires many PCR replicates, an alternative multiplestep genotyping method is recommended. This model enables researchers to optimize experimental protocols through pilot studies and obtain reliable genetic information using noninvasive sampling method.     

Entransy dissipation minimization for optimization of heat exchanger design

In this paper,by taking the water-water balanced counterflow heat exchanger as an example,the entransy dissipation theory is applied to optimizing the design of heat exchangers.Under certain conditions,the optimal duct aspect ratio is determined analytically.When the heat transfer area or the duct volume is fixed,analytical expressions of the optimal mass velocity and the minimal entransy dissipation rate are obtained.These results show that to reduce the irreversible dissipation in heat exchangers,the heat exchange area should be enlarged as much as possible,while the mass velocity should be reduced as low as possible.     

Operational properties and matrix representations of quantum measures

Denoted by M(A), QM(A) and SQM(A) the sets of all measures, quantum measures and subadditive quantum measures on a σ-algebra A, respectively. We observe that these sets are all positive cones in the real vector space F(A) of all real-valued functions on A and prove that M(A) is a face of SQM(A). It is proved that the product of m grade-1 measures is a grade-m measure. By combining a matrix M _μ to a quantum measure μ on the power set A _n of an n-element set X, it is proved that μ ≪ ν (resp. μ ⊥ ν) if and only if M _μ ≪ M _ν (resp. M _μ M _ν =0). Also, it is shown that two nontrivial measures μ and ν are mutually absolutely continuous if and only if μ·ν∈QM(A _n ). Moreover, the matrices corresponding to quantum measures are characterized. Finally, convergence of a sequence of quantum measures on A _n is introduced and discussed; especially, the Vitali-Hahn-Saks theorem for quantum measures is proved.     

Sufficient and necessary conditions of separability for bipartite pure states in infinite-dimensional systems

The PHC criterion and the realignment criterion for pure states in infinite-dimensional bipartite quantum systems are given. Furthermore, several equivalent conditions for pure states to be separable are generalized to infinite-dimensional systems.     

基于形式化概念分析和概念相似性度量的程序重组方法

形式化概念分析已被证明是一种支持模块重组的有效工具.然而,在使用概念分析进行模块重组时,仍存在一些问题有待进一步解决.本文提出一种自动化的遗留软件重组方法,用于从识别的模块化方案中获取一种最佳解决方案.通过在概念分析过程中引入概念抽象、哑概念和概念相似性度量等新的特性,有助于解决现有方法的不足.概念抽象用于表示候选模块...