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

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

结合自然辩证法浅谈篮球运动的发展

本文通过自然辩证法原理,采用举例分析的研究方法,分析篮球运动发展的内外因素及规律,描述篮球运动的发展历程,证明事物都是不断发展的、相互联系的自然辩证法观点,揭示事物的发展是曲折向前的马克思主义哲学规律。在运动实践和科学研究中做出新的正确判断,采取新的方法和手段不断推动篮球运动向更高更新层次方向发展。     

Optimal multi-asset investment with no-shorting constraint under mean-variance criterion for an insurer

This paper considers the optimal investment strategy for an insurer under the criterion of mean-variance. The risk process is a compound Poisson process and the insurer can invest in a risk-free asset and multiple risky assets. This paper obtains the optimal investment policy using the stochastic linear quadratic (LQ) control theory with no-shorting constraint. Then the efficient strategy (optimal investment strategy) and efficient frontier are derived explicitly by a verification theorem with the viscosity solution of Hamilton-Jacobi-Bellman (HJB) equation.     

结合自然辩证法浅谈篮球运动的发展

本文通过自然辩证法原理,采用举例分析的研究方法,分析篮球运动发展的内外因素及规律,描述篮球运动的发展历程,证明事物都是不断发展的、相互联系的自然辩证法观点,揭示事物的发展是曲折向前的马克思主义哲学规律.在运动实践和科学研究中做出新的正确判断,采取新的方法和手段不断推动篮球运动向更高更新层次方向发展.     

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

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

金沙江流域月径流时间序列的混沌分析

在介绍重构相空间技术的主要定量指标(关联维数D2和柯尔莫奇诺夫熵)的基础上,以长江上游金沙江流域小黄瓜园站和蔡家村站的月径流时间序列为例详细说明了求取时间序列中的混沌特征数的方法;并且采用主分量分析(PCA分布)方法进一步验证了两个站的径流序列具有混沌特性.得到金沙江流域径流序列的预测年限不应超过7～9个月,为金沙江流域径流预测提供了科学的依据.     

用逻辑方法验证移动Ad Hoc网络协议

针对移动Ad Hoc网络节点移动和无线广播通信特征,引入移动算子和广播算子,扩展形式逻辑LS2,提出了建模和分析移动Ad Hoc网络安全系统的逻辑ELS2.ELS2把网络模型化为不同位置上执行程序的线程复合,把攻击者模型化为与协议参与方并发运行的线程.ELS2中提出网络迹概念,描述网络节点内部计算和外部交互,以及节点移...     

基于聚类非参数检验的动态停车需求分布特征

为了探索动态停车需求的分布特征,提出聚类非参数检验分析方法.该方法按照个体-组-类的顺序对多时段随机变量进行聚合,在各聚合阶段运用相应的非参数检验方法校核结果,在确保拟合精度的同时,采用相应的模型描述动态随机变量的分布特征.结合该方法的运用,从问题确定、数据调查、数据处理与分析以及分布特征的归纳总结等环节详细阐述了动态...