大断面巷道快速掘进支护工艺方案对比分析

1

作者 张海宾 《能源与节能》 2025年第2期225-227,共3页

煤炭开采过程中,巷道掘进效率是影响煤矿综合效益的重要因素。掘锚一体化机组的应用可大大提高巷道掘进效率,其形成的大断面巷道对围岩支护工艺要求较高。针对2506工作面快速掘进形成的大断面巷道,采用数值模拟方式分析了3种不同的支护... 煤炭开采过程中,巷道掘进效率是影响煤矿综合效益的重要因素。掘锚一体化机组的应用可大大提高巷道掘进效率,其形成的大断面巷道对围岩支护工艺要求较高。针对2506工作面快速掘进形成的大断面巷道,采用数值模拟方式分析了3种不同的支护工艺方案,从而选取最优的支护工艺方案,以保证围岩的稳定性。对回采过程中应力及位移的仿真分析,验证了支护工艺的有效性。 展开更多

关键词 快速掘进 锚杆支护 间排距 应力 位移

在线阅读 下载PDF 职称材料

基于双层遗传算法的静态防空反导杀伤网构建方法

2

作者 付昱龙 张海宾 +1 位作者 郭相科 戚玉涛 《空军工程大学学报》 北大核心 2025年第1期59-66,共8页

在防空反导作战中,构建高效的杀伤网是确保反导任务成功的关键环节,然而杀伤网构建问题的优化建模和求解是一个难题。从组合优化的角度出发,对静态的杀伤网构建问题进行优化建模并提出高效求解方案;针对杀伤网构建问题的特点,建立了混... 在防空反导作战中,构建高效的杀伤网是确保反导任务成功的关键环节,然而杀伤网构建问题的优化建模和求解是一个难题。从组合优化的角度出发,对静态的杀伤网构建问题进行优化建模并提出高效求解方案;针对杀伤网构建问题的特点,建立了混合整数规划模型,并使用一种基于双层规划的优化建模方案进行简化,通过任务分配和冲突消解的主从问题协同降低求解难度,随后设计一种基于双层遗传算法的求解框架进行优化实验。在4组不同规模的环境实验测试中,算法能够快速找到较优解,并且对较大规模问题能保持良好的求解能力以及良好的可解释性。为防空反导领域的静态的杀伤网自主智能构建提供思路,可作为动态杀伤网调整的研究基础。 展开更多

关键词 混合整数规划 杀伤网 遗传算法 防空反导

在线阅读 下载PDF 职称材料

多孔割缝后煤层变化规律对卸压效果影响的数值分析 被引量：7

3

作者 张海宾 林柏泉 +2 位作者 孟凡伟 张敬瑶 杨威 《煤炭工程》 北大核心 2010年第11期71-73,共3页

文章针对高压水射流多孔割缝对煤层的应力及位移的变化影响,研究了该技术在煤层整体卸压方面的作用效果。通过FLAC3D软件分析得出,煤层进行割缝后的1m区域内,应力降低65%以上,位移变化4.11mm以上,同时在3m以内的范围能够达到整体卸压的... 文章针对高压水射流多孔割缝对煤层的应力及位移的变化影响,研究了该技术在煤层整体卸压方面的作用效果。通过FLAC3D软件分析得出,煤层进行割缝后的1m区域内,应力降低65%以上,位移变化4.11mm以上,同时在3m以内的范围能够达到整体卸压的效果。经现场应用表明,该技术可以使割缝孔之间相互作用,形成裂隙网络,煤体得到充分卸压,增加煤层的透气性,提高瓦斯的抽采率。 展开更多

关键词 多缝槽 卸压 应力分布 数值模拟

在线阅读 下载PDF 职称材料

稠密时间区间时序逻辑的可满足性判定 被引量：3

4

作者 张海宾 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2007年第3期463-467,共5页

定义了稠密时间区间时序逻辑(DTITL),它是区间时序逻辑的一种实时扩充.通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系,把DTITL的连续状态模型离散化为一阶区间时序逻辑模型.定义了一套规则来构造DTITL公式对应的有界整数... 定义了稠密时间区间时序逻辑(DTITL),它是区间时序逻辑的一种实时扩充.通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系,把DTITL的连续状态模型离散化为一阶区间时序逻辑模型.定义了一套规则来构造DTITL公式对应的有界整数域上一阶区间时序逻辑子集SFO的公式,从而把DTITL的可满足性判定问题等价地转化成了SFO的判定问题.利用多个命题变量等价表示有界整数,把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题.解决了DTITL的可满足性判定问题. 展开更多

关键词 实时系统 时序逻辑 模型检查 混合系统

在线阅读 下载PDF 职称材料

多速率混合系统的符号化可达性分析 被引量：2

5

作者 张海宾 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2007年第4期412-415,共4页

针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作,即并操作、变量重赋值操作... 针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作,即并操作、变量重赋值操作和控制状态上的时间流逝操作.从理论上证明了多速率区域在这3种操作上的封闭性,同时定义了矩阵数据结构不同上限矩阵(DCM),并用其存储多速率区域,这样就得到了一种专门处理多速率混合系统符号化可达性分析的数据结构.理论上证得,DCM可以大大降低可达性分析算法的复杂度. 展开更多

关键词 混合系统 多速率自动机 可达性分析

在线阅读 下载PDF 职称材料

区间时序逻辑的模型检查 被引量：2

6

作者 张海宾 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2009年第2期338-342,共5页

为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质,定义了一套转换规则.利用这些规则,可以构造一个chop-自动机,该自动机接受的语言恰是所有满足这个区间时序逻辑公式的模型的集合.同时,定义了一套转换规... 为了检验标注有限状态自动机描述的系统是否满足某个区间时序逻辑公式刻画的性质,定义了一套转换规则.利用这些规则,可以构造一个chop-自动机,该自动机接受的语言恰是所有满足这个区间时序逻辑公式的模型的集合.同时,定义了一套转换规则把一个chop-自动机转换为一个标注有限状态自动机,使得它们接受相同的原子命题序列集.这样,区间时序逻辑的模型检查问题就等价地转换成了很容易解决的两个标注有限状态自动机的语言包含问题. 展开更多

关键词 模型检查 时序逻辑 自动机

在线阅读 下载PDF 职称材料

多速率混合系统的模型检查 被引量：1

7

作者 张海宾 段振华 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2008年第1期60-64,86,共6页

研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质.首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式.接着定义了初始化的多速率自动机状态空... 研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质.首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式.接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机,并且通过构造域自动机对应的标注有限状态自动机,把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题.利用区间时序逻辑的模型检查算法加上上述的转换规则,就可以解决初始化的多速率混合系统的模型检查问题. 展开更多

关键词 模型检查 混合系统 多速率自动机 区间时序逻辑

在线阅读 下载PDF 职称材料

乌鳢出血性败血症病原研究 被引量：9

8

作者 张海宾 《水利渔业》 北大核心 2005年第2期81-82,共2页

从患病死亡的乌鳢体内分离出一种革兰氏阴性短杆菌,对其形态特征、培养特征、生理生化反应,凝聚反应,药敏实验,动物回感实验,确认该菌为嗜水气单胞菌,其对卡那霉素、环丙沙星较敏感。

关键词 乌鳢 病原研究 出血性败血症 生理生化反应 嗜水气单胞菌 病死 形态特征 体内 药敏实验 环丙沙星

在线阅读 下载PDF 职称材料

5种消毒剂对锦鲤的急性毒性试验 被引量：7

9

作者 张海宾 《水利渔业》 北大核心 2005年第6期96-97,共2页

在温度16～20℃、静水条件下用生物毒性试验方法进行了孔雀石绿、高锰酸钾、强效消毒剂、硝酸亚汞、亚甲基兰对锦鲤的急性毒性试验.结果表明,5种药物的安全浓度分别为0.06、0.56、1.05、0.14、4.25mg/L;其中高锰酸钾、强效消毒剂、亚甲... 在温度16～20℃、静水条件下用生物毒性试验方法进行了孔雀石绿、高锰酸钾、强效消毒剂、硝酸亚汞、亚甲基兰对锦鲤的急性毒性试验.结果表明,5种药物的安全浓度分别为0.06、0.56、1.05、0.14、4.25mg/L;其中高锰酸钾、强效消毒剂、亚甲基兰是较理想的消毒药物. 展开更多

关键词 锦鲤 消毒剂 急性毒性 安全浓度

在线阅读 下载PDF 职称材料

pH对乌鳢胃、肠、肝胰脏蛋白酶活性的影响 被引量：6

10

作者 张海宾 《水利渔业》 北大核心 2006年第2期4-5,共2页

设定胃蛋白酶活性在pH2．2～4.6、肠及肝胰脏蛋白酶活性在pH6．4～8，8范围内测定。pH各5个梯度，梯幅0，6。乌鳢胃、肠、肝胰脏蛋白酶的活性最适pH值为别为2．8、8．2、8.2。在最适pH值时酶活性的大小顺序为胃〉肠〉肝胰脏。pH对胃蛋... 设定胃蛋白酶活性在pH2．2～4.6、肠及肝胰脏蛋白酶活性在pH6．4～8，8范围内测定。pH各5个梯度，梯幅0，6。乌鳢胃、肠、肝胰脏蛋白酶的活性最适pH值为别为2．8、8．2、8.2。在最适pH值时酶活性的大小顺序为胃〉肠〉肝胰脏。pH对胃蛋白酶的影响大于对肠和肝胰脏蛋白酶的影响。 展开更多

关键词 乌鳢 蛋白酶 活性 PH

在线阅读 下载PDF 职称材料

巴西彩龟对温和气单胞菌的免疫应答研究

11

作者 张海宾 《淡水渔业》 CSCD 北大核心 2006年第2期44-46,共3页

选择对巴西彩龟强毒力的温和气单胞菌菌株(AB98043),扩大培养制成灭活福尔马林菌苗,分别对巴西彩龟进行注射和浸泡试验。经过对吞噬细胞吞噬活性、血清抗体效价的检测和攻毒试验,结果表明,受免组各项指标均明显高于对照组,免疫保护力达... 选择对巴西彩龟强毒力的温和气单胞菌菌株(AB98043),扩大培养制成灭活福尔马林菌苗,分别对巴西彩龟进行注射和浸泡试验。经过对吞噬细胞吞噬活性、血清抗体效价的检测和攻毒试验,结果表明,受免组各项指标均明显高于对照组,免疫保护力达到82%以上,其中浸泡组各项指标略低于注射组。 展开更多

关键词 巴西彩龟 温和气单胞菌 免疫应答

在线阅读 下载PDF 职称材料

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

12

作者 林柏泉 孟凡伟 张海宾 《煤炭学报》 EI CAS CSCD 北大核心 2011年第1期75-79,共5页

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

关键词 煤矿瓦斯 钻割抽一体化 卸压增透 瓦斯抽采

在线阅读 下载PDF 职称材料

穿层钻割一体化卸压增透技术数值模拟分析及应用 被引量：9

13

作者 张萌博 张海宾 +2 位作者 林柏泉 翟成 孟凡伟 《煤炭工程》 北大核心 2010年第10期66-68,共3页

通过分析应用穿层钻割一体化后煤体应力变化情况,指出穿层钻割一体化技术是煤层卸压增透的重要手段。利用FLAC软件研究分析了5m和10m两种布孔方式煤体应力变化对整体卸压的影响。研究得出,10m布孔方式与5m相比,虽然卸压强度降低,但是具... 通过分析应用穿层钻割一体化后煤体应力变化情况,指出穿层钻割一体化技术是煤层卸压增透的重要手段。利用FLAC软件研究分析了5m和10m两种布孔方式煤体应力变化对整体卸压的影响。研究得出,10m布孔方式与5m相比,虽然卸压强度降低,但是具有卸压范围广,单孔利用率高,有效影响范围大,对开采前期的瓦斯预抽更有价值。在实际应用中,间排距增大到10m后,单孔瓦斯流量提高了3~6倍,预抽时间缩短一半的情况下,即可满足8m3/t的开采条件,保障了煤矿的安全高效的开采。 展开更多

关键词 穿层钻割一体化 应力变化 布孔方式

在线阅读 下载PDF 职称材料

离散时间区间时序逻辑可满足性的判定 被引量：4

14

作者 朱维军 张海宾 周清雷 《电子学报》 EI CAS CSCD 北大核心 2010年第5期1039-1045,共7页

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

关键词 模型检查 离散时间区间时序逻辑 时间正则图 可满足性判定

在线阅读 下载PDF 职称材料

移动环境中的位置依赖连续轮廓查询 被引量：2

15

作者 黄伯虎 张海宾 +1 位作者 王小兵 刘旭东 《西安交通大学学报》 EI CAS CSCD 北大核心 2012年第6期79-86,共8页

针对移动环境中查询点快速移动时连续、高效输出给定搜索区域数据轮廓的问题,提出一种位置依赖连续轮廓查询算法(LDCS).该算法结合数据流技术,首先使用R树快速更新查询数据,然后利用两次连续计算时搜索区域的重叠性构造被动数据流,并对... 针对移动环境中查询点快速移动时连续、高效输出给定搜索区域数据轮廓的问题,提出一种位置依赖连续轮廓查询算法(LDCS).该算法结合数据流技术,首先使用R树快速更新查询数据,然后利用两次连续计算时搜索区域的重叠性构造被动数据流,并对新增和失效数据分别进行处理,从而连续输出轮廓.由于充分利用了已有结果,LDCS的计算量较传统算法有大幅下降.实验结果表明,LDCS特别适合计算频度要求较高的场合,与基于网格索引的算法相比,时间效率随着数据集规模的增大显著提升. 展开更多

关键词 数据流 位置服务 轮廓 查询处理 移动计算

在线阅读 下载PDF 职称材料

代谢工程改造大肠杆菌合成L-异亮氨酸的研究 被引量：5

16

作者 李燕军 张海宾 +3 位作者 麻杰 张成林 谢希贤 陈宁 《发酵科技通讯》 CAS 2016年第3期133-139,共7页

以L-苏氨酸生产菌Escherichia coli THRD为出发菌株,利用基因重组技术替换ilv LXGMEDA启动子并过表达解除L-异亮氨酸反馈抑制的ilv A和ilv IH,以期获得L-异亮氨酸生产菌。将ilv LXGMEDA启动子替换为强启动子Ptrc并敲除ilv LXGM后获得IL... 以L-苏氨酸生产菌Escherichia coli THRD为出发菌株,利用基因重组技术替换ilv LXGMEDA启动子并过表达解除L-异亮氨酸反馈抑制的ilv A和ilv IH,以期获得L-异亮氨酸生产菌。将ilv LXGMEDA启动子替换为强启动子Ptrc并敲除ilv LXGM后获得ILE01菌株,于该菌株中分别过表达解除L-异亮氨酸反馈抑制的ilv IH及共表达解除L-异亮氨酸反馈抑制的ilv A和ilv IH,获得菌株ILE02和ILE03,其L-异亮氨酸产量分别达到1.75 g/L和2.19 g/L。针对ILE03α-酮丁酸积累量过高的问题,通过改变操纵子中ilv A和ilv IH的顺序调节其转录水平,获得菌株ILE04,其L-异亮氨酸产量达2.85 g/L。利用ILE04于5 L发酵罐中进行发酵实验,L-异亮氨酸产量、发酵强度及转化率分别为5.23 g/L、0.17 g/(L·h)及4.6%。 展开更多

关键词 L-异亮氨酸 大肠杆菌 反馈抑制 苏氨酸脱水酶 乙酰羟基酸合成酶

在线阅读 下载PDF 职称材料

扩展命题区间时序逻辑公式可满足性判定算法 被引量：1

17

作者 朱维军 邓淼磊 +1 位作者 周清雷 张海宾 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第5期753-758,共6页

针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法。首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公... 针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法。首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公式的正则图模型;最后,判定子算法在正则图上判定公式的可满足性。如果在正则图上直接加上接受条件,即可得到公式的自动机模型。新算法的提出为带有星算子的扩展命题区间时序逻辑的模型检测解决了核心方法问题。仿真结果表明,与相关方法相比,基于扩展命题区间时序逻辑的新方法在描述与验证循环结构性质方面具有比较优势。 展开更多

关键词 扩展命题区间时序逻辑 模型检测 正则图 可满足性判定

在线阅读 下载PDF 职称材料

有向图k边导出子图的DNA粘贴算法 被引量：1

18

作者 朱维军 徐朝辉 +1 位作者 张海宾 杨卫东 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2013年第5期175-180,共6页

针对经典计算的有向图k边导出子图生成算法时间复杂度较高问题,提出了一种在脱氧核糖核酸粘贴机上运行的子图生成算法.首先,以粘贴系统提供的标准生化元操作为算法使用的基本元算子,并使用元操作所产生的生化结果的图论解释作为元算子... 针对经典计算的有向图k边导出子图生成算法时间复杂度较高问题,提出了一种在脱氧核糖核酸粘贴机上运行的子图生成算法.首先,以粘贴系统提供的标准生化元操作为算法使用的基本元算子,并使用元操作所产生的生化结果的图论解释作为元算子的最小语义单元;其次,使用包括顺序、循环等在内的程序控制结构,设计一定的逻辑方式把元算子组织起来,以计算有向图导出子图.复杂度分析表明,新算法可在线性时间生成所有子图.仿真实验结果表明,与经典算法相比,新算法在理想条件下大幅降低了子图生成时间. 展开更多

关键词 有向图 脱氧核糖核酸 时间复杂度 粘贴系统

在线阅读 下载PDF 职称材料

灰色线性回归组合模型在计算给水管道阻力系数中的应用 被引量：3

19

作者 张海宾 党志良 余方智 《华北水利水电学院学报》 2009年第1期18-20,共3页

为了求解管道阻力系数,将其应用到工程中的水力计算中,运用灰色线性回归组合模型进行求解,得出了计算管道阻力系数的数学模型,并结合工程实例进行验证.实践表明该模型的精度较高,具有一定参考价值.

关键词 管道阻力系数 灰色线性回归组合模型 MATLAB

在线阅读 下载PDF 职称材料

高压磨料射流钻割一体化防突设备的研究 被引量：3

20

作者 张连军 谢友友 +2 位作者 董涛 陆海龙 张海宾 《能源技术与管理》 2008年第5期1-3,共3页

为了解决目前高瓦斯低透气性煤层消突困难的问题,从磨料射流的角度开发出一种新型防突设备。介绍了设备工作原理、设备总成,并通过实验室实验摸索了设备的主要运行参数,得出影响磨料射流割缝效果的主要因素——系统运行压力、割缝时间... 为了解决目前高瓦斯低透气性煤层消突困难的问题,从磨料射流的角度开发出一种新型防突设备。介绍了设备工作原理、设备总成,并通过实验室实验摸索了设备的主要运行参数,得出影响磨料射流割缝效果的主要因素——系统运行压力、割缝时间、磨料硬度及结构不规则程度。为设备进一步优化,提高割缝能力奠定基础。 展开更多

关键词 高压磨料射流 钻割一体化 系统压力 割缝能力

在线阅读 下载PDF 职称材料