近钻头钻压和扭矩的高精度温度补偿方法 被引量：1

1

作者 董添奇 杨旭辉 《石油机械》 北大核心 2024年第4期71-79,共9页

获取近钻头工程参数对于钻井安全生产具有十分重要的意义。随着技术的发展,地面间接测量技术已无法满足实际钻井需求,通过井下直接测量的方式获取实时的钻压扭矩等参数是当前主要研究方向。为此,根据应变测量原理,提出了井下钻压扭矩参... 获取近钻头工程参数对于钻井安全生产具有十分重要的意义。随着技术的发展,地面间接测量技术已无法满足实际钻井需求,通过井下直接测量的方式获取实时的钻压扭矩等参数是当前主要研究方向。为此,根据应变测量原理,提出了井下钻压扭矩参数测量的应变片粘贴方案和电桥测量方案。试验研究表明,机械结构自身的应变与外载之间存在非线性关系,并且在高温环境下非线性误差更加突出。为了提高测量数据的精度,通过简化温度、压力和电桥输出电压之间的关系,建立数学模型,利用耦合多项式变换矩阵对机械结构自身引起的变形误差进行软件补偿。试验结果表明,该方法使直接计算应变片受力的平均绝对误差从2.14033 kPa降低为0.27739 kPa,降低了约87%。该方法有效地减小了测量近钻头钻压和扭矩的误差。 展开更多

关键词 近钻头工程参数测量 应变片 软件补偿 钻具变形 惠斯通电桥 钻压 扭矩

在线阅读 下载PDF 职称材料

UML 软件开发过程和支持环境研究 被引量：33

2

作者 张莉 葛科 +1 位作者 王云 周伯生 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期407-410,共4页

从当前对软件工程过程的需求出发，结合软件工程领域的最新成果统一建模语言ＵＭＬ（ＵｎｉｆｉｅｄＭｏｄｅｌｉｎｇＬａｎｇｕａｇｅ），重点讨论了适应需求变化的迭代式软件开发过程，提出了柔性软件开发模型．在此研究的基础上，设... 从当前对软件工程过程的需求出发，结合软件工程领域的最新成果统一建模语言ＵＭＬ（ＵｎｉｆｉｅｄＭｏｄｅｌｉｎｇＬａｎｇｕａｇｅ），重点讨论了适应需求变化的迭代式软件开发过程，提出了柔性软件开发模型．在此研究的基础上，设计了集成化ＵＭＬ软件开发环境的框架，指出其组成应包括ＵＭＬ可视化建模系统、ＵＭＬ模拟系统、ＵＭＬ代码生成系统和ＵＭＬ逆向变换系统４个部分，并提出了需要解决的问题． 展开更多

关键词 软件工具 UML 建模语言 柔性软件开发

在线阅读 下载PDF 职称材料

嵌入式软件测试工程化研究与实践 被引量：6

3

作者 王丽 赵卢霞 +1 位作者 李红卫 王梅娟 《计算机应用》 CSCD 北大核心 2009年第B12期192-194,共3页

随着嵌入式系统在各行各业应用的迅速发展,其核心控制软件也变得日益庞大和复杂,实行有效的嵌入式软件测试显得越来越重要。首先分析了嵌入式软件的特点及嵌入式软件测试的重要性,接着阐述了一种有效的嵌入式软件测试工程化方法,并结合... 随着嵌入式系统在各行各业应用的迅速发展,其核心控制软件也变得日益庞大和复杂,实行有效的嵌入式软件测试显得越来越重要。首先分析了嵌入式软件的特点及嵌入式软件测试的重要性,接着阐述了一种有效的嵌入式软件测试工程化方法,并结合一个实际测试项目验证了该方法的有效性。 展开更多

关键词 嵌入式软件 软件测试工程化 静态测试 动态测试 测试工具

在线阅读 下载PDF 职称材料

基于Java的软件再工程支持工具研究 被引量：3

4

作者 彭鑫 赵文耘 +1 位作者 夏宽理 沈铖 《计算机工程与应用》 CSCD 北大核心 2003年第18期63-66,共4页

Internet的发展和构件化的软件开发为再工程指明了新的方向。面向对象软件再工程将以构件库为中心,并关注于将遗产系统改造为B/S结构的Internet应用。论文提出了一个面向对象软件再工程模型,分析了面向对象软件再工程支持工具的特性,然... Internet的发展和构件化的软件开发为再工程指明了新的方向。面向对象软件再工程将以构件库为中心,并关注于将遗产系统改造为B/S结构的Internet应用。论文提出了一个面向对象软件再工程模型,分析了面向对象软件再工程支持工具的特性,然后介绍了基于Java的再工程支持工具原型。 展开更多

关键词 软件再工程 支持工具 逆向工程 再工程

在线阅读 下载PDF 职称材料

C反编译控制流恢复的形式描述及算法 被引量：8

5

作者 赵蕾 王开铸 《计算机学报》 EI CSCD 北大核心 1998年第1期87-91,共5页

反编译是软件逆向工程的重要组成部分．控制流恢复是C反编译的重要组成部分．本文首先描述了验证反编译结果与原程序功能等价的模型；其次从数学角度提出了C编译和反编译控制结构的数学模型并给出其性质（从函数的观点出发）；再次根据... 反编译是软件逆向工程的重要组成部分．控制流恢复是C反编译的重要组成部分．本文首先描述了验证反编译结果与原程序功能等价的模型；其次从数学角度提出了C编译和反编译控制结构的数学模型并给出其性质（从函数的观点出发）；再次根据对C控制语句编译结果的分析，以扩展的BNF形式描述了C控制语句反编译的约束属性文法；最后给出并说明了C反编译控制流恢复的算法及其运行示例． 展开更多

关键词 反编译 C语言 软件逆向工程 控制流恢复

在线阅读 下载PDF 职称材料

面向对象程序可视化类图的逆向自动生成 被引量：7

6

作者 刘超 李健 沈海华 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期411-414,共4页

研究了逆向构造程序类模型的基本规则，并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构（ｉｎｈｅｒｉｔａｎｃｅｌａｙｅｒｅｄｃｌａｓｄｉａｇｒａｍ）．在这种层次型类图上，可以清晰地展示程序中的对象类及其相互... 研究了逆向构造程序类模型的基本规则，并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构（ｉｎｈｅｒｉｔａｎｃｅｌａｙｅｒｅｄｃｌａｓｄｉａｇｒａｍ）．在这种层次型类图上，可以清晰地展示程序中的对象类及其相互之间的继承关系、组成关系和关联关系等，并可以直观方便地对程序中定义的对象类进行各种相关性或依赖性分析．文中还介绍了一个根据上述规则和方案实现的实用工具ＳａｆｅＰｒｏ／ＲｅＯＭ． 展开更多

关键词 软件工具 逆向工程 面向对象 程序可视化类图

在线阅读 下载PDF 职称材料

面向Agent软件工程研究现状与展望 被引量：5

7

作者 张健 曾广周 杨鹏 《计算机工程与应用》 CSCD 北大核心 2006年第15期30-33,共4页

文章介绍了面向Agent软件工程(AOSE)的关键抽象集,综述了形式化和非形式化AOSE方法、Agent统一模型语言(AUML)、AOSE开发工具的研究现状和存在的主要问题,最后根据面向Agent编程范型表示一种计算的社会观点,基于社会学理论展望了AOSE的... 文章介绍了面向Agent软件工程(AOSE)的关键抽象集,综述了形式化和非形式化AOSE方法、Agent统一模型语言(AUML)、AOSE开发工具的研究现状和存在的主要问题,最后根据面向Agent编程范型表示一种计算的社会观点,基于社会学理论展望了AOSE的下一步发展。 展开更多

关键词 AGENT 面向AGENT软件工程 抽象方法 工具

在线阅读 下载PDF 职称材料

基于懒替换的C符号执行 被引量：3

8

作者 林梦香 陈胤立 +1 位作者 陈睿 周刚 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第6期687-691,共5页

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详... 针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构. 展开更多

关键词 软件工程 程序调试 工具

在线阅读 下载PDF 职称材料

一种基于面向对象 Petri 网的并发程序建模方法 被引量：12

9

作者 任爱华 牛锦中 张永鸣 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期491-494,共4页

介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法．该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具有可重用性... 介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法．该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具有可重用性且易于维护，是一种具有数学和图形方式相结合的形式化描述． 展开更多

关键词 软件工程 软件工具 建立模型 PETRI网 并发系统

在线阅读 下载PDF 职称材料

需求变更管理过程及其工具分析与展望 被引量：10

10

作者 秦众森 李娟 《计算机工程与设计》 CSCD 北大核心 2009年第11期2601-2605,2614,共6页

对软件开发中的需求变更的产生原因及对项目的影响做了分析和讨论,介绍和研究了不同方法学中对于需求变更管理的要求和处理过程,并对这些主流的方法学中的变更管理过程做了一些总结和比较。对需求变更管理工具应该提供的功能做了一些讨... 对软件开发中的需求变更的产生原因及对项目的影响做了分析和讨论,介绍和研究了不同方法学中对于需求变更管理的要求和处理过程,并对这些主流的方法学中的变更管理过程做了一些总结和比较。对需求变更管理工具应该提供的功能做了一些讨论,比较了部分主流的需求管理工具中的变更管理功能,最后对软件需求管理工具的未来的发展方向进行了展望。 展开更多

关键词 需求变更 变更管理 需求工程 软件工程 需求工具

在线阅读 下载PDF 职称材料

计算机辅助软件工程(CASE)工具的选择与采用 被引量：4

11

作者 王凌 冯惠 《小型微型计算机系统》 CSCD 北大核心 2001年第12期1519-1522,共4页

CASE工具技术在信息系统的开发中得到了越来越广泛的应用 ,如何在众多的 CASE工具中选择最适用的一种 ,本文介绍了在

关键词 CASE工具 软件工程 软件开发 软件生存周期

在线阅读 下载PDF 职称材料

基于开放式标准化思想的CIMS信息集成方法 被引量：7

12

作者 李善平 何志均 《自动化学报》 EI CSCD 北大核心 1995年第4期440-447,共8页

论述ＣＩＭＳ的基于集成、开放、标准化和并行工程思想的信息集成方法．即应用ＳＴＥＰ、ＥＸＰＲＥＳＳ、ＳＧＭＬ、ＨｙＴｉｍｅ、ＸＷｉｎｄｏｗｓ、ＵＮＩＸ等国际标准或主流工业标准，依托面向对象工程数据库，开发一个开放式的由... 论述ＣＩＭＳ的基于集成、开放、标准化和并行工程思想的信息集成方法．即应用ＳＴＥＰ、ＥＸＰＲＥＳＳ、ＳＧＭＬ、ＨｙＴｉｍｅ、ＸＷｉｎｄｏｗｓ、ＵＮＩＸ等国际标准或主流工业标准，依托面向对象工程数据库，开发一个开放式的由软件工具和超媒体界面组成的支持环境，实现ＣＩＭＳ信息的数字化交换、共享、集成，支持并行工程思想． 展开更多

关键词 信息集成 并行工程 标准化 CIMS

在线阅读 下载PDF 职称材料

对城市活断层探测项目中地震地质数据建模的探讨 被引量：12

13

作者 葛伟鹏 袁道阳 郭华 《西北地震学报》 CSCD 北大核心 2006年第2期134-139,共6页

在城市活断层探测项目中,基于地震地质和活动构造研究的数据模型研究是相关应用领域中的重要问题。本文依据"中国地震活动断层探测技术系统"规程应用统一建模语言讨论和建立了地震地质数据模型,着重论述了地震地质数据模型与... 在城市活断层探测项目中,基于地震地质和活动构造研究的数据模型研究是相关应用领域中的重要问题。本文依据"中国地震活动断层探测技术系统"规程应用统一建模语言讨论和建立了地震地质数据模型,着重论述了地震地质数据模型与活动断层探测相关数据的组织方法,给出了地震地质基于ArcGIS的UML模型的空间和属性类结构图、类关系图表。在此基础上分析了地震地质UML模型的特点。 展开更多

关键词 地震地质 数据模型 统一建模语言 计算机辅助软件工程

在线阅读 下载PDF 职称材料

Ada软件的动态测试技术研究 被引量：2

14

作者 徐红 钱红兵 陈曦 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1997年第1期18-24,共7页

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论：Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ．

关键词 软件工具 软件质量 软件测试 结构测试

在线阅读 下载PDF 职称材料

面向过程的软件工程环境的集成问题探讨 被引量：4

15

作者 刘又诚 张莉 《计算机应用与软件》 CSCD 1996年第5期9-15,64,共8页

本文前五节仔细介绍了Thomas和Nejmeh一文“Definitions of Tool Integration for Environments”中的基本观点,并给以必要的评述。这些观点对我们考察软件工程环境的集成问题仍然是有益的。本文第六节提出了构造面向过程的软件工程环... 本文前五节仔细介绍了Thomas和Nejmeh一文“Definitions of Tool Integration for Environments”中的基本观点,并给以必要的评述。这些观点对我们考察软件工程环境的集成问题仍然是有益的。本文第六节提出了构造面向过程的软件工程环境的集成机制,这是美国当前建造软件工程环境的一个新的潮流,值得我们注意。 展开更多

关键词 软件工程 面向过程 环境集成

在线阅读 下载PDF 职称材料

面向对象系统中的特性表机制与复合对象 被引量：3

16

作者 姚莉 刘凤歧 汪浩 《软件学报》 EI CSCD 北大核心 1994年第2期48-56,共9页

本文主要讨论特性表机制与复合对象的概念、功能及实现．在基于知识的面向对象系统中引入特性表机制与复合对象概念的目的在于增强系统的知识表达能力．文中提出的特性表机制包括了三种类型的特性说明表：类说明特性表、继承关系特性表... 本文主要讨论特性表机制与复合对象的概念、功能及实现．在基于知识的面向对象系统中引入特性表机制与复合对象概念的目的在于增强系统的知识表达能力．文中提出的特性表机制包括了三种类型的特性说明表：类说明特性表、继承关系特性表和变量特性说明表．复合对象在系统中是通过引入一个称为“影子类”的新概念来构造和实现的． 展开更多

关键词 专家系统 知识工程 面向对象

在线阅读 下载PDF 职称材料

软件可靠性评估工具 被引量：2

17

作者 徐立中 杨锦堂 《计算机工程与应用》 CSCD 北大核心 1999年第6期21-23,32,共4页

软件可靠性评估工具是软件可靠性工程中的重要分析手段，大大地简化了可靠性度量及模型比较的繁复工作。文章综述和分析了目前国外市场上几种广泛应用的软件可靠性评估工具；对每一种工具作出简述，在对这些工具作比较分析的基础上给出... 软件可靠性评估工具是软件可靠性工程中的重要分析手段，大大地简化了可靠性度量及模型比较的繁复工作。文章综述和分析了目前国外市场上几种广泛应用的软件可靠性评估工具；对每一种工具作出简述，在对这些工具作比较分析的基础上给出了选择工具的一般性原则。 展开更多

关键词 软件可靠性工程 工具软件 可靠性评估

在线阅读 下载PDF 职称材料

软件工程环境的建设 被引量：1

18

作者 张桂林 施振明 毛少杰 《计算机工程》 CAS CSCD 北大核心 2000年第10期95-96,111,共3页

提出了软件工程环境的配置原则和配置要素，论述了配置工具、平台和运作的一些关键技术．

关键词 软件工程环境 软件开发工具 软件工程化

在线阅读 下载PDF 职称材料

Ada 层次化并发软件模型的研究 被引量：1

19

作者 姚淑珍 唐发根 金茂忠 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期415-417,共3页

基于对象Ｐｅｔｒｉ网，提出了层次化并发软件模型，这种模型在结构上参考了统一建模语言ＵＭＬ的描述机制，并用一种扩展Ｐｅｔｒｉ网ＥＣＰＮ分层描述对象的内部状态，以及对象间的相互作用，易于仿真与程序生成．模型的实际应用将有... 基于对象Ｐｅｔｒｉ网，提出了层次化并发软件模型，这种模型在结构上参考了统一建模语言ＵＭＬ的描述机制，并用一种扩展Ｐｅｔｒｉ网ＥＣＰＮ分层描述对象的内部状态，以及对象间的相互作用，易于仿真与程序生成．模型的实际应用将有利于保证并发软件，特别是Ａｄａ９５并发软件的质量，提高开发效率． 展开更多

关键词 软件工程 并发软件 面向对象 ADA 层次化

在线阅读 下载PDF 职称材料

软件工程环境的许可证配置 被引量：1

20

作者 张桂林 施振明 高强 《计算机工程》 CAS CSCD 北大核心 2000年第10期97-99,共3页

许可证配置是软件工程环境配置的关键和难点之一．该文从配置软件工程环境的实际经验出发，建立了工具许可证服务系统的基本排队模型，提出了许可证共享效应的概念和许可证共享的一些策略，给出了许可证数估算方法．最后，讨论了许可证... 许可证配置是软件工程环境配置的关键和难点之一．该文从配置软件工程环境的实际经验出发，建立了工具许可证服务系统的基本排队模型，提出了许可证共享效应的概念和许可证共享的一些策略，给出了许可证数估算方法．最后，讨论了许可证网络结构的配置技术． 展开更多

关键词 软件工程环境 软件开发工具 许可证配置

在线阅读 下载PDF 职称材料