检索结果-南通市图书馆

在线全文

cnki报纸

学校读者我要写书评

暂无评论

“六比六看”强作风真抓实干开新局 002

“六比六看”强作风真抓实干开新局

十堰日报

作者：纪枫波马桂滨柯贤慧

“过硬能力、优良作风是做好‘三农’工作的重要保障。2024年，全市农业农村系统将以学习运用‘千万工程’经验为引领，深入实施强县工程，以‘六比六看’为抓手，持续推动能力作风建设走深走实，抓好乡村产业发展、乡村建设、乡村治理... 详细信息

“过硬能力、优良作风是做好‘三农’工作的重要保障。2024年，全市农业农村系统将以学习运用‘千万工程’经验为引领，深入实施强县工程，以‘六比六看’为抓手，持续推动能力作风建设走深走实，抓好乡村产业发展、乡村建设、乡村治理等重点任务，加快推进农业农村现代化。”?

关键词：真抓实干

在线全文

cnki报纸

学校读者我要写书评

暂无评论

平头式塔机起重臂三角变高度节设计方法研究

建筑机械 2022年第2期42卷 69-72,78页

作者：柯贤慧李斌沈阳建筑大学机械工程学院辽宁沈阳110168

本文以塔机起重臂三角形变高度节为研究对象,分析变高度节上弦杆的倾斜度和组对腹杆相对水平线的夹角等几何形状参数对腹杆受力状态的影响。以经典力学理论为基础建立力学模型,推导出腹杆的轴力表达式;研究平头式塔机起重臂上弦杆倾角... 详细信息

本文以塔机起重臂三角形变高度节为研究对象,分析变高度节上弦杆的倾斜度和组对腹杆相对水平线的夹角等几何形状参数对腹杆受力状态的影响。以经典力学理论为基础建立力学模型,推导出腹杆的轴力表达式;研究平头式塔机起重臂上弦杆倾角和载荷位置对腹杆轴力的影响,寻求使得变高度节腹杆受力状态最小的合理几何参数布局,为平头式塔机起重臂变高度节的设计提供理论参考。

关键词：塔机变高度节设计理论上弦杆倾角

维普期刊数据库博看期刊

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

镇坪食品药品监管出实招 B04

安康日报

作者：姚正坤陈超柯贤慧

本报讯(通讯员姚正坤　陈超　柯贤慧)今年以来，狠抓关键措施落实和监管机制创新，整治县域食品药品市场，为确保全县群众食品药品安全迈出了坚实的步伐。该县创新宣传形式，集中45天时间，实施全方位宣传。至目前，已有1.1万人次参...

本报讯(通讯员姚正坤　陈超　柯贤慧)今年以来，狠抓关键措施落实和监管机制创新，整治县域食品药品市场，为确保全县群众食品药品安全迈出了坚实的步伐。该县创新宣传形式，集中45天时间，实施全方位宣传。至目前，已有1.1万人次参与食品药品安全

关键词：

在线全文

cnki报纸

学校读者我要写书评

暂无评论

我市今年已销售扶贫产品超20亿元 002

十堰日报

作者：毛以国柯贤慧

本报讯记者毛以国通讯员柯贤慧报道：11月4日上午，十堰市消费扶贫工作会议在市扶贫办召开，安排部署光伏扶贫、贫困劳动力稳岗就业等工作。记者从会上获悉，自今年《全市消费扶贫行动分工方案》下发以来，我市先后三次召开扶贫办主... 详细信息

本报讯记者毛以国通讯员柯贤慧报道：11月4日上午，十堰市消费扶贫工作会议在市扶贫办召开，安排部署光伏扶贫、贫困劳动力稳岗就业等工作。记者从会上获悉，自今年《全市消费扶贫行动分工方案》下发以来，我市先后三次召开扶贫办主任会议，安排部署消费扶贫工作，各县 ?

关键词：消费生产关系

在线全文

cnki报纸

学校读者我要写书评

暂无评论

用责任守护公众健康 B04

安康日报

作者：姚正坤陈超柯贤慧

认真贯彻科学监管理念，切实履行法律赋予职责，狠抓监管机制创新和关键措施落实，推动食品药品监管工作顺利开展，不断规范食品药品市场秩序，确保全县人民饮食用药安全，是镇坪县药监局全体干部职工的不懈追求，也是笔者采访时的最深...

认真贯彻科学监管理念，切实履行法律赋予职责，狠抓监管机制创新和关键措施落实，推动食品药品监管工作顺利开展，不断规范食品药品市场秩序，确保全县人民饮食用药安全，是镇坪县药监局全体干部职工的不懈追求，也是笔者采访时的最深印象。

关键词：

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

在线全文

cnki报纸

学校读者我要写书评

暂无评论

计算机集成制造系统 2024年第2期30卷 610-622页

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

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

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

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

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

镇坪确保群众饮食用药安全 006

陕西日报

作者：胡纪美姚正坤柯贤慧

本报讯　（胡纪美姚正坤柯贤慧）镇坪县去年围绕全县人民饮食用药安全这个中心，狠抓源头治理、日常监管和专项整治，加速推进食品综合监管机制建设和农村药品“两网”建设，促使县域食品药品市场秩序稳定好转。　　镇坪县高度重视食...

本报讯　（胡纪美姚正坤柯贤慧）镇坪县去年围绕全县人民饮食用药安全这个中心，狠抓源头治理、日常监管和专项整治，加速推进食品综合监管机制建设和农村药品“两网”建设，促使县域食品药品市场秩序稳定好转。　　镇坪县高度重视食品安全工作,制发了《食品市场整治实施

关键词：

发掘精神分裂症大脑连接变异的集成聚类动态功能连接分析方法

在线全文

cnki报纸

学校读者我要写书评

暂无评论

中国生物医学工程学报 2024年第3期43卷 257-266页

作者：方嵩柯杜宇慧山西大学计算机与信息技术学院太原030006

近年来,基于功能磁共振成像的动态功能连接在研究精神疾病方面表现出巨大的潜力。传统的基于聚类的动态功能连接分析方法(如K-means)受到类别个数、初始值和噪声的影响可能导致不可靠的功能连接状态(FCSs)。本研究提出了一种新的集成聚... 详细信息

近年来,基于功能磁共振成像的动态功能连接在研究精神疾病方面表现出巨大的潜力。传统的基于聚类的动态功能连接分析方法(如K-means)受到类别个数、初始值和噪声的影响可能导致不可靠的功能连接状态(FCSs)。本研究提出了一种新的集成聚类动态功能连接分析方法。首先,利用多个不同的类别个数(k值)进行K-means产生多样性的簇;然后,基于Jaccard系数和随机游走挖掘不同簇之间的相似性以构造反应簇间关系的加权图;最终,对加权图进行社区检测获得可靠的元簇,并通过投票的方式将每个功能连接窗口分组到不同的元簇中,计算其质心作为功能连接状态。基于105名健康对照(HC)和70名精神分裂症(SZ)患者的fMRI数据,全方位比较所提出的方法和常用的基于K-means的方法进行动态功能网络分析的效果。相较于K-means方法,所提出方法在FCS 2上的平均类间相似性由83.2%降低至81.1%,在FCS 3上的平均类间相似性由76.8%降低至73.5%,聚类评估指标Davies Bouldin指数由6.74降低至6.44,Silhouette Coefficient指数由0.018提高至0.031。显示HC和SZ组的组间差异更集中于FCS 2,而K-means方法的组间差异分散在FCS 2、FCS 3和FCS 4。所提出方法可以自动获得FCSs数目,并具有更好的聚类质量和更可靠的功能连接状态,还发现了比K-means更有意义的组间差异,支持了该方法在探索精神疾病生物标志物方面的应用潜力。

关键词：功能磁共振成像动态功能连接集成聚类 K-means聚类精神分裂症

自监督预训练驱动的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代码表征