检索结果-南通市图书馆

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种基于时间自动机的安全智能合约生成方法

计算机工程 2023年第9期49卷 137-143,157页

作者：刘阳张圣杰上海海事大学物流科学与工程研究院上海201306

区块链是一种去中心化的计算范式,在诸多领域具有良好的应用前景。智能合约是区块链应用的关键,然而,智能合约的安全问题时有发生,有些甚至造成重大的经济损失。为了避免智能合约在设计开发阶段出现由逻辑不严谨或错误逻辑所造成的安全... 详细信息

区块链是一种去中心化的计算范式,在诸多领域具有良好的应用前景。智能合约是区块链应用的关键,然而,智能合约的安全问题时有发生,有些甚至造成重大的经济损失。为了避免智能合约在设计开发阶段出现由逻辑不严谨或错误逻辑所造成的安全漏洞,提出一种基于时间自动机模型的安全智能合约生成方法。相较于直接编写合约代码,该方法通过将证明为正确的模型转换为可执行的智能合约代码,有效解决在智能合约开发设计阶段所存在的安全性问题。利用UPPAAL工具将人类可理解的文本合约建模为时间自动机并通过模型验证来确保模型的安全性和可靠性。通过对智能合约的正式定义建立时间自动机与智能合约的映射规则,根据相应的映射规则,时间自动机被转换为模块化的Solidity智能合约代码。设计一个具体的商品预售活动案例进行分析,结果表明,通过所提方法生成的商品预售合约的Solidity代码可成功编译并部署在以太坊测试网络中。

关键词：区块链智能合约时间自动机 UPPAAL工具模型验证映射规则

在线全文

学校读者我要写书评

暂无评论

隔震梁桥地震响应的参数敏感性研究

隔震梁桥地震响应的参数敏感性研究

作者：张圣杰重庆交通大学

学位级别：硕士

桥梁减隔震技术通过延长结构自振周期,避开地震能量集中的范围,增大结构的阻尼来耗散地震能量,成为目前最有效的抗震设计手段之一。美国AASHTO抗震设计指南中提到了隔震系统的特性修正系数,对因受到温度,老化,磨损,污染等影响的隔震支... 详细信息

桥梁减隔震技术通过延长结构自振周期,避开地震能量集中的范围,增大结构的阻尼来耗散地震能量,成为目前最有效的抗震设计手段之一。美国AASHTO抗震设计指南中提到了隔震系统的特性修正系数,对因受到温度,老化,磨损,污染等影响的隔震支座力学参数进行修正,以此来涵盖桥梁的地震响应。本文基于支座特性修正系数理论,对减隔震支座力学参数敏感性进行研究,主要工作如下:(1)对美国AASHTO抗震设计指南中提到的支座特性修正系数进行说明,分别阐述了温度,老化和扰动等因素对橡胶支座的影响,以及温度,老化,磨损和污染等因素对滑动支座的影响。介绍了各个影响因素的修正系数具体取值,以及对支座的特征强度和屈服后刚度的修正过程,并介绍调整系数和界限分析方法。(2)以西藏拉林高速夺底互通大桥为工程背景,建立隔震连续梁桥进行地震响应分析。选取合适的铅芯橡胶支座和高阻尼橡胶支座,分别考虑支座的温度修正系数,老化修正系数以及扰动修正系数对不同墩高的隔震桥梁的影响。再将温度,老化和扰动等因素综合考虑,采用调整系数进行修正,并计算分析。结果表明:低温,支座老化等因素能显著增大隔震桥梁的地震响应,当墩高较矮时,墩顶位移、墩底弯矩和剪力增大十分明显。其中,墩顶位移受到温度,老化,扰动等因素影响最大,其次是墩底弯矩,最后是墩底剪力。温度,老化等因素对采用高阻尼橡胶支座桥梁和采用铅芯橡胶支座的桥梁影响也不相同。因此,在抗震设计时要考虑到支座力学参数的改变,合理选择减隔震支座,合理设计墩高,来减小温度,支座老化等因素对隔震桥梁的影响。(3)对高阻尼橡胶支座的屈服前刚度K,屈服后刚度K以及屈服位移d的参数敏感性进行研究。假定屈服前刚度,屈服后刚度同比例增大,不同比例增大,计算地震响应。得出结论:K,K同比例增大,桥梁墩顶位移,墩底剪力和弯矩呈线性增加。K的改变对桥梁地震响应的影响与K的增幅有关。考虑支座屈服位移d的折减,引入屈服后刚度与屈服前刚度比值r,当比值r相对较大时,屈服位移的变化对桥梁地震响应影响较小,而当r相对较小时,屈服位移变化对桥梁地震响应影响较大。

关键词：减隔震桥梁支座特性修正系数温度老化支座力学参数敏感性

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欧洲儿童间质性肺疾病诊断程序解读

中华儿科杂志 2024年第2期62卷 114-119页

作者：陈杰华郑跃杰深圳市儿童医院呼吸科深圳518038

儿童间质性肺疾病(ILD)是呼吸系统的疑难病,病种多而罕见,诊治困难,预后不良。遵循诊断程序并实行多学科讨论可提高儿童ILD的诊断水平,及时启动疾病针对性的治疗。随着分子诊断学的发展,儿童ILD的诊断模式已从“临床-影像-病理”向“临... 详细信息

儿童间质性肺疾病(ILD)是呼吸系统的疑难病,病种多而罕见,诊治困难,预后不良。遵循诊断程序并实行多学科讨论可提高儿童ILD的诊断水平,及时启动疾病针对性的治疗。随着分子诊断学的发展,儿童ILD的诊断模式已从“临床-影像-病理”向“临床-影像-基因-病理”转变。现介绍欧洲呼吸学会儿童ILD临床研究协作组2023年发表的儿童ILD诊断程序。

关键词：分子诊断学诊断程序预后不良诊断模式研究协作组儿童间质性肺疾病诊断水平呼吸系统

在线全文

学校读者我要写书评

暂无评论

运城市区高级中学田径教学现状及对策研究

运城市区高级中学田径教学现状及对策研究

作者：张圣杰山西大学

学位级别：硕士

田径运动教学在学校体育教学中处于不可替代的位置,同时也是学校体育教学的重点教学内容。田径运动对于提升学生的速度、耐力、力量等素质有着巨大的推动作用。本研究旨在发现运城市区高级中学田径教学过程当中出现的各种问题,期望能了... 详细信息

田径运动教学在学校体育教学中处于不可替代的位置,同时也是学校体育教学的重点教学内容。田径运动对于提升学生的速度、耐力、力量等素质有着巨大的推动作用。本研究旨在发现运城市区高级中学田径教学过程当中出现的各种问题,期望能了解运城市区高级中学田径教学中存在的不足,并结合实际情况提出相应对策,为本地区学生身心健康的发展、体育教学质量的提高、田径教学的发展提供理论支撑。本研究以山西省运城市区高级中学田径教学为研究对象,以运城市区高级中学的体育教师和学生为调查对象。研究主要采用文献资料、专家访谈、问卷调查等研究方法进行调查分析,针对运城市区内五所高级中学的相关领导、体育教师、学生进行了走访调查,并对调查结果分析处理。研究结果显示:(1)运城市区高级中学体育教学师队伍中,体育教师大多以本科为主,研究生学历占比不多,学校对于体育教师的一些专业培训较少,影响了教师的专业化发展;职称结构层面,体育教师参差不齐;男女教师性别比例不均衡;(2)运城市区高级中学体育教师田径教学内容过于简单和重复性大,教学方法和手段不够丰富,田径教学模式、教学组织形式、考核形式单一,田径教学计划准备不够充分,在很大程度上限制了学生学习田径的兴趣,学校的体育课时设置不足,经常有其他学科教师占课现象,授课中时常出现“放羊式”的教学模式,课外体育活动相对较少;(3)学生对于田径课的认知和态度并不是很理想,大多喜欢一些风险系数较高的田径项目,这和学校所教授的田径内容也相悖。了解田径知识的途径非常匮乏;(4)运城市区高级中学田径教学环境差异性较大,田径教学场地、配置水平参差不齐,体育场地和器材满足不了快速增长的学生数量,由于经费来源较少和学校相关负责的领导层重视程度不足,学校场地的维修和器材的购入情况严重不足,需要进一步加大财力和物力以保证体育教学的正常运行。在此基础之上,为使运城市区高级中学田径教学更加趋向合理化,针对研究中发现的问题提出以下几点建议:(1)加大田径场地设施器材的投入经费;(2)优化教师队伍结构,提高教师田径教学能力;(3)改变田径教学内容,以学生兴趣为出发点,突显学生主体性;(4)改进田径教学模式,提高教学质量;(5)加大田径场地设施器材的投入经费。

关键词：田径教学高级中学现状对策

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

T会计事务所审计人员隐性知识共享意愿研究

T会计事务所审计人员隐性知识共享意愿研究

作者：张圣杰浙江工商大学

学位级别：硕士

进入二十一世纪,知识已经取代传统刚生产要素成为企成为企业竞争优势的重要来源之一,宣告着知识经济时代的来临。会计师事务所作为一种知识密集型的组织,知识是会计师事务所核心竞争力的重要组成部分。然而由于审计工作的特殊性,审计人... 详细信息

进入二十一世纪,知识已经取代传统刚生产要素成为企成为企业竞争优势的重要来源之一,宣告着知识经济时代的来临。会计师事务所作为一种知识密集型的组织,知识是会计师事务所核心竞争力的重要组成部分。然而由于审计工作的特殊性,审计人员呈现出流动性较大的整体趋势。T会计师事务所由于人员流动较大等问题,如何巩固和提升目前事务所的核心竞争优势、就成为了管理者需要重点关注和解决的问题。由于知识共享是解决T会计师事务所由于人员流失而导致隐性知识流失的途径。因此,对于T会计师事务所审计人员隐性知识共享意愿的研究就存在积极意义。本文以计划行为理论为基础,将T会计师事务所审计人员的隐性知识共享意愿作为研究对象,提出隐性知识共享意愿的影响因素为知识共享态度、主观规范和知觉行为控制;结合社会交换理论,结合国内外文献,并通过实地调研引入影响知识共享态度的前置变量,提出影响知识共享态度的五个因素为利他、互惠、知识权利、关系、经济利益成本,由此建立影响T会计师事务所审计人员隐性知识共享意愿的研究模型。研究结论主要有以下四个方面:（1）从影响T会计师事务所审计人员知识共享意愿的三个因素看来,知识共享态度和知觉行为控制对于隐性知识共享意愿产生显著正向影响。主观规范对于隐性知识共享意愿无显著直接影响。（2）从影响T会计师事务所审计人员隐性知识共享意愿的总效应来看,对隐性知识共享意愿产生影响的程度从大到小依次为:知觉行为控制、知识共享态度、主观规范。主观规范对于隐性知识共享意愿的影响方式是间接影响。隐性知识共享态度知觉行为控制在主观规范和隐性知识共享意愿之间起中介作用。（3）影响知识共享态度的五个因素中,互惠、知识权利、经济利益成本对T会计师事务所审计人员隐性知识共享态度产生显著影响。互惠对审计人员隐性知识共享意愿产生显著正向影响,知识权利和经济利益成本对该所审计人员隐性知识共享意愿产生显著负向影响。对隐性知识共享态度产生影响程度从大到小依次是:知识权利、经济利益成本、互惠。（4）影响隐性知识共享态度的五个因素中,经数据分析验证,利他和关系因素对于审计人员隐性知识共享态度无显著影响。

关键词：审计人员知识共享意愿计划行为理论社会交换理论

数字传感器在初中化学实验教学中的应用——以“物质在水中的分散(二)”一课为例

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中学教学参考 2022年第14期 70-72页

作者：张圣杰江苏常熟市周行中学 215500

数字传感器可将物理变化和化学变化直观、清晰地呈现在学生面前,使实验过程可视化,增强化学实验教学的有效性。文章以“物质在水中的分散(二)”一课为例,通过在实验探究中应用数字传感器,引导学生认识物质溶于水时的能量变化以及性质变... 详细信息

数字传感器可将物理变化和化学变化直观、清晰地呈现在学生面前,使实验过程可视化,增强化学实验教学的有效性。文章以“物质在水中的分散(二)”一课为例,通过在实验探究中应用数字传感器,引导学生认识物质溶于水时的能量变化以及性质变化,并联系生活实际加深学生对水溶液某些性质的理解。

关键词：数字传感器初中化学物质在水中的分散

How to encourage students in learning chemistry?

在线全文

学校读者我要写书评

暂无评论

National Science Review 2023年第10期10卷 187-191页

作者：赵维杰 NSR

Chemistry is a basis for almost all science and engineering disciplines) and needs to be well mastered by both researchers and students.But in the eyes of many Chinese students and their parents, chemistry is not an initial choice because first, it seems to be less important than mathematics and physics,and second) chemistry-majored students usually cannot get high salaries after graduation, and may encounter safety risks when conducting chemical experiments.

关键词： Students

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于钻进参数的煤岩界面识别系统研究

煤田地质与勘探 2023年第9期51卷 72-80页

作者：王杰瓦斯灾害监控与应急技术国家重点实验室重庆400037 中煤科工集团重庆研究院有限公司重庆400039

针对底抽巷瓦斯抽采穿层钻孔施工过程中,煤岩界面识别不及时、不准确,缺少相应技术手段的问题,设计开发了一套基于钻进参数(转速、回转扭矩、推进力、推进速度、破碎比功)的煤岩界面识别系统,整套系统由数据感知层、采集层和分析层组成... 详细信息

针对底抽巷瓦斯抽采穿层钻孔施工过程中,煤岩界面识别不及时、不准确,缺少相应技术手段的问题,设计开发了一套基于钻进参数(转速、回转扭矩、推进力、推进速度、破碎比功)的煤岩界面识别系统,整套系统由数据感知层、采集层和分析层组成。其中,数据感知层和数据采集层合称钻机数据采集系统,可以对钻进参数进行实时采集;数据分析层则采用支持向量机(Support Vector Machine,SVM)分类算法对带有煤岩分类标记的钻进参数进行数据学习和模型训练,继而对未知的钻进参数进行分类预测,最终实现煤岩界面自动识别。在河南鹤壁中泰矿业的现场应用表明:钻进参数中的回转扭矩、推进速度和破碎比功在煤岩界面处均产生明显的“涨落”,可以作为区分煤层和岩石的3个特征参数;使用线性核函数的支持向量机分类模型可以准确地将两种地层中的钻进参数区分出来,通过对训练集中89个样本数据学习即可在测试集中获得100%的正确率,说明了特征参数和地层信息之间是线性可分的。该系统推广应用不仅可以为煤岩分类识别提供基础数据的获取途径;还可以为穿层钻孔的煤岩界面识别提供一定的科学依据和指导,从而确保钻孔达标,避免抽采空白带的产生。

关键词：穿层钻孔煤岩界面自动识别钻进参数破碎比功数据采集支持向量机

在线全文

学校读者我要写书评

暂无评论

铁路既有线一体化重构平纵协同处理技术研究

铁道工程学报 2023年第8期40卷 50-55页

作者：徐杰中铁第一勘察设计院集团有限公司西安710043

研究目的:通过分析大量现有铁路既有线重构的文献、专利,目前既有铁路线位重构中均以实测点的丈量里程参与重构计算,存在平面与纵断面设计里程不匹配、缺乏基于平纵协调的一体化重构协同处理方法等问题。为解决以上问题,本文提出一种合... 详细信息

研究目的:通过分析大量现有铁路既有线重构的文献、专利,目前既有铁路线位重构中均以实测点的丈量里程参与重构计算,存在平面与纵断面设计里程不匹配、缺乏基于平纵协调的一体化重构协同处理方法等问题。为解决以上问题,本文提出一种合理可行的平纵断面协同处理技术方法。研究结论:(1)输入数据文件测点说明采用基于平纵一体的融合型测点特征编码方法;(2)平面直线、曲线重构基于限界约束,采用局部纵断面同坡性检查方法,满足平面重构与纵断面协调;(3)撇弃丈量里程,改化外业水平单,实现平面、纵断面设计里程匹配对应一致的目标;(4)纵断面重构采用平面重构曲线五大桩位置实时实施平纵协调检查,实现一次性完成限界及各种设计阈值符合要求的既有线重构线位;(5)本文技术方法形成铁路既有线重构平纵协同处理系统,工程验证表明技术方法完善、数学模型正确,可在工程实践中应用。

关键词：既有铁路线位重构平纵协同同坡性检查丈量里程属性编码水平单归化限界阈值