采用模块化程序对超临界压力锅炉进行动态分析 被引量：1

1

作者 伏见富和 乐海南 《锅炉技术》 北大核心 1989年第11期21-28,共8页

前言近年来,由于核电站对火电站比例的增加,火电站中以前用于基本负荷的火电机组也实行了每日启停、增加负荷变化率及降负荷至最低限度等严竣的运行方式。在现有的火电机组采用这些运行方式时,对于机组的运行情况进行动态分析已显得日... 前言近年来,由于核电站对火电站比例的增加,火电站中以前用于基本负荷的火电机组也实行了每日启停、增加负荷变化率及降负荷至最低限度等严竣的运行方式。在现有的火电机组采用这些运行方式时,对于机组的运行情况进行动态分析已显得日益重要。 展开更多

关键词 模块化程序 压力锅炉 动态分析

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

波纹管膨胀节设计软件的模块化设计 被引量：2

3

作者 李敏 刘和平 《洛阳工学院学报》 1997年第3期66-70,共5页

本文利用软件模块化结构设计的优点，对波纹管元件强度和性能计算、各类型膨胀节的结构设计，典型管线的膨胀节补偿设计等提出了计算机设计软件的模块化设计方法，并对软件系统的结构、组成和功能进行了论述。

关键词 波纹管 膨胀节 设计 模块化程序

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

几种程序设计方法在SSMFDM中的应用

5

作者 庞国仲 孙丽华 张玉柱 《系统仿真学报》 CAS CSCD 1992年第A00期69-71,30,共4页

本文介绍了几种实用的程序设计方法,概述了其在工程化软件SSMFDM中的具体应用,并讨论了SSMFDM的程序设计风格。

关键词 结构化 程序设计 模块化程序

在线阅读 下载PDF 职称材料

采用Delphi5开发单机版数据库应用程序

6

作者 杨恒新 鲁翠侠 郑宏军 《南京邮电学院学报（自然科学版）》 2002年第1期91-94,共4页

利用Delphi 5设计一个单机版的数据库应用程序 ,配合Paradox数据库使用 ,可以方便地输入信息、进行打印和统计。介绍了设计的过程 ,并论述了如何加强应用程序的安全性和兼容性。

关键词 关系数据库 模块化程序设计 应用程序

在线阅读 下载PDF 职称材料

通用型比例阀数字放大器研究 被引量：3

7

作者 张元良 张旭 《仪表技术与传感器》 CSCD 北大核心 2007年第2期36-38,共3页

研究开发了MC9S12DP256在数字比例阀控制系统中的应用,设计出一套通用型比例数字放大控制器,通过采用多路模拟开关技术,使该系统具备电流电压可切换多范围输入输出,采用模块式程序控制工作状态,可以针对不同工况配置模块系统参数,根据... 研究开发了MC9S12DP256在数字比例阀控制系统中的应用,设计出一套通用型比例数字放大控制器,通过采用多路模拟开关技术,使该系统具备电流电压可切换多范围输入输出,采用模块式程序控制工作状态,可以针对不同工况配置模块系统参数,根据模块选择控制不同工况,用增量方式对液压阀的压力流量进行控制,使之具有灵活性、可靠性、价格低廉、通用性强等优点,通过总线接口可以实现对应控制液压阀工业总线控制,该控制器具有很好的推广价值。 展开更多

关键词 通用型 多路模拟开关 模块化程序 数字比例阀 控制系统

在线阅读 下载PDF 职称材料

仿真售票管理网络系统的设计与实现 被引量：1

8

作者 孙朝云 顾樱华 《计算机工程》 CAS CSCD 北大核心 2003年第1期201-203,共3页

给出了仿真售票管理网络化系统设计的总体结构与实现方法，详细阐述了利用MS SQL Server与Windows NT的完全集成实现对多用户共享数据的安全性管理，分析了网络应用系统开发平台的选择与建立方法，为真正实现与现代设施相适应的售票系... 给出了仿真售票管理网络化系统设计的总体结构与实现方法，详细阐述了利用MS SQL Server与Windows NT的完全集成实现对多用户共享数据的安全性管理，分析了网络应用系统开发平台的选择与建立方法，为真正实现与现代设施相适应的售票系统网络化、科学化、规范化管理打下了良好基础，具有重要的现实意义。 展开更多

关键词 仿真售票管理网络系统 模块化程序设计 Power-Builder7.0 计算机网络 网络管理 应用程序

在线阅读 下载PDF 职称材料

基于工业设计的三维计算机辅助设计系统 被引量：1

9

作者 左洪亮 《兵工自动化》 2005年第3期112-112,共1页

基于工业设计的三维计算机辅助设计系统采用3D-CAD技术进行零部件或产品目标建模。建模技术包括网格建模、样条建模、面片建模、实体建模、变形球建模等。根据设计产品的基本结构、尺寸和材料种类等,进行计算机三维模型系统的模块化程... 基于工业设计的三维计算机辅助设计系统采用3D-CAD技术进行零部件或产品目标建模。建模技术包括网格建模、样条建模、面片建模、实体建模、变形球建模等。根据设计产品的基本结构、尺寸和材料种类等,进行计算机三维模型系统的模块化程序设计。 展开更多

关键词 三维计算机辅助设计系统 工业设计 3D-CAD技术 建模技术 模块化程序设计

在线阅读 下载PDF 职称材料

有限元数值仿真的高性能计算系统的开发

10

作者 苗新强 金先龙 丁峻宏 《高技术通讯》 CAS CSCD 北大核心 2014年第11期1125-1130,共6页

为实现各专业的高精度复杂性有限元数值仿真,研究了开发可在超级计算机上运行的高性能计算软件的方法。在借鉴和利用国内外并行计算和有限元数值仿真领域的优秀成果的基础上,提出了一种开发有限元数值仿真的高性能计算系统的通用方案。... 为实现各专业的高精度复杂性有限元数值仿真,研究了开发可在超级计算机上运行的高性能计算软件的方法。在借鉴和利用国内外并行计算和有限元数值仿真领域的优秀成果的基础上,提出了一种开发有限元数值仿真的高性能计算系统的通用方案。该方案按并行计算的过程将系统划分为前处理、区域分割、数学方程形成、数学方程求解、后处理5个模块,在完成各模块的开发后,依据接口规则将其组装在一起构成一个完整的并行计算软件。它通过对现有成熟软件和软件包的二次开发,避免大量繁琐复杂的编程,高效地开发出适合各专业领域的高性能计算程序,有效地缩短软件开发周期,保证软件开发的质量和性能。算例分析表明,用该方案开发的并行计算程序具有良好的可扩展性和并行效率,验证了该方案的正确性和有效性。 展开更多

关键词 高性能计算 有限元分析 数值仿真 模块化程序设计

在线阅读 下载PDF 职称材料

4πe-X符合测量数据获取与处理软件

11

作者 汪建清 李小弟 《原子能科学技术》 EI CAS CSCD 北大核心 1997年第2期185-189,共5页

４πｅ－Ｘ符合测量数据获取与处理软件采用面向对象的程序设计方法、实现了汉字操作界面、菜单驱动、数据自动获取、在线与离线处理、文件管理、结果打印输出等多项功能。采用面向对象的程序设计方法和模块化的程序设计结构，使该软件... ４πｅ－Ｘ符合测量数据获取与处理软件采用面向对象的程序设计方法、实现了汉字操作界面、菜单驱动、数据自动获取、在线与离线处理、文件管理、结果打印输出等多项功能。采用面向对象的程序设计方法和模块化的程序设计结构，使该软件易于维护和修改。 展开更多

关键词 符合测量 模块化程序 同位素 活度绝对测量

在线阅读 下载PDF 职称材料

柴油机管理系统开发与设计方法的研究

12

作者 常久鹏 周德义 《汽车技术》 北大核心 2002年第5期7-10,共4页

根据国内外柴油机电控技术开发与设计的经验,阐述开发与设计柴油管理系统所采用的最新技术与方法,通过新技术与新方法的运用,提高整个系统功能控制和参数管理的性能,最终达到改善柴油机经济性、动力性及排放等的目的。

关键词 柴油机 管理系统 设计方法 操作系统 模块化程序设计 电控技术

在线阅读 下载PDF 职称材料

智能型气液增力控制系统的设计 被引量：1

13

作者 杨新军 李作丽 +1 位作者 孙芹 刘涛 《液压与气动》 北大核心 2006年第12期7-8,共2页

由于气液增力缸综合了气压传动和液压传动的优点,在工业生产中得到了广泛的应用。在许多应用场合需要对气液增力缸的压力进行控制。该文阐述了用计算机来对气液增力系统的压力进行控制的基本原理和方法,并进行了系统的硬件和软件设计。

关键词 气液增力缸 压力控制 模块化程序设计

在线阅读 下载PDF 职称材料

工厂能源测量与控制系统的软件开发

14

作者 庄栋梁 王毓瑾 +1 位作者 王运秀 章时 《北京交通大学学报》 CAS CSCD 北大核心 1990年第A03期7-13,共7页

能源测量与控制系统是为实现大型工厂企业的能源管理而研制的计算机系统。通过对能源的产生和消耗进行适时的检测、计算和控制,可以大大地提高工厂企业的现代化管理水平,本文主要介绍了该系统的软件开发,包括软件的模块化结构以及开发... 能源测量与控制系统是为实现大型工厂企业的能源管理而研制的计算机系统。通过对能源的产生和消耗进行适时的检测、计算和控制,可以大大地提高工厂企业的现代化管理水平,本文主要介绍了该系统的软件开发,包括软件的模块化结构以及开发过程中所使用的关键技术,如程序链接技术、菜单技术、陷井技术等。 展开更多

关键词 模块化程序 数据处理 系统结构

在线阅读 下载PDF 职称材料

我校教保处仓库供应管理信息系统

15

作者 鲁贤庆 黄美祥 《南方医科大学学报》 CAS CSCD 1990年第S1期446-446,共1页

我们开发了一套微机仓库供应管理信息系统,现已用于实践的仓库供应管理工作中,并取得了一定的应用价值。 该系统是在IBM—PC上用DBASEⅢ开发的。

关键词 仓库供应 管理信息系统 可扩充性 发展水平 错误检测 检错能力 物资品名 汉字输入 模块化程序设计 功能分解

在线阅读 下载PDF 职称材料

成人高校C语言教学相关问题的分析

16

作者 崔爽 《当代教育论坛（管理版）》 2010年第7期77-78,共2页

C语言是成人高校计算机专业的重要专业基础课程,学好C语言的编程知识,对学生理解程序设计的理念和开发模式,锻炼逻辑思维能力有着很大的帮助。基于C语言在计算机教学中的重要性,文章重点揭示了C语言的特点,针对当前成人高校C语言教学中... C语言是成人高校计算机专业的重要专业基础课程,学好C语言的编程知识,对学生理解程序设计的理念和开发模式,锻炼逻辑思维能力有着很大的帮助。基于C语言在计算机教学中的重要性,文章重点揭示了C语言的特点,针对当前成人高校C语言教学中存在的问题进行分析,并根据成人高校C语言教学的情况,提出了几个方面的注意事项。 展开更多

关键词 C语言 模块化程序设计 算法 程序意识

在线阅读 下载PDF 职称材料

全电动注塑机运动控制器的设计与研究 被引量：6

17

作者 钟翠霞 蔡军 《机械设计与制造》 北大核心 2010年第7期49-50,共2页

结合全电动注塑机的特点,介绍全电动注塑机专用运动伺服控制器的软硬件设计,依据程序模块化设计原理,重点阐述了各控制器程序设计,并通过模拟仿真证明设计的运动控制器在全电动注塑机上的应用是可行的。

关键词 全电动注塑机 程序模块化 运动控制器

在线阅读 下载PDF 职称材料

基于PROFIBUS总线的胎面联动线控制系统设计

18

作者 陈永健 《陕西科技大学学报（自然科学版）》 2011年第4期36-38,共3页

根据联动生产线的工艺流程、技术要求对胎面联动线控制系统进行了系统的设计,基于PROFIBUS总线实现了PLC与变频器、调速器的网络通信,同时在软件设计上采用了模块化的编程思想,将整个程序分解为若干个子程序和功能块并由主程序开始依次... 根据联动生产线的工艺流程、技术要求对胎面联动线控制系统进行了系统的设计,基于PROFIBUS总线实现了PLC与变频器、调速器的网络通信,同时在软件设计上采用了模块化的编程思想,将整个程序分解为若干个子程序和功能块并由主程序开始依次调用,从而方便了程序的编写、修改和维护. 展开更多

关键词 PROFIBUS现场总线 PLC 模块化子程序

在线阅读 下载PDF 职称材料