期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
52
篇文章
<
1
2
3
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
多刚体系统计算机代数动力学建模研究
被引量:
5
1
作者
黄新生
黄圳圭
朱小谦
《国防科技大学学报》
EI
CAS
CSCD
1998年第2期8-11,共4页
本文研究了复杂多刚体系统的Lagrangian建模方法,以Mathematica数学软件为基础,完成了多刚体动力学系统的计算机建模、推导与仿真。
关键词
多刚体
系统
计算机
代数
建模
动力学
在线阅读
下载PDF
职称材料
计算机代数在热动力系统建模与仿真中的应用
被引量:
3
2
作者
白泉
李政
+1 位作者
倪维斗
刘尚明
《动力工程》
CSCD
北大核心
2001年第5期1469-1473,1410,共6页
研究先进的数学工具——计算机代数系统在热力系统建模中的应用基础上 ,提出了用计算机代数系统辅助进行数值计算的建模方法。利用计算机代数和符号运算功能 ,可以替代常规数值建模中公式推导 ,导数和积分计算繁杂、耗时而且容易出错的...
研究先进的数学工具——计算机代数系统在热力系统建模中的应用基础上 ,提出了用计算机代数系统辅助进行数值计算的建模方法。利用计算机代数和符号运算功能 ,可以替代常规数值建模中公式推导 ,导数和积分计算繁杂、耗时而且容易出错的手工过程。以 Mathematica计算机代数系统作为软件平台 ,以某气化炉为对象进行了化学反应速率推导的建模示范。示范结果表明 :新的建模方法有以下优点 :公式推导和后期修改工作量大大减少 ,易于实现高效、快速自动建模 ;避免了数值推导的误差 ,模型精度高 ,收敛性好 ;可以直接生成仿真程序代码 ,程序流程简洁 ,可读性好。随着热动力系统的日益大型化和复杂化 ,新方法有广阔的应用前景 ,值得继续深入研究。图 3表 1参
展开更多
关键词
建模
计算机
代数
热动力
系统
符号运算
仿真
在线阅读
下载PDF
职称材料
计算机代数在电力系统非线性控制中应用
被引量:
2
3
作者
王旻
郑应平
《电力自动化设备》
EI
CSCD
北大核心
2006年第4期15-17,共3页
阐述了精确线性化的原理,讨论了非线性系统状态反馈精确线性化的计算机代数设计方法,采用Matlab完成了相应软件包的开发,并使用该软件包对电力系统中汽轮发电机组汽门开度的非线性控制实例进行了仿真研究。仿真结果表明,引入了设计得到...
阐述了精确线性化的原理,讨论了非线性系统状态反馈精确线性化的计算机代数设计方法,采用Matlab完成了相应软件包的开发,并使用该软件包对电力系统中汽轮发电机组汽门开度的非线性控制实例进行了仿真研究。仿真结果表明,引入了设计得到的非线性控制量后,电力系统的稳定性得到了有效提高。
展开更多
关键词
非线性控制
计算机
代数
电力
系统
在线阅读
下载PDF
职称材料
包络环面蜗杆传动的计算机代数系统(CAS)
被引量:
1
4
作者
姚立纲
陈德海
+2 位作者
李尚信
徐晓俊
李华敏
《大庆石油学院学报》
EI
CAS
北大核心
1995年第2期87-90,共4页
在环面蜗杆传动啮合理论分析的基础上,运用计算机代数系统REDUCEV3.3.1,得出包络环面蜗杆传动啮合特性分析方程自动求解的计算机代数系统CAS。这套系统包括坐标变换模块,啮合函数和啮合方程求解模块,蜗杆齿廓方程求...
在环面蜗杆传动啮合理论分析的基础上,运用计算机代数系统REDUCEV3.3.1,得出包络环面蜗杆传动啮合特性分析方程自动求解的计算机代数系统CAS。这套系统包括坐标变换模块,啮合函数和啮合方程求解模块,蜗杆齿廓方程求解模块,界限函数求解模块以及诱导法曲率求解模块等。该系统所有的求解结果均以FORTRAN标准形式输出,直接调用即可进行数值计算。
展开更多
关键词
蜗杆传动
计算机
代数
系统
啮合
在线阅读
下载PDF
职称材料
控制系统计算机代数工具Symbol CAD
被引量:
1
5
作者
杨光宇
郑应平
《自动化学报》
EI
CSCD
北大核心
1998年第6期733-738,共6页
研究控制系统计算机辅助设计的计算机代数方法,概要叙述了控制系统计算机代数工具SymbolCAD的设计方法和设计结构.SymbolCAD使用面向对象方法,采用图形窗口环境,具有符号运算和数值计算能力,可以进行适合控制系...
研究控制系统计算机辅助设计的计算机代数方法,概要叙述了控制系统计算机代数工具SymbolCAD的设计方法和设计结构.SymbolCAD使用面向对象方法,采用图形窗口环境,具有符号运算和数值计算能力,可以进行适合控制系统分析和设计的算法编程,具有系统扩充功能.
展开更多
关键词
计算机
代数
控制
系统
软件工具
控制
系统
理论
在线阅读
下载PDF
职称材料
计算机代数化简系统CASS1
被引量:
1
6
作者
李岳峰
《软件学报》
EI
CSCD
北大核心
1993年第1期37-42,共6页
CASS1是用代数化简方法设计的计算机代数系统。本文讨论CASS1的几个重要算法,包括:有理表达式的规范化简算法、非嵌套根式表达式的规范化简算法以及一类超越表达式的化简算法等。CASS1是用算法描绘语言ALDES语言实现的,是计算机代数系...
CASS1是用代数化简方法设计的计算机代数系统。本文讨论CASS1的几个重要算法,包括:有理表达式的规范化简算法、非嵌套根式表达式的规范化简算法以及一类超越表达式的化简算法等。CASS1是用算法描绘语言ALDES语言实现的,是计算机代数系统建造规范化的一种尝试。
展开更多
关键词
计算机
代数
化简
系统
CASS1
在线阅读
下载PDF
职称材料
一种新型计算机代数系统编译器的设计与实现
被引量:
2
7
作者
覃安
符红光
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第16期83-85,91,共4页
计算机代数系统(ComputerAlgebraSystem,CAS)是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码...
计算机代数系统(ComputerAlgebraSystem,CAS)是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码的符号计算包,该文以它为基础提出了一种新型CAS编译器的设计方法,并在Linux平台上实现。新的CAS编译器兼容Maple编程语言,对比测试结果显示它的效率并不逊色于Maple。
展开更多
关键词
计算机
代数
系统
虚拟机
编译器
在线阅读
下载PDF
职称材料
计算机代数系统mu MATH在量子力学中的应用
8
作者
黄纯青
黄皙桓
熊钰庆
《华南师范大学学报(自然科学版)》
CAS
1992年第1期55-60,共6页
本文以两个实例说明在量子力学中如何应用小型的计算机代数系统mu MATH,并得到较理想的计算结果.说明尽管mu MATH系统的功能不太强,但它占内存小、容易普及,应引起物理学工作者的重视.
关键词
计算机
代数
系统
球贝塞尔函数
量子力学
全文增补中
计算机代数系统REDUCE的过程段的调用问题
9
作者
朱龙根
《小型微型计算机系统》
CSCD
北大核心
1989年第7期22-26,共5页
本文研完计算机代数系统REDUCE的一个较为复杂的问题——过程段的调用问题。在简单介绍过程段的基础上,本文讨论了REDUCE的“按值调用”问题,提出了越过这种保护实参量的三种方法,最后还指出了用LET语句定义过程段和用PRODUCE DURE定义...
本文研完计算机代数系统REDUCE的一个较为复杂的问题——过程段的调用问题。在简单介绍过程段的基础上,本文讨论了REDUCE的“按值调用”问题,提出了越过这种保护实参量的三种方法,最后还指出了用LET语句定义过程段和用PRODUCE DURE定义这两者之间的区别。
展开更多
关键词
计算机
代数
过程段
代数
系统
在线阅读
下载PDF
职称材料
非线性系统观测器的计算机代数分析与设计方法
10
作者
杨光宇
《控制理论与应用》
EI
CAS
CSCD
北大核心
1998年第5期764-768,共5页
本文介绍了控制系统非线性观测器的分析和设计方法,根据扩展Luenberger观测器设计过程中放大系数向量的计算公式,用计算机代数方法进行非线性观测器设计.本文结出了用Mathematica符号编程语言实现的算法软件包,并使用该软件包对一...
本文介绍了控制系统非线性观测器的分析和设计方法,根据扩展Luenberger观测器设计过程中放大系数向量的计算公式,用计算机代数方法进行非线性观测器设计.本文结出了用Mathematica符号编程语言实现的算法软件包,并使用该软件包对一个具体实例进行了分析和设计.
展开更多
关键词
非线性
系统
观测器
代数
分析法
计算机
在线阅读
下载PDF
职称材料
齿轮刀具的计算机代数设计系统
11
作者
陈桂
《山东矿业学院学报》
CAS
1990年第1期100-104,共5页
本文提出的CASGCD系统是具有一定智能的齿轮刀具计算机代数设计系统。该系统的主要特点是能够自动推导对齿轮刀具进行啮合分析所必需的各种公式,并将这些公式直接转换成FORTRAN语句,加上系统的各种计算模块,生成完整的数值计算程序。文...
本文提出的CASGCD系统是具有一定智能的齿轮刀具计算机代数设计系统。该系统的主要特点是能够自动推导对齿轮刀具进行啮合分析所必需的各种公式,并将这些公式直接转换成FORTRAN语句,加上系统的各种计算模块,生成完整的数值计算程序。文中给出了利用该系统进行径向剃齿刀刃磨砂轮齿廊修曲线公式推导和工艺参数优化设计程序编制的例子。
展开更多
关键词
齿轮
刀具
计算机
代数
设计
系统
在线阅读
下载PDF
职称材料
状态空间精确线性化的计算机代数设计方法
被引量:
2
12
作者
康惠骏
《上海大学学报(自然科学版)》
CAS
CSCD
2002年第1期44-46,共3页
讨论非线性系统状态空间精确线性化的计算机代数设计方法 .根据非线性系统几何理论 ,用计算机代数方法对系统进行了状态空间精确线性化的分析与设计 ,给出了用 Matlab符号编程语言实现的算法软件包 ,并使用该软件包对一个实例进行了分...
讨论非线性系统状态空间精确线性化的计算机代数设计方法 .根据非线性系统几何理论 ,用计算机代数方法对系统进行了状态空间精确线性化的分析与设计 ,给出了用 Matlab符号编程语言实现的算法软件包 ,并使用该软件包对一个实例进行了分析和设计 .
展开更多
关键词
非线性
系统
状态空间精确线性化
计算机
代数
MATLAB
非线性
系统
几何理论
非线性控制理论
在线阅读
下载PDF
职称材料
一种混合高性能计算机代数环境模型
被引量:
1
13
作者
张骏
陈良育
曾振柄
《计算机应用》
CSCD
北大核心
2007年第11期2834-2837,共4页
提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和...
提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和作业优先等级,充分发挥多种计算机代数软件的特长,并且提供并行的消息传递机制,将大量复杂的计算平均分配到每个计算节点,解决单台机器内存受限和计算能力有限等问题。通过并行差分代换方法测试表明HHPCAS可以为符号计算和计算机自动推理提供有效的计算平台。
展开更多
关键词
计算机
代数
系统
数学软件
并行
计算
高性能
计算
在线阅读
下载PDF
职称材料
管理现代化电子计算机教育中心筹备工作正在加紧进行
14
《管理现代化》
1982年第1期44-44,共1页
自从胡耀邦主席在科协二大号召全党“要组织一切干部认真学习与自己有关的科学技术和管理知识”后,中国管理现代化研究会在有关单位的大力协助下,筹办“管理现代化电子计算机教育中心”(简称“教育中心”)。培训在职专业领导干部和软件...
自从胡耀邦主席在科协二大号召全党“要组织一切干部认真学习与自己有关的科学技术和管理知识”后,中国管理现代化研究会在有关单位的大力协助下,筹办“管理现代化电子计算机教育中心”(简称“教育中心”)。培训在职专业领导干部和软件人员,使他们学会用现代化的方法和手段进行管理,从而提高工作效率和经济效益,推动企业的挖潜改造。教育中心开办管理人员普及班、管理方法班、程序师班和系统工程师班。普及班的课程是:计算机入门,计算机处理形态,计算机应用介绍、基础程序演习、企业的信息与干部的职能、管理方法介绍等;管理方法班的课程是:FORTRAN程序设计基础、数值计算概要、非线性代数、线性代数、插值法。
展开更多
关键词
教育中心
中国管理现代化研究会
电子
计算机
筹备工作
线性
代数
管理方法
计算机
处理
系统
工程师
设计基础
数值
计算
在线阅读
下载PDF
职称材料
电力系统并行计算方法比较研究
被引量:
43
15
作者
吉兴全
王成山
《电网技术》
EI
CSCD
北大核心
2003年第4期22-26,共5页
并行处理技术相对于传统的串行处理,具有无可比拟的优越性。以代数方程组和微分方程组的求解为线索,对并行算法在电力系统分析计算中的应用进行了总结,指出了各类算法的优缺点及适用范围。
关键词
电力
系统
并行
计算
方法
潮流
计算
并行
计算机
代数
方程组
微分方程组
在线阅读
下载PDF
职称材料
地图图层系统为布尔代数系的证明及应用
被引量:
4
16
作者
郑红波
钟业勋
秦绪佳
《浙江工业大学学报》
CAS
2005年第1期60-63,共4页
布尔代数系是适于电子计算机作逻辑运算的系统.任何地图实质上是有限个图层的集合.图层是电子地图系统和地理信息系统(GIS)数据基本存贮单元,是组织和管理数据的有效方式和有用手段.以点为基本元素的地图图像系统和以地图符号为基本元...
布尔代数系是适于电子计算机作逻辑运算的系统.任何地图实质上是有限个图层的集合.图层是电子地图系统和地理信息系统(GIS)数据基本存贮单元,是组织和管理数据的有效方式和有用手段.以点为基本元素的地图图像系统和以地图符号为基本元素的地图符号系统属于布尔代数系已经得到了证明.根据布尔代数的定义和充要条件,结合图层示例,论证了地图图层系统也是布尔代数系,这为地图图层系统在计算机的表示提供了计算机理论基础和数学工具.实例表明,不管是电子地图还是GIS中,都是利用图层来组织和管理地图数据库的.
展开更多
关键词
数系
布尔
代数
证明
结合图
充要条件
表示
有限
图层
计算机
理论
系统
在线阅读
下载PDF
职称材料
高效符号数值混合计算系统研究与设计
被引量:
1
17
作者
秦小林
冯勇
李骏
《计算机工程与应用》
CSCD
北大核心
2009年第5期64-66,共3页
符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于...
符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于此,提出了一种基于改进的开放源代码的符号数值计算应用环境库(SYNAPS)的高效符号数值混合计算系统的设计方法,并进行了实现。实验结果表明,该系统高效可靠。
展开更多
关键词
计算机
代数
系统
符号与数值混合
计算
数学软件
符号与数值混合应用
在线阅读
下载PDF
职称材料
复合磁聚焦-偏转系统正则像差的李代数方法研究
18
作者
胡康燕
唐天同
《核科学与工程》
CAS
CSCD
北大核心
1999年第2期175-181,共7页
将电子光学正则像差的李代数理论应用到复合磁聚焦-偏转系统。运用这一新型代数工具,同时利用计算机代数的符号推导功能,推导出了复合系统的高斯光学性质和在任意观察平面的全部三级正则位置像差和正则动量像差。结果完整且形式简洁...
将电子光学正则像差的李代数理论应用到复合磁聚焦-偏转系统。运用这一新型代数工具,同时利用计算机代数的符号推导功能,推导出了复合系统的高斯光学性质和在任意观察平面的全部三级正则位置像差和正则动量像差。结果完整且形式简洁,与传统的逐次近似像差理论一致。李代数方法对于高性能扫描探针系统的设计与研究提供了一种新型有效的理论工具。
展开更多
关键词
李
代数
像差
计算机
代数
磁聚焦偏转
系统
在线阅读
下载PDF
职称材料
基于系统代数的仿真模型自动生成研究
19
作者
周晨佳
《科学技术与工程》
2010年第7期1789-1793,1796,共6页
计算机仿真在现代科学研究和工程应用中起着重要的作用,而复杂系统模型的建立往往需要占用大量时间和资源。提出以系统代数为工具,建立仿真系统元模型,根据已知约束,对不同运行逻辑的系统仿真模型自动生成并运行。对系统代数提出"M...
计算机仿真在现代科学研究和工程应用中起着重要的作用,而复杂系统模型的建立往往需要占用大量时间和资源。提出以系统代数为工具,建立仿真系统元模型,根据已知约束,对不同运行逻辑的系统仿真模型自动生成并运行。对系统代数提出"Merge"算子,使其更适合建立较复杂系统的仿真模型。并使用该方法分别对产品设计和简单物流系统进行了仿真。此方法能够快速产生多个仿真模型,节省了对同一系统的不同运行逻辑进行重复建模的时间,提高应用仿真方法对系统进行分析的效率。
展开更多
关键词
计算机
仿真
系统
代数
模型建立
自动生成
在线阅读
下载PDF
职称材料
LINPACK与机群系统的LINPACK测试
被引量:
15
20
作者
都志辉
吴博
+3 位作者
刘鹏
陈渝
王小鸽
李三立
《计算机科学》
CSCD
北大核心
2002年第5期8-10,59,共4页
一、引言 LINPACK[1,2,7]是一个用Fortran语言编写的线性代数软件包,主要用于求解线性方程和线性最小平方问题.该软件包提供了各种线性系统中的求解方法,比如各种各样的矩阵运算,可以从文[2]得到完整的LINPACK软件包.LINPACK的初衷并不...
一、引言 LINPACK[1,2,7]是一个用Fortran语言编写的线性代数软件包,主要用于求解线性方程和线性最小平方问题.该软件包提供了各种线性系统中的求解方法,比如各种各样的矩阵运算,可以从文[2]得到完整的LINPACK软件包.LINPACK的初衷并不是制订一个测试计算机性能的统一标准,而只是提供一些常用的计算方法的实现,但是由于该软件包的广泛使用,这样就为通过LINPACK例程来比较不同计算机的性能提供了可能.
展开更多
关键词
线性
代数
软件包
LINPACK
机群
系统
测试
并行
计算机
在线阅读
下载PDF
职称材料
题名
多刚体系统计算机代数动力学建模研究
被引量:
5
1
作者
黄新生
黄圳圭
朱小谦
机构
国防科技大学自动控制系
出处
《国防科技大学学报》
EI
CAS
CSCD
1998年第2期8-11,共4页
文摘
本文研究了复杂多刚体系统的Lagrangian建模方法,以Mathematica数学软件为基础,完成了多刚体动力学系统的计算机建模、推导与仿真。
关键词
多刚体
系统
计算机
代数
建模
动力学
Keywords
Multi Rigid Body system, Computer algebra, Sign reducing
分类号
O313.3 [理学—一般力学与力学基础]
在线阅读
下载PDF
职称材料
题名
计算机代数在热动力系统建模与仿真中的应用
被引量:
3
2
作者
白泉
李政
倪维斗
刘尚明
机构
清华大学热能工程系
出处
《动力工程》
CSCD
北大核心
2001年第5期1469-1473,1410,共6页
基金
国家基础研究项目专项资助
文摘
研究先进的数学工具——计算机代数系统在热力系统建模中的应用基础上 ,提出了用计算机代数系统辅助进行数值计算的建模方法。利用计算机代数和符号运算功能 ,可以替代常规数值建模中公式推导 ,导数和积分计算繁杂、耗时而且容易出错的手工过程。以 Mathematica计算机代数系统作为软件平台 ,以某气化炉为对象进行了化学反应速率推导的建模示范。示范结果表明 :新的建模方法有以下优点 :公式推导和后期修改工作量大大减少 ,易于实现高效、快速自动建模 ;避免了数值推导的误差 ,模型精度高 ,收敛性好 ;可以直接生成仿真程序代码 ,程序流程简洁 ,可读性好。随着热动力系统的日益大型化和复杂化 ,新方法有广阔的应用前景 ,值得继续深入研究。图 3表 1参
关键词
建模
计算机
代数
热动力
系统
符号运算
仿真
Keywords
modeling
computer algebra
thermal power systems
symbolic calculation
分类号
TK32 [动力工程及工程热物理—热能工程]
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
计算机代数在电力系统非线性控制中应用
被引量:
2
3
作者
王旻
郑应平
机构
同济大学控制科学与工程系
出处
《电力自动化设备》
EI
CSCD
北大核心
2006年第4期15-17,共3页
基金
国家自然科学基金资助项目(60343002)
文摘
阐述了精确线性化的原理,讨论了非线性系统状态反馈精确线性化的计算机代数设计方法,采用Matlab完成了相应软件包的开发,并使用该软件包对电力系统中汽轮发电机组汽门开度的非线性控制实例进行了仿真研究。仿真结果表明,引入了设计得到的非线性控制量后,电力系统的稳定性得到了有效提高。
关键词
非线性控制
计算机
代数
电力
系统
Keywords
nonlinear control
computer algebra
power system
分类号
TM712 [电气工程—电力系统及自动化]
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
包络环面蜗杆传动的计算机代数系统(CAS)
被引量:
1
4
作者
姚立纲
陈德海
李尚信
徐晓俊
李华敏
机构
哈尔滨工业大学
出处
《大庆石油学院学报》
EI
CAS
北大核心
1995年第2期87-90,共4页
文摘
在环面蜗杆传动啮合理论分析的基础上,运用计算机代数系统REDUCEV3.3.1,得出包络环面蜗杆传动啮合特性分析方程自动求解的计算机代数系统CAS。这套系统包括坐标变换模块,啮合函数和啮合方程求解模块,蜗杆齿廓方程求解模块,界限函数求解模块以及诱导法曲率求解模块等。该系统所有的求解结果均以FORTRAN标准形式输出,直接调用即可进行数值计算。
关键词
蜗杆传动
计算机
代数
系统
啮合
Keywords
nveloped circular worm drive, computer algebra system, meshing properties,FORTRAN
分类号
TH132.44 [机械工程—机械制造及自动化]
在线阅读
下载PDF
职称材料
题名
控制系统计算机代数工具Symbol CAD
被引量:
1
5
作者
杨光宇
郑应平
机构
中国科学院自动化研究所
出处
《自动化学报》
EI
CSCD
北大核心
1998年第6期733-738,共6页
基金
国家自然科学基金
文摘
研究控制系统计算机辅助设计的计算机代数方法,概要叙述了控制系统计算机代数工具SymbolCAD的设计方法和设计结构.SymbolCAD使用面向对象方法,采用图形窗口环境,具有符号运算和数值计算能力,可以进行适合控制系统分析和设计的算法编程,具有系统扩充功能.
关键词
计算机
代数
控制
系统
软件工具
控制
系统
理论
分类号
O231 [理学—运筹学与控制论]
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
计算机代数化简系统CASS1
被引量:
1
6
作者
李岳峰
机构
吉林大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1993年第1期37-42,共6页
文摘
CASS1是用代数化简方法设计的计算机代数系统。本文讨论CASS1的几个重要算法,包括:有理表达式的规范化简算法、非嵌套根式表达式的规范化简算法以及一类超越表达式的化简算法等。CASS1是用算法描绘语言ALDES语言实现的,是计算机代数系统建造规范化的一种尝试。
关键词
计算机
代数
化简
系统
CASS1
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一种新型计算机代数系统编译器的设计与实现
被引量:
2
7
作者
覃安
符红光
机构
中国科学院成都计算机应用研究所
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第16期83-85,91,共4页
基金
国家"973"计划基金资助项目(2004CB318003)
中国科学院计算技术研究所"百人计划"资助项目
文摘
计算机代数系统(ComputerAlgebraSystem,CAS)是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码的符号计算包,该文以它为基础提出了一种新型CAS编译器的设计方法,并在Linux平台上实现。新的CAS编译器兼容Maple编程语言,对比测试结果显示它的效率并不逊色于Maple。
关键词
计算机
代数
系统
虚拟机
编译器
Keywords
Computer algebra system (CAS)
Virtual machine(VM)
Compiler
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
计算机代数系统mu MATH在量子力学中的应用
8
作者
黄纯青
黄皙桓
熊钰庆
机构
华南师范大学物理系
出处
《华南师范大学学报(自然科学版)》
CAS
1992年第1期55-60,共6页
文摘
本文以两个实例说明在量子力学中如何应用小型的计算机代数系统mu MATH,并得到较理想的计算结果.说明尽管mu MATH系统的功能不太强,但它占内存小、容易普及,应引起物理学工作者的重视.
关键词
计算机
代数
系统
球贝塞尔函数
量子力学
Keywords
computer algebra system, spherical Bessel funcion
radial equation for hydrogen atom
ladder operator
total quantum number
angular-momentum quantum number
分类号
TP391.75 [自动化与计算机技术—计算机应用技术]
O413.1 [理学—理论物理]
全文增补中
题名
计算机代数系统REDUCE的过程段的调用问题
9
作者
朱龙根
机构
国防科技大学
出处
《小型微型计算机系统》
CSCD
北大核心
1989年第7期22-26,共5页
文摘
本文研完计算机代数系统REDUCE的一个较为复杂的问题——过程段的调用问题。在简单介绍过程段的基础上,本文讨论了REDUCE的“按值调用”问题,提出了越过这种保护实参量的三种方法,最后还指出了用LET语句定义过程段和用PRODUCE DURE定义这两者之间的区别。
关键词
计算机
代数
过程段
代数
系统
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
非线性系统观测器的计算机代数分析与设计方法
10
作者
杨光宇
机构
中国科学院自动化研究所
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
1998年第5期764-768,共5页
基金
国家自然科学基金!6935030
文摘
本文介绍了控制系统非线性观测器的分析和设计方法,根据扩展Luenberger观测器设计过程中放大系数向量的计算公式,用计算机代数方法进行非线性观测器设计.本文结出了用Mathematica符号编程语言实现的算法软件包,并使用该软件包对一个具体实例进行了分析和设计.
关键词
非线性
系统
观测器
代数
分析法
计算机
Keywords
nonlinear observer
extended Luenberger observer
computer algebra
computer aided design
Mathematica
分类号
TP271 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
齿轮刀具的计算机代数设计系统
11
作者
陈桂
机构
山东矿业学院机械工程系
出处
《山东矿业学院学报》
CAS
1990年第1期100-104,共5页
文摘
本文提出的CASGCD系统是具有一定智能的齿轮刀具计算机代数设计系统。该系统的主要特点是能够自动推导对齿轮刀具进行啮合分析所必需的各种公式,并将这些公式直接转换成FORTRAN语句,加上系统的各种计算模块,生成完整的数值计算程序。文中给出了利用该系统进行径向剃齿刀刃磨砂轮齿廊修曲线公式推导和工艺参数优化设计程序编制的例子。
关键词
齿轮
刀具
计算机
代数
设计
系统
Keywords
: gear cutters
gear form-cutting
theories of engagement
design parameter
programming language
optimum designs computer systems
分类号
TG721 [金属学及工艺—刀具与模具]
在线阅读
下载PDF
职称材料
题名
状态空间精确线性化的计算机代数设计方法
被引量:
2
12
作者
康惠骏
机构
上海大学机械电子工程与自动化学院
出处
《上海大学学报(自然科学版)》
CAS
CSCD
2002年第1期44-46,共3页
基金
上海市高等学校科学技术发展基金 ( 2 0 0 1-0 1A11)资助项目
文摘
讨论非线性系统状态空间精确线性化的计算机代数设计方法 .根据非线性系统几何理论 ,用计算机代数方法对系统进行了状态空间精确线性化的分析与设计 ,给出了用 Matlab符号编程语言实现的算法软件包 ,并使用该软件包对一个实例进行了分析和设计 .
关键词
非线性
系统
状态空间精确线性化
计算机
代数
MATLAB
非线性
系统
几何理论
非线性控制理论
Keywords
nonlinear system
state space exact lineariztion
computer algebra
Matlab
分类号
TP13 [自动化与计算机技术—控制理论与控制工程]
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一种混合高性能计算机代数环境模型
被引量:
1
13
作者
张骏
陈良育
曾振柄
机构
华东师范大学软件学院
出处
《计算机应用》
CSCD
北大核心
2007年第11期2834-2837,共4页
基金
国家973规划项目(2004CB318003)
国家自然科学基金资助项目(10471044)
文摘
提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和作业优先等级,充分发挥多种计算机代数软件的特长,并且提供并行的消息传递机制,将大量复杂的计算平均分配到每个计算节点,解决单台机器内存受限和计算能力有限等问题。通过并行差分代换方法测试表明HHPCAS可以为符号计算和计算机自动推理提供有效的计算平台。
关键词
计算机
代数
系统
数学软件
并行
计算
高性能
计算
Keywords
Computer Algebra System (CAS)
mathematic software
parallel computation
high performance computation
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
管理现代化电子计算机教育中心筹备工作正在加紧进行
14
出处
《管理现代化》
1982年第1期44-44,共1页
文摘
自从胡耀邦主席在科协二大号召全党“要组织一切干部认真学习与自己有关的科学技术和管理知识”后,中国管理现代化研究会在有关单位的大力协助下,筹办“管理现代化电子计算机教育中心”(简称“教育中心”)。培训在职专业领导干部和软件人员,使他们学会用现代化的方法和手段进行管理,从而提高工作效率和经济效益,推动企业的挖潜改造。教育中心开办管理人员普及班、管理方法班、程序师班和系统工程师班。普及班的课程是:计算机入门,计算机处理形态,计算机应用介绍、基础程序演习、企业的信息与干部的职能、管理方法介绍等;管理方法班的课程是:FORTRAN程序设计基础、数值计算概要、非线性代数、线性代数、插值法。
关键词
教育中心
中国管理现代化研究会
电子
计算机
筹备工作
线性
代数
管理方法
计算机
处理
系统
工程师
设计基础
数值
计算
分类号
C931 [经济管理—管理学]
F270 [经济管理—企业管理]
在线阅读
下载PDF
职称材料
题名
电力系统并行计算方法比较研究
被引量:
43
15
作者
吉兴全
王成山
机构
天津大学电气自动化与能源工程学院
出处
《电网技术》
EI
CSCD
北大核心
2003年第4期22-26,共5页
文摘
并行处理技术相对于传统的串行处理,具有无可比拟的优越性。以代数方程组和微分方程组的求解为线索,对并行算法在电力系统分析计算中的应用进行了总结,指出了各类算法的优缺点及适用范围。
关键词
电力
系统
并行
计算
方法
潮流
计算
并行
计算机
代数
方程组
微分方程组
Keywords
Parallel algorithm
Vector computer
Contingency analysis
分类号
TM744 [电气工程—电力系统及自动化]
TM769 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
地图图层系统为布尔代数系的证明及应用
被引量:
4
16
作者
郑红波
钟业勋
秦绪佳
机构
浙江工业大学信息工程学院
广西师范学院
浙江工业大学软件学院
出处
《浙江工业大学学报》
CAS
2005年第1期60-63,共4页
文摘
布尔代数系是适于电子计算机作逻辑运算的系统.任何地图实质上是有限个图层的集合.图层是电子地图系统和地理信息系统(GIS)数据基本存贮单元,是组织和管理数据的有效方式和有用手段.以点为基本元素的地图图像系统和以地图符号为基本元素的地图符号系统属于布尔代数系已经得到了证明.根据布尔代数的定义和充要条件,结合图层示例,论证了地图图层系统也是布尔代数系,这为地图图层系统在计算机的表示提供了计算机理论基础和数学工具.实例表明,不管是电子地图还是GIS中,都是利用图层来组织和管理地图数据库的.
关键词
数系
布尔
代数
证明
结合图
充要条件
表示
有限
图层
计算机
理论
系统
Keywords
layer
Boolean algebra
electronic map
GIS
分类号
O156 [理学—基础数学]
O1-0 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
高效符号数值混合计算系统研究与设计
被引量:
1
17
作者
秦小林
冯勇
李骏
机构
中国科学院成都计算机应用研究所
电子科技大学计算机科学与工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2009年第5期64-66,共3页
基金
国家重点基础研究发展规划(973)项目(No.2004CB318003)
国家自然科学基金项目(No.10771205)
中国科学院知识创新重要方向项目(No.KJCX2-YW-S02)~~
文摘
符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于此,提出了一种基于改进的开放源代码的符号数值计算应用环境库(SYNAPS)的高效符号数值混合计算系统的设计方法,并进行了实现。实验结果表明,该系统高效可靠。
关键词
计算机
代数
系统
符号与数值混合
计算
数学软件
符号与数值混合应用
Keywords
Computer Algebra System (CAS)
symbolic-numerical computation
mathematic software
symbolic and numeric applications(SYNAPS)
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
复合磁聚焦-偏转系统正则像差的李代数方法研究
18
作者
胡康燕
唐天同
机构
西安交通大学
出处
《核科学与工程》
CAS
CSCD
北大核心
1999年第2期175-181,共7页
文摘
将电子光学正则像差的李代数理论应用到复合磁聚焦-偏转系统。运用这一新型代数工具,同时利用计算机代数的符号推导功能,推导出了复合系统的高斯光学性质和在任意观察平面的全部三级正则位置像差和正则动量像差。结果完整且形式简洁,与传统的逐次近似像差理论一致。李代数方法对于高性能扫描探针系统的设计与研究提供了一种新型有效的理论工具。
关键词
李
代数
像差
计算机
代数
磁聚焦偏转
系统
Keywords
Lie algebra aberration computer algebra
分类号
O463.1 [机械工程—光学工程]
在线阅读
下载PDF
职称材料
题名
基于系统代数的仿真模型自动生成研究
19
作者
周晨佳
机构
上海交通大学管理学院
出处
《科学技术与工程》
2010年第7期1789-1793,1796,共6页
文摘
计算机仿真在现代科学研究和工程应用中起着重要的作用,而复杂系统模型的建立往往需要占用大量时间和资源。提出以系统代数为工具,建立仿真系统元模型,根据已知约束,对不同运行逻辑的系统仿真模型自动生成并运行。对系统代数提出"Merge"算子,使其更适合建立较复杂系统的仿真模型。并使用该方法分别对产品设计和简单物流系统进行了仿真。此方法能够快速产生多个仿真模型,节省了对同一系统的不同运行逻辑进行重复建模的时间,提高应用仿真方法对系统进行分析的效率。
关键词
计算机
仿真
系统
代数
模型建立
自动生成
Keywords
computer simulation algebra of systems system modeling automatic generation
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
LINPACK与机群系统的LINPACK测试
被引量:
15
20
作者
都志辉
吴博
刘鹏
陈渝
王小鸽
李三立
机构
清华大学计算机系
出处
《计算机科学》
CSCD
北大核心
2002年第5期8-10,59,共4页
文摘
一、引言 LINPACK[1,2,7]是一个用Fortran语言编写的线性代数软件包,主要用于求解线性方程和线性最小平方问题.该软件包提供了各种线性系统中的求解方法,比如各种各样的矩阵运算,可以从文[2]得到完整的LINPACK软件包.LINPACK的初衷并不是制订一个测试计算机性能的统一标准,而只是提供一些常用的计算方法的实现,但是由于该软件包的广泛使用,这样就为通过LINPACK例程来比较不同计算机的性能提供了可能.
关键词
线性
代数
软件包
LINPACK
机群
系统
测试
并行
计算机
Keywords
LINPACK, LINPACK Benchmark, Cluster System
分类号
O245 [理学—计算数学]
TP338.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
多刚体系统计算机代数动力学建模研究
黄新生
黄圳圭
朱小谦
《国防科技大学学报》
EI
CAS
CSCD
1998
5
在线阅读
下载PDF
职称材料
2
计算机代数在热动力系统建模与仿真中的应用
白泉
李政
倪维斗
刘尚明
《动力工程》
CSCD
北大核心
2001
3
在线阅读
下载PDF
职称材料
3
计算机代数在电力系统非线性控制中应用
王旻
郑应平
《电力自动化设备》
EI
CSCD
北大核心
2006
2
在线阅读
下载PDF
职称材料
4
包络环面蜗杆传动的计算机代数系统(CAS)
姚立纲
陈德海
李尚信
徐晓俊
李华敏
《大庆石油学院学报》
EI
CAS
北大核心
1995
1
在线阅读
下载PDF
职称材料
5
控制系统计算机代数工具Symbol CAD
杨光宇
郑应平
《自动化学报》
EI
CSCD
北大核心
1998
1
在线阅读
下载PDF
职称材料
6
计算机代数化简系统CASS1
李岳峰
《软件学报》
EI
CSCD
北大核心
1993
1
在线阅读
下载PDF
职称材料
7
一种新型计算机代数系统编译器的设计与实现
覃安
符红光
《计算机工程》
EI
CAS
CSCD
北大核心
2006
2
在线阅读
下载PDF
职称材料
8
计算机代数系统mu MATH在量子力学中的应用
黄纯青
黄皙桓
熊钰庆
《华南师范大学学报(自然科学版)》
CAS
1992
0
全文增补中
9
计算机代数系统REDUCE的过程段的调用问题
朱龙根
《小型微型计算机系统》
CSCD
北大核心
1989
0
在线阅读
下载PDF
职称材料
10
非线性系统观测器的计算机代数分析与设计方法
杨光宇
《控制理论与应用》
EI
CAS
CSCD
北大核心
1998
0
在线阅读
下载PDF
职称材料
11
齿轮刀具的计算机代数设计系统
陈桂
《山东矿业学院学报》
CAS
1990
0
在线阅读
下载PDF
职称材料
12
状态空间精确线性化的计算机代数设计方法
康惠骏
《上海大学学报(自然科学版)》
CAS
CSCD
2002
2
在线阅读
下载PDF
职称材料
13
一种混合高性能计算机代数环境模型
张骏
陈良育
曾振柄
《计算机应用》
CSCD
北大核心
2007
1
在线阅读
下载PDF
职称材料
14
管理现代化电子计算机教育中心筹备工作正在加紧进行
《管理现代化》
1982
0
在线阅读
下载PDF
职称材料
15
电力系统并行计算方法比较研究
吉兴全
王成山
《电网技术》
EI
CSCD
北大核心
2003
43
在线阅读
下载PDF
职称材料
16
地图图层系统为布尔代数系的证明及应用
郑红波
钟业勋
秦绪佳
《浙江工业大学学报》
CAS
2005
4
在线阅读
下载PDF
职称材料
17
高效符号数值混合计算系统研究与设计
秦小林
冯勇
李骏
《计算机工程与应用》
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
18
复合磁聚焦-偏转系统正则像差的李代数方法研究
胡康燕
唐天同
《核科学与工程》
CAS
CSCD
北大核心
1999
0
在线阅读
下载PDF
职称材料
19
基于系统代数的仿真模型自动生成研究
周晨佳
《科学技术与工程》
2010
0
在线阅读
下载PDF
职称材料
20
LINPACK与机群系统的LINPACK测试
都志辉
吴博
刘鹏
陈渝
王小鸽
李三立
《计算机科学》
CSCD
北大核心
2002
15
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
3
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部