检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

面向程序可达性验证的数组处理循环压缩方法

信息网络安全 2024年第3期24卷 374-384页

作者：许良晨孟昭逸黄文超熊焰中国科学技术大学计算机科学与技术学院合肥230026 安徽大学计算机科学与技术学院合肥230601

计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,... 详细信息

计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。

关键词：等价类分析软件形式化验证静态分析系统依赖图

在线全文

学校读者我要写书评

暂无评论

企业工商管理水平的强化策略研究

中文科技期刊数据库（全文版）经济管理 2024年第1期 180-183页

作者：宋芳芳许良日照锦蓝城市发展有限公司山东日照276800

本论文旨在探讨如何通过强化企业工商管理培训来提升企业的整体管理水平。当前,企业管理面临日益复杂和多变的挑战,而具有高效管理水平的企业更有可能在竞争激烈的市场中脱颖而出。通过文献综述,我们深入研究了工商管理培训的定义、范畴... 详细信息

本论文旨在探讨如何通过强化企业工商管理培训来提升企业的整体管理水平。当前,企业管理面临日益复杂和多变的挑战,而具有高效管理水平的企业更有可能在竞争激烈的市场中脱颖而出。通过文献综述,我们深入研究了工商管理培训的定义、范畴,以及国内外成功企业管理提升的案例,突出了培训对员工和企业整体绩效的积极影响。在强调培训的必要性方面,我们强调了进修员工知识和技能的重要性,以及培训在传播组织文化和价值观、适应快速变化的商业环境方面的关键作用。为了实现有效的培训,论文提出了定制化培训计划、创新培训方法和建立有效评估机制等策略。最后,通过对培训效果的分析,我们验证了企业整体管理水平的提升,同时探讨了在这一过程中可能面临的挑战,并提出相应对策。本研究旨在为企业管理者提供关于如何通过培训提升管理水平的实用指导,并为未来研究和实践提供参考。

关键词：企业工商管理培训强化水平管理内容提升

基于晶界工程调控增材制造Inconel 718合金的腐蚀性能

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

稀有金属 2024年第5期48卷 640-650页

作者：丁雨田孙富豪许佳玉刘博高钰璧张东兰州理工大学材料科学与工程学院甘肃兰州730050 兰州理工大学省部共建有色金属先进加工与再利用国家重点实验室甘肃兰州730050 金川集团股份有限公司镍钴资源综合利用国家重点实验室甘肃金昌737100 天水师范学院机电与汽车工程学院甘肃天水741001

采用电子背散射衍射(EBSD)和电化学工作站中极化曲线和阻抗曲线等手段,研究了不同晶界工程处理(变形量为5%,10%和20%,退火制度为1150℃/0.5 h)对选区激光熔化成形Inconel 718合金(SLM-Inconel 718合金)的晶界特征分布和腐蚀性能的影响... 详细信息

采用电子背散射衍射(EBSD)和电化学工作站中极化曲线和阻抗曲线等手段,研究了不同晶界工程处理(变形量为5%,10%和20%,退火制度为1150℃/0.5 h)对选区激光熔化成形Inconel 718合金(SLM-Inconel 718合金)的晶界特征分布和腐蚀性能的影响。结果表明,当压缩变形量为10%+退火制度为1150℃/0.5 h时,SLM-Inconel 718合金基本完成了再结晶,其微观组织由细小的再结晶晶粒以及退火孪晶组成;在此工艺下合金的平均晶粒尺寸最小,为4.5μm;同时,合金中低ΣCSL(重合位置点阵倒数)晶界(3≤Σ≤29)的比例为64.23%,Σ3晶界的比例为50.03%,Σ9+Σ27的晶界比例为13%,特殊三叉晶界比例中J2(三叉晶界中含2条低ΣCSL晶界)晶界比例为44.3%,J3(三叉晶界中含3条低ΣCSL晶界)晶界比例为26.5%,表明10%+1150℃/0.5 h处理后的样品中的特殊晶界要远高于其他晶界工程处理(5%+1150℃/0.5 h和20%+1150℃/0.5 h)的样品;此外,SLM-Inconel 718合金经10%+1150℃/0.5 h晶界工程处理后,平均腐蚀速率为1.8×10-4 mm·year^(-1),其腐蚀速率相较于5%+1150℃/0.5 h和20%+1150℃/0.5 h晶界工程处理的样品分别降低了6倍和5.5倍。

关键词：选区激光熔化(SLM) 晶界工程低ΣCSL晶界晶界特征分布腐蚀性能

Na_(0.44)MnO_(2)颗粒尺寸对其作为水系钠离子电池正极性能的影响

在线全文

学校读者我要写书评

暂无评论

真空科学与技术学报 2024年第2期44卷 115-124页

作者：黄璧成余灵辉葛婧捷徐梽川南洋理工大学材料科学与工程学院新加坡639798

水溶性钠离子电池是一种与锂离子电池相辅相成的技术,因其相对较低的成本、改善的安全性和环境友好的电解液而备受青睐。然而,较低的电极容量限制了这种电池的应用。Na_(0.44)MnO_(2)是一种用于钠离子电池的高容量阴极材料,其理论容量为... 详细信息

水溶性钠离子电池是一种与锂离子电池相辅相成的技术,因其相对较低的成本、改善的安全性和环境友好的电解液而备受青睐。然而,较低的电极容量限制了这种电池的应用。Na_(0.44)MnO_(2)是一种用于钠离子电池的高容量阴极材料,其理论容量为121 mAh/g。文章研究了Na_(0.44)MnO_(2)的尺寸效应对阴极性能的影响。纳米棒通过热处理MnO_(2)纳米片前驱体制备而成,其尺寸通过CTAB和KMnO_(4)的比例进行调控。然后,Na_(0.44)MnO_(2)纳米棒被用作水溶性钠离子电池的活性材料。纳米棒阴极在1 C的初始循环中提供了60 mAh/g的容量,并在经过200个循环后保持了55 mAh/g,比Na_(0.44)MnO_(2)块状阴极高出37.5%。在高倍率的5 C下,该阴极在经过200个循环后仍能提供47 mAh/g的高容量。容量的增加归因于减小的电荷传递阻抗和纳米棒具有较高比表面积所带来的改善的钠离子扩散性能。

关键词：钠离子电池正极水系电解液尺寸

《2024中国玩具和婴童用品行业发展白皮书》发布

在线全文

学校读者我要写书评

暂无评论

玩具世界 2024年第4期 1-6页

作者：王文璧

2023年，玩具和婴童用品行业承压前行，展现出强大的韧性。2024年，经济持续向好，玩具和婴童行业该如何实现高质量发展？2024年3月28日，《2024中国玩具和婴童用品行业发展白皮书》（以下简称白皮书）在中国玩具和婴童用品协会（以下...

2023年，玩具和婴童用品行业承压前行，展现出强大的韧性。2024年，经济持续向好，玩具和婴童行业该如何实现高质量发展？2024年3月28日，《2024中国玩具和婴童用品行业发展白皮书》（以下简称白皮书）在中国玩具和婴童用品协会（以下简称中国玩协）主办的第十四届中国儿童产业发展大会暨中国品牌授权年会上重磅发布，为行业企业经营发展提供导向。

关键词：

早年逆境和晚年社会经济资源对老年失能轨迹的影响

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

浙江社会科学 2024年第6期 70-83,158页

作者：方博野洪岩璧王有为中山大学社会学与人类学学院社会学系广州510275 中山大学医学院医学人文学系广州510275 东南大学人文学院社会学系南京211189

基于早年逆境的风险积累与阶层流动之跨时间动态调节作用的耦合效应,本文尝试阐释生命历程中健康不平等的形成机制。在实证设计上,通过整合中国健康与养老追踪调查多年度的数据,本文比较了“高起点向下流动”“低起点无明显流动”“高... 详细信息

基于早年逆境的风险积累与阶层流动之跨时间动态调节作用的耦合效应,本文尝试阐释生命历程中健康不平等的形成机制。在实证设计上,通过整合中国健康与养老追踪调查多年度的数据,本文比较了“高起点向下流动”“低起点无明显流动”“高起点无明显流动”“低起点向上流动”四类不同生命历程老年人的失能轨迹。“时点-个人多层次混合效应模型”结果显示,首先,早年不利处境虽然提高了我国老年人失能的起点,然而随着时间推移,经历过更多逆境的老年人体现出明显的生存优势,失能速度更慢。其次,早年处于不利处境,但是在后续生命阶段实现了阶层跃升从而拥有更多社会经济资源的老年人,身体功能的初始水平更好,后续失能速度也更慢。上述结论说明,个体生命的演进轨迹并非遵循一成不变的规律,不同时间节点上的重要经历、生活变迁和阶层流动都可能影响个人健康生平的构建。这验证了健康不平等形成路径中的“社会相对论”假说,也回应了生命历程理论中关于时间性、时序性、能动性和可逆性的核心概念。

关键词：早期逆境社会经济资源失能轨迹

中职学校班主任的班级管理策略与促进学生发展的研究

在线全文

学校读者我要写书评

暂无评论

中国科技期刊数据库科研 2024年第2期 13-16页

作者：任宝璧拉萨市第二中等职业技术学校西藏拉萨850000

班级管理水平在很大程度上决定了学校教育质量的优劣。在中职学校环境中,班主任在管理班级方面的职责更为突出。中职学校的班主任所面临的工作是琐碎而持久的,也充满了复杂性,需要班主任在保持教学质量的同时,将更多的关注与思考投入到... 详细信息

班级管理水平在很大程度上决定了学校教育质量的优劣。在中职学校环境中,班主任在管理班级方面的职责更为突出。中职学校的班主任所面临的工作是琐碎而持久的,也充满了复杂性,需要班主任在保持教学质量的同时,将更多的关注与思考投入到班级管理中。班主任需要付出极大的热情、责任心与奉献精神,展现出积极主动的工作态度,以期达到提升班级管理的艺术性和效率,从而促使中职学生在学习上得到全面提升。中职班主任的管理策略需精心设计,旨在实现班级的和谐与秩序,推进学生的全面发展。通过深度的理解和实践,班主任能够更加准确地把握学生的需求和特点,形成更为有效的管理和教学方法,加强学生的学习动机和学习能力。在这一过程中,班主任的角色不仅是教学者,更是学生成长过程中的引导者和伙伴,协助他们塑造正确的价值观和人生观。实际上,为了实现上述目标,班主任需充分发挥个人能力,细心安排并实施每一项教学与管理活动,通过个人的努力和班级的合作,形成良好的教学和学习环境,最终实现班级与学生的共同成长与提升。

关键词：班主任班级管理中职学校管理策略

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

创联体:医工交叉新模式

中国医院院长 2024年第8期20卷 52-53页

作者：郭潇雅许良友不详

创新联合体最大的意义在于把技术创新应用到临床医疗实践中,并在此过程中,实现多方共赢。2024年3月1日,由厦门大学附属心血管病医院(以下简称“厦心医院”)牵头成立的厦门市心血管健康产业技术创新联合体揭牌,成为厦门市生物医药战略性... 详细信息

创新联合体最大的意义在于把技术创新应用到临床医疗实践中,并在此过程中,实现多方共赢。2024年3月1日,由厦门大学附属心血管病医院(以下简称“厦心医院”)牵头成立的厦门市心血管健康产业技术创新联合体揭牌,成为厦门市生物医药战略性新兴产业领域首个创新联合体(以下简称“创联体”),也是福建省首个由医院牵头的创联体。

关键词：战略性新兴产业心血管病医院心血管健康临床医疗实践产业技术创新生物医药技术创新应用联合体

支架式教学在高一英语读后续写“读”与“思”教学中的运用

在线全文

学校读者我要写书评

暂无评论

第二课堂(D) 2024年第3期 45-46页

作者：李璧湖南省长沙市周南实验中学

2021年，湖南省采用全国新高考I卷，英语试卷书面表达部分新增读后续写题型。读后续写是一项要求学生参与读、思、写等活动的综合训练活动。该题型一经采用，便引起了广大专家和学者的研究，也受到了一线教师对读后续写教学模式的积极...

2021年，湖南省采用全国新高考I卷，英语试卷书面表达部分新增读后续写题型。读后续写是一项要求学生参与读、思、写等活动的综合训练活动。该题型一经采用，便引起了广大专家和学者的研究，也受到了一线教师对读后续写教学模式的积极探究。我在教学实践中发现，高一学生在读后续写文本阅读、段落情节架构方面存在困惑，因此，突破读后续写“读”与“思”具有重大的意义。

关键词：