检索结果-南通市图书馆

中国设备工程 2024年第4期 104-106页

作者：陈志飞中国水利水电第一工程局有限公司吉林长春116041

本文通过简析水利水电工程机电设备运行异常的危害,对异常处理的方法进行了详细探讨,旨在提醒相关人员加强异常处理,确保工程运行的安全性和稳定性,进一步促进水利水电事业的平稳发展。

关键词：水利水电工程机电设备运行异常处理

基于KeystoneⅡ构架的Cortex A15内核系统设计与异常处理策略

在线全文

学校读者我要写书评

暂无评论

集成电路应用 2024年第3期41卷 1-3页

作者：屈佳龙李川洪泽中国电子科技集团公司第五十八研究所江苏214072

阐述以高性能SOC TMS320C66AK2H的Cortex A15内核为例,利用Cortex A15内核中断控制器(GIC 400)和SOC中断处理控制器(CIC2)实现一个系统异常处理机制,能够准确快速的定位系统运行出错的地方。以Cortex A15内核使用EDMA3模块非法访问共享... 详细信息

阐述以高性能SOC TMS320C66AK2H的Cortex A15内核为例,利用Cortex A15内核中断控制器(GIC 400)和SOC中断处理控制器(CIC2)实现一个系统异常处理机制,能够准确快速的定位系统运行出错的地方。以Cortex A15内核使用EDMA3模块非法访问共享内存MSMC为例,验证系统异常处理机制的可行性,经测试该方法准确有效。

关键词：集成电路 KeystoneⅡ TMS320C66AK2H Cortex A15 异常处理

在线全文

学校读者我要写书评

暂无评论

整流系统维护与异常处理

氯碱工业 2024年第3期60卷 1-4页

作者：祁勋德闫昌新张东明张金钰潘存鹏李炳乾韩磊金川集团化工新材料有限责任公司甘肃金昌737100

介绍了金川集团化工新材料有限责任公司离子膜法烧碱项目中整流系统维护与异常处理的经验。

关键词：离子膜电解整流系统维护异常处理

在线全文

学校读者我要写书评

暂无评论

面向异常处理的代码智能化推荐

计算机科学与探索 2023年第3期17卷 667-677页

作者：林锴陶传奇黄志球南京航空航天大学计算机科学与技术学院南京211106 南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室南京211106 南京大学计算机软件新技术国家重点实验室南京210023 软件新技术与产业化协同创新中心南京210093

为了保证软件的健壮性以及系统的可靠性,异常处理被广泛应用于软件开发过程中。开发者们希望选择合适的异常处理代码以防止出现程序崩溃或者内存泄漏等问题。然而开发者,尤其是新手,由于缺乏经验很难编写出正确或规范的异常处理代码。... 详细信息

为了保证软件的健壮性以及系统的可靠性,异常处理被广泛应用于软件开发过程中。开发者们希望选择合适的异常处理代码以防止出现程序崩溃或者内存泄漏等问题。然而开发者,尤其是新手,由于缺乏经验很难编写出正确或规范的异常处理代码。为了协助开发者编写正确的异常处理代码,提出了面向异常处理的代码智能化推荐方法,即DeepEHCR。该方法通过构建API调用树来表示异常发生位置的上下文信息,然后根据上下文信息,利用自注意力网络推荐相应的异常处理策略。针对处理异常这一具体策略,利用Transformer模型进一步推荐处理异常相关的API序列。实验表明DeepEHCR在异常处理策略推荐和API序列推荐上都有较高的性能。在异常处理策略推荐方面,Accuracy、Precision、Recall以及F1-score的值分别达到了89.78%、89.98%、89.34%以及89.59%。在API序列推荐方面,Hit@1/3/5的值分别达到了57.83%、69.73%、74.79%。除此之外,DeepEHCR在修复真实的异常漏洞方面也优于现有研究工作。

关键词：异常处理代码推荐自注意力网络上下文代码

时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理

在线全文

学校读者我要写书评

暂无评论

系统工程理论与实践 2016年第8期36卷 2108-2126页

作者：杜彦华于泽北京科技大学机械工程学院北京100083

Guard-Stage-Milestone(GSM)作为一种以Artifact为中心的企业业务建模方法,获得了国内外学术界和工业界的广泛认可,已成为当前研究的热点.然而,目前GSM方法普遍局限在数据和流程结构层面,没有考虑外在的企业各种业务或规章制度中的时序... 详细信息

Guard-Stage-Milestone(GSM)作为一种以Artifact为中心的企业业务建模方法,获得了国内外学术界和工业界的广泛认可,已成为当前研究的热点.然而,目前GSM方法普遍局限在数据和流程结构层面,没有考虑外在的企业各种业务或规章制度中的时序约束需求.针对这一迫切需求,提出了一种时序约束下GSM业务模型的一致性验证与异常处理方法.分为两个阶段:1)将GSM业务模型转化为Petri网模型,再把外部的时序约束映射到Petri网模型中.2)提取Petri网模型中的路径并进行时序一致性验证;如果出现异常,将问题转化为线性规划模型并进行自动求解.不但能够解决GSM业务模型的时序约束验证问题,而且能指导用户进行模型持续优化和改进.最后,通过一个企业的实例验证了其有效性.

关键词： Guard—Stage—Milestone(GSM)时序约束 Petri网时序一致性异常处理

在线全文

学校读者我要写书评

暂无评论

面向服务软件中异常处理的形式化建模方法

西安交通大学学报 2013年第4期47卷 118-124页

作者：蒋曹清应时文静贾向阳王一兵武汉大学软件工程国家重点实验室武汉430072 广西财经学院信息与统计学院南宁530003 第二炮兵指挥学院三系武汉430012

针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模... 详细信息

针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。

关键词：面向服务软件异常处理形式化建模建模方法

在线全文

学校读者我要写书评

暂无评论

浮点数学函数异常处理方法

软件学报 2015年第12期26卷 3088-3103页

作者：许瑾晨郭绍忠黄永忠王磊周蓓解放军信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室江苏无锡214125

异常会造成程序错误,实现完全没有异常的浮点计算软件也很艰难,因此,实现有效的异常处理方法很重要.但现有的异常处理并不针对浮点运算,并且研究重点都集中在整数溢出错误上,而浮点类型运算降低了整数溢出存在的可能.针对上述现象,面向... 详细信息

异常会造成程序错误,实现完全没有异常的浮点计算软件也很艰难,因此,实现有效的异常处理方法很重要.但现有的异常处理并不针对浮点运算,并且研究重点都集中在整数溢出错误上,而浮点类型运算降低了整数溢出存在的可能.针对上述现象,面向基于汇编实现的数学函数,提出了一种针对浮点运算的分段式异常处理方法.通过将异常类型映射为64位浮点数,以核心运算为中心,将异常处理过程分为3个阶段:输入参数检测(处理INV异常)、特定代码检测(处理DZE异常和INF异常)以及输出结果检测(处理FPF异常和DNO异常),并从数学运算的角度对该方法采用分段式处理的原因进行了证明.实验将该方法应用于Mlib浮点函数库,对库中600多个面向不同平台的浮点函数进行了测试.测试结果表明:该方法能够将出现浮点异常即中断的函数个数从90%降到0%.同时,实验结果验证了该方法的高效性.

关键词：浮点数数学函数异常处理

面向服务应用中服务可用性及其引发的异常处理研究

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2004年第12期41卷 2101-2107页

作者：李东来韩燕波王建武喻坚中国科学院计算技术研究所软件研究室

面向服务应用倡导以松耦合的方式构建开放、动态的网络应用 ,系统对异常的检测和处理也由此面临许多新的挑战分析了构建和运行面向服务应用的主要阶段中要面对的异常问题 ,重点探讨了在应用执行过程中由于服务的可用性问题引发的异常 ... 详细信息

面向服务应用倡导以松耦合的方式构建开放、动态的网络应用 ,系统对异常的检测和处理也由此面临许多新的挑战分析了构建和运行面向服务应用的主要阶段中要面对的异常问题 ,重点探讨了在应用执行过程中由于服务的可用性问题引发的异常 ,并提出了一种基于案例匹配的异常处理方法该方法应用到了奥运公众信息服务平台原型系统FLAME2 0 0 8中。

关键词：异常处理面向服务应用服务可用性

基于补偿业务生成图的组合服务异常处理方法研究

在线全文

学校读者我要写书评

暂无评论

计算机学报 2008年第8期31卷 1478-1490页

作者：尚宗敏崔立真王海洋史玉良山东大学计算机科学与技术学院济南250101

为提高组合Web服务执行的一致性、可靠性,提出一种基于补偿业务生成图的组合服务异常处理方法.基于业务流程中任务间补偿依赖关系,讨论了补偿业务生成图的自动生成问题.重点讨论了补偿任务、补偿目标和服务转让应用模式,并相应地介绍了... 详细信息

为提高组合Web服务执行的一致性、可靠性,提出一种基于补偿业务生成图的组合服务异常处理方法.基于业务流程中任务间补偿依赖关系,讨论了补偿业务生成图的自动生成问题.重点讨论了补偿任务、补偿目标和服务转让应用模式,并相应地介绍了支持框架和相关技术.在此基础上设计了补偿依赖关系、补偿业务生成图的自动生成及组合服务执行过程中异常处理算法.当业务流程出现异常采取向前或向后恢复处理时,该方法在保证补偿实现的同时,兼顾补偿服务不存在或补偿服务代价过高的问题,提高了业务流程执行过程中的自动化水平和自适应能力.仿真结果证实,该方法保证了异常发生时组合服务执行的可靠性和一致性.

关键词： Web服务业务流程异常处理补偿业务生成图

在线全文

学校读者我要写书评

暂无评论

过程支持系统中异常处理问题的研究

计算机集成制造系统 2006年第9期12卷 1495-1500页

作者：姚咏范文慧熊光楞清华大学国家CIMS工程技术研究中心北京100084

定义了过程支持系统中的异常和异常处理,研究了过程异常分类和过程异常处理策略。根据过程支持系统的特点,设计了异常和异常处理器。提出了一种基于活动图和接口开发的方法,来检测和处理各种可预测异常,异常的检测采用主动检测和被动检... 详细信息

定义了过程支持系统中的异常和异常处理,研究了过程异常分类和过程异常处理策略。根据过程支持系统的特点,设计了异常和异常处理器。提出了一种基于活动图和接口开发的方法,来检测和处理各种可预测异常,异常的检测采用主动检测和被动检测结合的方式,保证异常的捕获。对于不可预测异常,提出了一种基于实例的方法来进行处理,增强了系统的异常处理能力。

关键词：过程支持系统过程异常异常处理