RH-MFB精炼过程中钢水温度预测模型

建立了RH-MFB精炼过程中钢水温度的数学模型,通过Delphi程序计算了精炼过程中钢水的温度.结果表明,RH-MFB精炼开始阶段,钢水温度急剧下降,前10 min降温速率约为3℃·min-1,加Al吹氧、加合金和真空室内壁初始温度对钢水温度影响较大.采用该模型预测了精炼结束时刻的钢水温度,与生产中钢水温度平均误差在±5℃以内的占80%.     

有限族渐近拟非扩张现象的收敛性定理

在Banach空间中,引入和研究了有限族渐近拟非扩张映象的一个新的迭代程序,证明了这类迭代程序的收敛性定理,本质地改进和推广了一些人的最新结果.     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

Modeling and Performance Analysis of Dispatching Policies in Dispatcher-Based Web Server Cluster

There are two kinds of dispatching policies in content-aware web server cluster; segregation dispatching policy and mixture dispatching policy. Traditional scheduling algorithms all adopt mixture dispatching policy. They do not consider that dynamic requests＇ serving has the tendency to slow down static requests＇ serving, and that different requests have different resource demands, so they can not use duster＇s resource reasonably and effectively. This paper uses stochastic reward net （SRN） to model and analyze the two dispatching policies, and uses stochastic Petri net package （SPNP） to simulate the models. The simulation results and practical tests both show that segregation dispatching policy is better than mixture dispatching policy. The principle of segregation dispatching policy can guide us to design efficient scheduling algorithm.     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

现代多媒体教学视频点播系统的构建

结合当前多媒体教学发展的趋势,阐明了高校现代多媒体教学视频点播系统的构建方法,并通过具体的实例介绍了高校如何构建以优质的校园网络为平台的多媒体教学视频点播系统,为高校实现多媒体教学资源共享提供了良好的参考方案.     

略谈室内设计的几点体会

一套完备的高水平的室内设计需要经过信息采集过程、计划过程、设计过程、选料过程和施工过程这样几个程序,而对每一个过程,设计师都应广泛构思,全面考虑,做出合理而有创意的计划.     

我国生态安全评价研究综述

生态安全是人类同生态环境间亘古关系新诠释,是可持续发展及地理学、生态学和环境学等学科前沿热点.生态安全评价是生态安全研究基础和核心,我国学者对此进行过较多理论、方法和案例研究.文章通过阅读文献、深入分析,阐释生态安全与相关概念关系,论述生态安全评价系统组成及研究现状,提出生态安全评价工作程序,指明生态安全评价研究创新方向：①与景观生态理论结合,②与3S空间信息技术结合,③向生态安全变化预测预警过渡,④强化整个评价过程质量控制.     

VB消息处理与Windows子类

Windows的消息系统操纵着VB应用程序的运行,消息处理是Windows的控制机制.如果掌握了VB的消息处理机理和Windows子类技术,就可以通过自定义窗口程序来直接截获和处理消息,从而增强窗口程序的功能,实现特殊功能的Windows应用程序.本文首先介绍了VB消息处理机制,然后介绍了Windows子类技术及其工作原理,最后给出在VB中运用子类技术实现自定义窗口程序的结构和具体实现.     

遗传算法求解TSP问题的MATLAB实现

以遗传算法求解旅行商问题（TSP）为例,提出一种改进的交叉和变异算子,深入讨论了各个遗传算子的程序实现,并给出其算子的MATLAB程序编码,最后用5个城市的非对称TSP进行仿真分析.结果表明,改进的算法比传统算法收敛速度更快,适应值更优,说明改进算法是有效的,证实TSP问题是遗传算法得以成功应用的典型例子.