期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
巧用数轴解时态
1
作者 武文慧 《试题与研究(教学论坛)》 2015年第8期34-34,共1页
在英语教学中,时态的教学一直是重点、难点。由于英语和汉语分属不同的语系,所以对于汉语为母语的英语学习者来说,时态的学习和把握不易到位。在新课改下的高中英语教学中,此问题更是愈显重要。本文结合数学中的数轴,加上对时态的... 在英语教学中,时态的教学一直是重点、难点。由于英语和汉语分属不同的语系,所以对于汉语为母语的英语学习者来说,时态的学习和把握不易到位。在新课改下的高中英语教学中,此问题更是愈显重要。本文结合数学中的数轴,加上对时态的理解,将时态化繁为简,对时态教学进行探讨。 展开更多
关键词 时态 时态轴
下载PDF
开放式体系结构数控系统实时性的建模与分析 被引量:5
2
作者 曹宇男 张辉 +1 位作者 叶佩青 王田苗 《机械工程学报》 EI CAS CSCD 北大核心 2011年第1期108-116,共9页
给出一个新的用于描述开放式体系结构数控系统(Open architecture computerized numerical control system,OAC)的建模方法——时间转化模型/全时轴实时时态逻辑(Timed transition model/all-time real-time temporal logic,TTM/ATRTTL)... 给出一个新的用于描述开放式体系结构数控系统(Open architecture computerized numerical control system,OAC)的建模方法——时间转化模型/全时轴实时时态逻辑(Timed transition model/all-time real-time temporal logic,TTM/ATRTTL)。TTM/ATRTTL提供一整套方法用于对OAC系统的硬实时性和反馈特性进行建模并使用该形式化方法在系统层对OAC系统进行建模。分别给出开环OAC,系统级逻辑控制器以及任务间通信和同步机制的TTM模型,并最终给出具有调度机制的闭环OAC系统TTM模型。该模型为系统验证体系结构的基础。最后,给出系统验证体系结构并用模型验证工具STeP和CAD工具SF2STeP实现之。在系统验证过程中,首先解决STeP中遇到的若干模型验证问题,这些问题包括重写规则,验证规则,状态爆炸问题,以及时间约束限制问题。通过模型验证试验解决OAC系统运行过程中出现的死锁以及系统各模块执行时间约束检验问题。试验结果表明该方法可以有效地对OAC系统进行建模并对系统的实时特性进行验证。 展开更多
关键词 开放式体系结构数控系统 形式化描述与验证方法 时间转化模型/全时实时时态逻辑 实时性 建模
下载PDF
Simultaneous measurement of phase retardation and optic axis of wave plates 被引量:3
3
作者 ZHANG Xu WU Fu-quan WANG Hai-long YAN Bin KONG Chao 《Optoelectronics Letters》 EI 2007年第1期65-68,共4页
A simple method used for simultaneous measurement of phase retardation and optic axis of wave plate by employing 1/4 wave plate is demonstrated. The theoretical analysis of the measuring principle is presented in deta... A simple method used for simultaneous measurement of phase retardation and optic axis of wave plate by employing 1/4 wave plate is demonstrated. The theoretical analysis of the measuring principle is presented in detail. In the measurement, after adjusting a standard 1/4 wave plate and the fast (slow) axis of the plate to be measured parallel to the pass axis of the polarizer, the plate to be measured is rotated by 450 counterclockwisly. A stepping motor is used to rotate the analyzer. The experimental data are collected by a photodetector and then sent to a computer. According to the output data curve, the phase retardation and optic axis of the plate to be measured can be obtained simultaneously. To test the feasibility of the method, a λ /2 and a λ /8 wave plates are used as examples to demonstrate the measurement procedures. The phase retardation measurement accuracy is better than 0.5×10-2. This method can be used to measure the arbitrary phase retardation conveniently. 展开更多
关键词 波片 相位推延 同时测量 极化态
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部