期刊文献+
共找到438篇文章
< 1 2 22 >
每页显示 20 50 100
化学品多介质逸度模型软件研究进展 被引量:6
1
作者 刘丹 张圣虎 +3 位作者 刘济宁 丁洁 石利利 姚成 《环境化学》 CAS CSCD 北大核心 2014年第6期891-900,共10页
因化学品而产生的环境和健康问题日益引起人们的广泛关注,由于大多数化学品存在剂量-效应关系,使得化学品的暴露水平直接影响其在环境介质中的生态效应,多介质模型可以预测化学品在环境各介质中的浓度水平,为预防和控制化学品的生态风... 因化学品而产生的环境和健康问题日益引起人们的广泛关注,由于大多数化学品存在剂量-效应关系,使得化学品的暴露水平直接影响其在环境介质中的生态效应,多介质模型可以预测化学品在环境各介质中的浓度水平,为预防和控制化学品的生态风险提供理论支撑.本文详细调查了近年来基于逸度理论开发的多介质模型软件的应用状况,分析和总结了常用逸度模型软件的功能、特点、应用领域等,并展望了化学品多介质模型逸度软件的发展趋势,以期为化学品的环境风险评价和环境管理提供技术参考. 展开更多
关键词 化学品 暴露评估 风险评价 逸度 模型软件
在线阅读 下载PDF
基于一体化模型软件的汽轮机转子热应力在线计算模型
2
作者 刘彦丰 郝润田 高建强 《华北电力大学学报(自然科学版)》 CAS 北大核心 2008年第4期33-37,共5页
由能量平衡法导出了汽轮机转子二维温度场及热应力在线计算公式。在一体化模型软件的仿真系统支撑下,结合工程模块化的建模思想,建立了汽轮机转子二维温度场及热应力在线计算模型。通过仿真试验与同条件下的有限元结果作了对比,结果表明... 由能量平衡法导出了汽轮机转子二维温度场及热应力在线计算公式。在一体化模型软件的仿真系统支撑下,结合工程模块化的建模思想,建立了汽轮机转子二维温度场及热应力在线计算模型。通过仿真试验与同条件下的有限元结果作了对比,结果表明:所建模型计算精度高,计算速度快。模型模块化的结构设计,方便了不同型号汽轮机转子几何尺寸的修改,且网格划分灵活,同时该模型还可用于其他具有类似边界条件轴对称体结构的热状态分析。 展开更多
关键词 一体化模型软件 汽轮机转子 热应力 在线 模型
在线阅读 下载PDF
基于模型软件技术的火电仿真机虚拟DCS升级设计
3
作者 钱虹 叶建华 +1 位作者 薛阳 杨旭红 《计算机应用与软件》 CSCD 2009年第2期208-210,共3页
结合目前火电厂普遍存在的集散控制系统升级的要求,对与之对应的火电厂仿真机的虚拟DCS进行升级。在最大程度保留原有模型的前提下,提出了基于模型技术的升级方案。由该方案实现的升级的仿真机保留原有的运行基本特性,同时又可对运行人... 结合目前火电厂普遍存在的集散控制系统升级的要求,对与之对应的火电厂仿真机的虚拟DCS进行升级。在最大程度保留原有模型的前提下,提出了基于模型技术的升级方案。由该方案实现的升级的仿真机保留原有的运行基本特性,同时又可对运行人员进行面向升级虚拟DCS的操作培训。 展开更多
关键词 升级 模型软件技术 集散控制系统 仿真机 虚拟DCS
在线阅读 下载PDF
农药环境风险评估中常用的计算毒理学模型软件 被引量:13
4
作者 左平春 于洋 +4 位作者 张楠 郑玉婷 李嘉琦 林军 纪明山 《生态毒理学报》 CAS CSCD 北大核心 2017年第4期98-109,共12页
农药的大量使用为我国带来了严重的环境和健康问题,仅依靠传统生物测试和环境监测的方法已经不能满足农药风险评估的需要。利用计算毒理学模型,可以实现农药的高通量风险评估。本文主要介绍了农药环境风险评估中常用免费的EPI Suite、QS... 农药的大量使用为我国带来了严重的环境和健康问题,仅依靠传统生物测试和环境监测的方法已经不能满足农药风险评估的需要。利用计算毒理学模型,可以实现农药的高通量风险评估。本文主要介绍了农药环境风险评估中常用免费的EPI Suite、QSAR Toolbox和PBT Profiler等定量结构-活性关系(Quantitative Structure-Activity Relationship,QSAR)模型软件和SCIGROW、PRZM-GW、China-PEARL和EQC等环境多介质模型软件,以期能为农药的风险评估和科学管理提供参考。 展开更多
关键词 农药 风险评估 计算毒理学 模型软件
在线阅读 下载PDF
利用图形有限元模型软件实现已有分析程序前、后处理的技术
5
作者 申志勇 朱玉珑 《小型微型计算机系统》 CSCD 北大核心 1990年第8期29-34,共6页
本文介绍了图形有限元模型软件的基本功能,并以BRAVO3系统为例,具体阐述了利用系统中的GRAFEM(GR APhic Finite Element Modeling)软件实现已有分析程序(SAP5、ADINA等)前、后处理一体化的过程,为解决分析程序与前、后处理相脱节的矛盾... 本文介绍了图形有限元模型软件的基本功能,并以BRAVO3系统为例,具体阐述了利用系统中的GRAFEM(GR APhic Finite Element Modeling)软件实现已有分析程序(SAP5、ADINA等)前、后处理一体化的过程,为解决分析程序与前、后处理相脱节的矛盾,探索出一条新途径。利用这种方法可开发出不同环境下的SAP5和ADINA等一体化程序。 展开更多
关键词 图形有限元 分析程序 模型软件
在线阅读 下载PDF
软件中总故障个数相关的不完美排错可靠性模型建模机理与述评
6
作者 张策 孙智超 +2 位作者 纪可行 王金勇 王宇彬 《计算机科学》 北大核心 2025年第6期21-34,共14页
挖掘可靠性研究中,软件故障总数对测试资源分配、可靠性变动影响以及最优发布等具有重要意义,但迄今为止鲜有从故障总数的角度进行可靠性研究。针对贴近真实测试环境的不完美排错等问题,对软件中故障总数相关的可靠性增长模型进行深入... 挖掘可靠性研究中,软件故障总数对测试资源分配、可靠性变动影响以及最优发布等具有重要意义,但迄今为止鲜有从故障总数的角度进行可靠性研究。针对贴近真实测试环境的不完美排错等问题,对软件中故障总数相关的可靠性增长模型进行深入研究和系统述评。首先,对软件可靠性增长模型SRGM(Software Reliability Growth Model)进行评述,给出研究主题、本质与技术内涵,引出软件中故障总数分析。从排错的不完全角度引入不同的新故障模型视角,建立不完美排错模型,分类研究多种情况下软件中故障总数与累积检测到的故障数量二者的变动情况。然后,从排错的不完全性与引入新故障的角度,建立统一的二元一阶不完美排错微分方程组描述软件测试过程,求解得到相应的故障总数与累积检测故障数量表达式。对上述两大类情况下不完美排错模型在多个真实计算机工程系统失效数据集上进行验证,从拟合与预测角度分析不同模型的性能,进而分析软件中故障总数对可靠性的影响。结果表明,故障总数对可靠性模型具有明显影响,其自身性能能够支撑可靠性的增长与性能提升。最后,指出了下一步研究挑战与亟待解决的问题。 展开更多
关键词 可靠性 软件可靠性增长模型 可靠性建模 总故障个数 不完美排错
在线阅读 下载PDF
基于动态隔离的工业互联网恶意软件传播模型研究
7
作者 王军 杨璐 +1 位作者 杨子钰 付强 《辽宁工程技术大学学报(自然科学版)》 北大核心 2025年第2期226-236,共11页
为更真实地描述恶意软件在工业互联网中的传播动态行为,基于动力学系统理论,引入时延因素,构建可变隔离率的时延恶意软件传播模型。针对恶意软件感染早期阶段感染节点数量较小的特点,模型根据感染主机数量的变化动态调整隔离率;对模型... 为更真实地描述恶意软件在工业互联网中的传播动态行为,基于动力学系统理论,引入时延因素,构建可变隔离率的时延恶意软件传播模型。针对恶意软件感染早期阶段感染节点数量较小的特点,模型根据感染主机数量的变化动态调整隔离率;对模型进行数值分析和仿真实验,结合理论推导得出Hopf分岔的阈值。研究结果表明:时延的存在导致系统出现Hopf分岔现象,当时延小于阈值时,系统保持稳定;当时延超过阈值时,系统呈现不稳定状态。表明该模型能够更准确地预测恶意软件传播的动态过程。研究结论为工业互联网安全防护策略的制定提供理论依据。 展开更多
关键词 网络安全 工业互联网 恶意软件传播模型 动态隔离 时延系统 Hopf分岔阈值
在线阅读 下载PDF
一种自适应数据交易软件模型设计技术
8
作者 汤奇峰 虞慧群 +1 位作者 范贵生 邵志清 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第1期137-145,共9页
在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适... 在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适应数据交易软件模型设计和验证方法。在分析数据交易业务需求的基础上,提出了一种基于Petri网的形式化数据交易自适应软件建模方法,基于Petri网和模型库方法建立数据交易业务流程的形式化模型和控制策略实施技术,Petri网的形式化语义能够有效支持数据交易系统的性质分析。最后,通过仿真实验说明所提方法的有效性和可行性。 展开更多
关键词 数据交易 软件模型设计 PETRI网 验证 性能分析
在线阅读 下载PDF
基于MARTE和STAMP的安全关键软件测试建模方法
9
作者 薛雯耀 王轶辰 任庆玮 《计算机科学》 北大核心 2025年第S1期843-852,共10页
基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件... 基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件安全性分析深度集成到软件模型构建过程中。该方法结合MARTE(实时和嵌入式系统建模与分析)建模语言和STAMP(系统理论事故模型与过程)理论,通过扩展MARTE构造型或增加标签的方式对非功能属性进行描述,并在MARTE视图层次融入STAMP控制结构模型。最终,通过STPA(系统理论过程分析)技术进行迭代建模,形成一个多视图的混合模型。STPA方法中的控制结构构建、不安全控制行为识别及致因场景分析等步骤展现出更高的分析深度和自动化潜力。案例研究表明,所提方法能够有效且清晰地展示软件系统的功能和非功能性能需求,更好地实现基于模型的软件安全特性刻画,并为测试用例的自动化生成和建模提供坚实的技术基础。 展开更多
关键词 MARTE模型 STAMP理论 STPA方法 安全关键软件 基于模型软件工程
在线阅读 下载PDF
基于加权标准化优化选择软件可靠性模型研究
10
作者 王金勇 《计算机应用与软件》 北大核心 2024年第2期14-24,共11页
到目前为止,没有一种软件可靠性模型能够适用在所有的软件测试的环境中。因此,研究优化选择软件可靠性模型的方法来选出适合当时软件测试环境下的软件可靠性模型是一个重要的问题。提出一种简单的加权标准化的方法来优化选择软件可靠性... 到目前为止,没有一种软件可靠性模型能够适用在所有的软件测试的环境中。因此,研究优化选择软件可靠性模型的方法来选出适合当时软件测试环境下的软件可靠性模型是一个重要的问题。提出一种简单的加权标准化的方法来优化选择软件可靠性模型。选用十三个软件可靠性模型,十个评测软件可靠性模型性能标准和两个故障数据集来进行相应的实验。实验结果表明提出的加权标准化优化选择模型的方法能够有效地选出最优软件可靠性模型。 展开更多
关键词 加权标准化 优化选择 软件可靠性模型
在线阅读 下载PDF
一种基于Agent的自适应软件过程模型 被引量:29
11
作者 赵欣培 李明树 +2 位作者 王青 陈振冲 梁金能 《软件学报》 EI CSCD 北大核心 2004年第3期348-359,共12页
传统的软件过程模型大多是静态的、机械的、被动的,它们要求软件工程人员在描述软件过程时预期所有可能发生的情况,并且显式地定义这些问题的解决方案.当软件过程所处的环境发生变化时,软件过程无法自适应地对这些变更作出相应的调整.... 传统的软件过程模型大多是静态的、机械的、被动的,它们要求软件工程人员在描述软件过程时预期所有可能发生的情况,并且显式地定义这些问题的解决方案.当软件过程所处的环境发生变化时,软件过程无法自适应地对这些变更作出相应的调整.提出了一种基于Agent的自适应软件过程模型.在这种软件过程模型中,软件过程被描述为一组相互独立而对等的实体——软件过程Agent.这些软件过程Agent能够对软件过程环境的变化主动地、自治地作出反应,动态地确定和变更其行为以实现软件开发的目标. 展开更多
关键词 软件过程模型 软件过程 自适应 AGENT 人工智能
在线阅读 下载PDF
经营过程绩效模型库软件的检索与重用机制 被引量:1
12
作者 周剑 李清 +2 位作者 肖田元 刘昕 赵景亮 《计算机应用》 CSCD 北大核心 2007年第1期180-182,185,共4页
探讨了企业战略和外部环境对经营过程绩效体系的影响,在此基础上提出了经营过程绩效模型检索及参考模型生成方法,并以该检索与生成机制为核心构建了经营过程绩效模型库管理软件,以支持绩效模型的重用。最后,结合实际案例介绍了该模型库... 探讨了企业战略和外部环境对经营过程绩效体系的影响,在此基础上提出了经营过程绩效模型检索及参考模型生成方法,并以该检索与生成机制为核心构建了经营过程绩效模型库管理软件,以支持绩效模型的重用。最后,结合实际案例介绍了该模型库管理软件的应用。 展开更多
关键词 经营过程 绩效评价 企业战略 模型软件
在线阅读 下载PDF
教学软件生产的层次模型 被引量:4
13
作者 汪琼 朱万森 杨芙清 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 1998年第5期689-693,共5页
首先分析了目前存在的各种软件生产模式,结合教学软件多变性、个体性和群体性特点,提出了教学软件生产的层次模型,分析了各层次的主要工作,以及该模型实施的组织结构。教学软件生产的层次模型是为了解决“如何在提高教学软件数量的... 首先分析了目前存在的各种软件生产模式,结合教学软件多变性、个体性和群体性特点,提出了教学软件生产的层次模型,分析了各层次的主要工作,以及该模型实施的组织结构。教学软件生产的层次模型是为了解决“如何在提高教学软件数量的同时提高教学软件的质量”这一课题而提出的。 展开更多
关键词 软件生产模型 软件开发模型 教学软件 CAI
在线阅读 下载PDF
基于SPEM的CMM软件过程元模型 被引量:10
14
作者 李娟 李明树 +1 位作者 武占春 王青 《软件学报》 EI CSCD 北大核心 2005年第8期1366-1377,共12页
软件企业在实施CMM(capabilitymaturitymodelforsoftware)的过程中面临最主要的障碍是如何将CMM软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过... 软件企业在实施CMM(capabilitymaturitymodelforsoftware)的过程中面临最主要的障碍是如何将CMM软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型——SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UMLCASE工具操作CMM软件过程模型. 展开更多
关键词 CMM 软件过程元模型 软件过程工程元模型 模型驱动架构 模型转换
在线阅读 下载PDF
基于UML的列车运行调度系统软件模型 被引量:6
15
作者 王宏刚 张一军 +2 位作者 张琦 王建英 王壮峰 《中国铁道科学》 EI CAS CSCD 北大核心 2005年第5期107-111,共5页
按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两... 按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两个角度描述调度系统的软件模型。用例图从用户的角度描述系统的功能;类结构图指明系统中存在的类以及类之间的静态关系,描述系统的静态模型;序列图着重描述控制流在对象之间的流动过程,状态转移图描述对象的转移过程以及状态变化的条件。序列图和状态转移图从不同的角度描述系统的动态行为,建立系统的动态模型。该模型已用VC++6.0实现,并在高速铁路综合调度仿真系统中得到应用。 展开更多
关键词 列车运行调度 UML 软件模型 面向对象 软件工程
在线阅读 下载PDF
基于面向对象技术的数控软件模型及实现 被引量:14
16
作者 王宇晗 胡俊 蔡建国 《组合机床与自动化加工技术》 北大核心 2000年第7期4-6,17,共4页
针对当前数控系统软件可重用性差的现状 ,本文采用建立面向对象的数控软件模型的方法来提高数控软件的可重用性。在分析数控软件结构的基础上 ,建立了数控软件的通用类库 ,由类的继承性实现各个功能模块代码的可重用 ;采用客户 /服务器... 针对当前数控系统软件可重用性差的现状 ,本文采用建立面向对象的数控软件模型的方法来提高数控软件的可重用性。在分析数控软件结构的基础上 ,建立了数控软件的通用类库 ,由类的继承性实现各个功能模块代码的可重用 ;采用客户 /服务器模式建立了运行于双CPU、Windows95 /NT平台下的通用对象关系模型 ,并实现了多任务并行调度。实际应用表明 ,该方法是可行的。 展开更多
关键词 数控系统 数控软件模型 面向对象技术
在线阅读 下载PDF
钢铁企业APS优化引擎的软件模型研究及应用 被引量:7
17
作者 施灿涛 杨国俊 李铁克 《计算机应用研究》 CSCD 北大核心 2011年第2期606-608,共3页
分析了钢铁企业APS理论和应用研究现状,总结了钢铁生产计划体系中的优化问题和求解方法,在此基础上,提出了钢铁企业APS优化引擎的软件模型ISMA。模型以通用性、独立性、可重用性和可扩展性为目标,分为接口层、求解层、模型层和算法层,... 分析了钢铁企业APS理论和应用研究现状,总结了钢铁生产计划体系中的优化问题和求解方法,在此基础上,提出了钢铁企业APS优化引擎的软件模型ISMA。模型以通用性、独立性、可重用性和可扩展性为目标,分为接口层、求解层、模型层和算法层,阐述了各层的分工和协作方式。最后以钢轧一体化批量计划编制问题为例,说明了模型的应用方法。 展开更多
关键词 钢铁生产 高级计划与排程系统 优化引擎 软件模型
在线阅读 下载PDF
软件开发模型研究综述 被引量:55
18
作者 张友生 李雄 《计算机工程与应用》 CSCD 北大核心 2006年第3期109-115,共7页
在软件工程活动中,首要的任务是选择一个适合于组织实际情况的软件开发模型和软件过程。文章对常用的软件开发模型进行了系统的介绍和总结,给出了这些模型之间的关系、各自的特点和适用场合。
关键词 软件开发模型 需求分析 体系结构 软件过程
在线阅读 下载PDF
支持模型驱动式软件开发的建模语言框架研究 被引量:4
19
作者 李晋 战德臣 +1 位作者 聂兰顺 徐晓飞 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第4期464-475,共12页
随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支... 随着模型驱动体系结构(model driven architecture,MDA)技术和环境的不断发展,模型驱动软件开发(model driven development,MDD)已经成为一种新的软件开发模式,对于MDD软件开发过程中的核心问题,即面向不同应用领域需要多种建模语言支持模型的建立和模型之间的转换,其中,模型转换问题的有效解决直接取决于模型如何建立.针对这些核心问题,提出了一个基于元对象机制(metaobject facility,MOF)的建模语言体系结构,支持定义建模语言的抽象语法和具体语法.该体系结构能够有效地纳入、精化统一建模语言(unified modeling language,UML)等现有的建模语言,并支持按需定义新的建模语言,支持建模语言的演化以实现不同应用领域的建模.针对模型转换与模型验证所必须的模型形式化要求,引入网络本体语言(web ontology language,OWL)实现了建模语言的形式化描述.基于Eclipse设计实现了支持该体系结构的建模工具ICE-Modeling Tool,整合现有业务和软件建模语言并扩展定义了一套完整的MDD模型元素体系,所提出的模型元素体系及工具能够支持MDD软件开发过程中准确描述语义,低成本、有效进行模型转换及快速验证模型,在物流服务行业的应用初步验证了体系结构和工具的有效性. 展开更多
关键词 模型驱动软件开发 元对象机制 建模语言 网络本体语言
在线阅读 下载PDF
对象式软件需求模型及其机器支撑 被引量:7
20
作者 张家重 王志坚 +1 位作者 伊波 徐家福 《软件学报》 EI CSCD 北大核心 1998年第6期414-418,共5页
为了研究需求级软件自动化技术,研制对象式软件需求分析支撑系统的需要,文章提出了一个层次化对象式软件需求模型NDHORM(Nanjingdaxuehierarchicalobject-orientedrequireme... 为了研究需求级软件自动化技术,研制对象式软件需求分析支撑系统的需要,文章提出了一个层次化对象式软件需求模型NDHORM(Nanjingdaxuehierarchicalobject-orientedrequirementsmodeling),它主要包括对象关系模型、类关系模型和类字典3个组成部分.文章基于对对象式需求模型的简要讨论,详细介绍了NDHORM模型的组成、层次结构及对象精化,给出了NDHORM的构模过程,最后简要介绍了NDHORM模型的机器支撑系统. 展开更多
关键词 面向对象 机器支撑 软件需求模型 软件开发
在线阅读 下载PDF
上一页 1 2 22 下一页 到第
使用帮助 返回顶部