|
说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
|
|
1) T-invariants
T-不变技术
2) S-invariants
S-不变技术
3) ADTB-T technology
ADTB-T技术
1.
ADTB-T technology,which was developed by Shanghai Jiaotong University,laid the foundation of the standard.
该标准的主要技术基础之一是上海交通大学多年积累的ADTB-T技术。
2.
A total solution for the receiver based on the ADTB-T technology to national DTTB Standard is given.
针对《数字电视地面传输系统帧结构、信道编码和调制技术规范》标准,给出了接收机的实现指南,它以上海交大ADTB-T技术为基础,可以在几乎不增加实现复杂度的情况下同时支持单、多载波的接收。
4) T-RFLP
T-RFLP技术
5) 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网虹吸和陷阱的一般方法。
6) 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-不变量算法,得到了算法的完备性定理。
补充资料:RP技术和基于RP技术的RT技术
摘要:介绍了快速成形技术的原理和几种典型成形方法。同时,还介绍了基于快速成形技术的快速模具技术在模具制造业中的应用,以及快速成形技术的现状和发展趋势。 关键词:快速成形;快速模具;直接快速制模;间接快速制模。 引言 快速成形(Rapid Prototyping , RP.)技术,也叫快速原型技术,20世纪80年代后期起源于美国。该技术是一种集计算机辅助设计、机械、数控、检测、激光技术和材料学等为一体的先进制造技术。传统的制造方法是基于材料去除的概念,而 RP 技术突破了这种工艺方法,它是一种“使材料生长”的制造过程,是一种全新的制造技术,所以被誉为是近20年来制造技术领域的一项重大突破。 RP技术 1、原理 RP 技术是基于离散/堆积的原理。在计算机的控制下快速成型机的成形头选择性地固化一层层的液体材料(或选择性的切割一层层的纸、烧结一层层的粉末材料、喷涂一层层的热熔性材料等),形成各个截面轮廓并逐步顺序叠加成三维工件实体。其工艺步骤为: (1)切片 把三维CAD模型转化为快速原型系统能够接受的数据格式,运用切片软件将模型切成一系列指定厚度的薄片。 (2)扫描 通过数控装置控制激光或其他作业装置,在当前工作层上扫描出切片的截面形状。 (3)进给 把工作台沿着某一方向下降每次成形厚度那样一个距离。重复上一步骤和本步骤,直到工件完全成形。 (4)后处理 根据不同应用场合的需要,分别对零件进行后固化、上漆、烧结、渗铜等处理。 2、类型 目前RP的方法有几十种,但商品化较好的主要有:光固化立体成形(Stereo Lithogra- phy Apparatus, SLA)、分层实体制造(Laminated Objected Manufacturing ,LOM)、选择性激光烧结(Selected Laser Sintering , SLS)、熔融沉积造型(Fused Deposition Modeling , FDM)、三维印刷(Three Dimensional Printing , TDP)等。另外,很有潜力的激光气相沉积(Laser Vapor Deposition , LVP)法正在试验之中。 (1)SLA SLA法是出现最早,技术最成熟和应用最广泛的RP 技术,由美国的3D Systems 公司推出。SLA法是用激光束按照截面轮廓的形状,沿液态光敏树脂的表面进行扫描来固化光敏树脂,从而成形工件。工件的表面质量较好,尺寸精度较高(相对于其他RP 方法),可确保工件的尺寸精度在0.1mm以内,但树脂会因吸收空气中的水分而收缩、弯曲、卷翘,产生应力,适合成形中小型工件。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条
|