XYZ/RE,XYZ/RE,在线英语词典,英文翻译,专业英语

1) XYZ/RE

XYZ/RE

Mapping from Real-time Temporal Logic Language XYZ/RE to Timed Automata;

实时时序逻辑语言XYZ/RE到时间自动机的映射

A Methodology for Automatically Constructing a Multimedia Synchronizer in XYZ/RE;

基于XYZ/RE的多媒体同步器自动构造方法

2) XY

Analysis of 10 cases of 46,XY pure gonadal disgenesis;

46,XY单纯性腺发育不全10例分析

Analysis of Synaptonemal Complex from a Carrier with 46,XY,t(11;18) Balanced Translocation;

一位46,XY,t(11;18)平衡易位携带者的联会复合体分析

THE TREATMENT OF PURE 46,XY GONADAL DYSGENESIS:A REPORT OF TWO CASES;

46,XY单纯性腺发育不全的治疗(附2例报告)

3) PRS-XY

PRS-XY

Kinematics Analysis and Motion Control of PRS-XY Hybrid Framework;

PRS-XY型混联机构运动学分析和运动控制

4) XY chain

XY链

Study of the XY chain with long-range interactions;

具有长程相互作用S-1/2 XY链的研究

5) XY model

XY模型

Ising-like phase transition in the square lattice fully frustrated XY model with nearest next neighbor couplings;

考虑次近邻相互作用的正方形点阵完全阻挫XY模型的Ising型相变

On the properties and controlling of thermal entanglement in a two-qubit Heisenberg XY model with external magnetic fields;

外磁场下XY模型中两量子位热纠缠的性质及其调控研究

In the simulation,XY model was used to deal with the order parameter and standard cell dynamical scheme(CDS) was adopted to translate the continuous space into lattice space.

用二维XY模型和CDS元胞动力学方法研究了向列型液晶与少量硬粒子组成的两相体系的织态演化动力学。

6) Mg-9Al-1Si-xY alloys

Mg-9Al-1Si-xY合金

参考词条

XY雌鱼 XY振镜 XY自旋链 Heisenberg XY链 XY-型区域 “XY中国” XY工作台 XY·CN总线 Heisenberg XY模型 XY电信 XY银行 XY绘图机 XY绘图仪 XY记录器和平变革频率分段法

补充资料：XYZ/E语言族

XYZ/E语言族
XYZ/E language family

　　XYZ/任yuyanzuxYZ/E语言族(xYZ/Elanguage价”nily)一种系列化的时序逻辑语言族，其中各子语言分别表示不同的程序设计方式或程序范型的语言。X、，Z/E由中国科学院计算技术研究所唐稚松于70年代设计，它的最基本的特征是以一统一的框架既能表示适应诺依曼体系的状态转换机制的命令式语言，又能表示适应逻辑推理特征的直言式公式语言。 XYZ/E有三种控制结构:一种是直接表示状态转换的命令形式，具有这种控制结构的子语言称xYZ/BE(即卫进51。XYZ/E);另一种则是结构化高级语言的语句形式，具有这种控制结构的子语言称为XYZ/SE(即Structur司rulef〔)ml XYZ/E);第三种控制结构则是产生式规则的形式，具有这种控制结构的子语言称为XYZ/PE(即Preductlon rule爪〕nllX、艺/E)。 XYZ/E中也包括了表示各种并发性或不确定性、不同通信方式、不同类型的可重用模块的机制。故在一统一的程序中可包含所有这些机制及相应的各种程序设计方式。它同时还能包含表示多种可视图形程序的语义，而且这些图形与相应的XYZ/E程序可相互自动生成。由可重用模块(过程、进程、包块)与并发通信机制结合而成的程序，由于其结合方式不同，可以构成差异很大的总体结构，其中有些情况是互不相容的。可以区分为三种类型:①非分布式环境下基于对象的程序;②非分布式环境下面向对象的程序;③分布式程序。 XYZ系统是将时序逻辑与软件工程有机结合、基于XYZ/E语言的计算机辅助软件工程(C纪弧)环境。故它构成一正交的二维体系。一维是基于Manna一Pnudi线性时间时序逻辑语言族XYZ/E，另一维是CASE工具集，包括五组工具(交互式验证工具与自动生成工具、记录历史的逐步求精与原型速成工具、结构化设计的可视图形工具、语言转换工具、软件管理工具)，均以XYZ/E表示其语义界面，它们既可独立使用又可根据其输人输出界面语义一致性相互连结组成更复杂的工具。 (柳军飞赵深)
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

首页 \| 翻译 \| 影视 \| 论坛 \| 索引烃油xy XY“女人” XY嵌合体 xy平台 XY记录仪 XY精子

1) XYZ/RE XYZ/RE 1. Mapping from Real-time Temporal Logic Language XYZ/RE to Timed Automata; 实时时序逻辑语言XYZ/RE到时间自动机的映射 2. A Methodology for Automatically Constructing a Multimedia Synchronizer in XYZ/RE; 基于XYZ/RE的多媒体同步器自动构造方法 2) XY XY 1. Analysis of 10 cases of 46,XY pure gonadal disgenesis; 46,XY单纯性腺发育不全10例分析 2. Analysis of Synaptonemal Complex from a Carrier with 46,XY,t(11;18) Balanced Translocation; 一位46,XY,t(11;18)平衡易位携带者的联会复合体分析 3. THE TREATMENT OF PURE 46,XY GONADAL DYSGENESIS:A REPORT OF TWO CASES; 46,XY单纯性腺发育不全的治疗(附2例报告) 3) PRS-XY PRS-XY 1. Kinematics Analysis and Motion Control of PRS-XY Hybrid Framework; PRS-XY型混联机构运动学分析和运动控制 4) XY chain XY链 1. Study of the XY chain with long-range interactions; 具有长程相互作用S-1/2 XY链的研究 5) XY model XY模型 1. Ising-like phase transition in the square lattice fully frustrated XY model with nearest next neighbor couplings; 考虑次近邻相互作用的正方形点阵完全阻挫XY模型的Ising型相变 2. On the properties and controlling of thermal entanglement in a two-qubit Heisenberg XY model with external magnetic fields; 外磁场下XY模型中两量子位热纠缠的性质及其调控研究 3. In the simulation,XY model was used to deal with the order parameter and standard cell dynamical scheme(CDS) was adopted to translate the continuous space into lattice space. 用二维XY模型和CDS元胞动力学方法研究了向列型液晶与少量硬粒子组成的两相体系的织态演化动力学。 6) Mg-9Al-1Si-xY alloys Mg-9Al-1Si-xY合金参考词条 XY雌鱼 XY振镜 XY自旋链 Heisenberg XY链 XY-型区域 “XY中国” XY工作台 XY·CN总线 Heisenberg XY模型 XY电信 XY银行 XY绘图机 XY绘图仪 XY记录器和平变革频率分段法补充资料：XYZ/E语言族 XYZ/E语言族 XYZ/E language family 　　XYZ/任yuyanzuxYZ/E语言族(xYZ/Elanguage价”nily)一种系列化的时序逻辑语言族，其中各子语言分别表示不同的程序设计方式或程序范型的语言。X、，Z/E由中国科学院计算技术研究所唐稚松于70年代设计，它的最基本的特征是以一统一的框架既能表示适应诺依曼体系的状态转换机制的命令式语言，又能表示适应逻辑推理特征的直言式公式语言。 XYZ/E有三种控制结构:一种是直接表示状态转换的命令形式，具有这种控制结构的子语言称xYZ/BE(即卫进51。XYZ/E);另一种则是结构化高级语言的语句形式，具有这种控制结构的子语言称为XYZ/SE(即Structur司rulef〔)ml XYZ/E);第三种控制结构则是产生式规则的形式，具有这种控制结构的子语言称为XYZ/PE(即Preductlon rule爪〕nllX、艺/E)。 XYZ/E中也包括了表示各种并发性或不确定性、不同通信方式、不同类型的可重用模块的机制。故在一统一的程序中可包含所有这些机制及相应的各种程序设计方式。它同时还能包含表示多种可视图形程序的语义，而且这些图形与相应的XYZ/E程序可相互自动生成。由可重用模块(过程、进程、包块)与并发通信机制结合而成的程序，由于其结合方式不同，可以构成差异很大的总体结构，其中有些情况是互不相容的。可以区分为三种类型:①非分布式环境下基于对象的程序;②非分布式环境下面向对象的程序;③分布式程序。 XYZ系统是将时序逻辑与软件工程有机结合、基于XYZ/E语言的计算机辅助软件工程(C纪弧)环境。故它构成一正交的二维体系。一维是基于Manna一Pnudi线性时间时序逻辑语言族XYZ/E，另一维是CASE工具集，包括五组工具(交互式验证工具与自动生成工具、记录历史的逐步求精与原型速成工具、结构化设计的可视图形工具、语言转换工具、软件管理工具)，均以XYZ/E表示其语义界面，它们既可独立使用又可根据其输人输出界面语义一致性相互连结组成更复杂的工具。 (柳军飞赵深) 　　说明：补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com