期刊文献+
共找到180篇文章
< 1 2 9 >
每页显示 20 50 100
机载软件层次化需求的形式化建模与分析
1
作者 王康星 胡军 +3 位作者 王立松 丁鼎 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第1期195-204,共10页
越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchica... 越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先,设计了一个层次化的形式化需求模型。层次化变量关系模型(Hierarchical variable relation model,HVRM)引入工程领域中典型的功能模块属性以及端口等概念来表达系统功能的层次化特征语义,同时也具备原有变量关系模型(Variable relation model,VRM)中基于表格形式的形式化语义,可表示包括条件型、事件型、多维度模式转换等多种类需求的语义信息。进而,基于需求的一致性完整性要求确立了VRM一致性完整性约束簇。其次,设计了一个将工程条目化需求建模为HVRM形式化需求模型的处理框架,并在一个机载软件需求工具平台(Hierarchical avionics requirement tools,HART)中进行了处理功能和需求追溯功能的实现和集成。最后采用某机型自动飞行系统中飞行模式转换软件逻辑需求进行了实例需求建模和模型分析。 展开更多
关键词 计算机软件与理论 需求工程 形式化方法 需求建模与分析 飞行控制系统
在线阅读 下载PDF
Combination Method for Parallel Computation in ODEs
2
作者 Song Xiaoqiu(Beijing Institute of Computer Application and Simulation Technology ) 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1996年第4期19-26,共8页
In this paper, a 3rd order combination method with three processes and a 4th order combination method with five processes for solving ODEs are discussed. These methods are the Runge-Kutta method combined with a linear... In this paper, a 3rd order combination method with three processes and a 4th order combination method with five processes for solving ODEs are discussed. These methods are the Runge-Kutta method combined with a linear multistep method, which overcomes the defect of the 3rd order parallel Runge-Kutta method discussed in [1]. 展开更多
关键词 software RELIABILITY Numerical analysis Combination method Parallel Computation ODEs.
在线阅读 下载PDF
快中子反应堆堆芯物理分析方法的研究现状与发展建议 被引量:1
3
作者 吴宏春 杨红义 +5 位作者 郑友琦 曹良志 杜夏楠 杨勇 刘一哲 胡赟 《原子能科学技术》 EI CAS CSCD 北大核心 2024年第3期513-527,I0004,共16页
快中子反应堆在核能可持续发展中扮演着重要角色,是各核强国都在致力发展的重点堆型。快堆物理计算是快堆核设计的基础,其计算方法的研究和相应计算程序的开发是快堆理论研究和数值模拟技术发展中极其重要的环节。本文对国内外快堆物理... 快中子反应堆在核能可持续发展中扮演着重要角色,是各核强国都在致力发展的重点堆型。快堆物理计算是快堆核设计的基础,其计算方法的研究和相应计算程序的开发是快堆理论研究和数值模拟技术发展中极其重要的环节。本文对国内外快堆物理计算方法,特别是近20年来的发展变化进行了系统梳理,以对国内外专用和通用快堆物理计算程序的总结为线索,介绍了快堆物理分析理论体系的发展情况,对其中体现出的一致性特点和最近几年发展的趋势进行了分析,并对我国快堆堆芯物理分析方法的发展给出了建议,为我国快堆物理计算理论的进步和自主化的物理分析软件研发提供参考。 展开更多
关键词 快中子反应堆 反应堆物理 堆芯分析方法 软件开发
在线阅读 下载PDF
基于Moldex3D的油漆桶桶盖注塑成型过程分析 被引量:2
4
作者 张尧 李章宇 +1 位作者 章金宇 王明伟 《合成树脂及塑料》 CAS 北大核心 2024年第1期62-67,共6页
利用模流分析软件Moldex3D模拟油漆桶桶盖注塑成型过程,研究桶盖模具使用阀式热流道与开式热流道两种不同浇注方案的成型差异,并结合仿真结果设计热流道。通过设计Taguchi DOE实验的因素与水平,优化桶盖产品的注塑工艺参数。结果表明:... 利用模流分析软件Moldex3D模拟油漆桶桶盖注塑成型过程,研究桶盖模具使用阀式热流道与开式热流道两种不同浇注方案的成型差异,并结合仿真结果设计热流道。通过设计Taguchi DOE实验的因素与水平,优化桶盖产品的注塑工艺参数。结果表明:设定工艺参数为熔体温度250℃,保压时间2 s,冷却时间18 s时,产品没有短射、包封等外观质量问题;优化后的注塑工艺参数有效降低了产品的冷却时间。 展开更多
关键词 模流分析软件 MOLDEX3D 热流道 Taguchi法
在线阅读 下载PDF
面向自然崩落法矿山的初始块度预测软件研发及应用 被引量:1
5
作者 郭晓强 谭期仁 +2 位作者 黄敏 黄明发 李邵东 《中国矿业》 北大核心 2024年第2期100-106,共7页
矿石块度是采用自然崩落法开采需要考虑的重要因素。以自然崩落法初始块度预测基本原理为基础,在DIMINE软件平台上采用C++语言开发了初始块度预测软件系统。该系统综合考虑了节理系统的空间几何参数和地应力的作用,支持从块体体积、等... 矿石块度是采用自然崩落法开采需要考虑的重要因素。以自然崩落法初始块度预测基本原理为基础,在DIMINE软件平台上采用C++语言开发了初始块度预测软件系统。该系统综合考虑了节理系统的空间几何参数和地应力的作用,支持从块体体积、等效尺寸和块体形状等不同角度对初始块度结果进行分析。以国外某斑岩型铜矿为例,采用该软件对矿体按勘探线分区进行了初始块度预测,并将结果与国外常用的BCF软件的预测结果进行了对比分析。研究结果表明,矿体勘探线间初始块度的大块率在40.8%~74.8%之间,等效尺寸在1.65~2.63 m之间变化。软件预测的结果与BCF软件预测的结果比较接近,变化趋势基本一致,预测结果为自然崩落法矿山后续的开采设计提供了参考依据。 展开更多
关键词 自然崩落法 初始块度 块度分析 块度预测软件 等效尺寸
在线阅读 下载PDF
基于VOSviewer的米酒研究进展及热点可视化分析 被引量:1
6
作者 魏浩宇 毕陆祥 +1 位作者 郭舒怡 王腾飞 《现代农业研究》 2024年第8期97-103,共7页
米酒作为中国的传统风味食品,具有和血、行气、行神、祛风除湿、壮筋骨等诸多保健功能。为分析米酒的研究进展及热点,本文从文献计量学的角度,利用VOSviewer软件,基于31年间国内外发表的共603篇论文,从时间、空间及研究热点等方向进行... 米酒作为中国的传统风味食品,具有和血、行气、行神、祛风除湿、壮筋骨等诸多保健功能。为分析米酒的研究进展及热点,本文从文献计量学的角度,利用VOSviewer软件,基于31年间国内外发表的共603篇论文,从时间、空间及研究热点等方向进行可视化分析。结果表明,国内米酒相关研究于2019年呈显著增长趋势,国际于2020年以后相关研究文献呈显著增长趋势,目前只有国内逐渐发展出核心作者群,且彼此间研究合作联系较为紧密,国外作者缺乏合作交流;在该领域,中国影响力最大且相关研究论文最多,韩国和日本次之;热点研究内容集中于风味,发酵工艺,抗氧化活性等方面。综上结果,结合知识图谱,期望本文能为拓宽米酒领域研究的广度与深度提供借鉴。 展开更多
关键词 米酒 文献计量法 VOSviewer软件 可视化分析
在线阅读 下载PDF
乌梁素海水质指标的主成分分析 被引量:9
7
作者 代进锋 李畅游 +2 位作者 张生 武国正 李卫平 《农业环境科学学报》 CAS CSCD 北大核心 2007年第B10期400-405,共6页
本文采用主成分分析法对乌梁素海水体的污染程度进行定量化评价,结合前期实测数据,利用Matlab软件,分析出影响乌梁素海水质的主要指标为总氮、总磷、溶解氧、化学需氧量、pH、五日生化需氧量和叶绿素,并分析了污染程度。分析结果与实际... 本文采用主成分分析法对乌梁素海水体的污染程度进行定量化评价,结合前期实测数据,利用Matlab软件,分析出影响乌梁素海水质的主要指标为总氮、总磷、溶解氧、化学需氧量、pH、五日生化需氧量和叶绿素,并分析了污染程度。分析结果与实际相符,具有一定的可靠性和实用性。 展开更多
关键词 主成分分析 MATLAB软件 水质
在线阅读 下载PDF
剪切波分裂分析系统SAM(2007)--软件系统 被引量:54
8
作者 高原 石玉涛 +2 位作者 梁维 刘希强 郝平 《中国地震》 CSCD 北大核心 2008年第4期345-353,共9页
地震各向异性是一种普遍现象,利用剪切波分裂可以研究地壳介质的地震各向异性特性,这是地震学研究中的一个前沿课题。本文介绍了基于SAM(2003R)发展的剪切波分裂系统分析方法软件——SAM(2007)。SAM(2007)在保留原软件系统优点的基础上... 地震各向异性是一种普遍现象,利用剪切波分裂可以研究地壳介质的地震各向异性特性,这是地震学研究中的一个前沿课题。本文介绍了基于SAM(2003R)发展的剪切波分裂系统分析方法软件——SAM(2007)。SAM(2007)在保留原软件系统优点的基础上,修改和发展了新的功能,在资料预处理、数据分析和结果输出等方面都进行了更新或发展,增加了地震定位模块,使新的软件系统更适用于国内的区域地震台网或流动台网资料的处理和分析。 展开更多
关键词 剪切波分裂 系统分析方法 SAM(2007)软件系统 地震各向异性 地壳
在线阅读 下载PDF
故障树分析技术在软件测试中的应用 被引量:9
9
作者 刘文红 王占武 吴欣 《系统工程与电子技术》 EI CSCD 北大核心 2004年第7期985-987,999,共4页
针对故障模式判决软件测试用例设计的特点 ,提出了一种利用故障树分析原理 (FTA)和软件测试用例设计等价类划分方法进行故障模式判决软件测试用例设计的新方法。该方法运用FTA原理进行测试用例设计 ,根据故障判决模式画出故障树 ,将该... 针对故障模式判决软件测试用例设计的特点 ,提出了一种利用故障树分析原理 (FTA)和软件测试用例设计等价类划分方法进行故障模式判决软件测试用例设计的新方法。该方法运用FTA原理进行测试用例设计 ,根据故障判决模式画出故障树 ,将该树作为测试用例设计树 ,然后运用故障树原理获得该树的最小割集 ,将此最小割集作软件测试用例的设计的依据。利用该方法进行测试用例设计保证了测试的充分性、测试用例分布的合理性 ,同时依据此方法设计的测试用例辅助生成软件 ,也极大地提高了软件测试自动化水平。 展开更多
关键词 测试用例设计方法 软件测试 故障树分析原理 割集
在线阅读 下载PDF
剪切波分裂系统分析方法(SAM)软件系统 被引量:70
10
作者 高原 刘希强 +1 位作者 梁维 郝平 《中国地震》 CSCD 北大核心 2004年第1期101-107,共7页
关键词 SAM软件系统 剪切波分裂 系统分析方法 地震应力预测
在线阅读 下载PDF
地震作用下浮放设备摆动反应研究 被引量:10
11
作者 郭恩栋 王滔 +1 位作者 吴伟 胡煜文 《沈阳建筑大学学报(自然科学版)》 EI CAS 2008年第2期252-255,共4页
目的研究浮放设备在实际地震波输入下摆动反应特性.方法根据浮放设备摆动反应分析理论,分析了浮放设备在地震作用下发生摆动的初始条件、发生倾倒的临界条件,给出了浮放设备在地震作用下摆动反应计算分析方法,采用Runge-Kutta法求解浮... 目的研究浮放设备在实际地震波输入下摆动反应特性.方法根据浮放设备摆动反应分析理论,分析了浮放设备在地震作用下发生摆动的初始条件、发生倾倒的临界条件,给出了浮放设备在地震作用下摆动反应计算分析方法,采用Runge-Kutta法求解浮放设备地震摆动反应运动微分方程,编制了相应的计算软件进行了浮放设备地震摆动反应数值模拟研究,得到了浮放设备在真实地震波输入下摆动反应时程及计算结果.结果算例分析结果表明(1)浮放设备宽高比越大,地震摇摆反应越小,反之则易于发生倾倒现象;(2)当浮放设备的宽高比相同时,浮放设备尺寸越小摆动反应越大,越容易倾倒,尺寸越大越稳定;(3)设备宽高比相同的情况下,设备尺寸越大发生倾倒用时越长;宽高比相对较小的设备,当尺寸较大时,发生倾倒所用时间也相对较长.结论由于输入了真实地震波,计算得出浮放设备反应时程及结果是可靠的. 展开更多
关键词 浮放设备 滑移 摇摆 地震摆动反应
在线阅读 下载PDF
软件Agent的一种面向对象设计模型 被引量:23
12
作者 黎建兴 毛新军 束尧 《软件学报》 EI CSCD 北大核心 2007年第3期582-591,共10页
怎样实现软件Agent是设计与开发面向Agent编程语言及工具的关键问题.为基于当前主流的面向对象技术来解决该问题,首先讨论了对象与Agent的主要区别,然后通过对Agent的BDI模型进行简化改进,提出了一种基于对象技术的软件Agent的实现体系... 怎样实现软件Agent是设计与开发面向Agent编程语言及工具的关键问题.为基于当前主流的面向对象技术来解决该问题,首先讨论了对象与Agent的主要区别,然后通过对Agent的BDI模型进行简化改进,提出了一种基于对象技术的软件Agent的实现体系结构及其内部行为自主决策算法.最后,基于该结构及算法并利用设计模式开发出了软件Agent的一种面向对象设计框架.该工作对于上述问题的解决,以及在现有成熟的面向对象技术基础上开发出软件Agent程序设计语言及其支撑环境具有基础指导意义. 展开更多
关键词 软件Agem 实现体系结构 设计框架 POAD(pattern-oriented analysis and design)方法
在线阅读 下载PDF
基于PSASP的电力系统机辅分析软件的开发及其可视化实现 被引量:5
13
作者 刘洪波 穆钢 +3 位作者 安军 施翔 陈立志 孙黎 《中国电力》 CSCD 北大核心 2006年第3期90-94,共5页
可视化技术可以将电力系统运行状态的大量信息以直观、简捷的方式显示给系统运行人员。电力系统综合分析程序(PSASP)以强大的计算仿真功能被广大研究人员所采用。以PSASP的计算功能为内核,开发了包含建模可视化、输出分析可视化的电力... 可视化技术可以将电力系统运行状态的大量信息以直观、简捷的方式显示给系统运行人员。电力系统综合分析程序(PSASP)以强大的计算仿真功能被广大研究人员所采用。以PSASP的计算功能为内核,开发了包含建模可视化、输出分析可视化的电力系统机辅分析软件(CAA)。本软件的仿真计算结果更符合分析人员的思维习惯,实现了基于轨迹分析法的暂态稳定可视化评估;同时具备元件模型参数自动循环调整的功能,可利用差分形式研究参数的轨迹灵敏度;可视化表现方式不仅具有三维显示,同时还可与MATLAB相链接实现多样化的表现方式。算例验证了各项功能的正确性和有效性,为电力系统的运行分析及根据实测轨迹调整参数提供有力的工具。 展开更多
关键词 电力系统 可视化 轨迹分析法 参数调整 软件开发
在线阅读 下载PDF
相关测速声纳工作原理及海试验证 被引量:16
14
作者 冯雷 王长红 +1 位作者 汪玉玲 邱薇 《声学技术》 EI CSCD 北大核心 2005年第2期70-75,共6页
“波形不变性”原理是相关测速声纳的基本工作原理,利用射线声学方法对此原理进行了论述。分析了相关测速声纳的两种设计思路:时间相关和空间相关。提出了采用空间相关的思路设计相关测速声纳样机的具体方法,包括阵型设计、信号设计和... “波形不变性”原理是相关测速声纳的基本工作原理,利用射线声学方法对此原理进行了论述。分析了相关测速声纳的两种设计思路:时间相关和空间相关。提出了采用空间相关的思路设计相关测速声纳样机的具体方法,包括阵型设计、信号设计和软件工作流程,并分别在西太平洋和中国南海进行了两次试验。将海试数据结果与声多普勒流速剖面仪和差分GPS从速度大小和方向上进行了比较,证明了相关测速的可行性,验证了流混响和底混响的相关理论模型、声纳阵设计以及信号处理方法的正确性。 展开更多
关键词 相关测速声纳 “波形不变性”原理 海上试验
在线阅读 下载PDF
基于ANSYS的斜拉桥抖振时域实用分析方法 被引量:10
15
作者 杨咏漪 廖海黎 李永乐 《空气动力学学报》 EI CSCD 北大核心 2004年第4期457-460,共4页
抖振是大跨度桥梁易发生的一种风振形式。基于大型通用有限元软件ANSYS,本文提出了一种大跨度桥梁抖振时域实用分析方法。在该方法中,自激力是通过向有限元模型中添加气动刚度和气动阻尼单元的方式实现的。以深圳湾大桥为例,计算了该桥... 抖振是大跨度桥梁易发生的一种风振形式。基于大型通用有限元软件ANSYS,本文提出了一种大跨度桥梁抖振时域实用分析方法。在该方法中,自激力是通过向有限元模型中添加气动刚度和气动阻尼单元的方式实现的。以深圳湾大桥为例,计算了该桥在不同风速和迎角下的抖振位移响应,与传统频域分析结果的比较表明了该方法的可行性。 展开更多
关键词 抖振 斜拉桥 大跨度桥梁 实用分析方法 自激力 大桥 ANSYS 气动阻尼 风振 位移响应
在线阅读 下载PDF
情报学家对科学的关注与解读(Ⅰ)——情报学家关注科学的视角 被引量:11
16
作者 梁立明 侯长红 朱凌 《情报学报》 CSSCI 北大核心 2002年第6期656-663,共8页
运用WordSmith软件 ,本项研究对 5 6位国际著名情报学家的 2 86 9篇 (部 )论著题目做了词频分析 ,将情报学家的研究对象和研究方法加以梳理、定位、比较和分类 ,凸显出研究热点 ,勾勒出研究趋势 ,展现出情报学家对科学的全方位关注和重... 运用WordSmith软件 ,本项研究对 5 6位国际著名情报学家的 2 86 9篇 (部 )论著题目做了词频分析 ,将情报学家的研究对象和研究方法加以梳理、定位、比较和分类 ,凸显出研究热点 ,勾勒出研究趋势 ,展现出情报学家对科学的全方位关注和重视计量的研究传统。论文分为两部分 ,其一 ,情报学家关注科学的视角 ;其二 。 展开更多
关键词 情报学家 研究对象 WordSmith软件 词频分析 情报科学
在线阅读 下载PDF
运用NASTRAN进行波浪载荷作用下船体强度分析 被引量:12
17
作者 刘俊 汪庠宝 韩继文 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第5期711-714,共4页
充分利用MSC公司的PATRAN和NASTRAN软件,结合自编程序实现波浪载荷作用下的全船准静态强度分析.船体总不平衡力以及结构的总质量,质心位置,主转动惯量,主惯性轴的方向等参数利用PATRAN和NASTRAN的现有功能可以得到;利用自编程序,计算出... 充分利用MSC公司的PATRAN和NASTRAN软件,结合自编程序实现波浪载荷作用下的全船准静态强度分析.船体总不平衡力以及结构的总质量,质心位置,主转动惯量,主惯性轴的方向等参数利用PATRAN和NASTRAN的现有功能可以得到;利用自编程序,计算出波浪载荷下各节点的平衡惯性力,以合适的格式添加进bdf文件,并提交NASTRAN进行全船准静态强度分析.算例表明上述方法可以实现惯性力的计算和施加,从而拓展了NASTRAN软件在船体结构准静态分析中的应用. 展开更多
关键词 波浪载荷 惯性力 船体强度分析 有限元法 NASTRAN软件
在线阅读 下载PDF
水泥混凝土机场道面企口接缝应力分析 被引量:8
18
作者 李晔 姚祖康 +1 位作者 孙旭毅 张长安 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第6期697-701,共5页
利用三维有限元分析软件ANSYS ,对飞机荷载作用下以未设拉杆企口缝形式连接的两块水泥混凝土机场道面板进行了应力分析 ,计算了不同缝隙宽度企口缝的传荷能力及槽口应力分布状态 ,得出了飞机荷载作用下企口缝的破坏形式及可能发生的位置 。
关键词 水泥混凝土机场道面 企口接缝 有限元方法 应力分析 ANSYS软件
在线阅读 下载PDF
基于词频统计分析方法的SaaS国内研究热点分析 被引量:12
19
作者 王颖纯 岳磊 +1 位作者 康在龙 薛山 《情报杂志》 CSSCI 北大核心 2012年第7期44-48,共5页
汇总统计了CNKI全文数据库中SaaS领域所涉及的关键词,利用自编的VB程序统计了这些关键词的词频,确定了我国SaaS理论研究领域使用频率最高的40个关键词,在此基础上,运用共词分析法,以SPSS软件为工具,结合因子分析和聚类分析,探讨了国内S... 汇总统计了CNKI全文数据库中SaaS领域所涉及的关键词,利用自编的VB程序统计了这些关键词的词频,确定了我国SaaS理论研究领域使用频率最高的40个关键词,在此基础上,运用共词分析法,以SPSS软件为工具,结合因子分析和聚类分析,探讨了国内SaaS理论的研究热点。 展开更多
关键词 软件即服务 共词分析 词频分析法 因子分析 聚类分析 研究热点
在线阅读 下载PDF
干旱半干旱区绿洲土地利用区划研究——以新疆伊犁州直为例 被引量:9
20
作者 刘志有 蒲春玲 +3 位作者 余慧容 李柯柯 郝建华 赵晓洁 《水土保持研究》 CSCD 北大核心 2013年第3期283-288,294,共7页
探讨干旱半干旱区绿洲土地利用区划,有利于发挥绿洲区域土地资源优势,促进绿洲社会、经济、生态的可持续发展。以新疆伊犁州直为例,利用伊犁州直2002—2009年土地变更数据和相关社会经济统计数据,建立指标体系,运用层次聚类分析方法,借... 探讨干旱半干旱区绿洲土地利用区划,有利于发挥绿洲区域土地资源优势,促进绿洲社会、经济、生态的可持续发展。以新疆伊犁州直为例,利用伊犁州直2002—2009年土地变更数据和相关社会经济统计数据,建立指标体系,运用层次聚类分析方法,借助GIS软件定性分析,通过定量与定性相结合的分析方法研究绿洲土地利用分区。在坚持行政区完整性、生态环境保护等原则的基础上,最终将伊犁州直县市划分为河谷城镇工业经济发展区、特昭盆地现代农业经济发展区、巩喀流域综合经济发展区和奎屯市工业经济发展区4个土地利用区,并分别指出区域土地利用导向。该方法综合考虑社会经济和生态环境等因素,对伊犁州直土地利用进行了合理分区,研究结果有利于实现区域土地资源的可持续发展和利用的要求。 展开更多
关键词 土地利用区 层次聚类分析 GIS分析 伊犁州直
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部