检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于交互式定理证明的并发程序验证工作综述

软件学报 2024年第9期35卷 4069-4099页

作者：王中烨吴姝姝曹钦翔上海交通大学电子信息与电气工程学院上海200240

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定... 详细信息

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难.在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证.对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性.交互式定理证明方法中常用程序逻辑对程序进行验证,分析基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用这些方法的程序验证工具和程序验证成果进行总结.

关键词：并发程序验证可线性化上下文精化程序逻辑关系霍尔逻辑

基于云-TOPSIS法的应急物流供应商综合评价

在线全文

学校读者我要写书评

暂无评论

中国安全科学学报 2024年第2期34卷 217-224页

作者：黄国平雷皓翔湖南工业大学商学院湖南株洲412007

为实现应急物流降本增效的目标,从供应商层面出发,运用云-逼近理想解排序法(TOPSIS)评价应急物流供应商综合能力;根据应急物流特点,从应急响应能力、物资质量、成本控制、应急响应柔性、企业内外部条件等5方面,构建应急物流供应商综合... 详细信息

为实现应急物流降本增效的目标,从供应商层面出发,运用云-逼近理想解排序法(TOPSIS)评价应急物流供应商综合能力;根据应急物流特点,从应急响应能力、物资质量、成本控制、应急响应柔性、企业内外部条件等5方面,构建应急物流供应商综合评价指标体系;借鉴博弈论思想,将用改进熵权法求得的客观权重和用层次分析法(AHP)求得的主观权重作为博弈对手,确定最优组合权重;运用云模型量化指标决策云和加权云对供应商的模糊定性评价语义;采用TOPSIS法构建正负理想解集合,计算备选方案与正负理想解的距离确定相对贴近度,确定最优备选方案。研究结果表明:指标决策云能准确地将评价语言量化,云-TOPSIS法的评价结果更合理;在供应商相对贴近度排序中,采用云-TOPSIS法计算的最优与最劣者差值为0.3315,而TOPSIS法为0.0882,两者相差0.2433,表明云-TOPSIS法的评价结果区分度更大,能更直观地辅助决策者做出最优选择。

关键词：云模型逼近理想解排序法(TOPSIS) 应急物流供应商综合评价

在线全文

学校读者我要写书评

暂无评论

老板欠薪跑路被抓工人们却寄来“求情信”

老板欠薪跑路被抓工人们却寄来“求情信”

浙江法治报

作者：陈贞妃顾昱昂

再有10个月，宋某的缓刑考验期就结束了。一年前，他因欠薪被抓，本以为人生无望，没想到工人们竟宽容原谅、检察官耐心挽救，所有人都愿意给他重新开始的机会。近日，在老家接受社区矫正的他告诉检察官，等到缓刑期结束恢复“自由”，... 详细信息

再有10个月，宋某的缓刑考验期就结束了。一年前，他因欠薪被抓，本以为人生无望，没想到工人们竟宽容原谅、检察官耐心挽救，所有人都愿意给他重新开始的机会。近日，在老家接受社区矫正的他告诉检察官，等到缓刑期结束恢复“自由”，他还打算回到湖州吴兴织里，继续从事童......

关键词：检察官检察院吴兴区

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

发展模型建构能力的问题链设计

物理教师 2024年第4期45卷 8-12页

作者：陈浩翔上海市西南位育中学上海200233

在物理学中,模型构建是认识自然的重要方法和思维方式.在物理教学中以问题链引导学生开展有质量的学习活动,让学生的思维动起来,以达到发展学生模型建构的能力.

关键词：问题链模型建构真实情境

在线全文

学校读者我要写书评

暂无评论

“愿你三冬暖”，藏在羽绒被里的新年祝福

“愿你三冬暖”，藏在羽绒被里的新年祝福

浙江法治报

作者：陈贞妃陈怡心

“小君（化名）的抚养权变更案判决已经生效了。走，去她家。”一大早，刚到办公室的王晓佳一把拎起地上的袋子，拉着同事又出了门。袋子里，是她早就给小君准备好的新年礼物。另一边，小君母女也早早起床候在家中——这一天，她们已经... 详细信息

“小君（化名）的抚养权变更案判决已经生效了。走，去她家。”一大早，刚到办公室的王晓佳一把拎起地上的袋子，拉着同事又出了门。袋子里，是她早就给小君准备好的新年礼物。另一边，小君母女也早早起床候在家中——这一天，她们已经期待了大半年。王晓佳是海盐县人民检察......

关键词：抚养权支持起诉

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

醉美湛江西海岸养在深闺人未识

炎黄地理 2024年第4期 162-165页

作者：连端温琪惠陈贞彤湛江科技学院

笔者以“醉美湛江西海岸”主题旅游为视点,展示出我国西南部海岸带上一段别具风情的沿海区域。通过对湛江西部海岸带上自然与人文生态两个维度的描述,展示出其在文旅资源上的优势和巨大开发潜能。笔者力图洞悉“醉美湛江西海岸”内在的... 详细信息

笔者以“醉美湛江西海岸”主题旅游为视点,展示出我国西南部海岸带上一段别具风情的沿海区域。通过对湛江西部海岸带上自然与人文生态两个维度的描述,展示出其在文旅资源上的优势和巨大开发潜能。笔者力图洞悉“醉美湛江西海岸”内在的生命张力,指出湛江西海岸在中华大地上是个有待发现的隐秘“宝地”。

关键词：主题旅游养在深闺人未识开发潜能海岸带沿海区域自然与人文西海岸湛江

尼龙-紫铜复合弹带结构设计及动态挤进特性分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

弹道学报 2024年第1期36卷 50-56页

作者：楚天翔刘东尧南京理工大学能源与动力工程学院江苏南京210094

针对大口径火炮在弹带挤进阶段由于应力过大易对炮膛内壁造成损伤的问题,以大口径火炮发射过程的内弹道特性为背景,展开尼龙-紫铜复合弹带的结构设计及其动态挤进过程的数值仿真研究。基于现有紫铜材质弹带,通过注塑工艺制备一种尼龙-... 详细信息

针对大口径火炮在弹带挤进阶段由于应力过大易对炮膛内壁造成损伤的问题,以大口径火炮发射过程的内弹道特性为背景,展开尼龙-紫铜复合弹带的结构设计及其动态挤进过程的数值仿真研究。基于现有紫铜材质弹带,通过注塑工艺制备一种尼龙-紫铜复合结构弹带,降低挤进过程中的弹带应力。利用经典内弹道方程组求解内弹道过程中弹丸弹底压力变化,并作为动力条件展开动力学分析,使用单一及复合材质弹带的弹丸挤进过程中的内弹道动力学参数,分析尼龙厚度对复合弹带性能的影响。研究发现,相比于紫铜弹带弹丸,相同条件下使用尼龙弹带的弹丸内弹道动力学参数更高,而挤进终点时刻弹带应力更低;对于使用复合结构弹带的弹丸而言,其内弹道性能和弹带尼龙含量相关。复合弹带尼龙厚度越厚,则挤进过程中弹丸内弹道动力学参数越高,而挤进终点时刻弹带应力越低。相关研究可为中大口径火炮弹带设计提供一定参考。

关键词：弹带挤进内弹道复合弹带尼龙厚度

中国内地农作物受灾时空格局演化及影响因素研究

在线全文

学校读者我要写书评

暂无评论

北京大学学报（自然科学版） 2024年第5期60卷 905-916页

作者：樊艳翔黄清子邵文忠西北工业大学公共政策与管理学院西安710072 北京大学城市与环境学院北京100871 云南师范大学地理学部昆明650500

为了揭示农作物受灾的规律和影响因素,综合使用核密度估计方法和Dagum基尼系数,探讨中国内地农作物受灾的时空演变特征,并采用Catboost模型和Tobit模型分析农作物受灾的影响因素。研究结果表明,中国内地地区农作物受灾水平整体上呈现带... 详细信息

为了揭示农作物受灾的规律和影响因素,综合使用核密度估计方法和Dagum基尼系数,探讨中国内地农作物受灾的时空演变特征,并采用Catboost模型和Tobit模型分析农作物受灾的影响因素。研究结果表明,中国内地地区农作物受灾水平整体上呈现带状分布特征,黄土高原区域长期以来受灾水平较高,整体而言,黄土高原以北区域农作物受灾程度强于以南区域,在黄土高原以南区域,华中平原整体上受灾水平较高;东部和西部地区的基尼系数始终高于中部和东北,但随着时间的推移,东部空间分布差异逐渐缩小,西部则有扩大趋势,西部的这种差异主要表现在西北地区受灾水平整体上高于西南;水利建设和水土流失治理是农作物受灾的主导影响因素。

关键词：农作物受灾时空格局影响因素 Catboost模型 Tobit回归模型

在线全文

学校读者我要写书评

暂无评论

殷商犬官发展研究

中原文物 2024年第5期 58-65页

作者：展翔南开大学汉语言文化学院天津300071 “古文字与中华文明传承发展工程”协同攻关创新平台天津300071

文章将殷商犬官发展阶段分为前、中、后三期,并结合类组、时代等要素分别对各时期犬官进行了梳理。文章据材料编制了犬官人物及类组分布表、非专称犬官材料类组分布表和犬官名称结构统计表,直观体现出犬官体系的逐渐发展成熟的表现:更... 详细信息

文章将殷商犬官发展阶段分为前、中、后三期,并结合类组、时代等要素分别对各时期犬官进行了梳理。文章据材料编制了犬官人物及类组分布表、非专称犬官材料类组分布表和犬官名称结构统计表,直观体现出犬官体系的逐渐发展成熟的表现:更重视组织运作流程,产生了层级的意识,将责任落实到部门而非具体人,也体现出职官系统的逐步制度化、体系化、专业化。文章依数据对犬官沿革过程进行了共时、历时分析,认为前期犬官与无名类卜辞中的犬官有本质区别,后者不仅职权范围基本被固定在了田猎上,而且表现出明显的递嬗关系,整体体现出在规则中运行的过程。综上,犬官系统到殷商后期形成了一个较为严密、成熟的组织。殷商职官系统也应从以人为核心沿革成为规则、架构明晰的组织了。

关键词：犬官殷商职官制度卜辞无名类