期刊文献+
共找到47,336篇文章
< 1 2 250 >
每页显示 20 50 100
Yangian与C.G.系数的升降算符求解及其Mathematica软件包 被引量:1
1
作者 赵书城 康向阳 解炳昊 《兰州大学学报(自然科学版)》 EI CAS CSCD 北大核心 2000年第3期67-73,共7页
利用 Yangian代数 Y(sl(2 ) )的一种实现 ,在量子力学原有升降算符的基础上 ,增加一个由Y(sl(2 ) )给出的算符 O± (j) ,得到了 C.G.(Clebsch- Gordan)系数的纯算符求法 ,这种求法具有更直观的物理意义 .并给出了根据这一理论编制的... 利用 Yangian代数 Y(sl(2 ) )的一种实现 ,在量子力学原有升降算符的基础上 ,增加一个由Y(sl(2 ) )给出的算符 O± (j) ,得到了 C.G.(Clebsch- Gordan)系数的纯算符求法 ,这种求法具有更直观的物理意义 .并给出了根据这一理论编制的 Mathematica软件包 ,本软件包既能求出 C.G.系数的数值结果 ,又能求出其代数表达式 . 展开更多
关键词 YANGIAN mathematica软件 C-G系数 升降算符
在线阅读 下载PDF
Mathematica软件在数学教学中的应用探索 被引量:5
2
作者 孔祥强 《计算机应用与软件》 CSCD 北大核心 2012年第6期141-144,共4页
Mathematica软件是专门进行数学类计算的软件,其主要功能是符号运算功能和绘图功能。在高等数学的教学过程中引入Mathematica软件,有利于增强教学内容的直观性,激发学生学习数学的兴趣,提高解决实际问题的能力。
关键词 mathematica软件 高等数学 绘图
在线阅读 下载PDF
用Mathematica软件绘制空间图形的方法和技巧 被引量:10
3
作者 王高峡 《重庆工学院学报》 2007年第13期17-20,共4页
在多元函数的微积分教学中,一个突出的问题是学生空间思维能力的不足.为改变这一现状,可利用Mathematica软件绘制空间图形来制作教学课件.讨论了用该软件制作空间图形,尤其是空间曲面的方法与技巧.
关键词 mathematica软件 高等数学 多元函数 空间图形
在线阅读 下载PDF
Mathematica软件在微积分教学中的应用 被引量:3
4
作者 马千里 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第S1期135-136,共2页
从微积分教学的现状出发,分析了我国微积分教学存在的一些问题.结合实际,提出了改进微积分课教学的方案.
关键词 教学改革 mathematica软件 微积分
在线阅读 下载PDF
Mathematica软件在函数图形绘制及特性分析中的应用 被引量:6
5
作者 李国 蒋彦 +1 位作者 杨东升 梁宏军 《现代电子技术》 2006年第22期59-60,66,共3页
函数图形绘制及其特性分析在科学研究中具有重要的地位,利用Mathematica软件强大的绘图功能,从多元函数的极限、梯度场、重积分的定义、重积分计算中的定限、柱面坐标系和球面坐标系的几何解释等方面探讨利用Mathematica软件平台进行三... 函数图形绘制及其特性分析在科学研究中具有重要的地位,利用Mathematica软件强大的绘图功能,从多元函数的极限、梯度场、重积分的定义、重积分计算中的定限、柱面坐标系和球面坐标系的几何解释等方面探讨利用Mathematica软件平台进行三维图形绘制和特性分析的方法,有助于提高数学分析能力和解决综合应用问题的能力。 展开更多
关键词 数学软件 mathematica 5.0 几何图形 特性分析
在线阅读 下载PDF
Mathematica软件对无阻力配重复摆周期的研究 被引量:2
6
作者 陈希明 龚云贵 +2 位作者 房然然 徐晨 陈宇峰 《实验室研究与探索》 CAS 北大核心 2012年第10期59-63,80,共6页
以均质细杆上加一配重在摆动中不受阻力作用作为物理模型,从配重复摆振动的非线性微分方程出发,借助Mathematica数学软件求得复摆非线性微分方程的数值解并进行作图,并从数值解中获取周期的信息,研究了3种情况下的周期。研究表明,周期... 以均质细杆上加一配重在摆动中不受阻力作用作为物理模型,从配重复摆振动的非线性微分方程出发,借助Mathematica数学软件求得复摆非线性微分方程的数值解并进行作图,并从数值解中获取周期的信息,研究了3种情况下的周期。研究表明,周期的数值解具有较高的精度,这种数值求解方法扩展了配重复摆的研究途径与方法,具有一定的应用价值。 展开更多
关键词 mathematica 配重复摆 周期
在线阅读 下载PDF
运用Mathematica软件包求解2人矩阵对策 被引量:9
7
作者 赵东方 《华中师范大学学报(自然科学版)》 CAS CSCD 2005年第3期291-293,297,共4页
因为在对策论中3阶以上2人零和矩阵对策的人工求解是比较困难的,所以给出了通过线性规划和对偶线性规划求解2人零和矩阵对策的解的M athem atica程序,以及2人非零和2×2矩阵对策的解的M athem atica程序.
关键词 对策论 2人零和矩阵对策 数学软件 mathematica
在线阅读 下载PDF
计算多个费曼图的不变振幅平方的Mathematica软件
8
作者 孙腊珍 季永华 马文淦 《中国科学技术大学学报》 CAS CSCD 北大核心 1993年第4期421-423,共3页
利用Mathematica符号处理系统,发展了一种用于直接计算多个费曼图不变振幅平方的软件。利用该软件,用户仅需要根据费曼规则,输入所有有贡献的图的振幅,即可求出粒子过程的不变振幅平方。
关键词 费曼图 振幅 平方 粒子物理学 软件
在线阅读 下载PDF
利用Mathematica软件分析ZW型喷水织机打纬机构
9
作者 徐卫英 《丝绸》 CAS 北大核心 1999年第4期34-35,共2页
运用Mathematica软件对ZW型喷水织机打纬机构进行运动学分析。
关键词 喷水织机 打纬机构 软件 运动学分析 ZW型
在线阅读 下载PDF
基于词嵌入和特征融合的恶意软件检测研究 被引量:1
10
作者 师智斌 孙文琦 +1 位作者 窦建民 于孟洋 《信息安全研究》 北大核心 2025年第5期412-419,共8页
针对现有传统方法存在特征提取和表示受限、无法同时捕获API序列的空间语义特征和时序特征、无法捕获能决定目标任务的关键特征信息等问题,利用自然语言处理领域的词嵌入技术和多模型特征抽取以及特征融合技术,提出一种基于词嵌入和特... 针对现有传统方法存在特征提取和表示受限、无法同时捕获API序列的空间语义特征和时序特征、无法捕获能决定目标任务的关键特征信息等问题,利用自然语言处理领域的词嵌入技术和多模型特征抽取以及特征融合技术,提出一种基于词嵌入和特征融合的恶意软件检测方法.首先使用自然语言处理领域的词嵌入技术对API序列编码,得到其语义特征编码表示;然后分别利用多重卷积网络和Bi-LSTM网络提取API序列的n-gram局部空间特征和时序特征;最后利用自注意力机制对捕获的特征进行关键位置信息的深度融合,通过刻画深层恶意行为特征实现分类任务.实验结果表明,在二分类任务中,该方法准确率达到94.79%,相较于传统机器学习方法平均提高了12.37%,比深度学习方法平均提高5.78%.在多分类任务中,该方法的准确率也达到91.95%,能够有效地提高对恶意软件的检测准确率. 展开更多
关键词 恶意软件检测 软件调用序列 多重卷积网络 长短期记忆网络 特征融合
在线阅读 下载PDF
基于分阶段增长测试信息的软件可靠性贝叶斯验证方案
11
作者 王玉琢 刘海涛 +2 位作者 袁昊劼 翟亚利 张志华 《计算机科学》 北大核心 2025年第9期360-367,共8页
针对现有贝叶斯方案的先验分布确定方法对软件可靠性分阶段增长测试信息加工偏保守、假设条件偏理想的问题,利用正则不完全贝塔函数与二项分布累积和之间的恒等关系式,给出增长测试最后一阶段软件成功率的边缘概率分布模型。在此基础上... 针对现有贝叶斯方案的先验分布确定方法对软件可靠性分阶段增长测试信息加工偏保守、假设条件偏理想的问题,利用正则不完全贝塔函数与二项分布累积和之间的恒等关系式,给出增长测试最后一阶段软件成功率的边缘概率分布模型。在此基础上,提出了顺序约束条件下的软件成功率先验分布确定方法,并从保护使用方利益的角度设计了基于平均后验风险的软件可靠性贝叶斯验证方案。经实例和仿真验证,所提先验分布确定方法对软件可靠性分阶段增长测试信息的加工更合理,设计的贝叶斯方案能在保证方案可信度的前提下明显减少可靠性验证测试用例数量,减轻测试负担,具有一定的经济价值。 展开更多
关键词 软件可靠性验证 可靠性增长测试 软件成功率
在线阅读 下载PDF
基于细粒度代码表示和特征融合的即时软件缺陷预测方法
12
作者 朱晓燕 王文格 +1 位作者 王嘉寅 张选平 《计算机科学》 北大核心 2025年第1期242-249,共8页
即时软件缺陷预测指在软件更改初次提交之际预测该更改引入缺陷的倾向。此类预测针对单一程序变更,而非在粗粒度上进行。由于其即时性和可追溯性,该技术已在持续测试等领域得到广泛应用。目前的研究中,提取变更代码表示的方法粒度较粗,... 即时软件缺陷预测指在软件更改初次提交之际预测该更改引入缺陷的倾向。此类预测针对单一程序变更,而非在粗粒度上进行。由于其即时性和可追溯性,该技术已在持续测试等领域得到广泛应用。目前的研究中,提取变更代码表示的方法粒度较粗,仅标出了变更行,而没有进行细粒度的标记。此外,现有的使用提交内容进行缺陷预测的方法,仅仅是把提交消息与变更代码的特征进行简单拼接,缺失了在特征空间上的深度对齐,这使得在提交消息质量参差不齐的情况下,会出现预测结果易受噪声干扰的情形,并且现有方法也未将领域专家设计的人工特征以及变更内容中的语义语法信息综合起来进行预测。为了解决上述问题,提出了一种基于细粒度代码表征和特征融合的即时软件缺陷预测方法。通过引入新的变更嵌入计算方法来在细粒度上表示变更代码。同时,引入特征对齐模块,降低提交消息中噪声对方法性能的影响。此外,使用神经网络从人工设计的特征中学习专业知识,充分利用现有特征进行预测。实验结果表明,相较于现有方法,该方法在3个性能指标上均有显著提升。 展开更多
关键词 即时软件缺陷预测 特征融合 软件工程 深度学习 代码表示
在线阅读 下载PDF
基于SOA边界组件的地球物理正反演软件平台
13
作者 曹礼刚 施明智 罗耀华 《计算机应用与软件》 北大核心 2025年第2期29-34,71,共7页
基于SOA边界组件模式,构建模块化、跨环境的地球物理电法勘探正反演通用软件平台。该平台依托地球物理正反演计算流程和基本业务逻辑,通过构建兼容C#、Python、MATLAB、Surfer及C++等不同语言和环境的接口,实现跨开发环境调用已有的算... 基于SOA边界组件模式,构建模块化、跨环境的地球物理电法勘探正反演通用软件平台。该平台依托地球物理正反演计算流程和基本业务逻辑,通过构建兼容C#、Python、MATLAB、Surfer及C++等不同语言和环境的接口,实现跨开发环境调用已有的算法模块,高效地提高地球物理软件开发效率。为了演示平台的电法勘探正反演计算流程,以直流电阻率法为例进行正反演计算演示,并给出平台的结果展示界面。 展开更多
关键词 SOA 地球物理 软件平台
在线阅读 下载PDF
基于情绪分类的五行音乐软件在恶性肿瘤人群中的设计与应用
14
作者 赵楠 谷珊珊 +7 位作者 赵静涛 解红梅 王文军 何米芮 任桂菊 陈淑颖 李光敏 廖娟 《世界科学技术-中医药现代化》 北大核心 2025年第7期1990-1999,共10页
目的本研究基于中医五音疗疾和音乐情绪分类理论,旨在设计一款能够针对肿瘤患者负性情绪状态提供适宜音乐素材的五行音乐软件,并评估其在肿瘤患者心理康复中的应用效果。方法①音乐筛选分类:采用质化分析由中医学、心理学、护理学、音乐... 目的本研究基于中医五音疗疾和音乐情绪分类理论,旨在设计一款能够针对肿瘤患者负性情绪状态提供适宜音乐素材的五行音乐软件,并评估其在肿瘤患者心理康复中的应用效果。方法①音乐筛选分类:采用质化分析由中医学、心理学、护理学、音乐学6位专家,筛选五音调式乐曲并划分对应的情绪类别;②软件设计开发:基于筛选和分类的音乐素材,设计开发“基于情绪分类的五行音乐软件”;③软件应用评价:招募“北京抗癌乐园”50名癌症患者作为受试者,对音乐软件进行试听体验,并填写满意度问卷以评估其应用效果。结果本研究建立了包含150首五音调式乐曲的音乐数据库,并完成了情绪类别的划分。纳入的受试者中,80%的招募对象对五行音乐软件体验表示满意,其中女性患者应用体验明显优于男性,乳腺癌患者优于其他癌种患者,差异有统计学意义(P<0.05)。五行音乐软件临床应用显示,经过4周干预后,五行音乐软件组在HAMD指标中,与其他两组组间比较,差异具有统计学意义(P<0.05)。结论本研究基于情绪分类设计的五行音乐软件能够有效满足肿瘤患者的心理康复需求,为调节肿瘤相关负性情绪提供适宜的音乐素材和便捷的聆听方法,实现将心理康复从医院延续到家庭。 展开更多
关键词 五行音乐 情绪分类 音乐软件 肿瘤患者 心理干预
在线阅读 下载PDF
基于LabVIEW的智能建筑外墙饰面砖脱空识别软件开发
15
作者 龙士国 刘昳嵘 +3 位作者 李心怡 欧阳德威 彭强 彭克军 《应用声学》 北大核心 2025年第1期245-251,共7页
建筑外墙饰面砖出现脱空现象导致行人出行安全隐患。建筑外墙饰面砖常用锤击检测法识别脱空,识别结果需检测人员的判断。为了进一步提高检测准确率,该文应用LabVIEW开发了智能建筑外墙饰面砖脱空识别软件。该软件基于有限状态机模型开... 建筑外墙饰面砖出现脱空现象导致行人出行安全隐患。建筑外墙饰面砖常用锤击检测法识别脱空,识别结果需检测人员的判断。为了进一步提高检测准确率,该文应用LabVIEW开发了智能建筑外墙饰面砖脱空识别软件。该软件基于有限状态机模型开发了数据采集、数据分析和数据管理等功能模块。其中数据分析模块通过提取首波幅值和小波系数积分比特征,运用拉依达准则对数据进行预处理,结合K近邻算法构建脱空识别模型来判别饰面砖是否脱空。并通过制作外墙试件进行实验验证,结果表明软件识别试件的脱空识别率达到92%。因此,该软件能有效识别建筑外墙饰面砖脱空的大小和位置,且运行稳定可靠,在实际工程中有较高的应用价值。 展开更多
关键词 建筑外墙饰面砖 脱空 LABVIEW 软件
在线阅读 下载PDF
航天任务设计工业软件ATK通用轨道机动规划设计方法
16
作者 杨震 金柯 +2 位作者 郭祥 王华 罗亚中 《国防科技大学学报》 北大核心 2025年第4期10-22,共13页
轨道机动规划是交会对接、月球探测等复杂航天任务设计的重要环节,但不同任务对轨道机动的变轨位置、机动量、瞄准量的配置需求不同,给机动规划通用建模与求解带来巨大挑战。针对该问题,提出了基于轨道段的通用轨道机动规划建模方法,将... 轨道机动规划是交会对接、月球探测等复杂航天任务设计的重要环节,但不同任务对轨道机动的变轨位置、机动量、瞄准量的配置需求不同,给机动规划通用建模与求解带来巨大挑战。针对该问题,提出了基于轨道段的通用轨道机动规划建模方法,将不同场景轨道机动需求抽象建模为轨道段、停止条件组件与约束条件组件,形成了积木式航天器飞行任务描述模型,将轨道机动需求转换为统一的非线性规划问题,采用微分修正、序列二次规划、智能优化三种方法求解。进一步开发了软件工具,作为自主航天任务工具箱(aerospace tool kit, ATK)的核心轨道模块。仿真结果表明,该方法可实现高精度轨道等不同模型与应用场景下的通用化轨道机动规划建模与求解。 展开更多
关键词 轨道机动 航天动力学 航天任务设计 工业软件 ATK
在线阅读 下载PDF
叶轮机械流固热耦合仿真及自主可控软件研制
17
作者 唐志共 何旭 +5 位作者 查浩 王子维 王栋志 储世博 柳阳威 李彬 《空气动力学学报》 北大核心 2025年第8期76-99,I0001,共25页
叶轮机械作为动力能源领域的关键设备部件,其性能和效率直接关系到动力系统的服役表现。随着高性能计算机系统硬件水平的高速发展,以及流体、强度和传热领域数值仿真能力的不断提升,流固热耦合仿真技术对于叶轮机械的设计优化、性能预... 叶轮机械作为动力能源领域的关键设备部件,其性能和效率直接关系到动力系统的服役表现。随着高性能计算机系统硬件水平的高速发展,以及流体、强度和传热领域数值仿真能力的不断提升,流固热耦合仿真技术对于叶轮机械的设计优化、性能预测以及故障预防起着越来越关键的作用。本文对叶轮机械流体、强度以及流固和流热仿真领域的主要数值方法和挑战问题进行了分析,以国产自主涡轮动力叶轮机械流固热耦合仿真软件(AeroEngine Numerical Simulation,AENS)为载体,介绍了同构/异构流固热耦合仿真软件架构,以及高效的耦合算法和鲁棒的网格技术。通过典型叶轮机械AENS流固/流热耦合仿真结果与试验数据的对比分析,表明AENS具备在高温、高压、高转速条件下的流固热耦合模拟能力,其应用前景广阔,为叶轮机械正向多学科耦合设计提供了重要支撑。 展开更多
关键词 流固热耦合 软件架构 数值仿真 叶轮机械 多学科耦合设计
在线阅读 下载PDF
液态金属快堆分析方法与自主化软件的研发与验证
18
作者 吴宏春 郑友琦 +11 位作者 曹良志 杜夏楠 王学松 祖铁军 刘宙宇 贺清明 陈荣华 葛莉 杨睿 高鑫钊 王事喜 阿热爱 《原子能科学技术》 北大核心 2025年第4期824-837,共14页
液态金属冷却快中子核反应堆(简称液态金属快堆)是我国核能发展“三步走”战略中承上启下的关键环节。高精度的液态金属快堆数值分析软件是提升我国快堆研发水平的基础。现阶段,我国仍沿用20世纪80、90年代以来通过消化、吸收形成的数... 液态金属冷却快中子核反应堆(简称液态金属快堆)是我国核能发展“三步走”战略中承上启下的关键环节。高精度的液态金属快堆数值分析软件是提升我国快堆研发水平的基础。现阶段,我国仍沿用20世纪80、90年代以来通过消化、吸收形成的数值分析方法与计算软件,面临着计算模型近似大、适用范围窄等技术问题,亟待理论上的突破和新一代高性能数值分析软件的研发。为此,本文针对液态金属快堆研发的关键环节,提出了一套高精度数值模拟计算的方法模型,并研发了完全自主知识产权的计算软件系统。通过中国实验快堆测量数据以及设计参数对比分析,验证了模型的正确性和计算软件的先进性。 展开更多
关键词 液态金属快堆 软件开发 堆芯物理分析 热工水力 系统分析
在线阅读 下载PDF
航天任务设计工业软件ATK 3.0研制进展与技术突破
19
作者 罗亚中 杨震 +1 位作者 王华 周建平 《国防科技大学学报》 北大核心 2025年第4期1-9,共9页
航天任务设计软件贯穿航天任务全寿命周期,被视为航天工业设计软件体系中的主根系软件。国防科技大学团队基于在载人航天领域近30年的技术积累,于2020年启动了自主工业软件航天任务工具箱(aerospace tool kit, ATK)的研制工作,2024年底... 航天任务设计软件贯穿航天任务全寿命周期,被视为航天工业设计软件体系中的主根系软件。国防科技大学团队基于在载人航天领域近30年的技术积累,于2020年启动了自主工业软件航天任务工具箱(aerospace tool kit, ATK)的研制工作,2024年底正式发布ATK 3.0版本,包括标准平台、可见性与覆盖分析、任务分析、轨道设计和二次开发5大类21个功能模块。ATK研发得到了中国载人航天工程的深度持续支持,探索实践了“工程侧需求牵引+院校侧集中研发”的研制模式,在航天工程、空间安全和院校教学等领域产生了广泛影响,迈出了替代STK的坚实第一步。回顾了ATK的发展历程,阐述其功能特点,重点分析ATK在大型软件架构设计、计算内核开发和轨道机动规划等方面的核心技术突破,并阐述了ATK的未来发展目标定位和建设思路。 展开更多
关键词 航天工业软件 航天任务设计 ATK 航天动力学
在线阅读 下载PDF
新兴软件与系统的可信赖性与安全专题前言
20
作者 向剑文 陈厅 +1 位作者 杨珉 周俊伟 《软件学报》 北大核心 2025年第7期2927-2928,共2页
随着人工智能技术的发展,特别是通用人工智能的快速发展,新兴软件与系统快速智能化,同时带来巨大的复杂性和不确定性,其可靠性与安全挑战更加复杂多样,涉及面更广,风险更难以预测和控制.一方面,这种复杂性和不确定性给新兴软件与系统本... 随着人工智能技术的发展,特别是通用人工智能的快速发展,新兴软件与系统快速智能化,同时带来巨大的复杂性和不确定性,其可靠性与安全挑战更加复杂多样,涉及面更广,风险更难以预测和控制.一方面,这种复杂性和不确定性给新兴软件与系统本身的可靠性与稳定性带来巨大的挑战. 展开更多
关键词 不确定性 安全性 可信赖性 复杂性 新兴软件
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部