检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

中国高速铁路列控系统的形式化分析与验证

中国科学：信息科学 2015年第3期45卷 417-438页

作者：郭丹青吕继东王淑灵唐涛詹乃军周达天邹亮中国科学院软件研究所计算机科学国家重点实验室北京100190 北京交通大学轨道交通运行控制国家工程中心北京100190 北京交通大学轨道交通控制与安全国家重点实验室北京100190

高速铁路列控系统的安全与否直接涉及人民的生命财产安全,对高速铁路列控系统进行严格的形式化验证具有重要意义.但是随着高速铁路列控系统软件以及硬件规模的不断增大,系统的复杂性有了很大的提高,直接对高速铁路列控系统进行形式化验... 详细信息

高速铁路列控系统的安全与否直接涉及人民的生命财产安全,对高速铁路列控系统进行严格的形式化验证具有重要意义.但是随着高速铁路列控系统软件以及硬件规模的不断增大,系统的复杂性有了很大的提高,直接对高速铁路列控系统进行形式化验证已经变得越来越困难.另一方面,由于图形化建模和仿真表现方式直观且易于理解,在工程实践中已经得到了广泛的应用.因此,为了更好地保证铁路系统的安全,对系统进行仿真,排除部分安全隐患显得尤为重要.本文通过使用Simulink/Stateflow建模工具对高速铁路列控系统的行车许可,等级升级及部分模式转换场景进行了建模.该模型具有普适性,通过修改参数信息,可以对不同的等级转换和模式转换的组合情况进行仿真.本文使用该模型对10种组合情况进行了仿真,发现在某些情况下可能会出现不正常停车或者等级转换失败的现象.类似于测试,仿真仅仅能够发现错误,如未发现错误,也不能证明系统是正确的.因为仿真的这种不完备性,对仿真辅助形式验证在安全攸关系统设计中非常必要.为此,取其中一个不正常停车的场景进行了形式验证,验证结果证明在任何情况下都不能正常停车.

关键词：中国高速铁路列控系统 Simulink/Stateflow 仿真模式转换等级转换形式化验证

在线全文

学校读者我要写书评

暂无评论

可信系统性质的分类和形式化研究综述

软件学报 2022年第7期33卷 2367-2410页

作者：王淑灵詹博华盛欢欢吴昊易士程王令泰金翔宇薛白李静辉向霜晴向展毛碧飞计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049 华为技术有限公司可信理论研究室广东深圳518129

计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开... 详细信息

计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开发高可靠软硬件系统的有效方法.目标是对形式化方法在不同系统的应用进行不同维度的分类,以更好地支撑可信软硬件系统的设计.首先从系统的特征出发,考虑6种系统特征:顺序系统、反应式系统、并发与通信系统、实时系统、概率随机系统以及混成系统.同时,这些系统又运行在众多应用场景,分别具有各自的需求.考虑4种应用场景:硬件系统、通信协议、信息流以及人工智能系统.对于以上的每个类别,介绍和总结其形式建模、性质描述以及验证方法与工具.这将允许形式化方法的使用者对不同的系统和应用场景,能够更准确地选择恰当的建模、验证技术与工具,帮助设计人员开发更加可靠的系统.

关键词：可信系统形式化方法性质分类验证方法和工具

在线全文

学校读者我要写书评

暂无评论

眉县猕猴桃产业发展存在的问题及对策研究

南方农机 2024年第9期55卷 105-108页

作者：申倩王淑庆吕建灵邹芳杨凌职业技术学院经济与贸易分院陕西杨凌712100

猕猴桃是陕西省的特色水果,猕猴桃产业是富民强省优势产业,眉县猕猴桃位列全国猕猴桃品牌之首。眉县位于陕西省秦岭北麓,地处关中平原西部,四季气候温和,雨热同期,是种植猕猴桃的最佳优生区之一。近年来,眉县大力发展猕猴桃特色种植业,... 详细信息

猕猴桃是陕西省的特色水果,猕猴桃产业是富民强省优势产业,眉县猕猴桃位列全国猕猴桃品牌之首。眉县位于陕西省秦岭北麓,地处关中平原西部,四季气候温和,雨热同期,是种植猕猴桃的最佳优生区之一。近年来,眉县大力发展猕猴桃特色种植业,优化农业结构,将生态优势转化为发展优势,猕猴桃特色产业不断发展壮大,成为县域经济的主导产业,走出了一条具有眉县特色的强农富农之路。文章结合乡村振兴与眉县特色猕猴桃产业发展的现状,剖析了眉县猕猴桃产业在发展过程中存在的问题,并有针对性地提出了猕猴桃产业进一步发展的对策。眉县的实践证明,推进农村产业发展是振兴农村经济的重要途径。

关键词：猕猴桃特色产业乡村振兴眉县

几类near MDS码和最优局部修复码的构造

在线全文

学校读者我要写书评

暂无评论

电子学报 2024年第3期52卷 957-966页

作者：王鑫然衡子灵长安大学理学院陕西西安710064

局部修复码是一种通过局部修复提高存储节点修复效率的重要编码方法,在分布式存储和云存储中有重要应用.本文首先构造了几类维数为4或5的near MDS(near Maximum Distance Separable)码,精确计算出了它们的参数和重量分布.特别地,得到了... 详细信息

局部修复码是一种通过局部修复提高存储节点修复效率的重要编码方法,在分布式存储和云存储中有重要应用.本文首先构造了几类维数为4或5的near MDS(near Maximum Distance Separable)码,精确计算出了它们的参数和重量分布.特别地,得到了一些参数相同但重量分布不同的near MDS码.此外,通过确定near MDS码的局部度,得到了几类距离最优和维数最优的局部修复码.这些局部修复码的参数和文献中已知最优局部修复码的参数不同.

关键词： near MDS码重量分布局部修复码分布式存储

在线全文

学校读者我要写书评

暂无评论

微小RNA在肾组织纤维化中作用的研究进展

中国病理生理杂志 2024年第4期40卷 755-762页

作者：李君灵山西财经大学健康科学研究所山西太原030006

糖尿病、高血压、肾小球肾炎以及其它肾脏疾病常常发展为慢性肾病(chronic kidney disease,CKD)。预计到2030年,慢性肾病引发肾脏功能衰竭和心脏并发症将成为全球第13大死因,而到2040年将上升到第5位死因[1]。CKD的组织病理学特点,一个... 详细信息

糖尿病、高血压、肾小球肾炎以及其它肾脏疾病常常发展为慢性肾病(chronic kidney disease,CKD)。预计到2030年,慢性肾病引发肾脏功能衰竭和心脏并发症将成为全球第13大死因,而到2040年将上升到第5位死因[1]。CKD的组织病理学特点,一个是持续性肾组织炎症反应,另一个是以过多细胞外基质沉积为特征的肾小管间质和肾小球纤维化[2]。

关键词：微小RNA 肾纤维化转化生长因子β 核因子κB JAK/STAT信号通路

维普期刊数据库博看期刊

“弃文从话”:周作人的文体革命与“文学生活”创造

在线全文

学校读者我要写书评

暂无评论

中国现代文学研究丛刊 2024年第6期 188-203页

作者：赵雅灵中国海洋大学文学与新闻传播学院 266075

《语丝》时期的周作人,针对思想复古、文学倒退的“后五四危机”,进行了“弃文从话”的文体革命,他反对“伪古文”,创造了以“茶话”“酒话”“闲话”为代表的“话体文”,进而通过“生活的文学化”和“文学的生活化”的双向互动,形成了... 详细信息

《语丝》时期的周作人,针对思想复古、文学倒退的“后五四危机”,进行了“弃文从话”的文体革命,他反对“伪古文”,创造了以“茶话”“酒话”“闲话”为代表的“话体文”,进而通过“生活的文学化”和“文学的生活化”的双向互动,形成了能够沟通“文学政治”与“日常生活”的“文学生活”新模式,从而让我们看到了现代散文乃至中国现代文学的新可能性。

关键词：周作人话体文 “后五四危机” 文学生活

基于扎根理论的平台企业市场垄断影响因素研究

在线全文

学校读者我要写书评

暂无评论

科学学与科学技术管理 2024年

作者：王淑翠李佳彭婷杭州师范大学阿里巴巴商学院

随着互联网技术的普及推广和商业应用，数字经济迅速发展，平台企业不断涌现，作为全新的商业组织形式，出现诸如“二选一”、经营者集中、滥用市场支配地位、不正当竞争等挑战法律底线的市场垄断行为，破坏了公平竞争的市场秩序。通过... 详细信息

随着互联网技术的普及推广和商业应用，数字经济迅速发展，平台企业不断涌现，作为全新的商业组织形式，出现诸如“二选一”、经营者集中、滥用市场支配地位、不正当竞争等挑战法律底线的市场垄断行为，破坏了公平竞争的市场秩序。通过对中美欧监管机构官方网站公示数据的扎根理论分析，具体包括阿里巴巴、美团、谷歌和脸书共四家具有代表性的平台企业，构建了平台企业市场垄断影响因素理论模型，该模型包括互联网平台特性、企业综合实力、企业价值取向、法律框架、社会影响、垄断行为6个主范畴和22个副范畴。研究结果表明，互联网平台特性、企业综合实力、企业价值取向是影响平台企业发生市场垄断行为的内部因素，也是催生垄断行为的事前影响因素；法律框架和社会影响是影响垄断行为的外部因素，也是阻断垄断行为的事后影响因素，并在多重因素的共同作用下影响平台企业市场垄断行为。基于该理论模型，提出了针对性的监管侧政策建议，为推动平台经济规范健康发展提供理论支持和决策参考。

关键词：平台企业市场垄断影响因素扎根理论理论模型

数字经济与能源高质量发展的动态耦合及碳减排效应

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

北京理工大学学报(社会科学版) 2024年

作者：王淑贺河南大学经济学院

推动数字经济与能源高质量发展耦合协调对实现“双碳”目标具有重要意义。基于2013—2020年中国30个省份的面板数据，文章利用耦合协调度模型、马尔科夫链、Dagum基尼系数和空间计量模型，探讨了数字经济与能源高质量发展耦合协调度的... 详细信息

推动数字经济与能源高质量发展耦合协调对实现“双碳”目标具有重要意义。基于2013—2020年中国30个省份的面板数据，文章利用耦合协调度模型、马尔科夫链、Dagum基尼系数和空间计量模型，探讨了数字经济与能源高质量发展耦合协调度的时空格局、动态演进、区域差异及碳减排效应。研究发现：（1）各省份的耦合协调度均呈上升态势，但存在明显的梯度差异。（2）各省份耦合协调度在空间上呈现东高西低的发展态势。（3）耦合协调等级存在 “俱乐部趋同”特征，在短期内难以实现跨越式发展。在考虑空间因素后，耦合协调度具有“空间溢出”效应，“近朱者赤，近墨者黑”现象并存。（4）耦合协调度的空间差异总体上在不断缩小，区域间差异是耦合协调度差异的构成主因。（5）耦合协调度可以有效减少碳排放，在东中部地区，碳减排效应更明显。针对以上研究发现，文章提出应因地制宜实施差异化政策，积极落实“东数西算”工程，推动数字经济与能源高质量发展协同共振，有效减少碳排放。

关键词：数字经济能源高质量发展耦合协调减排效应

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

英语教学中防灾情景听说能力培养浅议

防灾减灾工程学报 2024年第5期 1243-1244页

作者：王淑君河南工业和信息化职业学院基础部

英语听说能力的培养对于学生的综合素质提升、学术成就以及职业发展都有着不可忽视的影响。英语教学中引入防灾情境不仅能够改善学生死记硬背的学习模式，提升学生的英语听说能力，还能增加学生的防灾自救知识，提升综合素质。一、英语...

英语听说能力的培养对于学生的综合素质提升、学术成就以及职业发展都有着不可忽视的影响。英语教学中引入防灾情境不仅能够改善学生死记硬背的学习模式，提升学生的英语听说能力，还能增加学生的防灾自救知识，提升综合素质。一、英语听说能力培养的重要性听说是英语学习的基础技能之一，是沟通的核心部分。没有足够的听力输入，就无法有效地进行口头表达。良好的听说能力有助于提高跨文化交际能力，增强在国际交流中的自信心。听说不仅是语言技能的培养，也是思维训练的过程。通过听说练习，可以锻炼大脑用外语进行思维，提高语言运用的灵活性。新的教学理念强调语言的实用性和交际功能，这要求教师在教学中更多地关注学生的听说能力培养，以适应新课标的要求。因此，应当在英语教学中给予足够的重视，采取有效的方法和策略来提高学生的听说能力。二、防灾专业英语的特点防灾专业英语学习通常结合了英语语言技能的提升和防灾相关知识的学习。

关键词：