油井自动计产、含水在线检测技术研究与应用

传统油井计量产量主要依靠玻璃管分离器计量,含水分析靠人工取样通过蒸馏法化验含水。本文主要介绍了油井自动计产及含水在线测量技术工作原理、现场应用情况对比,该技术在曙光采油厂30座采油站进行了现场应用调试,现场应用检测结果技术指标稳定、生产运行平稳。     

企业物流成本研究综述

物流成本是全面反映企业物流活动的综合性价值指标,物流成本管理是以成本为手段的物流管理方法,物流成本管理水平的高低直接影响企业的经济效益。本文先介绍物流成本与物流成本控制的不同界定,通过分析企业物流成本管理的特征和存在的问题,总结了企业物流成本控制方面的一些对策。     

遵循科学发展观要求加快推进我省精细化工产业结构调整

精细化工是化学工业的重要组成部分,其产品是指那些加工深度高、质量要求高、产量又较少的化工产品.各国对精细化工的分类各不相同,我国现仍然沿用原国家化工部<精细化工产品分类暂行规定>(1986年3月6日颁发)的十一类分法.     

面向CPS时空约束的资源建模及其安全性验证方法

信息物理融合系统CPS(Cyber Physical System)是在环境感知的基础上,集合物理与计算的系统,可以实现与环境的智能交互.CPS信息物理空间的不断变化对CPS资源安全性造成一定的挑战.因此,如何研究这一类由时空变化而导致的CPS资源安全性问题成为关键.本文针对该问题提出了面向CPS时空约束的资源建模及其安全性验证方法.首先, 在TCSP(Timed Communicating Sequential Process)的基础上扩展资源向量,提出时空资源通信顺序进程DSR-TCSP(Duration-Space Resource TCSP),使其能够描述CPS拓扑环境下的资源;其次,从时空约束的资源安全性需求中获取时间安全需求,通过DSR-TCSP的时间属性验证算法对时间安全需求进行验证;再次,将满足时间安全需求的模型转换为偶图与偶图反应,并输入到偶图检验工具BigMC中,验证其物理拓扑安全需求,对没有通过验证的反例,修改DSR-TCSP模型,直至满足所提出的安全需求;最后,通过一个驾驶场景实例,验证该方法的有效性.     

面向无人驾驶时空同步约束制导的安全强化学习

无人驾驶系统综合了软件和硬件复杂的交互过程,在系统设计阶段,形式化方法可以保证系统满足逻辑规约和安全需求;在系统运行阶段,深度强化学习被广泛应用于无人驾驶系统决策中.然而,在面对没有经验的场景和复杂决策任务时,基于黑盒的深度强化学习系统并不能保证系统的安全性和复杂任务奖励函数设置的可解释性.为此提出了一种形式化时空同步约束制导的安全强化学习方法.首先,提出了一种形式化时空同步约束规约语言,接近自然语言的安全需求规约使奖励函数的设置更具有解释性.其次,展示了时空同步自动机和状态-动作空间迁移系统,保证强化学习的状态行为策略更加安全.然后,提出了结合形式化时空约束制导的安全强化学习方法.最后,通过无人驾驶汽车在高速场景变道超车的案例,验证所提方法的有效性.     

我国纺织品检测行业发展分析

结合我国加入WTO后中国纺织品服装检测市场面临的形势,从当前我国纺织品检测机构运行机制入手,分析了国内纺织检测行业现存问题,并提出了解决问题的相关对策。     

含水粒子层的热风对流干燥特性

用数值和实验两种方法研究了含水玻璃球粒子层的热风对流干燥特性,建立了基于一维假设下的热量和质量传递的动态数学模型,并用有限差分法进行数值求解,得到含水率,温度与时间的关系曲线和干燥行性曲线,计算结果与实验结果吻合较好,结果表明,干燥速度与粒子直径没有明显的关系,干燥曲线的形状与粒子层厚度无关。     

米粉智能干燥技术

对国内现有米粉干燥技术及设备做了详细介绍,分析了现有干燥技术在生产过程中所存在的优缺点及适应性;提出借鉴挂面智能干燥技术进行米粉干燥,并对该技术及设备进行了详细介绍。     

试论火场的后勤供给

近年来,随着我国经济建设的飞速发展,市场经济日益繁荣,社会财富不断积聚,重特大恶性火灾事故也随之频频发生,火灾损失呈逐年递增之势。它不仅使我们消防部队的灭火战斗行动面临着严峻的考验,同时也给我们消防部队的后勤供给保障提出了更高的要求。因此,搞好重特大恶性火灾事故扑救现场的后勤供给保障显得十分重要。如何做到“前方需要什么,后方供应什么”,这是有效处置重特大火灾事故不可缺少的重要环节,也是摆在我们后勤工作面前的一个急需研究的课题。现就火场供给问题谈点粗浅的看法。重特大恶性火灾现场后勤保障的特点 随着…     

面向CPS时空性质验证的混成AADL建模与模型转换方法

随着信息物理融合系统CPS （Cyber Physical System）研究的深入,CPS的安全性问题越来越受到人们的广泛关注,如何验证CPS时空不一致的安全性问题已经成为研究热点.本文针对该问题提出了面向CPS时空性质验证的混成AADL （Architecture Analysis&Design Language）建模与模型转换方法.首先,扩展AADL行为附件的时空描述能力,提出混成AADL （Hybrid Architecture Analysis&Design Language）,用于建模CPS的时空性质;其次,在进程代数中引入微分方程以及位置描述提出HP-TCSP,能够验证CPS的时空性质;再次,通过模型转换将混成AADL转换为HP-TCSP,从而可以将混成AADL描述的CPS模型在HP-TCSP中进行时空一致性验证;最后通过一个飞机避撞系统实例,验证该方法的有效性.