1) track number
轨迹号
2) generalized symbolic trajectory evaluation
推广化符号轨迹赋值
1.
The paper introduced a strong model checking(SMC)algorithm in generalized symbolic trajectory evaluation(GSTE)and analyzed the reason leading to false negative,proposed the improved SMC algorithm to reduce the false negative.
介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法。
3) symbolic trajectory evaluation
符号轨迹评价方法
1.
The two techniques,approximate value method and parametric method,which are used to eliminate the BDD blowup problem,and symbolic trajectory evaluation(STE) is also introduced.
介绍了具有一定自动机处理能力的符号轨迹评价方法。
4) track
[英][træk] [美][træk]
轨迹
1.
Research on Abrasive's Track of Mirror Fhishing;
镜面光整加工中磨料轨迹的分析研究
2.
A study on the dynamic tracks of comuunicable diseases in Yichun from 1950 through 2005;
1950～2005年宜春市传染病动态演变轨迹研讨
3.
Research of workpiece s movement track and interference;
工件的运动轨迹和干涉问题研究
5) Orbit
[英]['ɔ:bɪt] [美]['ɔrbɪt]
轨迹
1.
Kinetic model of hemispherical resonator gyro based on orbit plot method;
基于轨迹图法的半球谐振陀螺动力学模型描述
2.
Optimizing the moving-orbit for off-axis aspheric manufacturing and testing;
离轴非球面加工、检测轨迹优化研究
3.
Algorithms of the Sun s orbit visual motion in the marine simulator;
航海模拟器中的太阳视运动轨迹的算法(英文)
6) locus
[英]['ləʊkəs] [美]['lokəs]
轨迹
1.
On-objecting Testing for Locus of Moving Object;
运动物体轨迹的在体测试
2.
The locus substitutional device of cycloidgeneration mechanism;
摆线发生机构的轨迹替代机构
3.
Research on the Drift locus of Semi-floating Body at Sea;
海上半浮体漂移轨迹研究
补充资料：大同十里铺27号、28号辽墓壁画
大同十里铺27号、28号辽墓壁画 墓址在山西大同市城西南十里铺。1957年发现。东为27号墓，西为28号墓。两墓壁画内容大致相同。在室壁四隅以朱色绘影作木建筑，四隅画4柱子，柱与柱之间绘壁画。室顶绘天空，并点缀有粉红色的星星，东侧用墨画l金鸡，西侧绘桂树玉兔，表示日与月。墓门东西两侧壁各绘l门卫，抱杖守门。北壁中间绘花石围屏3条，上悬蓝黄色帷幕。围屏两旁绘2侍，东男西女。东壁绘l老翁，俯首立于衣架前，左下角绘家庭生活用具，右下角绘朱色斜方格隔扇门。西壁绘车马出行图，下绘脸盆和盆架，左下角绘朱色菱形隔扇门。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条