期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一个利用矩阵整体推导曲面结构方程的方法
被引量：
6
1
作者
谢琳
安扬
《辽宁师范大学学报（自然科学版）》
CAS
北大核心
2007年第3期262-264,共3页
在现在较为流行的局部微分几何文献(即文献[1]至文献[5])中,曲面结构方程的推导是从运动方程中一个单一方程出发,利用张量符号的变换得出的,其推导过程的符号关系十分繁杂.本文引入了一种从矩阵方程出发整体推导曲面结构方程的方法.此...
在现在较为流行的局部微分几何文献(即文献[1]至文献[5])中,曲面结构方程的推导是从运动方程中一个单一方程出发,利用张量符号的变换得出的,其推导过程的符号关系十分繁杂.本文引入了一种从矩阵方程出发整体推导曲面结构方程的方法.此方法以矩阵基本运算代替繁杂的张量符号变换,不仅使推导过程简化,而且也使推导的整体思路更为清晰.
展开更多
关键词
曲面的运动方程
曲面结构方程
矩阵
张量符号
在线阅读
下载PDF
职称材料
关于Christoffel符号的注记
2
作者
陈亚丽
《江苏教育学院学报（自然科学版）》
2005年第3期134-136,共3页
首先给出了曲面论中的一些记号，然后运用这些记号对张量记号之间的运算，特别是第一类和第二类Christoffel符号之间的关系给出了详细证明．
关键词
张量记号
协变张量
逆变张量
基本形式
Christoffel符号
在线阅读
下载PDF
职称材料
带有同步变迁的有界Petri网系统的建模及可达性分析
被引量：
4
3
作者
高娜
韩晓光
+1 位作者
陈增强
张青
《系统科学与数学》
CSCD
北大核心
2016年第7期924-936,共13页
由于存在可达标识集的爆炸性问题,大型Petri网系统的建模及可达性分析等问题的研究存在难度.文章利用矩阵的半张量积工具,研究了带有同步变迁的有界Petri网系统的建模及可达性问题.一方面,由于该类Petri网系统可以看作是由若干个子Petr...
由于存在可达标识集的爆炸性问题,大型Petri网系统的建模及可达性分析等问题的研究存在难度.文章利用矩阵的半张量积工具,研究了带有同步变迁的有界Petri网系统的建模及可达性问题.一方面,由于该类Petri网系统可以看作是由若干个子Petri网系统组成,所以可以用半张量积工具表述得到整个Petri网系统的矩阵表示.另一方面,在得出的矩阵表示的基础上,研究了两个标识之间可达性的充要判据,并给出了求可达变迁序列的算法.最后,文章用实例验证了该算法的正确性.所提出的方法在一定程度上解决了状态空间爆炸问题,并易于计算机实现.
展开更多
关键词
可达性
有界PETRI网
同步变迁
矩阵的半张量积
标识演化方程
原文传递
题名
一个利用矩阵整体推导曲面结构方程的方法
被引量：
6
1
作者
谢琳
安扬
机构
辽宁师范大学数学学院
出处
《辽宁师范大学学报（自然科学版）》
CAS
北大核心
2007年第3期262-264,共3页
文摘
在现在较为流行的局部微分几何文献(即文献[1]至文献[5])中,曲面结构方程的推导是从运动方程中一个单一方程出发,利用张量符号的变换得出的,其推导过程的符号关系十分繁杂.本文引入了一种从矩阵方程出发整体推导曲面结构方程的方法.此方法以矩阵基本运算代替繁杂的张量符号变换,不仅使推导过程简化,而且也使推导的整体思路更为清晰.
关键词
曲面的运动方程
曲面结构方程
矩阵
张量符号
Keywords
surface equation of motion
surface structural equation
matrix
tensor mark
分类号
O186.1 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
关于Christoffel符号的注记
2
作者
陈亚丽
机构
无锡商业职业技术学院基础部
出处
《江苏教育学院学报（自然科学版）》
2005年第3期134-136,共3页
文摘
首先给出了曲面论中的一些记号，然后运用这些记号对张量记号之间的运算，特别是第一类和第二类Christoffel符号之间的关系给出了详细证明．
关键词
张量记号
协变张量
逆变张量
基本形式
Christoffel符号
Keywords
tensor mark
covariant
tensor
contravariant
tensor
basic form
mark
Christoffel
分类号
P283.1 [天文地球—地图制图学与地理信息工程]
TP314 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
带有同步变迁的有界Petri网系统的建模及可达性分析
被引量：
4
3
作者
高娜
韩晓光
陈增强
张青
机构
南开大学计算机与控制工程学院
天津市智能机器人技术重点实验室
中国民航大学理学院
出处
《系统科学与数学》
CSCD
北大核心
2016年第7期924-936,共13页
基金
国家自然科学基金(61573199
61573200)
天津自然科学基金(14JCYBJC18700)资助课题
文摘
由于存在可达标识集的爆炸性问题,大型Petri网系统的建模及可达性分析等问题的研究存在难度.文章利用矩阵的半张量积工具,研究了带有同步变迁的有界Petri网系统的建模及可达性问题.一方面,由于该类Petri网系统可以看作是由若干个子Petri网系统组成,所以可以用半张量积工具表述得到整个Petri网系统的矩阵表示.另一方面,在得出的矩阵表示的基础上,研究了两个标识之间可达性的充要判据,并给出了求可达变迁序列的算法.最后,文章用实例验证了该算法的正确性.所提出的方法在一定程度上解决了状态空间爆炸问题,并易于计算机实现.
关键词
可达性
有界PETRI网
同步变迁
矩阵的半张量积
标识演化方程
Keywords
Reachability, bounded petri nets, synchronizing transition, semi-
tensor
product （STP） of matrices,
mark
ing evolution equation.
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
原文传递
题名
作者
出处
发文年
被引量
操作
1
一个利用矩阵整体推导曲面结构方程的方法
谢琳
安扬
《辽宁师范大学学报（自然科学版）》
CAS
北大核心
2007
6
在线阅读
下载PDF
职称材料
2
关于Christoffel符号的注记
陈亚丽
《江苏教育学院学报（自然科学版）》
2005
0
在线阅读
下载PDF
职称材料
3
带有同步变迁的有界Petri网系统的建模及可达性分析
高娜
韩晓光
陈增强
张青
《系统科学与数学》
CSCD
北大核心
2016
4
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
