基于受控时间Petri网的车辆检测过程模型

针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网（Controlled Time Petri Nets）模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。     

石化行业自动化控制仪表常见故障分析及其处理

介绍化工生产过程中仪表故障及其处理措施。     

基于去调频技术的斜视聚束SAR成像方法

针对具有方位谱混叠现象的斜视聚束式合成孔径雷达(SAR)成像问题,本文研究了一种基于去调频技术的成像方法.文中首先分析了斜视聚束SAR中的方位谱混叠现象,从理论上找出了斜视角影响方位粗聚焦的根本原因.基于分析结果,引入了回波信号非线性相位校正预处理法,彻底消除了斜视角的影响,从而得到正确的粗聚焦结果.然后基于斜视成像模型,推导了预处理回波信号的方位粗聚焦和精聚焦处理过程.在精聚焦的方位滤波处理中,针对非线性相位校正预处理导致的场景聚焦深度限制问题,提出了一种改进的非线性调频变标(NLCS)算法,实现了回波信号的高精度方位压缩.仿真实验结果证明了文中理论分析的正确性和所提方法的有效性.     

反倾岩质边坡弯曲倾倒-剪切滑移破坏分析方法研究

目前反倾岩质边坡弯曲倾倒破坏分析方法仍以基于极限平衡理论的悬臂梁模型为主,但大多未考虑坡脚岩层的剪切破坏。为准确评价该类边坡的稳定性,建立考虑坡脚岩层剪切破坏的分析计算方法。首先,根据岩层变形破坏特征,将边坡分为后缘稳定区、中部弯曲倾倒区和前缘剪切区3个区域;其次,建立弯曲倾倒-剪切滑移破坏模式的稳定性分析方法;最后,通过工程实例验证,并进行参数分析。研究结果表明:提出的分析方法与工程实际符合性较好;边坡在倾角较陡、坡角较大时稳定性最差,坡角对边坡稳定性影响大于岩层倾角的影响;岩层厚度及层面内摩擦角增加有利于边坡稳定性,且会扩大坡脚剪切区范围。研究成果对反倾岩质边坡破坏的防治具有实践指导意义。     

Automatic verification of concurrent stochastic systems

Formal Methods in System Design - Automated verification techniques for stochastic games allow formal reasoning about systems that feature competitive or collaborative behaviour among rational...     

A URI-based approach for addressing fragments of media resources on the Web

To make media resources a prime citizen on the Web, we have to go beyond simply replicating digital media files. The Web is based on hyperlinks between Web resources, and that includes hyperlinking out of resources (e.g., from a word or an image within a Web page) as well as hyperlinking into resources (e.g., fragment URIs into Web pages). To turn video and audio into hypervideo and hyperaudio, we need to enable hyperlinking into and out of them. The W3C Media Fragments Working Group is taking on the challenge to further embrace W3C??s mission to lead the World Wide Web to its full potential by developing a Media Fragment protocol and guidelines that ensure the long-term growth of the Web. The major contribution of this paper is the introduction of Media Fragments as a media-format independent, standard means of addressing media resources using URIs. Moreover, we explain how the HTTP protocol can be used and extended to serve Media Fragments and what the impact is for current Web-enabled media formats.     

Simulation of smoke flow and longitudinal ventilation in tunnel fire

1 Introduction The tunnel is one of the important facilities of railroad and highway transportation, and also a throat of railroad and highway. With the development of transportation, there are more and more tunnels. Although the tunnel fire occurs seldo…     

助剂Co对乙炔氢氯化超低汞催化体系性能的影响

以椰壳活性炭为载体,HgCl2为主催化组分,CoCl2为助催化组分,采用浸渍法制备了乙炔氢氯化超低汞催化剂.用SEM和XRD对催化剂进行了表征,在固定床转化器中测试了该催化剂乙炔转化率的性能,在管式恒温炉中考察了该催化剂的热稳定性.结果 表明:①CoCl2的加入能提高3％ HgCl2/C的催化转化率和热稳定性,最佳配比为3％ HgCl2-9％ CoCl2/C;②在乙炔空间流速为20 h-1,温度为150℃,进料摩尔比为n(C2H2)∶n(HCl) =1∶1.1,反应时间为48 h的条件下,乙炔催化转化率可达98.4％,氯化汞损失率达到1.8％.     

基于模糊逻辑的电动汽车双源混合储能系统能量管理策略

针对电动汽车行驶过程中电池放电电流过大导致的电池容量衰减问题,构建了由锂离子动力电池、超级电容和多端口DC/DC变换器构成的全主动式混合储能系统,其中电流环控制器和电压环控制器分别控制输出电流和直流母线电压。结合超级电容SOC、整车需求功率和车速情况,根据建立的45条模糊控制规则,模糊逻辑控制器调节锂离子动力电池和超级电容的充放电功率,在车辆峰值功率需求较高时避免了高频电流波动对动力电池寿命的影响。同时在功率需求较低时,动力电池给超级电容充电。在HWFET工况下的实验结果表明所提出的全主动式双能量源混合储能系统和基于模糊逻辑的能量管理策略能够有效保护锂离子动力电池免受大电流波动影响,从而达到延长电池寿命的作用。