检索结果-南通市图书馆

西安电子科技大学学报 2013年第5期40卷 175-180页

作者：朱维军徐朝辉张海宾杨卫东郑州大学信息工程学院河南郑州450001 河南工业大学粮食信息处理与控制教育部重点实验室河南郑州450001 西安电子科技大学计算机学院陕西西安710071

针对经典计算的有向图k边导出子图生成算法时间复杂度较高问题,提出了一种在脱氧核糖核酸粘贴机上运行的子图生成算法.首先,以粘贴系统提供的标准生化元操作为算法使用的基本元算子,并使用元操作所产生的生化结果的图论解释作为元算子... 详细信息

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

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

J2EE平台上MVC设计模式在造纸企业ERP中的研究与应用

在线全文

学校读者我要写书评

暂无评论

微计算机信息 2006年第7X期22卷 37-38,36页

作者：王迤冉朱维军周口师范学院计算机科学系河南66001 郑州大学信息工程学院河南郑州450052

传统的ERP软件是基于C/S结构的,难以扩展,可重用性差。本文通过MVC设计模式,给出银鸽造纸企业ERP软件的一种设计解决方案,该方案能够简化软件开发过程,提高软件的性能和可维护性,避免了开发者和设计者的重复投资,对其它ERP软件的开发设... 详细信息

传统的ERP软件是基于C/S结构的,难以扩展,可重用性差。本文通过MVC设计模式,给出银鸽造纸企业ERP软件的一种设计解决方案,该方案能够简化软件开发过程,提高软件的性能和可维护性,避免了开发者和设计者的重复投资,对其它ERP软件的开发设计具有借鉴作用。

关键词： MVC(Model-View-Controller) J2EE 模式 EJB ERP

在线全文

学校读者我要写书评

暂无评论

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

电子科技大学学报 2011年第5期40卷 753-758页

作者：朱维军邓淼磊周清雷张海宾郑州大学信息工程学院郑州450001 西安电子科技大学计算机学院西安710071 河南工业大学信息科学与工程学院郑州450001

针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法。首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公... 详细信息

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

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

基于功能切片的拟态防御体系结构及安全等级评估方法

在线全文

学校读者我要写书评

暂无评论

通信学报 2018年第A2期39卷 95-105页

作者：周清雷冯峰朱维军郑州大学信息工程学院河南郑州450001

网络空间安全领域,邬江兴院士提出了拟态防御理论及动态异构冗余(DHR,dynamic heterogeneous redundancy)架构。目前对该机制的实现都着眼于系统全栈化,有复杂度大与成本高等问题。由于应用层具有可控性,有利于被引入该机制。因此,在应... 详细信息

网络空间安全领域,邬江兴院士提出了拟态防御理论及动态异构冗余(DHR,dynamic heterogeneous redundancy)架构。目前对该机制的实现都着眼于系统全栈化,有复杂度大与成本高等问题。由于应用层具有可控性,有利于被引入该机制。因此,在应用层上通过对业务功能进行分割切片,再引入DHR架构,构建出了基于功能切片的拟态防御体系结构。同时,提出了一种拟态安全等级评估方法,并用此方法进行分析评估,最后通过实验验证了该体系结构的可行性和安全性。

关键词：拟态防御体系结构动态异构冗余拟态安全安全等级

环形脱空对圆钢管混凝土柱抗侧向冲击性能的影响分析

在线全文

学校读者我要写书评

暂无评论

振动与冲击 2024年第16期43卷 92-102,145页

作者：沈奇罕刘俊杰朱维军王静峰谢强合肥工业大学土木与水利工程学院合肥230009 合肥工业大学水泥基材料低碳技术与装备教育部工程研究中心合肥230009 合肥工业大学先进钢结构技术与产业化安徽省协同创新中心合肥230009

近年来随着社会机械化水平的不断提高和交通事业的飞速发展,车辆、船舶及飞行器等机械撞击城市高架、跨河桥梁墩柱等事故的发生频率显著提升。而实际钢管混凝土(concrete-filled steel tubular, CFST)结构由于材料特性或服役环境等问题... 详细信息

近年来随着社会机械化水平的不断提高和交通事业的飞速发展,车辆、船舶及飞行器等机械撞击城市高架、跨河桥梁墩柱等事故的发生频率显著提升。而实际钢管混凝土(concrete-filled steel tubular, CFST)结构由于材料特性或服役环境等问题普遍存在脱空缺陷情况,但目前有关脱空缺陷对CFST冲击性能的影响研究仍相对较少。为此,构建了侧向冲击作用下含环形脱空圆钢管混凝土柱有限元分析模型,并通过相关试验验证模型的准确性。揭示了环形脱空对圆钢管混凝土柱在侧向冲击作用下破坏模式、时程曲线特征、冲击全过程应力应变发展和界面接触行为的影响机理,系统研究了脱空率、轴压比、边界条件、径厚比、冲击速度和冲击质量等诸多参数对侧向冲击作用下含环形脱空圆钢管混凝土柱冲击力、挠度变形和耗能等动力响应的影响规律。结果表明,环形脱空的存在将逐步降低圆钢管混凝土柱的抗侧向冲击能力。随着脱空率的增大,圆钢管混凝土柱的冲击力和耗能逐步减小,挠度变形相应增大。同时,由于缺乏混凝土的有效支撑,钢管在侧向冲击作用下的凹陷变形程度也随着脱空率的增大而愈发显著。

关键词：环形脱空钢管混凝土(CFST) 侧向冲击数值分析破坏机理

在线全文

学校读者我要写书评

暂无评论

时间区间时序逻辑的判定性与表达能力

计算机科学 2010年第11期37卷 227-229页

作者：朱维军周清雷西安电子科技大学计算机学院西安710071 郑州大学信息工程学院郑州450052

模型检测技术在实时系统验证中被广泛使用。离散时间区间时序逻辑满足性是可判定的,因而也是可模型检测的。连续时间域时间区间时序逻辑是否可模型检测,则并不清楚。约束时间域到非负实数,证明了其可满足性是不可判定的,但存在该逻辑的... 详细信息

模型检测技术在实时系统验证中被广泛使用。离散时间区间时序逻辑满足性是可判定的,因而也是可模型检测的。连续时间域时间区间时序逻辑是否可模型检测,则并不清楚。约束时间域到非负实数,证明了其可满足性是不可判定的,但存在该逻辑的可判定子集,并发现了这样的子集。由于模型检测问题可归约为时序逻辑满足性判定问题,因此结果表明,时间区间时序逻辑不可模型检测,但其可判定子集可模型检测。

关键词：时间区间时序逻辑可满足性判定表达能力模型检测

在线全文

学校读者我要写书评

暂无评论

CFRP索阻燃防火措施

复合材料学报 2022年第8期39卷 3786-3793页

作者：朱元林刘礼华黄盛彬朱维军朱小芳江苏法尔胜研发中心有限公司江阴214433 法尔胜泓昇集团有限公司江阴214433

为解决碳纤维增强树脂复合材料(Carbon fiber reinforced polymer,CFRP)索的火灾问题,开发了一种CFRP索的阻燃防火措施。对桥梁缆索用CFRP筋开展高温拉伸试验研究,并比较阻燃防火涂层、石棉、陶瓷纤维布的阻燃防火效果。结果显示,筋材... 详细信息

为解决碳纤维增强树脂复合材料(Carbon fiber reinforced polymer,CFRP)索的火灾问题,开发了一种CFRP索的阻燃防火措施。对桥梁缆索用CFRP筋开展高温拉伸试验研究,并比较阻燃防火涂层、石棉、陶瓷纤维布的阻燃防火效果。结果显示,筋材高温剩余强度随温度升高呈线性下降趋势,210℃加热3 h,筋材剩余强度最低为2245.8 MPa,比原始强度下降26.13%;筋材高温加热再冷却后强度会存在一定程度的可逆性恢复,剩余强度均能达到2800 MPa以上,但较原始强度呈略微下降趋势,且加热温度越高,剩余强度越低;通过比较阻燃防火涂层具有较好效果,经2 h灼烧索股聚乙烯(PE)护套,内表面最高温度为206℃;阻燃防火涂层越厚,防护时间越长,刷有2 mm厚度阻燃防火涂层的索股在长达6 h的火焰灼烧下,PE护套内表面最高温度为245℃,PE护套未发生破坏,仅发生软化。研究表明,采用阻燃防火涂层可有效保护CFRP索,火灾2 h内,索股仍可承载,剩余强度>2245 MPa。

关键词：碳纤维复合材料索 PE护套阻燃防火措施高温力学性能阻燃防火涂层

在线全文

学校读者我要写书评

暂无评论

求解爱因斯坦谜题的一种形式系统及推理方法

计算机科学 2012年第9期39卷 244-246页

作者：朱维军周清雷郑州大学信息工程学院郑州450001

针对求解爱因斯坦谜题的现有人工智能方法的不足,构建了一个基于一阶逻辑的形式系统Γ。首先,通过定义Γ公理集和Γ推理规则集给出了谜题的形式化描述;然后,通过有穷次交替选择使用Γ公理和Γ规则推导出一系列Γ定理,从而得到谜题的解... 详细信息

针对求解爱因斯坦谜题的现有人工智能方法的不足,构建了一个基于一阶逻辑的形式系统Γ。首先,通过定义Γ公理集和Γ推理规则集给出了谜题的形式化描述;然后,通过有穷次交替选择使用Γ公理和Γ规则推导出一系列Γ定理,从而得到谜题的解。与现有方法相比,新方法给出了分析、推理的过程,并且不存在状态空间爆炸问题。

关键词：爱因斯坦谜题形式系统形式推理

在线全文

学校读者我要写书评

暂无评论

果品贮藏保鲜新技术