期刊文献+
共找到48篇文章
< 1 2 3 >
每页显示 20 50 100
新场气田沙溪庙气藏随机建模 被引量:3
1
作者 杨诚 高志平 +1 位作者 游文秀 吴铬 《天然气工业》 EI CAS CSCD 北大核心 2005年第2期44-45,i027,共3页
在油气田勘探评价和开发阶段,储层研究以建立定量的三维储层地质模型为目标,这是油气勘探开发深入发展的要求,也是储层研究向更高阶段发展的体现。油气藏描述的最终结果是油气藏地质模型,其核心是储层的地质模型,广义的储层模型包括构... 在油气田勘探评价和开发阶段,储层研究以建立定量的三维储层地质模型为目标,这是油气勘探开发深入发展的要求,也是储层研究向更高阶段发展的体现。油气藏描述的最终结果是油气藏地质模型,其核心是储层的地质模型,广义的储层模型包括构造模型、储层属性分布模型及流体分布模型,故应用地质、地震、测井、试井等资料建立广义的储层模型的过程实际上就是油气藏描述。在川西新场气田沙溪庙气藏的储层随机建模中,对非连续的类型变量(岩性)和连续的随机变量(储层参数),分别采用了序贯指示模拟方法和序贯高斯模拟方法。首先用序贯指示模拟方法求得砂体的空间展布,然后将泥岩范围屏蔽掉,只在砂岩范围内采用序贯高斯模拟方法对孔、渗、饱等参数进行模拟。应用 Jason软件中的随机建模工具,建立了新场气田沙溪庙气藏储层定量的三维储层参数模型,实现了油气勘探开发深入发展的要求,也体现了储层研究向更高阶段的发展。 展开更多
关键词 新场气田 气藏 储层模型 随机建模 序贯指示模拟 试井 油气勘探开发 储层参数 空间展布 储层地质
下载PDF
智能技术在软件设计自动化中的应用
2
作者 丁磊 《电子技术(上海)》 2024年第9期338-339,共2页
阐述通过自动化代码的编写、测试、缺陷预测、项目管理实现智能控制系统功能,探讨AI在软件开发自动化中的应用场景、技术原理及实践效果,展望AI技术领域的发展趋势与面临的挑战。
关键词 人工智能 软件设计自动化 代码生成 软件测试 缺陷预测 自动化流程
原文传递
基于EDEM的悬臂振动筛分装备关键工艺研究
3
作者 刘鹏 李俊明 《现代制造技术与装备》 2024年第6期137-139,共3页
悬臂振动筛是一种广泛应用于物料分级、筛分和过滤的装备,其设计与操作的优化对提高生产效率和产品质量至关重要。EDEM软件作为一种基于离散元方法(Discrete Element Method,DEM)的颗粒模拟工具,能够详细模拟颗粒在振动筛中的运动和相... 悬臂振动筛是一种广泛应用于物料分级、筛分和过滤的装备,其设计与操作的优化对提高生产效率和产品质量至关重要。EDEM软件作为一种基于离散元方法(Discrete Element Method,DEM)的颗粒模拟工具,能够详细模拟颗粒在振动筛中的运动和相互作用,为筛分设备的设计和改进提供强有力的技术支持。通过EDEM可以有效模拟和分析悬臂振动筛的工作过程及其对筛分效率的影响,进而优化其关键工艺参数。通过EDEM软件的模拟方法探讨悬臂振动筛的关键工艺参数,研究参数对筛分效率的具体影响,并基于模拟结果提出一系列工艺优化策略,以期达到提高筛分效率和降低能耗的双重目标。 展开更多
关键词 EDEM软件 悬臂振动筛分装备 关键工艺
下载PDF
软件可靠性估计及其判别条件
4
作者 邹丰忠 李传湘 赵旭光 《武汉水利电力大学学报》 CSCD 1998年第6期52-55,共4页
考察了传统软件可靠性模型理论的前提假设,指出了传统软件可靠性模型通用性差的根本原因,提出了软件可靠性估计的分析方法,给出了该方法应用的判别条件.
关键词 软件 可靠性 估计 随机过程
原文传递
基于EPMM的软件过程结构合理性研究 被引量:2
5
作者 代飞 李彤 +2 位作者 谢仲文 莫启 金运志 《计算机科学》 CSCD 北大核心 2013年第8期186-190,共5页
为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算... 为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。 展开更多
关键词 软件演化过程 软件演化 软件过程 性质合理性 PETRI网 元模型
下载PDF
Smart Development Process Enactment Based on Context Sensitive Sequence Prediction
6
作者 Andreas Rausch Michael Deynet 《Journal of Computer and Communications》 2013年第5期32-39,共8页
Actual software development processes define the different steps developers have to perform during a development project. Usually these development steps are not described independently from each other—a more or less... Actual software development processes define the different steps developers have to perform during a development project. Usually these development steps are not described independently from each other—a more or less formal flow of development step is an essential part of the development process definition. In practice, we observe that often the process definitions are hardly used and very seldom “lived”. One reason is that the predefined general process flow does not reflect the specific constraints of the individual project. For that reasons we claim to get rid of the process flow definition as part of the development process. Instead we describe in this paper an approach to smartly assist developers in software process execution. The approach observes the developer’s actions and predicts his next development step based on the project process history. Therefore we apply machine learning resp. sequence learning approaches based on a general rule based process model and its semantics. Finally we show two evaluations of the presented approach: The data of the first is derived from a synthetic scenario. The second evaluation is based on real project data of an industrial enterprise. 展开更多
关键词 software Engineering software PROCESS DESCRIPTION LANGUAGES software processes PROCESS ENACTMENT PROCESS Improvement Machine Learning SEQUENCE Prediction
下载PDF
基于EPMM的软件过程模型规范化研究 被引量:2
7
作者 谢仲文 李彤 +3 位作者 代飞 卢萍 秦江龙 刘金卓 《计算机工程与科学》 CSCD 北大核心 2010年第9期69-72,126,共5页
为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4P... 为了开发高质量的软件过程模型,有必要对软件过程模型的规范化进行研究。本文基于EPMM对过程的形式化定义,考虑到传统软件过程和软件演化过程的特点,给出过程第一范式(1PNF)、过程第二范式(2PNF)、过程第三范式(3PNF)和过程第四范式(4PNF)的定义,并给出它们的判定算法。本文建议:对于传统的软件过程模型,应设计到满足2PNF;而对于软件演化过程模型,应设计到满足3PNF。本文为建模高质量的软件过程模型提供了指南。 展开更多
关键词 软件过程 软件过程模型 PETRI网 过程范式
下载PDF
数控机床马尔可夫过程下的超单元可靠性建模技术 被引量:3
8
作者 刘英 康丽娜 +1 位作者 王扬 余武 《机械科学与技术》 CSCD 北大核心 2016年第2期247-252,共6页
将数控机床按其功能层次划分为主系统与辅助系统。研究了主系统与辅助系统之间的关系,提出超单元可靠性建模技术概念,将辅助系统以超单元的形式嵌入到关联主系统的可靠性模型中,并建立了基于马尔可夫过程的数控机床主系统动态可靠性分... 将数控机床按其功能层次划分为主系统与辅助系统。研究了主系统与辅助系统之间的关系,提出超单元可靠性建模技术概念,将辅助系统以超单元的形式嵌入到关联主系统的可靠性模型中,并建立了基于马尔可夫过程的数控机床主系统动态可靠性分析数学模型,降低了系统的状态空间。在此基础上,假设各主系统为相互独立的模块,采用克罗内克方法对数控机床的整机稳态可靠性指标进行计算。最后,以某型号数控外圆磨床为例,通过实际数据求解其可靠性指标,分析其可靠性状况,验证了模型的正确性和适用性。 展开更多
关键词 数控机床 超单元 动态可靠性 马尔可夫过程 克罗内克方法
下载PDF
基于DO-178B/C的机载软件适航审查研究 被引量:3
9
作者 崔利杰 任博 李泽 《指挥与控制学报》 2016年第1期84-88,共5页
结合国内机载软件研制现状,分析了开展软件适航审查的必要性.参照国外实践经验,结合我军军机研制特点,提出了机载软件适航审查的具体流程和方法.结合上述流程,从数据文档与目标、活动相统一的角度提出了机载软件审查要点编制准则与方法.... 结合国内机载软件研制现状,分析了开展软件适航审查的必要性.参照国外实践经验,结合我军军机研制特点,提出了机载软件适航审查的具体流程和方法.结合上述流程,从数据文档与目标、活动相统一的角度提出了机载软件审查要点编制准则与方法.以A级软件计划阶段为例,给出了编制软件适航审查要点的原则和示例,制定了审查要点,为军机机载软件贯彻软件适航标准和开展软件适航审查提供了依据,也为下一步开发自动化的软件适航审查平台、为适航审查提供工具助手奠定了基础. 展开更多
关键词 机载软件 适航 D-178B/C 审查流程 审查要点
下载PDF
进程强制运行控制方法的设计与实现 被引量:2
10
作者 吴克河 马刚 张彤 《通信学报》 EI CSCD 北大核心 2009年第S1期150-153,共4页
在复杂的企业内部信息网中,应用系统常常会出现不可预见的死锁问题,死锁问题的出现会造成业务的中断,有时甚至会使整个应用系统崩溃。保证应用系统和操作系统正常运行不中断是提高软件可靠性的难题。进程强制运行控制(Mandatory Running... 在复杂的企业内部信息网中,应用系统常常会出现不可预见的死锁问题,死锁问题的出现会造成业务的中断,有时甚至会使整个应用系统崩溃。保证应用系统和操作系统正常运行不中断是提高软件可靠性的难题。进程强制运行控制(Mandatory Running Control,MRC)方法通过从操作系统内核中获取进程信息,对各进程进行实时监控,从操作系统内核层面上解决不可预知的死锁问题。进程强制运行控制方法能够确保系统运行的连续性和可靠性,保证网络业务长时间运行不中断,实现从操作系统内核层面上提高软件可靠性。 展开更多
关键词 软件可靠性 强制运行控制 进程监控 内核保护
下载PDF
馈电系统的漏电保护技术 被引量:2
11
作者 王会茗 《电子科技》 2012年第2期30-32,64,共4页
针对当前井下低压电网环境下,使用馈电保护装置不足的问题,提出一种新型的综合性馈电保护装置,重点讨论该系统的工作原理、硬件结构、软件流程以及抗干扰技术,测试结果和使用情况表明,系统保护装置既保证了准确的动作电阻值和选择性。... 针对当前井下低压电网环境下,使用馈电保护装置不足的问题,提出一种新型的综合性馈电保护装置,重点讨论该系统的工作原理、硬件结构、软件流程以及抗干扰技术,测试结果和使用情况表明,系统保护装置既保证了准确的动作电阻值和选择性。又提高了馈电系统的可靠性、稳定性且满足了实际应用。 展开更多
关键词 漏电保护 附加直流 零序电压 零序电流 硬件结构 软件流程 抗干扰技术
下载PDF
一种基于AADL错误模型的软件安全性分析技术研究 被引量:2
12
作者 成静 朱怡安 +3 位作者 屈华敏 罗文波 江叶春 张涛 《西北工业大学学报》 EI CAS CSCD 北大核心 2014年第6期1007-1010,共4页
针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率... 针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。 展开更多
关键词 AADL模型 错误模型 软件安全性 马尔科夫链
下载PDF
一种基于SPC的软件过程质量分析方法 被引量:2
13
作者 龚波 何新贵 《计算机工程与设计》 CSCD 北大核心 2005年第7期1793-1796,共4页
一个项目的开发活动是很多软件过程的集合,不同软件过程之间关联性很强,成功地分析特定软件过程质量的关键是确保软件过程分析的独立性,剔除来自于其他过程的影响。传统Shewhart控制图基于统计假设检验理论,能够区分软件过程中的偶然因... 一个项目的开发活动是很多软件过程的集合,不同软件过程之间关联性很强,成功地分析特定软件过程质量的关键是确保软件过程分析的独立性,剔除来自于其他过程的影响。传统Shewhart控制图基于统计假设检验理论,能够区分软件过程中的偶然因素和系统因素,但Shewhart控制图是全控图,无法区分过程之间的影响。为解决这种问题,定义软件过程的总质量和分质量,把系统因素细分为外部系统因素和内部系统因素,并总结软件过程质量诊断表,以使用控制图和选控图来帮助诊断导致软件过程质量异常的偏差源。 展开更多
关键词 统计过程控制 控制图 软件过程
下载PDF
A User Requirements Analysis Approach Based on Business Processes
14
作者 ZHENG Yue-bin, HAN Wen-xiuInstitute of Systems Engineering, Tianjin University, Tianjin 300072, China 《Journal of Systems Science and Systems Engineering》 SCIE EI CSCD 2001年第3期371-380,共10页
Requirements analysis is the most important phase of information system development. Existing requirements analysis techniques concern little or no about features of different business processes. This paper presents a... Requirements analysis is the most important phase of information system development. Existing requirements analysis techniques concern little or no about features of different business processes. This paper presents a user requirements analysis approach which focuses business processes on the early stage of requirements analysis. It also gives an example of the using of this approach in the analysis of an enterprise information system. 展开更多
关键词 business processes requirements analysis software engineering
原文传递
Simulation Modeling by Fuzzy Nets
15
作者 Xingui, He 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1993年第4期25-31,共7页
Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and s... Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper. 展开更多
关键词 Computer hardware Computer software Decision theory Fuzzy sets Mathematical models MONITORING Parallel processing systems Petri nets Process control Random processes SCHEDULING
下载PDF
仪器仪表可靠性工程系统应用软件设计 被引量:1
16
作者 隆萍 刘兴莉 赵凤海 《自动化与仪器仪表》 2010年第4期36-38,共3页
主要阐述了整个软件功能的界面和流程设计,其主要功能包括:可靠性框图、可靠性预计、可靠性分配、故障分析、经验数据库、可靠性技术报告、帮助系统等7部份。
关键词 软件 界面 流程 可靠性工程 可靠性预计 可靠性分配 故障分析
下载PDF
基于Pi演算的软件过程形式化描述
17
作者 冷家锋 张晓春 陈中育 《计算机与现代化》 2007年第10期83-85,共3页
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴P i演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出P i描述,并验证过程描述的正确性。
关键词 PI演算 软件过程 活动交互 移动进程 形式化
下载PDF
Educational Software Development Life Cycle Stages
18
作者 Salah Alkhafaji B.Sriram 《Chinese Business Review》 2012年第1期128-137,共10页
Technological innovations have revolutionized the educational technology into various dimensions. Educational processes without educational technology have no value in this modern world. In education domain, the educa... Technological innovations have revolutionized the educational technology into various dimensions. Educational processes without educational technology have no value in this modern world. In education domain, the educational software has simplified the processes in greater extend. A implemented while developing such educational software. In particu proper lar, the development methodology has to be software developed to enrich these education processes should follow a development strategy to motivate the end users to utilize the hypermedia potentials. The software development life cycle (SDLC) has different phases in designing such educationa technology and assists the end users to benefit from the modern technology. This study identifies the various factors to be considered at each phase of the SDLC while developing educational software. Also, this study proposes some suggestions to be followed in ESDLC with respect to educational processes perspectives. The core idea of this study is to identify the various issues in implementing such educational software in day to day teaching and learning processes. 展开更多
关键词 software development life cycle (SDLC) educational technology teaching and learning processes technology innovations educational software
下载PDF
spc技术在软件过程监控中的应用探讨
19
作者 李彩红 《电脑知识与技术》 2011年第4期2306-2307,共2页
统计过程控制(SPC)是质量管理的重要内容。该文在介绍软件过程质量管理的相关理论基础上,主要探讨了SPC特别是控制图在软件过程监控中的应用,并简单讨论软件过程改进的SPC方法。
关键词 统计过程控制 控制图 软件过程
下载PDF
A Comparative Analysis between BPMN and SPEM Modeling Standards in the Software Processes Context
20
作者 Carlos Portela Alexandre Vasconcelos +5 位作者 Antonio Silva Ariane Sinimbú Elder Silva Maurício Ronny Wallace Lira Sandro Oliveira 《Journal of Software Engineering and Applications》 2012年第5期330-339,共10页
The main objective of this paper is to analyze the representativeness of the SPEM (Software Process Engineering Metamodel Specification) and the BPMN (Business Process Modeling Notation) standards in the software proc... The main objective of this paper is to analyze the representativeness of the SPEM (Software Process Engineering Metamodel Specification) and the BPMN (Business Process Modeling Notation) standards in the software processes modeling context. To perform this analysis, it was adopted a standard structure to define a software process based upon a process ontology. Then, the SPEM and BPMN standards notations and their semantically corresponding elements in the default process were identified. This mapping also includes components of the CMMI-DEV (Capability Maturity Model Integration for Development) and MR-MPS (Reference Model for Software Process Improvement) quality models. This was necessary to assist in the mapping evaluation through a case study which models the best practices of these quality models. Finally, we carried out an analysis of these standards through specific characteristics considered necessary to model and to represent software processes. 展开更多
关键词 software processes Modeling SPEM BPMN Quality Models
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部