期刊文献+
共找到438篇文章
< 1 2 22 >
每页显示 20 50 100
一种自适应数据交易软件模型设计技术
1
作者 汤奇峰 虞慧群 +1 位作者 范贵生 邵志清 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第1期137-145,共9页
在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适... 在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适应数据交易软件模型设计和验证方法。在分析数据交易业务需求的基础上,提出了一种基于Petri网的形式化数据交易自适应软件建模方法,基于Petri网和模型库方法建立数据交易业务流程的形式化模型和控制策略实施技术,Petri网的形式化语义能够有效支持数据交易系统的性质分析。最后,通过仿真实验说明所提方法的有效性和可行性。 展开更多
关键词 数据交易 软件模型设计 PETRI网 验证 性能分析
在线阅读 下载PDF
基于UML的列车运行调度系统软件模型 被引量:6
2
作者 王宏刚 张一军 +2 位作者 张琦 王建英 王壮峰 《中国铁道科学》 EI CAS CSCD 北大核心 2005年第5期107-111,共5页
按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两... 按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两个角度描述调度系统的软件模型。用例图从用户的角度描述系统的功能;类结构图指明系统中存在的类以及类之间的静态关系,描述系统的静态模型;序列图着重描述控制流在对象之间的流动过程,状态转移图描述对象的转移过程以及状态变化的条件。序列图和状态转移图从不同的角度描述系统的动态行为,建立系统的动态模型。该模型已用VC++6.0实现,并在高速铁路综合调度仿真系统中得到应用。 展开更多
关键词 列车运行调度 UML 软件模型 面向对象 软件工程
在线阅读 下载PDF
钢铁企业APS优化引擎的软件模型研究及应用 被引量:7
3
作者 施灿涛 杨国俊 李铁克 《计算机应用研究》 CSCD 北大核心 2011年第2期606-608,共3页
分析了钢铁企业APS理论和应用研究现状,总结了钢铁生产计划体系中的优化问题和求解方法,在此基础上,提出了钢铁企业APS优化引擎的软件模型ISMA。模型以通用性、独立性、可重用性和可扩展性为目标,分为接口层、求解层、模型层和算法层,... 分析了钢铁企业APS理论和应用研究现状,总结了钢铁生产计划体系中的优化问题和求解方法,在此基础上,提出了钢铁企业APS优化引擎的软件模型ISMA。模型以通用性、独立性、可重用性和可扩展性为目标,分为接口层、求解层、模型层和算法层,阐述了各层的分工和协作方式。最后以钢轧一体化批量计划编制问题为例,说明了模型的应用方法。 展开更多
关键词 钢铁生产 高级计划与排程系统 优化引擎 软件模型
在线阅读 下载PDF
基于面向对象技术的数控软件模型及实现 被引量:14
4
作者 王宇晗 胡俊 蔡建国 《组合机床与自动化加工技术》 北大核心 2000年第7期4-6,17,共4页
针对当前数控系统软件可重用性差的现状 ,本文采用建立面向对象的数控软件模型的方法来提高数控软件的可重用性。在分析数控软件结构的基础上 ,建立了数控软件的通用类库 ,由类的继承性实现各个功能模块代码的可重用 ;采用客户 /服务器... 针对当前数控系统软件可重用性差的现状 ,本文采用建立面向对象的数控软件模型的方法来提高数控软件的可重用性。在分析数控软件结构的基础上 ,建立了数控软件的通用类库 ,由类的继承性实现各个功能模块代码的可重用 ;采用客户 /服务器模式建立了运行于双CPU、Windows95 /NT平台下的通用对象关系模型 ,并实现了多任务并行调度。实际应用表明 ,该方法是可行的。 展开更多
关键词 数控系统 数控软件模型 面向对象技术
在线阅读 下载PDF
支持PnPW集成的开放式SMS软件模型与结构设计 被引量:6
5
作者 郑磊刚 聂光戍 +1 位作者 许凌权 王凯 《弹箭与制导学报》 CSCD 北大核心 2011年第2期207-210,共4页
针对即插即用武器集成要求,开放式悬挂物管理系统需要在不修改系统软件的前提下完成新武器的集成,为此,提出一种全新的软件设计思想。设计了系统的软件模型,从而得到软件的体系结构,完成了从系统功能层到武器控制层,以及操作系统和模块... 针对即插即用武器集成要求,开放式悬挂物管理系统需要在不修改系统软件的前提下完成新武器的集成,为此,提出一种全新的软件设计思想。设计了系统的软件模型,从而得到软件的体系结构,完成了从系统功能层到武器控制层,以及操作系统和模块支持层的设计,通过系统软件对硬件资源的调用来分析软件的使用过程,最终实现了软件的功能。 展开更多
关键词 即插即用武器 开放式悬挂物管理系统 软件体系结构 软件模型 模块化
在线阅读 下载PDF
软件形式化与可视化软件模型的转换 被引量:8
6
作者 周彦晖 张为群 《计算机科学》 CSCD 北大核心 2003年第7期106-109,共4页
It is an important issue in Software Engineering that combined the formal development method with the vi-sual development method. This study is about the transform method and rules between the UML model and theRAISE m... It is an important issue in Software Engineering that combined the formal development method with the vi-sual development method. This study is about the transform method and rules between the UML model and theRAISE model. At last try to put this technology and the common software develop process together. 展开更多
关键词 面向对象 软件开发 软件形式化 可视化软件模型
在线阅读 下载PDF
防空导弹仿真软件模型验证方法研究 被引量:2
7
作者 倪春雷 汪浩 吕隽 《现代防御技术》 北大核心 2013年第2期73-78,共6页
研究了防空导弹仿真软件模型验证方法,建立仿真模型验证流程,采用平滑化、归一化等方法,对试验数据进行预处理,运用图示比较、系数分析、窗谱密度估计等方法对模型进行了验证。将实物试验数据结果与相同初始条件下的仿真试验结果进行了... 研究了防空导弹仿真软件模型验证方法,建立仿真模型验证流程,采用平滑化、归一化等方法,对试验数据进行预处理,运用图示比较、系数分析、窗谱密度估计等方法对模型进行了验证。将实物试验数据结果与相同初始条件下的仿真试验结果进行了一致性检验,并给出定量分析结果,从而验证仿真软件模型的置信度,为防空导弹仿真软件模型验证提供了一种较为有效的方法和途径。 展开更多
关键词 防空导弹 仿真 软件模型 验证
在线阅读 下载PDF
一种具有高度可扩展性和灵活性的软件模型研究 被引量:4
8
作者 陈传波 魏书光 《计算机工程与科学》 CSCD 2004年第4期77-79,共3页
针对传统软件可扩展性和灵活性低的问题,本文提出了一个IFM软件模型。IFM通过把软件分割为不同的部分,并协调各部分的运行来实现软件的可扩展性和灵活性。另外,本文还对IFM的概念定义及设计原理进行了讨论。
关键词 软件模型 可扩展性 灵活性 软件开发 组件化结构
在线阅读 下载PDF
一种面向服务的水文遥测软件模型 被引量:2
9
作者 艾萍 何勇军 《水利水电技术》 CSCD 北大核心 2003年第11期8-11,共4页
基于网络的水文遥测系统存在复杂的异构性,导致其软件系统的复杂化,致使多个系统间难以集成,为此,以面向服务的软件体系结构为分析和描述水文遥测系统的基本依据,形成基于Web Service的水文遥测系统软件模型,提出了将系统分割为业务逻... 基于网络的水文遥测系统存在复杂的异构性,导致其软件系统的复杂化,致使多个系统间难以集成,为此,以面向服务的软件体系结构为分析和描述水文遥测系统的基本依据,形成基于Web Service的水文遥测系统软件模型,提出了将系统分割为业务逻辑相对独立的各类服务,并按控制及数据的分布部署服务的原则。 展开更多
关键词 面向服务体系结构 WEB SERVICE 软件模型 水文遥测系统
在线阅读 下载PDF
程序条件化用于软件模型检测中的状态空间缩减 被引量:1
10
作者 肖健宇 张德运 +1 位作者 郑卫斌 张勇 《西安交通大学学报》 EI CAS CSCD 北大核心 2006年第4期377-380,共4页
针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件,通过分析程序符号化执行语义,借助自动定理证明器,对语句的可达性条件... 针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件,通过分析程序符号化执行语义,借助自动定理证明器,对语句的可达性条件进行逻辑推理,删除那些与性质的可满足性无关的语句,以达到程序精简的目的.理论分析和实验结果表明,条件化可以有效缩减程序状态空间,而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息,满足软件模型检测对状态缩减的安全性要求. 展开更多
关键词 程序条件化 软件模型检测 状态空间缩减 符号化执行 线性时序逻辑
在线阅读 下载PDF
基于层次单元划分的软件模型检测技术 被引量:1
11
作者 陈晨 陈永生 《计算机应用》 CSCD 北大核心 2008年第8期2109-2112,共4页
通过对近年来软件模型检测领域流行的几种技术进行综述,提出了一种基于层次单元划分,使用引导式搜索方式的软件模型检测方案。本方案分为预处理、单元划分、状态空间搜索三个阶段,其中使用on-the-fly技术提高了搜索性能。实验证明,该方... 通过对近年来软件模型检测领域流行的几种技术进行综述,提出了一种基于层次单元划分,使用引导式搜索方式的软件模型检测方案。本方案分为预处理、单元划分、状态空间搜索三个阶段,其中使用on-the-fly技术提高了搜索性能。实验证明,该方案在解决状态爆炸问题上有较好的效果。 展开更多
关键词 软件模型检测 层次单元划分 引导式搜索
在线阅读 下载PDF
DSH仿真软件模型库的扩建 被引量:3
12
作者 卢向伟 《机床与液压》 北大核心 2000年第5期76-78,共3页
本文对DSH仿真软件模型进行了数学描述,分析了模型库的组成和存贮规则,探讨了模型库的扩建方法。
关键词 DSH仿真软件模型 液压传动 液压控制
在线阅读 下载PDF
基于模糊颜色Petri网的表决DVP安全软件模型初探
13
作者 王海峰 张仲义 《中国安全科学学报》 CAS CSCD 2002年第4期23-26,共4页
把模糊计算理论和有色Petri网有机地结合起来 ,提出了一种模糊颜色Petri网诊断表决算法 ,把该算法应用于DVP的软件模型 ,使之具有故障容忍和表决的能力。笔者对以模糊颜色Petri网为核心的DVP软件模型表决算法进行了较为深入的探讨 ,该... 把模糊计算理论和有色Petri网有机地结合起来 ,提出了一种模糊颜色Petri网诊断表决算法 ,把该算法应用于DVP的软件模型 ,使之具有故障容忍和表决的能力。笔者对以模糊颜色Petri网为核心的DVP软件模型表决算法进行了较为深入的探讨 ,该模型对提高软件系统的安全性和可靠性具有实际意义。 展开更多
关键词 模糊计算 表决算法 模糊颜色Petri网 DVP 安全软件模型
在线阅读 下载PDF
箱体类零件CIMS软件模型的建立
14
作者 孙敏 陈艳红 《机械设计与制造》 2003年第2期25-26,共2页
介绍建立箱体类零件CIMS软件模型的思路。
关键词 箱体类零件 CIMS 软件模型 CAD CAPP CAM
在线阅读 下载PDF
程序重构预处理在提高软件模型检测效率中的应用
15
作者 黄卫平 《计算机研究与发展》 EI CSCD 北大核心 2008年第8期1417-1422,共6页
针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某... 针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某过程的调用可能有多次,这种预处理可以避免状态空间的重复搜索,从而降低模型检测算法在空间和时间上的开销.根据表达程序性质的线性时序逻辑LTL公式的构成,给出了程序重构预处理前后程序语义相等的充分条件;并给定程序和性质公式,用blast作为程序模型检测实验工具,比较程序重构预处理前后blast的运行结果.理论分析和部分程序上的实验表明:程序重构预处理能降低大型程序的模型检测开销,并满足软件模型检测的安全性要求. 展开更多
关键词 软件模型检测 谓词抽象 程序重构 状态爆炸 过程总结
在线阅读 下载PDF
面向源代码的软件模型检测及其实现 被引量:6
16
作者 何恺铎 顾明 +2 位作者 宋晓宇 李力 李江 《计算机科学》 CSCD 北大核心 2009年第1期267-272,共6页
模型检测应用于检测软件可靠性具有重要意义。介绍了一种基于谓词抽象和反例引导抽象求精技术对源程序进行建模和验证的模型检测方法,并结合自行研发的Jchecker工具详细介绍了该软件模型检测技术的运作过程和关键算法。
关键词 软件模型检测 源程序验证 谓词抽象 抽象求精 面向源代码
在线阅读 下载PDF
软件模型检测中的抽象 被引量:5
17
作者 袁志斌 徐正权 王能超 《计算机科学》 CSCD 北大核心 2006年第7期276-279,共4页
软件模型检测对保证软件的正确性和可靠性具有十分重要的意义,而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术,介绍了该领域的进展及研究方向。
关键词 软件模型检测 抽象技术 状态爆炸
在线阅读 下载PDF
基于抽象-验证-细化范例的软件模型检测 被引量:4
18
作者 刘吉锋 孙吉贵 《计算机科学》 CSCD 北大核心 2006年第12期255-260,共6页
如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验... 如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验证-细化范例的软件模型检测。 展开更多
关键词 模型检测 软件模型检测 谓词抽象 反例驱动的细化
在线阅读 下载PDF
并行软件模型检测 被引量:3
19
作者 邝宏斌 罗贵明 《计算机工程》 CAS CSCD 北大核心 2008年第19期23-25,29,共4页
并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测,提出一种软件模型检测并行化的方法。该方法利用软件模型检测工具模块化验证(MAGIC)的模块化特性对C程序进行组件分解,将各组件均衡地分发到若干计算节... 并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测,提出一种软件模型检测并行化的方法。该方法利用软件模型检测工具模块化验证(MAGIC)的模块化特性对C程序进行组件分解,将各组件均衡地分发到若干计算节点,由节点调用MAGIC完成验证。由于保证节点间只有少量的通信与同步,该方法能达到较好的并行加速比,具有良好的可扩展性。实验结果显示,该方法大幅压缩了检测时间,有利于大规模软件的形式化验证。 展开更多
关键词 并行模型检测 软件模型检测 标号迁移系统 模块化验证
在线阅读 下载PDF
基于模块化Abstract-Refine算法框架的软件模型检测方法 被引量:1
20
作者 王舜 杜晔 韩臻 《电子学报》 EI CAS CSCD 北大核心 2020年第5期997-1002,共6页
Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析... Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析和解释了Abstract-Refine算法所接受的输入程序的精细结构和特性,并对Abstract-Refine算法和相关子算法运用平衡操作符做以模块化解耦,使得子算法的修改和更换不需要依赖对上层的变更.经过实验验证,本方法可有效实现传统算法模块化解耦,同时不对原算法的性能造成冲击. 展开更多
关键词 软件模型检测 模块化方法 抽象—精炼(Abstract-Refine) 通用算法 抽象程序
在线阅读 下载PDF
上一页 1 2 22 下一页 到第
使用帮助 返回顶部