1) t-invariant
T不变量
1.
On the basis of matrix theory, the algorithm for computing s-invariant and t-invariant of petri net are presented; on the basis of mathematical logic, the solution method for siphon and trap of petri net are obtained.
根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法。
2.
According to matrix theory,the algorithm for s-invariant and t-invariant are presented on the basis of mathematical logic.
根据矩阵理论,提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法。
2) T-invariant
T-不变量
1.
T-invariant based Methods for Computing Repetitive Vectors of Petri Nets;
基于T-不变量的可重复向量的求解算法
2.
Decision algorithm for legal firing transition sequence of Petri net based on T-invariant eliminating;
基于T-不变量消除的Petri网合法变迁引发序列判定算法
3.
Inference algorithm of T-invariant and completeness are also got.
为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。
3) T_-invariant analysis
T-不变量分析
4) T-invariants
T-不变技术
5) Invariant component
不变分量
6) Invariants
不变量
1.
Second,the relationship between the T-invariants of the PCN and its branches nets are presented.
首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。
2.
A series of novel invariants called regional Gaussian descriptors are constructed based on region.
为了对几何变形的图像进行正确和有效的识别,对基于物体轮廓的高斯描绘子进行推广,构造了一种基于区域的新的不变量——区域高斯描绘子。
3.
The standard space theory of Chen Shaoting is introduced to the problem on invariants of anisotropic elastic constants.
将陈氏规范空间的概念引入到不变量的问题中去，并将ＴＣＴＴｉｎｇ找到的不变量及由特征值得到的不变量在规范空间用显式表出。
补充资料：ACADR2002系统变量
A
ACADLSPASDOC 控制 AutoCAD 是将 acad.lsp 文件加载到所有图形中，还是仅加载到在 AutoCAD 任务中打开的第一个文件中
ACADPREFIX 存储由 ACAD 环境变量指定的目录路径（如果有的话），如果需要则添加路径分隔符
ACADVER 存储 AutoCAD 版本号
ACISOUTVER 控制 ACISOUT 命令创建的 SAT 文件的 ACIS 版本
AFLAGS 设置 ATTDEF 位码的属性标志
ANGBASE 设置相对当前 UCS 的 0 度基准角方向
ANGDIR 设置相对当前 UCS 以 0 度为起点的正角度方向
APBOX 打开或关闭 AutoSnap 靶框
APERTURE 以像素为单位设置对象捕捉的靶框尺寸
AREA 存储由 AREA、LIST 或 DBLIST 计算出来的最后一个面积
ATTDIA 控制 -INSERT 是否使用对话框获取属性值
ATTMODE 控制属性的显示方式
ATTREQ 确定 INSERT 在插入块时是否使用缺省属性设置
AUDITCTL 控制 AUDIT 命令是否创建核查报告文件 (ADT)
AUNITS 设置角度单位
AUPREC 设置角度单位的小数位数
AUTOSNAP 控制 AutoSnap 标记、工具栏提示和磁吸
B
BACKZ 存储当前视口后剪裁平面到目标平面的偏移值
BINDTYPE 控制绑定或在位编辑外部参照时外部参照名称的处理方式
BLIPMODE 控制点标记是否可见
C
CDATE 设置日历的日期和时间
CECOLOR 设置新对象的颜色
CELTSCALE 设置当前对象的线型比例缩放因子
CELTYPE 设置新对象的线型
CELWEIGHT 设置新对象的线宽
CHAMFERA 设置第一个倒角距离
CHAMFERB 设置第二个倒角距离
CHAMFERC 设置倒角长度
CHAMFERD 设置倒角角度
CHAMMODE 设置 AutoCAD 创建倒角的输入模式
CIRCLERAD 设置缺省的圆半径
CLAYER 设置当前图层
CMDACTIVE 存储一个位码值，此位码值标识激活的是普通命令、透明命令、脚本还是对话框
CMDECHO 控制 AutoLISP 的 (command) 函数运行时 AutoCAD 是否回显提示和输入
CMDNAMES 显示活动命令和透明命令的名称
CMLJUST 指定多线对正方式
CMLSCALE 控制多线的全局宽度
CMLSTYLE 设置多线样式
COMPASS 控制当前视口中三维坐标球的开关状态
COORDS 控制状态栏上的坐标更新方式
CPLOTSTYLE 控制新对象的当前打印样式
CPROFILE 存储当前配置文件的名称
CTAB 返回图形中的当前选项卡（模型或布局）名称。通过本系统变量，用户可以确定当前的活动选项卡
CURSORSIZE 按屏幕大小的百分比确定十字光标的大小
CVPORT 设置当前视口的标识号
D
DATE 存储当前日期和时间
DBMOD 用位码表示图形的修改状态
DCTCUST 显示当前自定义拼写词典的路径和文件名
ACADLSPASDOC 控制 AutoCAD 是将 acad.lsp 文件加载到所有图形中，还是仅加载到在 AutoCAD 任务中打开的第一个文件中
ACADPREFIX 存储由 ACAD 环境变量指定的目录路径（如果有的话），如果需要则添加路径分隔符
ACADVER 存储 AutoCAD 版本号
ACISOUTVER 控制 ACISOUT 命令创建的 SAT 文件的 ACIS 版本
AFLAGS 设置 ATTDEF 位码的属性标志
ANGBASE 设置相对当前 UCS 的 0 度基准角方向
ANGDIR 设置相对当前 UCS 以 0 度为起点的正角度方向
APBOX 打开或关闭 AutoSnap 靶框
APERTURE 以像素为单位设置对象捕捉的靶框尺寸
AREA 存储由 AREA、LIST 或 DBLIST 计算出来的最后一个面积
ATTDIA 控制 -INSERT 是否使用对话框获取属性值
ATTMODE 控制属性的显示方式
ATTREQ 确定 INSERT 在插入块时是否使用缺省属性设置
AUDITCTL 控制 AUDIT 命令是否创建核查报告文件 (ADT)
AUNITS 设置角度单位
AUPREC 设置角度单位的小数位数
AUTOSNAP 控制 AutoSnap 标记、工具栏提示和磁吸
B
BACKZ 存储当前视口后剪裁平面到目标平面的偏移值
BINDTYPE 控制绑定或在位编辑外部参照时外部参照名称的处理方式
BLIPMODE 控制点标记是否可见
C
CDATE 设置日历的日期和时间
CECOLOR 设置新对象的颜色
CELTSCALE 设置当前对象的线型比例缩放因子
CELTYPE 设置新对象的线型
CELWEIGHT 设置新对象的线宽
CHAMFERA 设置第一个倒角距离
CHAMFERB 设置第二个倒角距离
CHAMFERC 设置倒角长度
CHAMFERD 设置倒角角度
CHAMMODE 设置 AutoCAD 创建倒角的输入模式
CIRCLERAD 设置缺省的圆半径
CLAYER 设置当前图层
CMDACTIVE 存储一个位码值，此位码值标识激活的是普通命令、透明命令、脚本还是对话框
CMDECHO 控制 AutoLISP 的 (command) 函数运行时 AutoCAD 是否回显提示和输入
CMDNAMES 显示活动命令和透明命令的名称
CMLJUST 指定多线对正方式
CMLSCALE 控制多线的全局宽度
CMLSTYLE 设置多线样式
COMPASS 控制当前视口中三维坐标球的开关状态
COORDS 控制状态栏上的坐标更新方式
CPLOTSTYLE 控制新对象的当前打印样式
CPROFILE 存储当前配置文件的名称
CTAB 返回图形中的当前选项卡（模型或布局）名称。通过本系统变量，用户可以确定当前的活动选项卡
CURSORSIZE 按屏幕大小的百分比确定十字光标的大小
CVPORT 设置当前视口的标识号
D
DATE 存储当前日期和时间
DBMOD 用位码表示图形的修改状态
DCTCUST 显示当前自定义拼写词典的路径和文件名
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条