排序方式: 共有38条查询结果,搜索用时 15 毫秒
31.
32.
33.
定义了稠密时间区间时序逻辑(DTITL),它是区间时序逻辑的一种实时扩充.通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系,把DTITL的连续状态模型离散化为一阶区间时序逻辑模型.定义了一套规则来构造DTITL公式对应的有界整数域上一阶区间时序逻辑子集SFO的公式,从而把DTITL的可满足性判定问题等价地转化成了SFO的判定问题.利用多个命题变量等价表示有界整数,把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题.解决了DTITL的可满足性判定问题. 相似文献
34.
针对我国高瓦斯煤层赋存特点及目前煤矿区域瓦斯治理过程中存在的问题,采用理论研究、数学建模和现场测试相结合的方式,研究了基于区域瓦斯治理的高瓦斯低透气性煤层卸压增透技术及改善瓦斯流动与解吸方式,建立了高压射流割缝卸压范围内瓦斯流动毛细管模型,并且通过对割缝主体影响区、边界影响区消突时间的对比分析,得出了割缝影响区内任一点消突的判据和割缝卸压范围内整体消突时间。最后,结合笔者多年从事瓦斯抽采的研究和科研成果,提出了基于区域瓦斯治理的钻割抽一体化技术,开发了相应的配套设备和材料,在国内有关矿井进行了应用。应用结果表明,该技术可显著提高抽放钻孔的单孔有效影响范围,减少区域瓦斯治理需要的钻孔数量,缩短区域抽采时间,提高区域抽采效率。 相似文献
35.
36.
37.
38.
结合府谷新区供水系统的特点和管理现状,建立了供水系统优化调度模型,并采用动态规划法对模型进行求解,得出一个调度周期内泵站开机的最佳时段,计算出经验运行时和优化运行后泵站的耗电量。优化结果表明,供水系统优化运行后的经济效益明显,通过优化调度,日耗电量明显少于经验运行方式,优化节电率达6.28%。 相似文献