检索结果-南通市图书馆

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

基于多路径回溯的神经网络验证方法

软件学报 2022年第7期33卷 2464-2481页

作者：郑烨施晓牧刘嘉祥深圳大学计算机与软件学院广东深圳518060

基于线性抽象的符号传播方法在神经网络验证中具有重要地位.针对这类方法,提出了多路径回溯的概念.现有方法可看作仅使用单条回溯路径计算每个神经网络节点的上下界,是这一概念的特例.使用多条回溯路径,可以有效地改善这类方法的精度.... 详细信息

基于线性抽象的符号传播方法在神经网络验证中具有重要地位.针对这类方法,提出了多路径回溯的概念.现有方法可看作仅使用单条回溯路径计算每个神经网络节点的上下界,是这一概念的特例.使用多条回溯路径,可以有效地改善这类方法的精度.在数据集ACAS Xu,MNIST和CIFAR10上,将多路径回溯方法与使用单条回溯路径的Deep Poly进行定量比较,结果表明,多路径回溯方法能够获得明显的精度提升,而仅引入较小的额外时间代价.此外,在数据集MNIST上,将多路径回溯方法与使用全局优化的Optimized LiRPA比较,结果表明,该方法仍然具有精度优势.

关键词：神经网络验证符号传播抽象解释多路径回溯

基于K Framework的向量化机器学习指令语义形式化

在线全文

学校读者我要写书评

暂无评论

软件学报 2023年第8期34卷 3853-3869页

作者：黄厚华刘嘉祥施晓牧深圳大学计算机与软件学院广东深圳518060

ARM针对ARMv8.1-M微处理器架构推出基于M-Profile向量化扩展方案的技术,并命名为ARM Helium,声明能为ARM Cortex-M处理器提升达15倍的机器学习性能.随着物联网的高速发展,微处理器指令执行正确性尤为重要.指令集的官方手册作为芯片模拟... 详细信息

ARM针对ARMv8.1-M微处理器架构推出基于M-Profile向量化扩展方案的技术,并命名为ARM Helium,声明能为ARM Cortex-M处理器提升达15倍的机器学习性能.随着物联网的高速发展,微处理器指令执行正确性尤为重要.指令集的官方手册作为芯片模拟程序,片上应用程序开发的依据,是程序正确性基本保障.主要介绍利用可执行语义框架K Framework对ARMv8.1-M官方参考手册中向量化机器学习指令的语义正确性研究.基于ARMv8.1-M的官方参考手册自动提取指令集中描述向量化机器学习指令执行过程的伪代码,并将其转换为形式化语义转换规则.通过K Framework提供的可执行框架利用测试用例,验证机器学习指令算数运算执行的正确性.

关键词： ARMv8.1-M架构向量化指令机器学习 K Framework 形式化语义

基于真实世界分析川红中风胶囊治疗缺血性中风的临床用药特征

在线全文

学校读者我要写书评

暂无评论

基于真实世界分析川红中风胶囊治疗缺血性中风的临床用药特征

作者：刘嘉祥长春中医药大学

学位级别：硕士

目的:探究川红中风胶囊治疗缺血性中风患者的临床特征和用药规律。方法:本次研究采用回顾性研究。收集500例缺血性中风患者信息。患者均来自于长春中医药大学附属医院脑病疗区。按照年龄、性别、入院病情、中医证型、合并疾病、用药信... 详细信息

目的:探究川红中风胶囊治疗缺血性中风患者的临床特征和用药规律。方法:本次研究采用回顾性研究。收集500例缺血性中风患者信息。患者均来自于长春中医药大学附属医院脑病疗区。按照年龄、性别、入院病情、中医证型、合并疾病、用药信息等分类录入Excel表格。统计软件为SPSS Model。利用频数分析、关联规则等数据分析方法得出结论。结果:1、对500例研究对象的年龄及性别信息分析可知,男性患者比例高于女性患者,所有患者发病年龄集中在61-70岁年龄段。2、对500例研究对象的中医证候分析可知,风痰瘀阻证患者数量最多。3、对500例研究对象的合并疾病分析可知,基础类疾病最多见,其中高血压病最多。4、对500例研究对象的用药规律分析可知,最常联用的单味药物组合为川红中风胶囊+阿托伐他汀钙片;最常联用的单味药物种类为川红中风胶囊+降脂类药物;最常见的方案为川红中风胶囊+阿托伐他汀钙片+阿司匹林肠溶片。结论:1、川红中风胶囊治疗缺血性中风的临床特征:(1)以老年男性患者为主要人群;(2)最常见的中医证型为风痰瘀阻证;(3)合并疾病以基础类疾病最为常见,如高血压病等。2、川红中风胶囊治疗缺血性中风的用药规律:(1)最常联合应用的单味药物为降血脂及稳定斑块药物,以阿托伐他汀钙片为主要药物。(2)最常见的用药方案为川红中风胶囊+阿托伐他汀钙片+阿司匹林肠溶片。

关键词：缺血性中风川红中风胶囊临床特征联合用药

基于用水特征分析的“城市水箱”错峰模拟研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于用水特征分析的“城市水箱”错峰模拟研究

作者：刘嘉祥长安大学

学位级别：硕士

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

山岭隧道施工班组安全管理标准化探讨

建筑经济 2023年第S2期44卷 97-100页

作者：范祥刘嘉祥长安大学公路学院陕西西安710064

通过探究山岭隧道班组安全标准化管理的管理理念、管理目标和管理原则,分析了山岭隧道班组安全标准化管理的主体,提出在山岭隧道施工作业时对施工班组进行安全标准化建设的管理措施和应急措施,建立基于安全标准化管理理论及管理措施的... 详细信息

通过探究山岭隧道班组安全标准化管理的管理理念、管理目标和管理原则,分析了山岭隧道班组安全标准化管理的主体,提出在山岭隧道施工作业时对施工班组进行安全标准化建设的管理措施和应急措施,建立基于安全标准化管理理论及管理措施的管理体系。

关键词：管理山岭隧道施工班组安全标准化

在线全文

学校读者我要写书评

暂无评论

一种约束验证神经网络的方法

计算机科学 2023年第S2期50卷 121-125页

作者：郜玉钊邢云汉刘嘉祥深圳大学计算机与软件学院广东深圳518060

神经网络的验证一直是人工智能领域的主要挑战之一。文中基于DeepZ方法,提出一种通过约束提升深度神经网络的局部鲁棒性验证精度的方法。在传播过程中加入约束来缩小抽象域,通过线性规划求解一个更小的神经网络输出范围,以此推断出神经... 详细信息

神经网络的验证一直是人工智能领域的主要挑战之一。文中基于DeepZ方法,提出一种通过约束提升深度神经网络的局部鲁棒性验证精度的方法。在传播过程中加入约束来缩小抽象域,通过线性规划求解一个更小的神经网络输出范围,以此推断出神经网络输出节点的新的边界。应用新的边界,可以得出更精确的验证结果。基于此方法,实现了DeepZero工具,并在MNIST数据集上进行了充分的实验。实验结果表明,所提方法能有效提升DeepZ方法的验证成功率。在实验中,验证成功率平均可提升49%,说明了所提方法的有效性。

关键词：神经网络软件验证人工智能机器学习软件安全

基于二维码技术的路桥过渡段施工质量控制措施探讨

在线全文

学校读者我要写书评

暂无评论

建筑经济 2023年第S2期44卷 153-157页

作者：王强袁霈龙张涛刘嘉祥李敖白雨藤中交二公局东萌工程有限公司陕西西安710065 长安大学公路学院陕西西安710064

本文结合路桥过渡段的施工工序,探讨如何使用二维码技术在路桥过渡段施工过程中进行技术安全交底及质量控制,并据此设计出一套基于二维码技术的管理系统架构,实现多方数据共享,充分发挥二维码在路桥过渡段施工管理中的作用,以提高路桥... 详细信息

本文结合路桥过渡段的施工工序,探讨如何使用二维码技术在路桥过渡段施工过程中进行技术安全交底及质量控制,并据此设计出一套基于二维码技术的管理系统架构,实现多方数据共享,充分发挥二维码在路桥过渡段施工管理中的作用,以提高路桥过渡段施工质量的信息化管理水平。

关键词：路桥过渡段二维码技术质量控制

在线全文

学校读者我要写书评

暂无评论

中西医治疗双心疾病研究进展

中文科技期刊数据库（全文版）医药卫生 2022年第3期 228-231页

作者：佘久华邓悦刘嘉祥长春中医药大学吉林长春130000 长春中医药大学附属医院心病科吉林长春130000

双心医学是在“生理—社会—心理”的新医学模式下出现的医学理论,指在通过研究精神与心血管系统之间存在的联系与作用机制,从而达到治疗与干预人体心血管类疾病,改善患者生活质量,与中医的理念相互呼应。近年来流行病学调查显示双心疾... 详细信息

双心医学是在“生理—社会—心理”的新医学模式下出现的医学理论,指在通过研究精神与心血管系统之间存在的联系与作用机制,从而达到治疗与干预人体心血管类疾病,改善患者生活质量,与中医的理念相互呼应。近年来流行病学调查显示双心疾病发病率呈上升趋势,但临床诊断率及治疗率仍处于较低水平。本文拟从中西医两种诊疗思路来探讨对双心疾病的研究认识与治疗方案,从而为临床诊治双心疾病提供新的思考角度与可能性。

关键词：双心医学双心疾病中西医

论纺织服装行业质量和环境管理体系的改进与提高(2)

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

丝绸 2000年第3期37卷 41-43页

作者：刘嘉祥嘉兴出入境检验检疫局浙江嘉兴314000

5 质量和环境管理体系的PDCA循环把质量体系与环境管理体系结合起来,可以构成组织的联合管理体系.其目的是既满足来自客户方面的质量要求,又满足来自法律、法规和其它方面的环境要求,实现质量和环境两方面的预防和不断改进.该体系中PDC... 详细信息

5 质量和环境管理体系的PDCA循环把质量体系与环境管理体系结合起来,可以构成组织的联合管理体系.其目的是既满足来自客户方面的质量要求,又满足来自法律、法规和其它方面的环境要求,实现质量和环境两方面的预防和不断改进.该体系中PDCA循环的4个阶段为:

关键词：纺织工业质量管理环境管理 PDCA循环