期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
半煤岩巷快速掘进爆破参数优化确定
被引量：
4
1
作者
申李华
郭
宗
豪
+2 位作者
李政岱
邵光耀
刘海雁
《煤》
2019年第7期16-21,共6页
针对王庄煤矿91-101工作面顶板高抽巷巷道成型质量差和掘进速度慢的问题,结合巷道爆破及围岩状况,依据光面爆破原理计算分析了半煤岩巷的爆破参数,运用LS-DYNA软件模拟分析了不同爆破布孔间距下泥岩和煤的应力和应变塑性区分布特征,优...
针对王庄煤矿91-101工作面顶板高抽巷巷道成型质量差和掘进速度慢的问题,结合巷道爆破及围岩状况,依据光面爆破原理计算分析了半煤岩巷的爆破参数,运用LS-DYNA软件模拟分析了不同爆破布孔间距下泥岩和煤的应力和应变塑性区分布特征,优化确定了半煤岩巷的周边眼间距。结果表明:优化爆破周边眼间距由400mm扩大为500mm,爆破能量作用充分,塑性区成型平整光滑,且整体布孔数量可减少6个;现场应用后半煤岩巷围岩的成型质量及稳定性好,月平均进尺可增加45.3m,掘进效率可提高约50.93%。
展开更多
关键词
爆破掘进
半煤岩巷
数值分析
参数优化
快速掘进
下载PDF
职称材料
机械法联络通道刀盘刀具磨损的影响分析
2
作者
白中坤
郭
宗
豪
+2 位作者
付增
吴有
豪
范磊
《现代制造技术与装备》
2023年第2期144-146,150,共4页
为确保机械法联络通道的安全掘进,分析联络通道掘进机刀盘刀具磨损的影响至关重要。文章以某地机械法联络通道为例,结合现场实际施工情况和地层地质的变化情况,研究导致联络通道掘进机刀盘磨损的影响因素,从而为相关工程施工提供借鉴。...
为确保机械法联络通道的安全掘进,分析联络通道掘进机刀盘刀具磨损的影响至关重要。文章以某地机械法联络通道为例,结合现场实际施工情况和地层地质的变化情况,研究导致联络通道掘进机刀盘磨损的影响因素,从而为相关工程施工提供借鉴。研究结果表明,机械法联络通道施工过程刀盘磨损可分为两个区,分别是洞门破除段磨损区和掘进段磨损区。切削主线玻璃纤维筋混凝土洞门对联络通道掘进机刀盘影响较大,且刀盘中部刀具磨损量与边缘刀具磨损量存在明显差异。
展开更多
关键词
机械法联络通道
刀具磨损
掘进机
下载PDF
职称材料
概率模型检测的网络传播干预策略
被引量：
1
3
作者
李宙洲
魏欧
+2 位作者
郭
宗
豪
余鹏
韩兰胜
《小型微型计算机系统》
CSCD
北大核心
2017年第6期1175-1180,共6页
网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播...
网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播模型,将干预目标描述为相应的概率时序逻辑属性,提出了概率情况下的网络传播干预策略问题;进一步,以离散的邮件病毒传播模型为研究对象,重点分析了安装防护,定期防护两种防护措施,给出了相应的干预策略分析问题;并且,采用概率模型检测工具PRISM,结合近似模型检测方法,进行了实验分析.
展开更多
关键词
概率模型检测
网络传播干预策略
近似模型检测方法
形式化方法
下载PDF
职称材料
基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制
被引量：
1
4
作者
刘爽
魏欧
郭
宗
豪
《计算机科学》
CSCD
北大核心
2018年第10期313-319,共7页
基因调控网络是一类基本且重要的生物网络,通过对其进行控制可以实现生物系统功能的调节。在生物系统中,通过外部的干预控制构造关于基因调控网络的控制理论成为了非常热门的研究主题。目前,作为一种重要的网络模型,带有干扰且上下文相...
基因调控网络是一类基本且重要的生物网络,通过对其进行控制可以实现生物系统功能的调节。在生物系统中,通过外部的干预控制构造关于基因调控网络的控制理论成为了非常热门的研究主题。目前,作为一种重要的网络模型,带有干扰且上下文相关的概率布尔网络已经被广泛地应用于基因调控网络优化控制问题的研究中。针对无限范围的优化控制问题,文中提出了一种基于概率模型检测和遗传算法的近似最优控制策略的计算方法。首先,该方法将无限范围控制中定义的期望总成本归约为离散时间马尔科夫链上的平稳状态回报;然后,构建包含固定控制策略的带有干扰且上下文相关的概率布尔网络模型,采用带回报属性的时序逻辑公式表示固定控制策略的成本,采用概率模型检测器PRISM进行自动计算。进一步,采用遗传算法,将固定控制策略编码为遗传算法解空间中的个体,基于其控制成本,定义个体的适应度值,将PRISM作为求解器,通过在解空间上迭代地执行遗传操作获取近似最优解。将所提方法应用于WNT5A网络中,实验结果证明了该方法的有效性。
展开更多
关键词
基因调控网络
优化控制
概率模型检测
遗传算法
下载PDF
职称材料
使用模型检测解决概率布尔网络优化控制
被引量：
1
5
作者
郭
宗
豪
魏欧
《计算机科学》
CSCD
北大核心
2017年第5期193-198,231,共7页
系统生物学期望对复杂生物系统建立一个真实的、可计算的模型,以便于以系统的角度去理解生物系统的演变过程。在系统生物学中,一个重要的主题是通过外部的干预控制发展关于基因调控网络的控制理论,以作为未来基因治疗技术。目前,布尔网...
系统生物学期望对复杂生物系统建立一个真实的、可计算的模型,以便于以系统的角度去理解生物系统的演变过程。在系统生物学中,一个重要的主题是通过外部的干预控制发展关于基因调控网络的控制理论,以作为未来基因治疗技术。目前,布尔网络及其扩展的概率布尔网络已经被广泛用于对基因调控网络进行建模。在控制问题的研究中,概率布尔控制网络的状态迁移本质上构成一条有限状态空间的离散时间马尔科夫决策过程。依据马尔科夫决策过程的理论,通过概率模型检测方法解决网络中有限范围优化控制问题和无限范围优化控制问题。针对带有随机干扰且上下文相关的概率布尔控制网络,使用概率模型检测器PRISM对其进行形式化建模,然后将两类优化控制问题描述为相应的时序逻辑公式,最后通过模型检测寻找出最优解。实验结果表明,提出的方法可以有效地用于生物网络的分析和优化控制。
展开更多
关键词
基因调控网络
概率布尔网络
优化控制
概率模型检测
下载PDF
职称材料
题名
半煤岩巷快速掘进爆破参数优化确定
被引量：
4
1
作者
申李华
郭
宗
豪
李政岱
邵光耀
刘海雁
机构
潞安环能股份公司王庄煤矿
中国矿业大学(北京)力学与建筑工程学院
出处
《煤》
2019年第7期16-21,共6页
文摘
针对王庄煤矿91-101工作面顶板高抽巷巷道成型质量差和掘进速度慢的问题,结合巷道爆破及围岩状况,依据光面爆破原理计算分析了半煤岩巷的爆破参数,运用LS-DYNA软件模拟分析了不同爆破布孔间距下泥岩和煤的应力和应变塑性区分布特征,优化确定了半煤岩巷的周边眼间距。结果表明:优化爆破周边眼间距由400mm扩大为500mm,爆破能量作用充分,塑性区成型平整光滑,且整体布孔数量可减少6个;现场应用后半煤岩巷围岩的成型质量及稳定性好,月平均进尺可增加45.3m,掘进效率可提高约50.93%。
关键词
爆破掘进
半煤岩巷
数值分析
参数优化
快速掘进
Keywords
blasting excavation
half-coal and rock roadway
numerical analysis
parameter optimization
rapid excavation
分类号
TD353 [矿业工程—矿井建设]
下载PDF
职称材料
题名
机械法联络通道刀盘刀具磨损的影响分析
2
作者
白中坤
郭
宗
豪
付增
吴有
豪
范磊
机构
中铁工程装备集团有限公司
出处
《现代制造技术与装备》
2023年第2期144-146,150,共4页
文摘
为确保机械法联络通道的安全掘进,分析联络通道掘进机刀盘刀具磨损的影响至关重要。文章以某地机械法联络通道为例,结合现场实际施工情况和地层地质的变化情况,研究导致联络通道掘进机刀盘磨损的影响因素,从而为相关工程施工提供借鉴。研究结果表明,机械法联络通道施工过程刀盘磨损可分为两个区,分别是洞门破除段磨损区和掘进段磨损区。切削主线玻璃纤维筋混凝土洞门对联络通道掘进机刀盘影响较大,且刀盘中部刀具磨损量与边缘刀具磨损量存在明显差异。
关键词
机械法联络通道
刀具磨损
掘进机
Keywords
mechanical contact channel
tool wear
roadheader
分类号
U455.31 [建筑科学—桥梁与隧道工程]
下载PDF
职称材料
题名
概率模型检测的网络传播干预策略
被引量：
1
3
作者
李宙洲
魏欧
郭
宗
豪
余鹏
韩兰胜
机构
南京航空航天大学计算机科学与技术学院
华中科技大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2017年第6期1175-1180,共6页
基金
国家"九七三"重点基础研究发展计划项目(2014CB744904)资助
国家自然(61170043
61272033)资助
文摘
网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找有效的干预策略实现对网络传播的控制是一个重要的研究问题.根据传播过程的内在规律,引入了概率网络传播模型,将干预目标描述为相应的概率时序逻辑属性,提出了概率情况下的网络传播干预策略问题;进一步,以离散的邮件病毒传播模型为研究对象,重点分析了安装防护,定期防护两种防护措施,给出了相应的干预策略分析问题;并且,采用概率模型检测工具PRISM,结合近似模型检测方法,进行了实验分析.
关键词
概率模型检测
网络传播干预策略
近似模型检测方法
形式化方法
Keywords
probabilistic model checking
network propagation intervention
approximate probabilistic model checking
formal methods
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制
被引量：
1
4
作者
刘爽
魏欧
郭
宗
豪
机构
南京航空航天大学计算机科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2018年第10期313-319,共7页
基金
国家自然科学基金项目(61170043)
国家重点基础研究发展计划(973计划)(2014CB744904)资助
文摘
基因调控网络是一类基本且重要的生物网络,通过对其进行控制可以实现生物系统功能的调节。在生物系统中,通过外部的干预控制构造关于基因调控网络的控制理论成为了非常热门的研究主题。目前,作为一种重要的网络模型,带有干扰且上下文相关的概率布尔网络已经被广泛地应用于基因调控网络优化控制问题的研究中。针对无限范围的优化控制问题,文中提出了一种基于概率模型检测和遗传算法的近似最优控制策略的计算方法。首先,该方法将无限范围控制中定义的期望总成本归约为离散时间马尔科夫链上的平稳状态回报;然后,构建包含固定控制策略的带有干扰且上下文相关的概率布尔网络模型,采用带回报属性的时序逻辑公式表示固定控制策略的成本,采用概率模型检测器PRISM进行自动计算。进一步,采用遗传算法,将固定控制策略编码为遗传算法解空间中的个体,基于其控制成本,定义个体的适应度值,将PRISM作为求解器,通过在解空间上迭代地执行遗传操作获取近似最优解。将所提方法应用于WNT5A网络中,实验结果证明了该方法的有效性。
关键词
基因调控网络
优化控制
概率模型检测
遗传算法
Keywords
Genetic regulatory networks
Optimal control
Probabilistic model checking
Genetic algorithm
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
使用模型检测解决概率布尔网络优化控制
被引量：
1
5
作者
郭
宗
豪
魏欧
机构
南京航空航天大学计算机科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2017年第5期193-198,231,共7页
基金
国家自然科学基金项目(61170043)
国家重点基础研究发展计划(973计划)(2014CB744904)资助
文摘
系统生物学期望对复杂生物系统建立一个真实的、可计算的模型,以便于以系统的角度去理解生物系统的演变过程。在系统生物学中,一个重要的主题是通过外部的干预控制发展关于基因调控网络的控制理论,以作为未来基因治疗技术。目前,布尔网络及其扩展的概率布尔网络已经被广泛用于对基因调控网络进行建模。在控制问题的研究中,概率布尔控制网络的状态迁移本质上构成一条有限状态空间的离散时间马尔科夫决策过程。依据马尔科夫决策过程的理论,通过概率模型检测方法解决网络中有限范围优化控制问题和无限范围优化控制问题。针对带有随机干扰且上下文相关的概率布尔控制网络,使用概率模型检测器PRISM对其进行形式化建模,然后将两类优化控制问题描述为相应的时序逻辑公式,最后通过模型检测寻找出最优解。实验结果表明,提出的方法可以有效地用于生物网络的分析和优化控制。
关键词
基因调控网络
概率布尔网络
优化控制
概率模型检测
Keywords
Gene regulatory networks, Probabilistic Boolean network, Optimal control, Probabilistic model checking
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
半煤岩巷快速掘进爆破参数优化确定
申李华
郭
宗
豪
李政岱
邵光耀
刘海雁
《煤》
2019
4
下载PDF
职称材料
2
机械法联络通道刀盘刀具磨损的影响分析
白中坤
郭
宗
豪
付增
吴有
豪
范磊
《现代制造技术与装备》
2023
0
下载PDF
职称材料
3
概率模型检测的网络传播干预策略
李宙洲
魏欧
郭
宗
豪
余鹏
韩兰胜
《小型微型计算机系统》
CSCD
北大核心
2017
1
下载PDF
职称材料
4
基于概率模型检测和遗传算法的基因调控网络的无限范围优化控制
刘爽
魏欧
郭
宗
豪
《计算机科学》
CSCD
北大核心
2018
1
下载PDF
职称材料
5
使用模型检测解决概率布尔网络优化控制
郭
宗
豪
魏欧
《计算机科学》
CSCD
北大核心
2017
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
