高MgO镍铁渣作为活性混合材使用的可行性分析

中国镍铁渣排放量很大,但目前尚未找到大量利用的途径。笔者在分析镍铁渣组成、性能的基础上,对镍铁渣作为活性混合材使用的可能性及效果进行了研究。结果表明:镍铁渣中非晶体矿物的含量为88.1%,含量高达27.07%的MgO主要以顽辉石和镁铁橄榄石两种晶体矿物形式存在。镍铁渣的比表面积影响其活性和在水泥中的掺量。作为活性混合材,镍铁渣比表面积需不低于454.6m~2/kg。比表面积越大,活性指数越大,掺量越大。镍铁渣水泥的压蒸安定性合格,即使在水泥中掺入50%比表面积842.9 m~2/kg的镍铁渣,水泥的压蒸膨胀率仅为0.11%,大大低于0.5%的GB750—1992要求,由此证明镍铁渣不会因为MgO含量高而影响其作为活性混合材的使用。     

Soundness analysis of compositional model of time-based petri nets

Workflow management systems are widely used in improving the efficiency of business processes.To develop a workflow management system is the key to workflow modeling.In this paper,the compositional time net is presented to model workflow processes on the basis of the analyzing methods of time Petri nets and workflows,and to describe the static relationships and the dynamic semantics of the task of multiple workflow composition.The paper puts more emphasis on checking the soundness of composed workflow,at the same time,combinational problems of non-conditional structure of the compositional time net are introduced and analyzed.A sufficient and necessary condition for determining the soundness of compositional nets is obtained.     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

师专新生心理卫生状况调查

本研究调查了1085名师专新生的心理健康状况。结果表明,大多数学生心理健康状况正常,但存在不同方面和不同程度问题的学生人数也占一定比例,男女学生、文理科学生、成教（系指脱产的成教生,后同）和普教学生在某些方面的问题差异显著,究其原因,既与新生所处特殊年龄阶段又与特定学习环境有关。     

带等词的“中介”谓词逻辑演算ME^＊的三值特征定理

通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。     

参数Kleene系统的可靠性定理

介绍了参数Kleene系统和参数Kleene系统的三-I算法,并讨论了它们随参数值的变化.把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性.     

我国四大国有商业银行的稳健性评估与分析

在金融全球化背景下,应该准确、完整地理解银行业的稳健经营理念,否则会损害银行业甚至整个国民经济的稳定与发展.根据对银行业稳健经营的全新理解及在此基础上设计出的评估指标与模型,对我国四大国有商业银行的评估结论是缺乏稳健.而导致我国四大国有商业银行缺乏稳健的原因包括体制缺陷、信用缺失、资产配置不当等多个方面.     

基于着色petri网的电子商务跨组织工作流建模与分析

在现代电子商务中,企业常常跨组织进行各种商务活动。利用着色跨组织petri网对电子商务工作流进行了建模与分析。给出了电子商务着色跨组织工作流网健壮性的概念,并利用可达标识图讨论了电子商务工作流网的健壮性。