离散时间区间时序逻辑可满足性的判定

目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.     

304不锈钢激光点焊工艺研究

本文以304不锈钢作为试验材料,采用搭接的方式进行激光点焊试验,研究了激光功率、焊接持续时间、离焦量和间隙对焊点形态及尺寸的影响规律。试验结果表明,在熔透情况下,焊点上表面都呈现明显的下塌,持续时间或者间隙较大时,下表面还会出现内凹。随着焊接持续时间的增加,焊点整体尺寸增长较快,中心的下塌和内凹深度都有明显增加;而随着激光功率的增加,焊点尺寸增长缓慢。当间隙变大时,焊点熔合面出现收缩现象。     

摄像定尺系统在莱钢连铸机中的应用

介绍了摄像定尺系统的组成、控制原理、系统功能以及在连铸机中的应用效果。有效的提高了连铸机生产线板坯长度的精确性。     

电力SCADA仿真系统

给出了一种电力SCADA仿真系统及其实现方法。该系统在生产实践的仿真培训方面具有很好的应用前景和优势。     

炸药在密闭容器中爆炸数值模拟和试验

为了解炸药在密闭容器中爆炸超压传播觃律,测量了TNT在500L密闭容器中爆炸的冲击波超压和准静压,利用AUTODYN建立了二维轴对称模型,获得了冲击波和爆轰产物在容器中的传播过程。研究了传感器附近的凹凸结构对冲击波超压和准静压测试的影响,对比数值计算和实测超压历程曲线。结果表明,数值计算和试验结果基本一致,凹凸结构能够显著影响冲击波超压,而对准静压无影响。     

微机转速测量常用方法与精度分析

介绍了目前自动测量与自动控制中有关转速测量常用的几种方法，分析了各自的测量原理与精度；指出计算机时钟细分技术是实现高精度动态测速的关键。     

深圳河“9.26”洪水洪痕查测与洪水还原

本文介绍缺乏实则水位、流量资料的深圳河１９９３年“９．２６”洪不的洪前查则与洪水还原计算的成果，并对洪前查测与洪水还原的水面线作了分析比较。     

沿海城市暴雨-高潮位复合致涝区划研究北大核心CSCD

由于暴雨和高潮位的共同影响,沿海城市更容易遭受内涝灾害。暴雨和高潮位影响区域致灾因子划分是减灾措施布设的重要因素。本文提出了致灾因子区划方法,并进行了区划方法的效果分析。以海口市主城区为例,基于城市暴雨污水及流域雨洪管理建模软件构建一二维耦合城市内涝模型,计算不同组合工况下的淹没水深和淹没范围,将内涝区域划分为降雨影响区、潮汐影响区和共同影响区,并对三个区域进行了减灾措施优化分析。结果表明,潮汐影响区、共同影响区和降雨影响区距海岸线逐渐变远;降雨影响区布设蓄水池的效益要明显优于潮汐影响区,而潮汐影响区布设止回阀的效益要优于降雨影响区。因此,通过内涝区域划分可以更高效地布设防涝措施。     

飞行器智能控制系统研究进展

进行了飞行器智能控制系统研究进展的分析与综述。简要回顾了基于动态专家系统的飞行器自适应控制系统和当今广泛采用的飞行器"参谋"控制系统;在对智能系统发展趋势进行分析的基础上,推荐了建立在阿诺辛提出的功能系统理论基础上的最具发展前景的智能系统,给出了结构框图,详细介绍了作为该型智能系统中核心模块的预测算法、控制算法、目标综合和动态专家系统的构建问题;介绍了功能-智能系统用于飞行器控制的最新成果,描述了系统框图和关键部分的实现过程,并给出了对系统性能的仿真研究结果。在对智能控制系统的功能结构及其算法进行分析的基础上,给出了在实际应用中建立有效和性能良好的智能系统的建议。