混合系统的符号化可达性分析

定义了一种称作混合区域的形式化结构表示矩形混合系统的状态集,它实际上是由一组特殊形式的线性不等式联立表示的多面体空间.证明了混合区域对于矩形混合系统的可达性操作的封闭性.此外,用矩形混合系统近似模拟非线性混合系统,相应地解决了非线性混合系统的可达性问题.使用混合区域,可以直接计算由某个正则的混合区域开始的可达集,这样,混合系统的可达性问题主要是求解混合区域的正则型问题,而这问题是一种线性规划问题,可以使用经典的线性规划算法加以解决.     

基于时间区间时序逻辑的实时系统统一模型检测

在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质. 为此, 该文使用一个离散时间区间时序逻辑公式建立实时系统模型, 使用另一个离散时间区间时序逻辑公式描述实时系统需要满足的性质, 在此基础上, 离散时间区间时序逻辑统一模型检测问题即可归约为目前已解决的离散时间区间时序逻辑可满足性判定问题. 该文证明了新方法的有效性以及正确性, 为区间实时逻辑这一类的模型检测问题提供了方法.     

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

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.     

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

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

光谱载体氯化锂对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是可行的。     

爆炸三角形的原理及应用

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

索穹顶膜结构找形分析

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

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

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

网格调度综述

简要地分析了网格资源的特点,给出了网格作业调度过程中所面临的主要挑战.为了便于对网格调度有更清晰的认识,介绍了包含网格系统主要功能模块的网格调度体系结构,并结合特定作业具体介绍了网格作业调度流程.从3个不同的角度重点对网格环境中的作业调度算法进行了详尽介绍,并就各种调度算法的优缺点和适用情形进行了比较和分析.对网格调度进行了总结,并从几个不同的方面对网格调度算法的研究进行了展望.