应用于智能变电站二次检修的一键式安措系统设计 被引量：6

1

作者 陈海滨 谭畅 +1 位作者 张宾宾 毛建忠 《电力系统保护与控制》 CSCD 北大核心 2021年第9期172-177,共6页

智能变电站的大规模建设,对变电站的二次检修提出了更高的要求。为提高智能变电站检修效率,结合智能变电站检修业务需求,提出了一键式安措系统整体架构,设计了智能变电站安措票自动生成的总体规则。在智能变电站一体化监控系统中部署了... 智能变电站的大规模建设,对变电站的二次检修提出了更高的要求。为提高智能变电站检修效率,结合智能变电站检修业务需求,提出了一键式安措系统整体架构,设计了智能变电站安措票自动生成的总体规则。在智能变电站一体化监控系统中部署了一键式安措应用模块,实现了二次回路检修安措票的自动生成、安措票自动顺控执行和校准、安措恢复等高级功能。该模块已在国网河北省电力公司试验站运行,结果表明该方案具有良好的可行性,有效提高了运维人员的检修效率。 展开更多

关键词 智能变电站 二次回路 安措票 自动生成 自动执行

下载PDF 职称材料

关于二进制程序循环安全问题的研究

2

作者 马金鑫 《信息安全研究》 CSCD 2023年第4期364-374,共11页

循环是软件程序中的常见结构,对循环使用不当是造成程序安全问题的重要因素之一,循环安全问题检测对提升软件安全性具有重要意义.在二进制程序中,路径状态爆炸、循环建模等问题使得针对循环安全性的静态分析面临诸多挑战,传统方法对这... 循环是软件程序中的常见结构,对循环使用不当是造成程序安全问题的重要因素之一,循环安全问题检测对提升软件安全性具有重要意义.在二进制程序中,路径状态爆炸、循环建模等问题使得针对循环安全性的静态分析面临诸多挑战,传统方法对这些问题的处理能力相对不足.提出并实现了一种基于二进制程序静态分析的循环安全问题检测方法,能够对循环内存读写越界与循环不终止问题进行检测.首先,对二进制程序中的循环结构进行分析,提出一种基于控制流图的循环要素识别与提取方法;接着,提出专用于循环分析的多种路径搜索策略,对循环从入口到出口的路径进行排序与探测;然后,提出一种基于静态具体执行的函数建模方法,可有效解决循环中归纳函数调用引发的约束扩张问题.最后,提出一种循环谓词差分归纳分析方法检测二进制程序中由循环引发的安全问题.将该检测方法应用到真实程序中并与Angr作对比实验,结果表明该方法在循环安全问题检测方面具备较强的检测能力,可检测的循环安全问题数比Angr更多. 展开更多

关键词 循环安全 静态分析 符号执行 路径搜索 归纳函数

下载PDF 职称材料

风电机组齿轮箱油温高原因分析及预防措施探究 被引量：1

3

作者 于云 石广栋 《风力发电》 2022年第1期46-51,共6页

润滑油作为风电机组齿轮箱齿轮和轴承的润滑介质,高速重载运行工况下温升越限报油温高故障,机组出现限负荷运行或者停机,因齿轮箱电气控制及冷却散热回路复杂、元器件组成较多,在维护过程中故障原因分析及故障处理难度非常大。本文依据... 润滑油作为风电机组齿轮箱齿轮和轴承的润滑介质,高速重载运行工况下温升越限报油温高故障,机组出现限负荷运行或者停机,因齿轮箱电气控制及冷却散热回路复杂、元器件组成较多,在维护过程中故障原因分析及故障处理难度非常大。本文依据某机型风电机组Scard原始数据,结合机组油温变化特性、电气控制回路过载和短路以及冷却散热回路失效等现象深度分析机组油温高故障的原因,总结故障处理一般方法,并提出可行性较高、实践检验效果良好的预防措施。 展开更多

关键词 油温高 监测回路 控制回路 执行回路 标准化

下载PDF 职称材料

基于Animate的循环嵌套演示动画设计与开发

4

作者 孙杰 杨洁 党元晓 《现代计算机》 2022年第20期112-116,共5页

循环嵌套结构是一种重要的程序设计方法,为形象展示其执行流程,使用ActionScript编写循环嵌套运行过程动画。制作时将循环体执行一次的过程形象化为MovieClip元件沿固定路径运动一周的动画,内循环则抽象为嵌入外循环路径动画中的动画。... 循环嵌套结构是一种重要的程序设计方法,为形象展示其执行流程,使用ActionScript编写循环嵌套运行过程动画。制作时将循环体执行一次的过程形象化为MovieClip元件沿固定路径运动一周的动画,内循环则抽象为嵌入外循环路径动画中的动画。同时,使用输入文本控制内外层循环次数,实现不同的循环嵌套结构。在C语言和Java程序设计课程教学实践中运用该演示动画后,对学生进行课堂测试和章节测试,结果表明学生循环嵌套结构程序设计的能力显著提升。 展开更多

关键词 循环嵌套 执行过程 元件 路径动画 循环次数

下载PDF 职称材料

程序设计中的嵌套循环 被引量：1

5

作者 刘海燕 《电子测试》 2016年第10期108-108,103,共2页

对于编程人员,最难的是循环嵌套的掌握,总感觉那些变量不在掌控之中,笔者就这个问题以一个简单的嵌套程序的执行完整版来观察不同变量在执行过程中的变化情况,以此来更好的掌握循环嵌套。

关键词 循环 循环嵌套 流程图 执行图

下载PDF 职称材料

符号执行中非线性归纳变量循环优化分析方法 被引量：1

6

作者 秦书锴 王震宇 +1 位作者 汪永红 徐凯杰 《信息工程大学学报》 2017年第5期630-634,共5页

提出了一种新型的循环优化分析方法,用于在符号执行中优化归纳变量为非线性的循环。首先详细分析了非线性归纳变量在符号执行中产生的问题,通过将循环内部变量转换为递推链CR基本式,推导得出的归纳变量与循环次数的依赖式,进而采用二次... 提出了一种新型的循环优化分析方法,用于在符号执行中优化归纳变量为非线性的循环。首先详细分析了非线性归纳变量在符号执行中产生的问题,通过将循环内部变量转换为递推链CR基本式,推导得出的归纳变量与循环次数的依赖式,进而采用二次曲面拟合的方法对其进行化简,从而达到了循环优化的方法,实验证明文章提出的方法在一定程度上缓解了非线性归纳变量给符号执行带来的状态空间爆炸、死循环等问题。 展开更多

关键词 递推链代数 循环优化 符号执行

下载PDF 职称材料

面向DSP的零开销循环编译优化

7

作者 项利萍 王向前 《电脑知识与技术》 2015年第4X期100-102,共3页

魂芯DSP是一款具有分簇结构的、支持SIMD的VLIW高性能通用处理器。为了提高循环执行的效率,魂芯DSP设计了硬件支持的零开销循环机制。提出了一个通用的从编译层面支持的零开销循环的识别转换算法。以典型的DSP测试用例进行实验评测,零... 魂芯DSP是一款具有分簇结构的、支持SIMD的VLIW高性能通用处理器。为了提高循环执行的效率,魂芯DSP设计了硬件支持的零开销循环机制。提出了一个通用的从编译层面支持的零开销循环的识别转换算法。以典型的DSP测试用例进行实验评测,零开销循环的识别可以带来6%~37%的性能提升。 展开更多

关键词 循环执行 零开销循环 识别转换算法

下载PDF 职称材料

并行ETL流程的回环检测和执行控制

8

作者 连仁包 《福建金融管理干部学院学报》 2008年第2期46-49,共4页

ETL工具必须能够并行执行ETL流程才能提高服务器的性能,据此,提出了用有向图解决数据集成中并行ETL流程的运行顺序问题,并根据ETL流程的特点提出用邻接表来存储一个有向图的信息。在流程的执行顺序上,采用基于有向图邻接表的深度优先遍... ETL工具必须能够并行执行ETL流程才能提高服务器的性能,据此,提出了用有向图解决数据集成中并行ETL流程的运行顺序问题,并根据ETL流程的特点提出用邻接表来存储一个有向图的信息。在流程的执行顺序上,采用基于有向图邻接表的深度优先遍历,并给出了具体算法流程;提出用有向图的回路检测解决流程的回环检测问题,并根据ETL工作中流程数少的特点改进了检测算法,降低了算法的实现复杂性,并给出了算法流程。 展开更多

关键词 ETL流程 回环检测 执行顺序

下载PDF 职称材料

基于执行序列的程序时间复杂度分析

9

作者 高春风 赵建军 《计算机工程与设计》 CSCD 北大核心 2011年第8期2716-2720,共5页

为了达到更准确、更高效的程序时间复杂度,解决复杂度分析中的循环下的复杂情况,如多个跳出点、嵌套循环和非数值域循环等,提出了基于执行序列计算复杂度的方法。提取出程序方法的各条可能的执行序列及其各条执行序列的相关约束条件和... 为了达到更准确、更高效的程序时间复杂度,解决复杂度分析中的循环下的复杂情况,如多个跳出点、嵌套循环和非数值域循环等,提出了基于执行序列计算复杂度的方法。提取出程序方法的各条可能的执行序列及其各条执行序列的相关约束条件和执行效应,在此基础上分析出序列间的关系从而计算出最终的时间复杂度。基于这种方法开发出的工具,通过几个大型的实际程序,发现这种方法可以有效地计算出其中大于90%的方法的运行复杂度。 展开更多

关键词 程序分析 静态分析 复杂度分析 循环复杂度 执行序列

下载PDF 职称材料

闭环式医嘱执行流程在临床护理工作中的运用 被引量：10

10

作者 何莉 代静 +2 位作者 杨丽萍 王瑜 洪明玉 《中国数字医学》 2014年第6期10-12,共3页

目的:通过医嘱执行流程的闭环管理,使医嘱管理的各个环节形成紧密衔接,提高了医嘱信息的完整性和执行的准确性。方法:通过医院信息系统对医嘱的整个流程从医嘱下达、校对,一直到PDA执行、执行结果进行实时监控及反馈。结果:使医嘱执行... 目的:通过医嘱执行流程的闭环管理,使医嘱管理的各个环节形成紧密衔接,提高了医嘱信息的完整性和执行的准确性。方法:通过医院信息系统对医嘱的整个流程从医嘱下达、校对,一直到PDA执行、执行结果进行实时监控及反馈。结果:使医嘱执行过程形成一个闭环链路,形成闭环式医嘱执行流程。结论:通过这个流程对医嘱执行的全过程实现可追溯管理,对提高护理质量有重要意义。 展开更多

关键词 医院信息化 闭环医嘱 执行流程 临床护理

下载PDF 职称材料

基于作战环的体系对抗仿真方法研究

11

作者 钟山 朱叶盛 周梦璐 《系统仿真学报》 CAS CSCD 北大核心 2024年第9期2219-2230,共12页

在作战体系能力的建模与分析领域,传统的结构化能力评估模型缺乏对对抗双方以及体系中不同角色的部队之间相互作用的分析,而基于作战环理论的体系模型虽然可以结合传感、决策、影响、目标类节点间的关系进行体系能力计算,但通常只适用... 在作战体系能力的建模与分析领域,传统的结构化能力评估模型缺乏对对抗双方以及体系中不同角色的部队之间相互作用的分析,而基于作战环理论的体系模型虽然可以结合传感、决策、影响、目标类节点间的关系进行体系能力计算,但通常只适用于静态分析,不能用于体系对抗的动态仿真。提出一种基于作战环的体系对抗仿真方法,将双方作战体系抽象为体系对抗网络模型,通过设定作战策略,抽取每个策略步骤将要实施的作战环。经过作战边的分解与调度算法生成作战边执行序列,再引入自信息量的概念逐个执行作战边,计算作战环的打击效能与毁伤效果,推动双方作战体系的演化。结合根据战略战役目的选取的收益函数求解收益,总结双方的胜负和作战损失。仿真结果表明:该方法能够依托策略和作战体系模拟对抗的过程并推导出对抗结果,具备用于体系对抗仿真的有效与可行性。 展开更多

关键词 体系对抗 作战环 作战边执行序列 作战策略 自信息量

下载PDF 职称材料

医院信息化检验医嘱闭环执行系统的实践和应用效果 被引量：5

12

作者 鲁海蜃 李琳 喻怡彬 《护士进修杂志》 2015年第12期1087-1088,共2页

目的探讨通过医院信息化检验医嘱闭环执行系统的应用和实践,减少差错发生、提高工作效率的效果。方法将执行检验医嘱的全过程所有数据自动录入医院信息系统,从医嘱开立、标本采集、送检、检测、报告单交接五个环节,进行全程跟踪,对每一... 目的探讨通过医院信息化检验医嘱闭环执行系统的应用和实践,减少差错发生、提高工作效率的效果。方法将执行检验医嘱的全过程所有数据自动录入医院信息系统,从医嘱开立、标本采集、送检、检测、报告单交接五个环节,进行全程跟踪,对每一步实时检查和确认,实行医嘱执行的闭环管理。比较应用该系统前(2011年)及应用后(2012年)骨科-病区的标本检测前错误发生率、报告单的发送准确率、患者平均住院天数、医生满意度等。结果标本检测前错误发生率由0.88%下降到0.2%,检验报告单的发送准确率由99.6%提高到99.96%,患者平均住院天数缩短0.5d,临床医生满意度由86%提高到95%。结论检验医嘱闭环执行系统的应用可预防和减少人为差错,明显提高护士对检验医嘱执行的准确性,规范了各部门的交接流程,提高了医疗护理质量。 展开更多

关键词 医院信息系统 医嘱 流程管理 闭环执行系统

下载PDF 职称材料

大型集团化医院预算精细化管理的研究与实践 被引量：4

13

作者 尚浩 熊志刚 《现代医院》 2022年第4期614-616,共3页

随着医院集团化发展,运营支出、资本支出逐渐加大,造成成本收入占比越来越高,资金使用效率低。在“财务一体化”全面预算管理的基础上,引入多维度预算管控、项目预算闭环管理、预算执行路径管理等精细化管理模式,提高了资金使用效率,促... 随着医院集团化发展,运营支出、资本支出逐渐加大,造成成本收入占比越来越高,资金使用效率低。在“财务一体化”全面预算管理的基础上,引入多维度预算管控、项目预算闭环管理、预算执行路径管理等精细化管理模式,提高了资金使用效率,促进了医疗资源的有效配置和医疗成本的合理控制。预算精细化管理有助于提高医院的核心竞争力、管理水平以及经济效益,促进医院健康、稳步发展。 展开更多

关键词 多维度预算管控 项目预算闭环管理 预算执行路径管理 精细化管理

下载PDF 职称材料

闭环管理对提高医院决策执行力的应用研究

14

作者 钟良琴 赵颖 《华西医学》 CAS 2023年第12期1824-1828,共5页

目的探索在医院院长办公会决策执行过程中引入闭环管理对医院决策执行力和管理能力的提高作用。方法选择2021年—2022年广安市人民医院院长办公会的议定议题。根据是否引入闭环管理,将2021年作为干预前组,2022年作为干预后组。观察干预... 目的探索在医院院长办公会决策执行过程中引入闭环管理对医院决策执行力和管理能力的提高作用。方法选择2021年—2022年广安市人民医院院长办公会的议定议题。根据是否引入闭环管理,将2021年作为干预前组,2022年作为干预后组。观察干预前后的议定议题完成率、缓议议题再上会率,及闭环管理对医院各序列部门的影响。结果共纳入议定议题946个。其中,干预前组499个,完成305个,缓议38个,再上会16个;干预后组447个,完成404个,缓议33个,再上会24个。干预前后的平均议定议题完成率[(60.90±6.30)%vs.(89.62±7.94)%]、平均缓议议题再上会率[(40.83±18.78)%vs.(65.70±25.62)%]比较,差异均有统计学意义(P<0.05)。行政、后勤、业务序列的平均议定议题完成率分别由(60.13±7.95)%、(67.90±22.13)%和(63.34±18.54)%提升到(92.41±8.25)%、(88.80±18.78)%和(84.79±18.71)%。结论在医院院长办公会决策执行过程中引入闭环管理,可以提高决策办结效率和决策执行力。 展开更多

关键词 闭环管理 医院管理 决策执行力

原文传递

引流管闭环执行系统的设计和应用 被引量：4

15

作者 蒋燕 潘红英 黄晨 《中国实用护理杂志》 2018年第16期1201-1206,共6页

目的通过设计并应用引流管闭环执行系统，将其全过程数据从临床护理信息系统中提取，进行全流程节点的数据跟踪及质量管理。方法2015年10月至2017年2月临床应用期间，引流管闭环数据总数117625条，从引流管的置入到拔管可以进行全程追... 目的通过设计并应用引流管闭环执行系统，将其全过程数据从临床护理信息系统中提取，进行全流程节点的数据跟踪及质量管理。方法2015年10月至2017年2月临床应用期间，引流管闭环数据总数117625条，从引流管的置入到拔管可以进行全程追踪，统一了引流管的名称，引流管置管天数的统计由人工改为信息化，节约护理人员的时间，提高了管道统计的准确性；采用李克特5级量表，设计微信问卷，调查护士对引流管闭环执行系统的满意度。结果引流管闭环执行系统应用后，原来护士人工统计人均每日花10min降至现在电脑自动抓取；实施后护士认为引流管评估单更省时总体满意度为（4．32±0．99）分；非计划拔管患者申报流程更便捷总体满意度为（4．22±0．80）分；该系统应用更简易、管理更实效总体满意度分别为（4．35±0．73）、（4．35±0．74）分；实施前交接时间为（7．85±5．10）min，实施后为（4．53±3．98）min，实施前后比较差异有统计学意义（t=5．68，P〈0．05）；引流管颜色条数为（309.3±204．8）条，性状条数为（3020±1097）条。结论引流管闭环执行系统的建立和发展为临床医疗的决策诊断提供可靠的事实依据，提高了员工的满意度和患者的安全；同时将临床中的术语进行归类，引流管的颜色和性状描述已趋向集中、统一；基于流程管理的质量管理体系总体有效。 展开更多

关键词 临床护理信息系统 引流管闭环执行系统 安全管理

原文传递

一种符号执行制导的循环内界分析方法 被引量：2

16

作者 赵祖威 冯世宁 +4 位作者 汤恩义 陈鑫 李宣东 潘敏学 赵晨 《电子学报》 EI CAS CSCD 北大核心 2017年第11期2582-2592,共11页

循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行外界分析,即产生略... 循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行外界分析,即产生略高于循环边界的近似值.基于这一现状,本文提出了一种自动地循环内界分析方法,产生略低于循环边界的近似值.当用户综合利用外界与内界分析,能将循环边界值约束到一个统计区间,从而能对分析结果获得更为完整的认识.本文基于循环条件制导的符号执行(Symbolic Execution)技术实现了循环内界分析,该技术的本质在于它能够利用符号执行符号化推导程序执行约束的特点,准确求解循环在程序所有合法输入条件下的边界值,并由生成的测试用例来保证该边界值一定可达(即保证是循环内界).本文对符号执行制导技术进行了优化,并在多组已有研究采用的基准用例集上进行了实例评估,实验结果表明,本文的循环内界分析方法具备准确性和高效性,可以满足应用需求. 展开更多

关键词 循环边界分析 符号执行 软件测试

下载PDF 职称材料

并发程序内部表示及静态切片算法的改进

17

作者 肖健宇 张德运 郑卫斌 《西安交通大学学报》 EI CAS CSCD 北大核心 2005年第12期1295-1298,1400,共5页

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发... 通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性. 展开更多

关键词 并发程序 程序依赖图 循环-承载数据依赖 区域化执行证据

下载PDF 职称材料

基于连续语义的业务流程模型的转换 被引量：1

18

作者 马健 徐涛 张育平 《计算机应用》 CSCD 北大核心 2013年第A01期243-246,共4页

针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结... 针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结构循环的工作流代码。最后通过具体案例验证方法的有效性。 展开更多

关键词 业务流程图 连续语义 结构循环 业务流程建模符号 业务处理执行语言

下载PDF 职称材料

xPC实时半物理仿真平台中并行执行模型的设计

19

作者 张云山 《电子设计工程》 2012年第18期63-66,共4页

随着信息技术的不断发展,在xPC实时半物理仿真平台中单核处理器的运算速度与性能已经不能满足实验需求。在单核目标机上以串行的方法执行模型出现越来越多的瓶颈,模型越来越复杂,计算量越来越大,单核已经不能满足其要求。采用多核是一... 随着信息技术的不断发展,在xPC实时半物理仿真平台中单核处理器的运算速度与性能已经不能满足实验需求。在单核目标机上以串行的方法执行模型出现越来越多的瓶颈,模型越来越复杂,计算量越来越大,单核已经不能满足其要求。采用多核是一种比较方便、快捷的解决方式。本文提出了在多核目标机上建立并行执行模型的方法,并使用分析工具分析任务如何在多核上分配的。并采用同一模型分别在任务分配前和任务分配后运行的对比实验验证了建立并行执行模型的优越性。这种并行执行模型的方法已成功应用于某型号无人机的半实物仿真试验。 展开更多

关键词 XPC 半物理仿真 多核处理器 并行执行模型

下载PDF 职称材料

基于条码的空调制造企业物流管理优化

20

作者 唐会天 王彦桂 +1 位作者 段鑫 唐去克 《自动化与信息工程》 2017年第3期27-31,41,共6页

针对空调制造企业物料进入备料区域前不方便验证;难以快速追踪到具体作业及物料进货批次;不能进行有效物料防错;作业状态不能及时反馈;无法获知单个产品的生产物料信息;物料和产品质量原因不易追溯等问题。利用条码技术,对物料批次、原... 针对空调制造企业物料进入备料区域前不方便验证;难以快速追踪到具体作业及物料进货批次;不能进行有效物料防错;作业状态不能及时反馈;无法获知单个产品的生产物料信息;物料和产品质量原因不易追溯等问题。利用条码技术,对物料批次、原材料仓及工位库存、物料盛放器具、备料工单看板和成品入库发货等方面进行管理优化,最终协助企业建立一体化和实时化的闭环条码物流管控信息化体系。 展开更多

关键词 空调制造 闭环管理 条码系统 物流管理 制造执行系统

下载PDF 职称材料