从线性时序逻辑公式到自动机的转换算法

To combat the well-known state-space explosion problem in Propositional Linear Temporal Logic (PLTL) model checking, a novel algorithm capable of translating PLTL formulas into Nondeterministic Automata (NA) in an efficient way is proposed. The algorithm firstly transforms PLTL formulas into their non-free forms, then it further translates the non-free formulas into their Normal Forms (NFs), next constructs Normal Form Graphs (NFGs) for NF formulas, and it finally transforms NFGs into the NA which accepts both finite words and infinite words. The experimental data show that the new algorithm reduces the average number of nodes of target NA for a benchmark formula set and selected formulas in the literature, respectively. These results indicate that the PLTL model checking technique employing the new algorithm generates a smaller state space in verification of concurrent systems.     

光谱载体氯化锂对ICP-OES法测定铅锰的影响

为研究光谱载体LiCl对ICP-OES法测定Pb、Mn的影响,通过测定在不同LiCl浓度、射频功率、观测高度、载气流量和进样量条件下谱线Mn Ⅰ 279.482nm,Mn Ⅰ 403.075nm,Mn Ⅱ 257.610nm,Mn Ⅱ 259.372nm,Pb Ⅰ 217.000nm,Pb Ⅰ 283.306nm,Pb Ⅱ 220.353nm的净强度,得到了各谱线灵敏度的影响规律。证明LiCl是ICP-OES法测定Pb、Mn的良好光谱载体,LiCl增敏ICP-OES法测定地表水中Pb、Mn是可行的。     

含铬焊瓶钢在热轧过程中产生边裂的原因分析

针对本钢板材股份有限公司1 700 mm热轧线生产的含铬焊瓶钢存在边裂的问题,对缺陷处进行了取样分析。结果表明,由于微观组织的不均匀导致带钢性能不均而发生边裂缺陷,通过调整热轧温度制度和冷却制度,消除了边裂缺陷。     

热轧酸洗板铸坯表面清理过程对除鳞效果的影响

利用扫描电镜和表面粗糙度检测仪检测酸洗板纵向条纹缺陷。通过对酸洗板生产过程的跟踪与排查分析,产生纵向条纹的原因是铸坯表面清理后在热轧过程中坯料表面温度存在梯度,导致轧制后的带钢表面氧化铁皮及粗糙度分布不均所致。其中,铸坯表面清理是影响纵向条纹的主要因素。结合实验分析结果,对生产工艺进行了调整和优化,高等级酸洗板产品的纵向条纹缺陷已得到有效控制。     

爆炸三角形的原理及应用

介绍了浓度三角形图线法的性质及推论,结合各条件下的爆炸浓度极限绘制出爆炸三角形,给出了并下工作地点气体有无爆炸性的判断依据,并就爆炸三角形对火区封闭或启封时、采用氮气防爆所需掺入氮气体积量的计算和对煤矿气体可爆性测定仪的研制等作用进行了论述.     

一种基于区间时序逻辑模型检测的入侵检测算法

Model checking based on linear temporal logic reduces the false negative rate of misuse detection. However, linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks. So there is still a high rate of false negatives in detecting these complex attack patterns. To solve this problem, we use interval temporal logic formulae to describe concurrent attacks and piecewise attacks. On this basis, we formalize a novel algorithm for intrusion detection based on model checking interval temporal logic. Compared with the method based on model checking linear temporal logic, the new algorithm can find unknown succinct attacks. The simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.     

索穹顶膜结构找形分析

索穹顶结构和覆盖膜结构均是由柔性材料组成,其成形及承载都依靠预应力来实现,故其设计首先需要进行找形分析。在对索穹顶膜结构的分离找形和整体找形进行对比研究的基础上,通过实例表明两种方法的计算结果差别很大,指出整体协同找形分析的必要性。     

基于区域瓦斯治理的钻割抽一体化技术及应用

针对我国高瓦斯煤层赋存特点及目前煤矿区域瓦斯治理过程中存在的问题,采用理论研究、数学建模和现场测试相结合的方式,研究了基于区域瓦斯治理的高瓦斯低透气性煤层卸压增透技术及改善瓦斯流动与解吸方式,建立了高压射流割缝卸压范围内瓦斯流动毛细管模型,并且通过对割缝主体影响区、边界影响区消突时间的对比分析,得出了割缝影响区内任一点消突的判据和割缝卸压范围内整体消突时间。最后,结合笔者多年从事瓦斯抽采的研究和科研成果,提出了基于区域瓦斯治理的钻割抽一体化技术,开发了相应的配套设备和材料,在国内有关矿井进行了应用。应用结果表明,该技术可显著提高抽放钻孔的单孔有效影响范围,减少区域瓦斯治理需要的钻孔数量,缩短区域抽采时间,提高区域抽采效率。     

浅谈GIS的漏气问题

文章主要介绍GIS产品漏气对产品质量的影响,强调工艺控制对产品质量的重要作用,并通过漏气原因的分析,制定出相应的解决措施。