检索结果-南通市图书馆

基于正态变换的变样本容量Shewhart比例控制图设计

在线全文

学校读者我要写书评

暂无评论

计算机集成制造系统 2022年

作者：周思阳张莹柯楚贤交通运输部水运科学研究所武汉理工大学交通与物流工程学院

为了提高Shewhart型比例控制图的监控效率，本文将其与变样本容量策略结合，提出了一种新的比例控制图(即VSS Shewhart-RZ;控制图)来监控二元正态变量之比。基于正态变换方法设计了新的比例统计量Z;，以消除样本容量变化对比例控制图设... 详细信息

为了提高Shewhart型比例控制图的监控效率，本文将其与变样本容量策略结合，提出了一种新的比例控制图(即VSS Shewhart-RZ;控制图)来监控二元正态变量之比。基于正态变换方法设计了新的比例统计量Z;，以消除样本容量变化对比例控制图设计及使用的不利影响。采用马尔可夫链方法计算了该控制图的平均运行长度和平均样本容量，给出了该控制图的参数优化算法。通过仿真分析研究了该控制图的统计性能，并与Shewhart比例控制图进行了比较，结果表明VSS Shewhart-RZ;控制图的性能明显优于传统的固定样本容量Shewhart比例控制图。

关键词：变样本容量比例分布平均运行链长正态变换

基于事件时间间隔的VSI CQC-r控制图设计

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

物流技术 2022年第7期41卷 124-129,146页

作者：张莹柯楚贤武汉理工大学交通与物流工程学院湖北武汉430063

累积数量控制图CQC-r是事件时间间隔控制图的一种,将变采样间隔策略与CQC-r图结合,给出VSI CQC-r图的设计方法,推导平均报警时间的表达式;使用改进因子对VSI CQC-r图的性能进行分析,验证了变采样间隔对CQC-r图的改进效果。最后将VSI CQ... 详细信息

累积数量控制图CQC-r是事件时间间隔控制图的一种,将变采样间隔策略与CQC-r图结合,给出VSI CQC-r图的设计方法,推导平均报警时间的表达式;使用改进因子对VSI CQC-r图的性能进行分析,验证了变采样间隔对CQC-r图的改进效果。最后将VSI CQC-r图应用于订货间隔的监控,验证该控制图在供应链管理中的有效性。

关键词：事件时间间隔累积数量控制图变采样间隔平均报警时间

维普期刊数据库博看期刊

自监督预训练驱动的Solidity代码相似性检测方法及应用研究

在线全文

学校读者我要写书评

暂无评论

自监督预训练驱动的Solidity代码相似性检测方法及应用研究

作者：柯贤群西安邮电大学

学位级别：硕士

在当前蓬勃发展的智能合约领域,对合约源代码进行可靠有效的相似性分析是确保智能合约生态系统健康和质量保证的关键一环。随着区块链和智能合约的兴起,Solidity已成为以太坊平台上最常用的智能合约编程语言。然而,由于代码本身的复杂... 详细信息

在当前蓬勃发展的智能合约领域,对合约源代码进行可靠有效的相似性分析是确保智能合约生态系统健康和质量保证的关键一环。随着区块链和智能合约的兴起,Solidity已成为以太坊平台上最常用的智能合约编程语言。然而,由于代码本身的复杂性、规模庞大以及开发人员之间的协作方式,可能会产生一些潜在问题,例如代码冗余和安全漏洞。因此,对Solidity代码相似性的深入研究变得至关重要。这类研究不仅能揭示合约之间的潜在关联,还能发现潜在的安全风险,并提升合约编写的效率,具有重要的实践价值和应用前景。现有的基于特征签名的方法和基于代码表示学习的方法存在一些限制。这些问题源于程序分析中对有效指标的过度依赖,以及智能合约编码中固有的不完善之处。此外,智能合约通常具有复杂的逻辑结构,这种复杂性在进行语法和语义级别的相似性分析时变得更加具有挑战性。为了解决以上难点,本文提出了一套全面的解决方案,并在研究过程中取得了显著的成果。主要研究内容如下:(1)在预训练语言模型引人瞩目的语义学习能力的启发下,本研究提出了Sol BERT(Solidity BERT),这是专为Solidity语言编写的智能合约设计的预训练模型。为了确保能生成高质量的编码,从而促进合约相似性分析,Sol BERT利用BERT方式的预训练形式,通过对Solidity代码进行轻量级规范化,并且从智能合约抽象语法树中提取具有结构感知标记的序列进行预训练,形成基础的预训练模型。在此基础上,进一步执行基于对比学习的自监督微调和无监督白化操作,以优化预训练模型的编码器。在合约克隆检测、漏洞检测和代码聚类等三个合约相似性分析任务上进行实验评估,实验结果显示Sol BERT在这些任务中的表现优于已有的最新方法。在克隆检测任务中,达到91%的精确率,在漏洞检测任务上,达到了96%的精确率。这些结果还验证了Sol BERT编码优化操作的有效性和积极的协同效应。(2)由于自监督预训练过程需要消耗大量的计算资源,并且训练速度慢。受到对抗重编程思想的启发,本论文提出了一种名为Sol ARSD(Solidity Adversarial Reprogramming Similarity Detection)的相似性检测方法。该方法通过对智能合约源代码文件在视觉预训练模型基础上进行跨模重编程来进行检测Solidity代码之间的相似性。通过对合约源代码文件进行对抗性编程,生成了一个对抗攻击的语义图像编码矩阵,用于对预训练的图像分类模型进行对抗性扰动。这使得带有对抗性扰动的载体语义图像能够成功完成对抗性重编程任务的同时,还保持了与原始模型输入的一致性。此外,本文进一步在对比学习的框架下优化了对抗重编程模型,使其适用于相似性检测任务。经过实验评估,该方法表现优于基准方法。在克隆检测任务中,达到84%的精确率,在漏洞检测任务上,达到了85%的精确率。这一全面的方法通过将对抗性编程与对比学习相结合,为探索Solidity代码相似性提供了一种有效的途径。(3)为了检测用Solidity编写的智能合约间的相似性,论文设计并实现了一款结合深度学习方法的智能合约相似性分析系统。该系统基于Flask框架搭建,采用Python编程语言进行数据处理与模型构建。通过对各模块的功能测试,该系统页面布局合理,操作简单流畅,所有功能模块均能正常使用,能够满足检测智能合约中相似性的需求。

关键词：智能合约相似性检测预训练语言模型自监督微调 Solidity代码表征

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

实测车流作用下大跨悬索桥吊索疲劳性能分析

东南大学学报（自然科学版） 2024年第4期54卷 952-960页

作者：茅建校柯贤东苏迅赵楷林王浩宗海东南大学混凝土及预应力混凝土结构教育部重点实验室南京211189 南京公路发展(集团)有限公司南京210031

为研究车辆长期作用下悬索桥吊索的疲劳性能,以南京栖霞山长江大桥为工程背景,利用该桥动态称重系统的实测数据,采用有限混合分布拟合了车辆荷载模型.然后,基于时间权重矩阵模拟了桥面多车道随机车流,并基于Ansys计算了随机车流作用下... 详细信息

为研究车辆长期作用下悬索桥吊索的疲劳性能,以南京栖霞山长江大桥为工程背景,利用该桥动态称重系统的实测数据,采用有限混合分布拟合了车辆荷载模型.然后,基于时间权重矩阵模拟了桥面多车道随机车流,并基于Ansys计算了随机车流作用下的桥梁动力时程响应.在上述基础上,获取了大桥短吊索、长吊索和限位吊索3组典型吊索的应力时程,并采用名义应力法对其疲劳性能进行分析.结果表明:在随机车流作用下,大部分时间段内吊索应力波动较为平稳;各吊索应力变化趋势与车流量的变化密切相关,短吊索、长吊索以及限位吊索的最大应力幅分别为40、30和25 MPa;在车辆荷载的长期作用下,短吊索的疲劳可靠度显著低于长吊索与限位吊索.

关键词：悬索桥吊索疲劳性能动态称重系统随机车流动力响应

在线全文

学校读者我要写书评

暂无评论

政府采购多措并举服务中小企业发展

新理财(政府理财) 2024年第5期 72-73页

作者：柯楚湖北省黄石市财政局

近年黄石市财政局严格执行《政府采购法》及《政府采购法实施条例》，以数字化提升政采质效，不断深化“放管服”改革，便利中小企业的政府采购交易系统通过省先行区验收，并被湖北省财政厅确定为全省推广改革事项。2019年至今，黄石市...

近年黄石市财政局严格执行《政府采购法》及《政府采购法实施条例》，以数字化提升政采质效，不断深化“放管服”改革，便利中小企业的政府采购交易系统通过省先行区验收，并被湖北省财政厅确定为全省推广改革事项。2019年至今，黄石市连续五年参评营商环境居全省第一方阵，其中，2019至2022年连续四年获全省第二、市直18个指标牵头单位全市第一，在2023中国政府采购奖评选中荣获“优化营商环境卓越奖”。

关键词：

持续优化政府采购营商环境以数字化提升政府采购质效

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中国政府采购 2024年第4期 36-38页

作者：柯楚湖北省黄石市财政局

本文主要介绍了湖北省黄石市财政局在2023年严格执行《中华人民共和国政府采购法》及其实施条例,以数字化提升政府采购质效,总结了2023年政府采购主要工作亮点。本文对2024年政府采购事业所面临的形势和主要问题进行了深入思考。在2024... 详细信息

本文主要介绍了湖北省黄石市财政局在2023年严格执行《中华人民共和国政府采购法》及其实施条例,以数字化提升政府采购质效,总结了2023年政府采购主要工作亮点。本文对2024年政府采购事业所面临的形势和主要问题进行了深入思考。在2024年政府采购工作中,湖北省黄石市财政局将继续以“牢固守住全省第一方阵”为目标导向、以市场主体期望为任务导向、以专项整治为问题导向、以主题教育成效为结果导向,谋划好四项工作。

关键词：营商环境湖北省黄石市任务导向结果导向教育成效问题导向政府采购目标导向

在线全文

学校读者我要写书评

暂无评论

湖北省黄石市政府采购支持民营经济发展实践

中国政府采购 2024年第5期 36-38页

作者：柯楚湖北省黄石市财政局

本文作者对湖北省黄石市政府采购支持民营经济发展的主要举措进行深入分析和探讨,并提出当下存在的问题,给出相应建议,为民营经济体更好地参与政府采购活动提供更多思路。近年湖北省黄石市财政局严格执行《中华人民共和国政府采购法》... 详细信息

本文作者对湖北省黄石市政府采购支持民营经济发展的主要举措进行深入分析和探讨,并提出当下存在的问题,给出相应建议,为民营经济体更好地参与政府采购活动提供更多思路。近年湖北省黄石市财政局严格执行《中华人民共和国政府采购法》及其实施条例。

关键词：民营经济发展湖北省黄石市政府采购主要举措《中华人民共和国政府采购法》实施条例经济体财政局

企业社会责任感知对工作场所绿色行为的影响机制研究

在线全文

学校读者我要写书评

暂无评论

中国软科学 2024年第08期 144-153页

作者：刘容志常莉柯镇贤韩耀辉赵君中南财经政法大学工商管理学院中南财经政法大学公共人力资源战略管理研究院中南财经政法大学公共管理学院

目前企业CSR的研究呈现从宏观领域向员工个体感知等微观领域推进的趋势。采用问卷调查，共收集219份有效问卷。分析发现：员工社会CSR感知和环境CSR感知越匹配，员工的工作场所绿色行为水平越高；工作意义起到中介作用，员工绿色价值观... 详细信息

目前企业CSR的研究呈现从宏观领域向员工个体感知等微观领域推进的趋势。采用问卷调查，共收集219份有效问卷。分析发现：员工社会CSR感知和环境CSR感知越匹配，员工的工作场所绿色行为水平越高；工作意义起到中介作用，员工绿色价值观发挥调节机制。研究结论有望为企业绿色发展背景下的CSR实践提供参考作用。

关键词： CSR感知工作意义工作场所绿色行为匹配作用

在线全文

学校读者我要写书评

暂无评论

黄石政采助企发展“有的放矢”

黄石政采助企发展“有的放矢”