检索结果-南通市图书馆

基于Event-B与ADT的TACS形式化开发方法与验证

在线全文

学校读者我要写书评

暂无评论

中国铁道科学 2023年第6期44卷 172-183页

作者：陈祖希牛传军梅萌刘杰刘传振郑黎晓骆翔宇潘亮汪小勇徐中伟华侨大学计算机科学与技术学院福建厦门361021 同济大学电子与信息工程学院上海201804 中国科学院软件研究所北京100190 卡斯柯信号有限公司城市轨道交通系统集成部上海200070

为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验... 详细信息

为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验证。首先,根据TACS的需求以及案例研究等相关内容,提取TACS的功能需求和安全需求,并将功能需求和安全需求以非形式化的语言进行描述;然后,根据TACS的功能需求和安全需求进行模型精化层次的设计,避免因在抽象模型中建模复杂的需求而导致证明困难;最后,在模型中使用形式化语言Event-B对TACS的功能需求和安全需求进行建模并验证其正确性,且在建模过程中,利用ADT的抽象概念将轨道网络、轨道区域以及移动授权(Movement Authority,MA)等复杂系统组件在初始模型中指定组件的必要属性,且在后续系统建模过程必要的精化阶段引入组件的具体定义,以降低系统开发和证明的复杂度。结果表明:提出的方法有助于在早期开发阶段减少TACS中复杂的细节部分,使得证明义务成功率为100%,自动证明成功率占比83%,手动证明成功率仅占比仅17%,在简化证明义务的同时有效提高了自动化证明的占比。

关键词： Event-B 抽象数据类型精化策略列车自主运行控制系统

在线全文

学校读者我要写书评

暂无评论

水力喷射侧钻径向微小井眼技术

石油钻探技术 2013年第4期41卷 37-41页

作者：黄中伟李根生唐志军牛继磊吴仲华油气资源与探测国家重点实验室(中国石油大学(北京)) 北京102249 中石化胜利石油工程有限公司钻井工艺研究院山东东营257017 中国石油大学(华东)石油工程学院山东青岛266580

为了验证水力喷射侧钻径向微小水平井眼技术的可行性,在胜利油田进行了现场试验。测试研究了不同排量下的高压软管沿程压耗,并根据设计的多孔喷嘴,测试了该喷嘴的自进力。结果表明,高压软管内压耗较大,排量、前后向喷嘴流量比和井筒直... 详细信息

为了验证水力喷射侧钻径向微小水平井眼技术的可行性,在胜利油田进行了现场试验。测试研究了不同排量下的高压软管沿程压耗,并根据设计的多孔喷嘴,测试了该喷嘴的自进力。结果表明,高压软管内压耗较大,排量、前后向喷嘴流量比和井筒直径对喷嘴自进力影响较大,为施工时的水力参数设计及泵压预测提供了理论依据。在制定现场施工工艺的基础上,在胜利油田J17 1井进行了现场试验,在井深861.5和864.8m处两个平面上共喷射钻出了4个孔眼,一个长度为20m,其余3个为50m,达到了预期目标。现场试验验证了连续油管水力喷射侧钻径向水平井系统的技术可行性,为老井改造和低渗油藏增产提供了一种新的技术途径。

关键词：水力喷射连续油管侧钻微小井眼现场试验

基于多源大数据的轨道交通站域街道品质多维评价分析——以成都市三环内地铁站域街道为例

在线全文

学校读者我要写书评

暂无评论

河北科技大学学报 2020年第5期41卷 442-454页

作者：胡昂郭仲薇牛韶斐李想四川大学建筑与环境学院四川成都610064 四川大学经济学院四川成都610064

为了科学测度、准确评价站域街道的空间品质并实现有效优化,选取成都市73个地铁站域,以街道网络、POI(point of interest)、街景图片等多源大数据为支撑,运用机器学习、sDNA分析(spatial design network analysis)等技术,构建了以便捷... 详细信息

为了科学测度、准确评价站域街道的空间品质并实现有效优化,选取成都市73个地铁站域,以街道网络、POI(point of interest)、街景图片等多源大数据为支撑,运用机器学习、sDNA分析(spatial design network analysis)等技术,构建了以便捷性、功能性与舒适性为核心的评价体系,进行站域街道空间品质的大规模定量评价,并针对不同等级的站点提出了导控策略。结果表明,在城市整体层面,68.03%的站域街道评分低于中等水平,街道功能性与舒适性普遍较好,便捷性较差;在站域层面,街道空间品质呈现出南高北低、西高东低、内高外低的分布特征。研究使人本尺度的分析精度、站点尺度的分析深度和城市尺度的分析广度得以兼顾,有助于创建高效的城市管理动态反馈机制。

关键词：市政工程多源城市数据轨道交通站域街道评价体系空间品质

基于OpenGIS的铁路构建物三维组件的研究与设计

在线全文

学校读者我要写书评

暂无评论

石家庄铁道学院学报 2005年第2期18卷 69-72页

作者：张海林习仲伟牛红凯石家庄铁道学院交通工程分院河北石家庄050043 中铁十五局集团华北工程指挥部北京100089

介绍了OpenGIS的概念,回顾了GIS软件的发展历程并分析了GIS开发中存在的问题;在综合分析组件技术用于GIS开发优势的基础上,提出了基于OpenGIS的铁路构建物三维可视化组件的设计构想;最后实现了部分组件的功能并提出GIS发展趋势。

关键词： COM OpenGIS 组件式GIS OpenGL

在线全文

学校读者我要写书评

暂无评论

塔河油田深井脉冲空化射流钻井试验研究

石油钻探技术 2013年第3期41卷 85-88页

作者：史怀忠李根生张浩黄中伟牛继磊王德余油气资源与探测国家重点实验室(中国石油大学(北京)) 北京102249 中石化西南石油工程有限公司临盘钻井分公司山东临邑251500 中国石油大学(华东)石油工程学院山东青岛266580

塔河油田深井钻井水力能量利用效率低、机械钻速低、钻井成本高,严重制约了勘探开发速度。针对该油田钻井实际情况,结合二开241.3mm井眼地层、钻具组合和水力参数,利用水力脉冲空化射流钻井技术提高机械钻速。该技术配合常规钻具和复... 详细信息

塔河油田深井钻井水力能量利用效率低、机械钻速低、钻井成本高,严重制约了勘探开发速度。针对该油田钻井实际情况,结合二开241.3mm井眼地层、钻具组合和水力参数,利用水力脉冲空化射流钻井技术提高机械钻速。该技术配合常规钻具和复合钻井钻具组合使用,脉冲空化射流发生器耦合脉冲射流和自振空化射流,改善井底流场及岩面应力状态,提高钻速。该技术在塔河油田进行了4口井5井次的现场试验,在常规泵压、排量、钻井液密度等参数条件下试验井深达6 162m,试验井段与邻井相近井段在相近工况下机械钻速平均提高33.3%～74.3%,单套钻具纯钻时间超过260.0h。试验结果表明,塔河油田二开井段砂岩、泥岩等地层配合PDC钻头应用水力脉冲空化射流钻井技术,能够很好地提高机械钻速。

关键词：脉冲射流空化射流机械钻速现场试验

青海瞿昙寺瞿昙殿壁画制作材料与工艺初步分析

在线全文

学校读者我要写书评

暂无评论

文物保护与考古科学 2021年第6期33卷 94-105页

作者：牛贺强水碧纹陈章付有旭善忠伟李胜强杨金礼汪万福敦煌研究院保护研究所甘肃酒泉736200 国家古代壁画与土遗址保护工程技术研究中心(敦煌研究院) 甘肃酒泉736200 甘肃省敦煌文物保护研究中心甘肃酒泉736200 中国科学院西北生态环境资源研究院甘肃兰州730000

青海瞿昙寺是中原地区至今保存较完整,集古建、雕刻彩绘和壁画于一体的明代早期官式建筑群。瞿昙寺瞿昙殿现存壁画约217.5 m^(2),是中原地区经典的明代早期藏传佛教壁画,具有珍贵的历史和学术研究价值。本研究通过显微镜(OM)、剖面分析(... 详细信息

青海瞿昙寺是中原地区至今保存较完整,集古建、雕刻彩绘和壁画于一体的明代早期官式建筑群。瞿昙寺瞿昙殿现存壁画约217.5 m^(2),是中原地区经典的明代早期藏传佛教壁画,具有珍贵的历史和学术研究价值。本研究通过显微镜(OM)、剖面分析(Cross-section)、扫描电镜-能谱(SEM-EDS)、X射线衍射(XRD)等多种分析方法,对瞿昙寺瞿昙殿壁画制作材料及工艺开展了初步调查分析。结果显示:瞿昙殿壁画以砖墙体为支撑体,地仗层由粗泥层和细泥层组成;地仗中粗细泥层含沙量不等,粗泥层含沙量约60%,细泥层含沙量较少,约为16%~25%;地仗层中总体纤维含量为3%左右;地仗土粒度级配良好,粒径多集中在1~100μm之间;地仗中含少量硫酸钠和氯化钠;瞿昙殿壁画使用颜料主要为铅丹、朱砂、氯铜矿、副氯铜矿、石青等矿物颜料,颜料层厚度20~200μm之间;铅丹颜料在瞿昙殿中出现“章丹打底银朱盖面”的分层应用以及铅丹变色的现象;瞿昙殿壁画中明代壁画无底色层,清代乾隆时期壁画有底色层。本次分析研究获得瞿昙殿壁画层位、地仗组成和颜料使用信息,为瞿昙殿壁画科学保护和深入研究提供重要的第一手资料。

关键词：瞿昙寺瞿昙殿壁画制作材料与工艺

在线全文

学校读者我要写书评

暂无评论

螺旋波等离子体能量耦合的研究进展

北京印刷学院学报 2016年第6期24卷 71-74页

作者：牛晨刘忠伟杨丽珍陈强北京印刷学院等离子体物理及材料研究室北京102600

螺旋波等离子体源耦合效率高,能够产生高密度、大体积的等离子体。当外加射频源通过天线和等离子体耦合,在放电腔中将存在着多种波模式,而射频功率耦合机制直接影响耦合效率和能量沉积。对近年来在螺旋波等离子体源中存在的朗道阻尼、... 详细信息

螺旋波等离子体源耦合效率高,能够产生高密度、大体积的等离子体。当外加射频源通过天线和等离子体耦合,在放电腔中将存在着多种波模式,而射频功率耦合机制直接影响耦合效率和能量沉积。对近年来在螺旋波等离子体源中存在的朗道阻尼、静电波、径向局域模式和电子俘获耦合机制进行了综述。低磁场下驻波在边界耦合的静电波起着重要作用,而高磁场下螺旋波在径向等离子体梯度形成的势阱中进行体功率耦合。永磁铁阵列螺旋波源在大面积、高速材料处理应用中可能会成为下一步发展的趋势。

关键词：波模式功率耦合机制能量沉积

黔东北沿河县奥陶系湄潭组碎屑锆石特征、物源——构造意义及其成矿年代学启示

在线全文

学校读者我要写书评

暂无评论

中国地质 2020年第4期47卷 1025-1040页

作者：何垚砚牛志军张遵遵宋芳姚华舟杨文强龚银杰王忠伟甘金木王志宏中国地质大学(武汉)地质调查研究院湖北武汉430074 中国地质调查局古生物与生命-环境协同演化重点实验室湖北武汉430205 中国地质调查局武汉地质调查中心湖北武汉430205 西南石油大学地球科学与技术学院四川成都610500

黔东北沿河县位于中扬子地区,分布有众多低温热液矿床,构造上位于加里东期前陆盆地的隆后带,是研究盆地物源-构造响应的良好场所,然而在中扬子的大部分地区,奥陶纪地层序列多以碳酸盐岩为主夹泥质岩,因而从岩性上制约了碎屑锆石年代学... 详细信息

黔东北沿河县位于中扬子地区,分布有众多低温热液矿床,构造上位于加里东期前陆盆地的隆后带,是研究盆地物源-构造响应的良好场所,然而在中扬子的大部分地区,奥陶纪地层序列多以碳酸盐岩为主夹泥质岩,因而从岩性上制约了碎屑锆石年代学等定量分析手段的开展。近来,笔者注意到沿河县及周边地区下—中奥陶统湄潭组(O1-2m)为泥岩、灰岩夹(钙质)砂岩,采样分析结果表明,湄潭组碎屑锆石年龄大于1.0 Ga的锆石仅8颗(占12%)且未形成峰值,最年轻一组谐和年龄的加权平均值((457.8±8.1)Ma)与该组沉积上限十分接近,反映湄潭组碎屑主要来自新隆升的物源区,且具有相对较高的沉积速率。根据年龄的分布和特征峰值,可分为5组:~461 Ma(Ⅰ)、~580Ma和~606 Ma(Ⅱ)、~722 Ma(Ⅲ)、~865 Ma(Ⅳ1)和~936 Ma(Ⅳ2),其中Eu正异常的锆石集中分布于第Ⅰ组(占62%),而在第Ⅱ组和第Ⅳ2组中缺失,结合稀土元素等的分析,认为其物源主要分为3部分,第Ⅰ组、第Ⅱ组和第Ⅳ2组、第Ⅲ和Ⅳ1组,分别主要来自3个不同的物源区,分别对应黔中隆起、扬子西缘康滇古陆(另有少量来自扬子东南缘—华夏地区)、武陵—雪峰隆起。此外,第Ⅰ组年龄450~511 Ma范围内发育了高达73%的热液锆石,与区域低温热液成矿时间对应,认为其形成是物源区流体的活跃导致的,可能与奥陶纪区域构造体制从伸展到挤压的转换有关,暗示此时加里东运动已经开始波及中扬子沿河地区,但主要表现为热液活动,并没有发生大规模岩浆作用。

关键词：奥陶纪湄潭组碎屑锆石物源热液锆石中扬子低温热液矿床矿产勘查工程

基于双指数模型的太阳电池输出特性计算机模拟

在线全文

学校读者我要写书评

暂无评论

太阳能学报 2004年第3期25卷 330-332页

作者：张维连赵红生左燕吕海涛牛新环蒋中伟河北工业大学半导体材料研究所天津300130

以双指数形式太阳电池理论模型为基础,用实验数据拟合太阳电池的I—V特性。然后利用获得的重要待定参数的拟合值对太阳电池的I—V和P—V特性计算机模拟,并分析了它们对太阳电池性能的不同影响机制。

关键词：太阳电池 I-V曲线双指数模型计算机模拟