地下水污染试验研究进展

本文在总结国内外众多学者有关污染物在含水层中的运移规律研究成果的基础上，介绍了地下水污染试验研究的最新进展；并据此认为，三维弥散，各向异性含水层介质中污染物的迁移，非饱和土层中的污染物多相迁移和吸力的关系等将成为今后地下水污染传播研究的主要问题。     

液态模锻

一、液态模锻的由来二次大战以后,以汽车工业为中心,铸造技术获得了很大的发展。在采用壳型压铸或高压、高速造型以后,其产量大幅度增加,发展十分惊人,对生产的合理化,提高尺寸精度以及降低废品率等都给予了足够的重视。所谓铸造,就是“先制成砂型空间,其空间的形状和尺寸与零件相同,然后将熔化的金属浇入砂型空间,使其凝固,从而制造出所需的零件。”这仅仅是对制造工艺而言,并不涉及铸件本身的质量。由此可见,铸造技术的发展主要着眼     

搞好工程项目合同管理是堵塞承包商出卖资质的有效途径

项目合同管理是工程建设阶段的重要组成部分。是工程建设成本、质量及工期的具体体现，是堵塞不合法现象发生的有效手段。合同管理好与坏直接影响工程发挥的经济效益和社会效益。     

原生钛铁矿氧化焙烧的磁性变化与磁选分离

<正> 钛铁矿是所有钛矿物中分布最广的矿物。在天然金红石资源日益减少的情况下,作为钛资源,人们对钛铁矿的需求将越来越大。而在钛铁矿的资源中,大部份是原生钛铁矿,其中尤以钒钛磁铁矿和钛磁铁矿矿石为主。因此研究原生钛铁矿的经济合理、无污染或少污染的选矿方法,就成为选矿工作者的一项重要课题。原生钛铁矿常由于生成条件的不同而含     

改性沸石异相催化过硫酸氢钾降解罗丹明6G研究

通过水热法制备Co改性沸石催化剂(Co/沸石),采用SEM、XRD、FTIR和BET等对制备的产品进行了表征,并利用其催化过硫酸氢钾(PMS)降解染料罗丹明6G。实验结果表明,Co/沸石可以高效催化PMS降解罗丹明6G。提高Co/沸石和PMS浓度,罗丹明6G降解效率增大;溶液初始pH在5～11范围内,均可获得较高的降解率;HCO_3ˉ对降解反应具有抑制作用;提高反应温度,有利于降解反应的进行。SO_4~(·-)和~1O_2是降解反应的主要活性氧物种。Co/沸石在重复利用3次后仍具有较好的催化性能。     

基于Petri网的WSCI形式化模型分析

WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。     

程序:物理对象上的操作表达式(英文)

把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系。反应式O表达式要对外来需求作反应。描述反应的公理规定如何反应。有关通讯的公理要求正确的信息被正确的接受者收到。共享变量公理则给出有关共享变量的性质判断。例子用于说明异步顺序O表达式的性质是如何分析的。     

通信延时环境下基于观测器的智能网联车辆队列分层协同纵向控制

考虑通信延时影响的车辆队列控制问题,提出一种基于观测器的分布式车辆队列纵向控制器.首先,基于分层控制策略分别设计上下层控制器,通过上层控制器优化期望加速度、下层控制器克服车辆模型非线性实现期望加速度和实际加速度的一致.上层控制器设计过程中,基于三阶线性化车辆模型,考虑观测器、车辆动态耦合特性和通信延时,提出一种通信延时环境下基于观测器的车辆队列控制器,利用观测器估计领导车辆加速度信息从而减轻通信负担.然后,利用Lyapunov-Krasovskii方法分析车辆队列的稳定性,并得出通信延时上界,同时利用传递函数方法分析了串稳定性.最后,通过数值仿真验证上层控制器的有效性和稳定性.在此基础上,利用PreScan软件中高保真车辆动态模型,验证了该分层控制策略的有效性.     

国内外食品包装材料标准体系对比研究

食品包装材料作为重要的食品相关产品,是食品安全领域不容忽视的一个重点。本文通过对国内外食品包装材料的行业发展和标准体系等方面的对比研究,发现了我国食品包装材料领域存在的一些问题,并分析了造成此类问题的具体原因,在此基础上提出了完善我国食品包装材料标准及标准体系的相关建议。     

一种基于Petri网的RFID事件检测的形式化方法

无线射频识别(RFID)采用唯一的电子标签识别物理对象,可高速收集大量目标数据.为向各类应用提供语义信息,RFID系统需从收集的数据中检测用户自定义的复合事件.通过提出一种基于Petri网的RFID事件检测方法,引入形式化的ED-net模型描述复合事件语义,并以此为基础实现一种事件检测方法.ED-net模型是对传统Petri网的一种扩展,提供了描述用户自定义类型、函数及表达式的能力,可精确描述RFID复合事件的属性及时域、非时域、参数化等约束条件.通过对RFID事件形式化描述,各种RFID事件可以统一在ED-net模型,并可自动化进行检测处理,避免了不同复合事件间公共子事件重复检测的问题.最后,经过实验测试和分析,验证了该形式化方法的有效性及其优势.