Projection Temporal Logic

英美

Projection Temporal Logic网络翻译

投影时序逻辑

...年01期： TP311.52 【正文快照】： Framed Tempura[1]是一种时序逻辑程序设计语言,它是投影时序逻辑(projection temporal logic,PTL)的一个可执行子集,扩展了语言Tempura[2],增加了指针数据结构[3]、框架操作符和新的投影操作..

采用投影时序逻辑

最后,采用投影时序逻辑(PTL,Projection Temporal Logic)形式化描述了该模型中资源访问决策部分的规范说明.

相关单词

tutun. （法）芭蕾舞短裙；新西兰马桑 n. （Tutu）人名；（罗、南非）图图
tumblern. 不倒翁（玩具）；杂技演员；翻筋斗者；一杯的容量；滚筒；平底玻璃杯
trimestern. 三个月；一学期
trigonometryn. 三角学
trapezen. 秋千；吊架
transportingv. 运输；使产生身临其境的感觉；流放（transport 的现在分词）
trampolinen. 蹦床（一种体育器械），弹簧垫 v. 在蹦床上弹跳
tracern. [核]示踪物；追踪者；描图者；（铁笔等）绘图工具 n. （Tracer）人名；（英）特雷瑟
tombolan. （英）一种彩券 n. （Tombola）人名；（意）通博拉
to pass an examination
tights紧身裤袜
tiern. （高度各不相同的）一层，一排；（机构或系统的）层次，等级；（衣服的）一层褶裥（或荷叶边） v. 层叠，层层排列；成递升排列【名】（Tier）（英）蒂尔（人名）
telecommunicationsn. 电信，电讯
teachersn. 教师（teacher 的复数形式）
taxationn. 征税，税制；税款