查询词典 modeling

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

Chapter 3 puts forward the networked manufacturing configuration modeling method of motor based on axiomatic design.

第三章提出了基于公理设计的电机产品网络化制造配置建模方法。

All equipments investments will be lower than old type equipments, truely attain efficiently and consume low a machines to use more, if reach a factory to need one set equipments and then can produce:The turf-grass brick, large road follows a stone, water mill brick, difference type road noodles azulejo, build brick wall brick, eight bore bricks and protect ascent brick, the farmland capital construction and highway two side 1 time's modeling one U type catchment dike, and Yan plank...etc.

6〉全部设备投资要低于老型设备，真正做到高效、低耗一机多用，如构件厂只需一台设备就能生产：草坪砖、大型路沿石、水磨砖、异型路面花砖、砌墙砖、八孔砖、护坡砖、农田基本建设及公路两侧一次性成型U型排水渠、檐板等多种水泥制品。

All equipments investments will be lower than old type equipments, truely attain efficiently consume low a machines to use more, if reach a factory to need one set equipments then can produce:The turf-grass brick, large road follows a stone, water mill brick, difference type road noodles azulejo, build brick wall brick, eight bore bricks protect ascent brick, the farmlcapital construction highway two side 1 time's modeling one U type catchment dike, Yan plank...etc.

5〉产量高同时节省人工费；每生产一块荷兰砖就能比老机型节省人工费用4-5分钱（经众多生产厂家比较的结果）按班产6000块计算，每天每台小型机就能节约人工费用200多元，大型机节省更多。

OpenGL graphics technique, modeling of the ""sky dome"", MilkShape 3D creation method, principle of particle system are discussed. These techniques are used to construct sky background, fighter plane, trail and IR jamming respectively in the IR scene simulation system.

在进行红外视景图像仿真的研究工作中，文中讨论了OpenGL图形绘制技术、圆顶形天空的建模、MilkShape3D三维造型过程、粒子系统原理，用这些技术分别构建了红外视景中的天空背景、飞机目标、飞机尾焰和红外干扰弹。

Median filtering method using background modeling, image processing, continuous image of the target tracking and data association.

详细说明：采用中值滤波法背景建模，图像处理，对连续图像进行目标跟踪和数据关联。

Gaussian background modeling and effective video image foreground and background processing, you want to help!

详细说明：高斯背景建模，有效地对视频图像进行前景和背景的处理，希望对大家有帮助！

The modeling method of ultraviolet scattering characteristics for space satellites was studied according to background radiation environment.

根据目标所处的背景辐射环境，对空间卫星的紫外散射特性进行建模方法研究。

Pierre Baldi, Paolo Frasconi and Padhraic Smyth,Modeling the Internet and the Web:Probabilistic Methods and Algorithms,Wiley,2005

在这些内容基础上，更进一步的，本课程力图把一种并行化思考方式介绍给你，它是未来计算的重要内容。

ADAMS is used as an instrument to analyze the process of compressing hay in high density baler. A ADAMS model of the compressing hay in high density baler is established, and the modeling method and model structure are validated by ADAMS.

在研究中，引入了虚拟样机技术，使用ADAMS软件对牧草的高密度压捆过程进行分析，建立压缩过程中牧草的ADAMS模型，并对ADAMS的建模方式、模型结构进行了验证。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。