应急预案响应程序模块化研究 被引量：6

1

作者 邓婕 祁明亮 +1 位作者 池宏 石彪 《运筹与管理》 CSSCI CSCD 北大核心 2015年第5期132-143,共12页

应急响应程序是应急预案的重要组成部分,通过按照一定逻辑关系构成的行动网络图对响应过程进行可视化与数字化,应急响应程序模块化就是试图将行动间逻辑关系稳定且在多个程序中多次出现的"子网络"提取出来,作为响应程序模块,... 应急响应程序是应急预案的重要组成部分,通过按照一定逻辑关系构成的行动网络图对响应过程进行可视化与数字化,应急响应程序模块化就是试图将行动间逻辑关系稳定且在多个程序中多次出现的"子网络"提取出来,作为响应程序模块,在以后的应用中,根据实际需要直接调用模块,通过模块之间的重新组合,增加制定新应急响应程序的效率。为此,文章在定义了行动间紧密度和模块代表性的基础上,以模块内行动间紧密度之和与模块代表性之和最大化为目标,满足一个行动仅能存在与一个模块的约束下,建立数学规划模型,以蚁群算法为基础设计启发式算法,最后对航空公司多个应急响应程序进行模块化,说明该方法的有效性。 展开更多

关键词 应急管理 响应程序模块 0-1整数规划 模块化

在线阅读 下载PDF 职称材料

一种用于字节码程序模块化验证的逻辑系统 被引量：1

2

作者 董渊 王生原 +2 位作者 张丽伟 朱允敏 杨萍 《软件学报》 EI CSCD 北大核心 2010年第12期3056-3067,共12页

字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重要的实用价值和理论价值.虽然近年... 字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重要的实用价值和理论价值.虽然近年提出了一些用于字节码程序的逻辑系统,但由于字节码本身的特点,造成了抽象控制栈复杂、控制流结构信息不足,因而字节码程序的"模块化验证"依然是一个巨大的挑战,并没有得到有效解决.将FPCC(foundationalproof-carryingcode)方法引入中间表示字节码,借鉴汇编程序的验证方法.设计出一种逻辑系统,给出字节码程序运行环境BCM(ByteCodemachine)的逻辑系统CBP(certifyingbytecodeprogram)定义,完成系统的合理性证明和一组代表性实例程序的模块化证明,并实现机器自动检查.该工作为字节码验证提供一种良好的解决方案,同时也向着构造证明保持编译器环境迈出了坚实的一步,还可以为广泛使用的基于虚拟机复杂网络应用程序的深刻理解和深入分析提供理论帮助. 展开更多

关键词 程序模块化验证 字节码 类Hoare逻辑系统

在线阅读 下载PDF 职称材料

抽取程序模块功能的计算机辅助系统 被引量：1

3

作者 朱怡健 朱敏 《小型微型计算机系统》 CSCD 北大核心 1994年第9期13-18,共6页

本文介绍一个抽取程序模块功能的计算机辅助系统，它运用分解算法对Ｃ源程序进行结构划分，逐层识别出单入口单出口的模块，可为用户提供不同层次的控制流、数据流、函数调用关系信息，有助于软件维护和开发人员抽取程序功能。

关键词 程序模块 ABPM系统 软件维护

在线阅读 下载PDF 职称材料

利用EXEC功能加载并执行程序模块的实现方法

4

作者 李福成 谢亚利 佟淑娟 《天津纺织工学院学报》 北大核心 1997年第4期12-18,共7页

提出利用ＤＯＳ系统提供的ＥＸＥＣ功能，在一个应用程序中直接装入并执行若干个可执行程序模块的实现方法．用该方法可将大型软件系统中若干子模块集合起来，任意调用执行，使系统结构严谨、功能清晰、操作方便．文中给出了实用源程序．

关键词 程序模块 DOS系统 EXEC功能 计算机

在线阅读 下载PDF 职称材料

汇编子程序流程图绘制算法研究 被引量：6

5

作者 周博 蒋烈辉 费勤福 《计算机应用与软件》 CSCD 北大核心 2007年第1期160-161,171,共3页

由于汇编语言本身的多样性与灵活性,汇编语言程序的结构化程度以及易读程度均不理想。为了更好地辅助分析汇编语言程序的功能,根据汇编指令对程序静态流程的影响,对不同类型处理器的汇编指令进行了统一的分类,并在此基础上详细讨论了一... 由于汇编语言本身的多样性与灵活性,汇编语言程序的结构化程度以及易读程度均不理想。为了更好地辅助分析汇编语言程序的功能,根据汇编指令对程序静态流程的影响,对不同类型处理器的汇编指令进行了统一的分类,并在此基础上详细讨论了一种绘制汇编子程序流程图的算法。最后利用程序基本模块的概念,对该算法进行了改进。 展开更多

关键词 流程图 指令框 指令结点 程序模块

在线阅读 下载PDF 职称材料

数控落地铣镗床电气模块化设计 被引量：1

6

作者 孙志强 李攀科 纪晨伟 《机械设计》 CSCD 北大核心 2022年第S01期170-173,共4页

以TK69系列数控落地铣镗床模块化设计为例,介绍了数控机床电气模块化设计的基本思路,以及产品模块化的过程。重点阐述了PLC程序模块化设计方法。

关键词 模块化设计 数控机床 PLC程序模块化 西门子840Dsl

在线阅读 下载PDF 职称材料

弧齿准双曲面齿轮加工调整计算与程序设计

7

作者 唐大放 王合文 《制造技术与机床》 CSCD 北大核心 2009年第12期107-109,共3页

设计了弧齿准双曲面齿轮的切齿参数计算和加工调整参数计算程序模块。在现场实际使用后,取得了好的效果。其操作简便,计算速度快,准确度高,提高了生产效率。

关键词 弧齿准双曲面齿轮 加工调整 程序模块 工程机械

在线阅读 下载PDF 职称材料

饱和试验设计程序包 被引量：1

8

作者 戴诗勇 赵洁 +1 位作者 徐中儒 侯中田 《东北农学院学报》 CSCD 1993年第2期188-192,共5页

本文介绍了采用 C 语言以弹出式菜单的人机对话方式研制的最优或似最优饱和试验设计应用软件,阐明了此应用软件的功能和实现,以及实现的重点和解决方法,并给出一个计算实例。

关键词 数学模型 程序模块 饱和试验设计

在线阅读 下载PDF 职称材料

FoxBASE^+中调用汇编模块的问题及解决方法 被引量：1

9

作者 江毅 《小型微型计算机系统》 CSCD 北大核心 1989年第3期64-65,共2页

FoxBASE_+既与dBASEⅢ兼容 又比后者快许多倍,因而很受用户欢迎。但在调用汇编程序模块方法上,二音有不兼容的地方。这使得许多在dBASEⅢ_+中能正常工作的汇编模块不能直接在FoxBASE中使用。本文探讨了FoxBASE_+在调用汇编模块时传递入... FoxBASE_+既与dBASEⅢ兼容 又比后者快许多倍,因而很受用户欢迎。但在调用汇编程序模块方法上,二音有不兼容的地方。这使得许多在dBASEⅢ_+中能正常工作的汇编模块不能直接在FoxBASE中使用。本文探讨了FoxBASE_+在调用汇编模块时传递入口参数存在的问题,以及解决问题的方法。 展开更多

关键词 FoxBAS^+ 汇编 程序模块 数据库

在线阅读 下载PDF 职称材料

应用于软件模块测试的几种方法

10

作者 王占河 孟利欣 《无线电通信技术》 北大核心 1997年第4期32-34,共3页

从实际应用的角度出发,在总结传统测试方法的基础上,介绍一种可行的、利用白盒子法对程序模块实施测试的新方法,即最小组合覆盖法。以期探讨能应用于实际工程项目的行之有效的软件测试方法。

关键词 软件测试 程序模块 模块测试 软件工程

在线阅读 下载PDF 职称材料

结构有限元分析程序三维离心力问题的计算 被引量：1

11

作者 华伯浩 毛昭林 《计算机应用与软件》 CSCD 1993年第4期35-38,共4页

本文介绍了对离心力作用下结构有限元分析三维问题计算功能和相应程序模块的实现方法。

关键词 结构有限元 离心力 程序模块

在线阅读 下载PDF 职称材料

林场(所)山楞管理实用程序设计

12

作者 王云龙 王宪忠 《黑龙江生态工程职业学院学报》 2014年第1期13-14,22,共3页

山场楞的管理由传统的手工记账、计算材积、径阶、材长、材种及等级分类向计算机录入按编号登记电脑自动管理转变,实行山楞无纸化管理以提高山楞管理水平。

关键词 程序模块 材积 树种材种 山楞管理

在线阅读 下载PDF 职称材料

齿轮载荷修正系数计算方法的研究 被引量：2

13

作者 李杰 张磊 +2 位作者 于少春 赵强 秦春红 《机械设计与制造》 北大核心 2012年第2期9-11,共3页

为了提高齿轮强度设计中各项载荷修正系数计算的精度和效率,依据齿轮承载能力计算标准GB/T 3480-83,以易于理解、便于程序计算和工程应用的方式,对齿轮载荷修正系数计算方法进行了深入研究与总结,开发了实现齿轮载荷修正系数自动计算的... 为了提高齿轮强度设计中各项载荷修正系数计算的精度和效率,依据齿轮承载能力计算标准GB/T 3480-83,以易于理解、便于程序计算和工程应用的方式,对齿轮载荷修正系数计算方法进行了深入研究与总结,开发了实现齿轮载荷修正系数自动计算的程序模块,只要输入齿轮的基本数据,不需要查表便可以得到齿轮的载荷修正系数。以某减速器齿轮为实例,通过手工与程序模块的计算结果对比,验证了齿轮载荷修正系数计算程序模块的准确性和精确性,为齿轮接触和弯曲的整体设计奠定了基础。 展开更多

关键词 齿轮 计算方法 载荷修正系数 程序模块

在线阅读 下载PDF 职称材料

基于Internet Explorer的VR化学实验的实现 被引量：3

14

作者 马颖峰 周春雷 《中国电化教育》 CSSCI 北大核心 2001年第12期62-64,共3页

关键词 INTERNET EXPLORER VR 化学实验 化学教学 程序模块设计

在线阅读 下载PDF 职称材料

智能化工程计算中曲线图的数字化处理 被引量：5

15

作者 王建文 顾振国 陈静 《陕西科技大学学报（自然科学版）》 2003年第4期131-133,共3页

介绍了智能化工程计算中曲线图的数字化处理思路和关键技术,较为详细地讨论了实际开发中关键技术的解决方案,并实际设计完成了曲线图数字化处理的程序模块,该模块在实际工作中运行良好,达到了智能化工程计算的要求。

关键词 智能化 工程计算 曲线图 数字化处理 程序模块 工程设计

在线阅读 下载PDF 职称材料

提高CAPP系统整体开放性的方法研究 被引量：2

16

作者 王世杰 刘国忠 李五常 《机械设计与制造》 北大核心 1993年第5期34-36,共3页

从提高软件总体开放性这一目标出发,本文提出了一种以数据库为操作核心,全模块化开放式CAPP系统体系结构的设计方法。文中对该系统中程序模块与数据库的内容设置、模块间的层次安排与连挂关系、数流管理与控制、系统维护与移植的灵活性... 从提高软件总体开放性这一目标出发,本文提出了一种以数据库为操作核心,全模块化开放式CAPP系统体系结构的设计方法。文中对该系统中程序模块与数据库的内容设置、模块间的层次安排与连挂关系、数流管理与控制、系统维护与移植的灵活性等一系列问题做了详细论述。最后以SZCAPP系统为例说明了该方法的实施效果。 展开更多

关键词 CAPP 开放性 数据库 程序模块

在线阅读 下载PDF 职称材料

基于Web网络的环境信息通信系统设计 被引量：4

17

作者 黄熙岱 《现代电子技术》 北大核心 2018年第10期77-80,共4页

传统环境信息通信系统存在通信信息传输效率低下、信息丢包率高等缺点。为了有效解决此问题,设计基于Web网络的环境信息通信系统。通过硬件网络总体框架设计、硬件网络功能结构设计、程序模块设计,完成基于Web网络的硬件系统设计。通过... 传统环境信息通信系统存在通信信息传输效率低下、信息丢包率高等缺点。为了有效解决此问题,设计基于Web网络的环境信息通信系统。通过硬件网络总体框架设计、硬件网络功能结构设计、程序模块设计,完成基于Web网络的硬件系统设计。通过环境信息通信软件架构设计、协调节点程序设计、终端节点程序设计,完成环境通信软件系统设计。模拟新型系统的应用环境,设计对比实验结果表明,与传统系统相比,应用新型系统后,环境通信信息传输效率明显提升,信息丢包率也得到了有效控制。 展开更多

关键词 WEB网络 环境信息 通信系统 程序模块 协调节点程序 终端节点程序

在线阅读 下载PDF 职称材料

昆虫飞行模拟监控系统设计 被引量：1

18

作者 吴迅 徐宁 王志杰 《生物安全学报》 2010年第4期274-279,共6页

本文根据昆虫飞行的特点，模拟昆虫飞行的实验装置，由飞行磨、单片机及微型计算机组成，编辑设计飞行监控软件，该程序分为三个模块：系统监控程序模块；时钟程序模块和信号处理程序模块。利用微机适时采集飞行数据，记录和分析监测结... 本文根据昆虫飞行的特点，模拟昆虫飞行的实验装置，由飞行磨、单片机及微型计算机组成，编辑设计飞行监控软件，该程序分为三个模块：系统监控程序模块；时钟程序模块和信号处理程序模块。利用微机适时采集飞行数据，记录和分析监测结果，模拟昆虫的飞行速度和持续时间。 展开更多

关键词 昆虫飞行 单片机 微机处理系统 程序模块

在线阅读 下载PDF 职称材料

遥控卫星接收机整机自动测试技术

19

作者 周洪直 白晓东 +1 位作者 李强 李大刚 《电子测量技术》 1998年第4期5-9,共5页

文中介绍一种使用程控遥控、程控选通等技术,实现遥控卫星接收机技术参数自动测量的方法和应注意的问题。

关键词 自动测试 程序模块 遥控卫星接收机

在线阅读 下载PDF 职称材料

新形势下金融统计业务系统升级改造设想 被引量：1

20

作者 郭忠军 刘兵位 《济南金融》 2004年第9期51-52,共2页

关键词 中央银行 金融统计业务系统 中国 系统维护 程序模块 系统升级 金融信息化

在线阅读 下载PDF 职称材料