查询词典 specified

In the early 1970s, pioneers like Floyd, Dijkstra, and Hoare argued that programs should be formally specified and proven correct.

上世纪七十年代，Floyd、Dijkstra和Hoare等先驱者认为应该形式化地给出程序规范并证明其正确性。

The so-call'exportable equation'is found by nonlinear geometry method for general non-autonomous chaotic control systems which coefficient matrix of control term is functional matrix contained system variables. The homeomorphic transformation of coordinate is found under specified conditions, the coefficient matrix of control term can be transformed as constant matrix, the synchronization among chaotic systems can be realized by common control methods.

针对一般的非自治混沌控制系统中控制项系数矩阵是含有系统变量的函数矩阵，利用非线性几何线性化的方法找出所谓的"输出方程"，在一定的条件下求出坐标的同胚变换，将控制项系数矩阵变换为常矩阵，然后利用常规的控制方法进行混沌系统之间的同步化。

Definition of homeworker: A person who carries out work for a company under direct or indirect contract, other than on a company's premises, for remuneration, which results in the provision of a product or service as specified by the employer, irrespective of who supplies the equipment, materials or other inputs used.

居家工人定义：在直接或间接合同下，不在公司场地内为公司做工的人。不论由谁提供设备、原材料或其他物料，只要提供了雇主界定的产品或服务并为报酬而做工的人均属居家工人。您是否还在为验厂考勤软件而烦恼？咨询电话：

To meet the requirements of dynamic formation of eMC-MS, a honeycombed layout of eMC-MS and corresponding material transportation system are presented. According to the production capacity and the process flow of the specified manufacturing cell, a mathematical model and a Genetic Algorithm model are designed to search the optimal layout result.

布局优化技术作为eMC-制造系统的基础支撑技术是本文的研究重点之一，针对eMC-制造系统的特点和系统动态规划的要求，本文提出了一种蜂窝式制造系统布局形式和相应的物料传输体系，根据制造单元的设备类型、生产能力和基本工艺流程，按照运输成本最低的原则，利用遗传算法解决了eMC-制造单元的布局优化问题。

When you add a new item, it adds a horizontal scroll bar to a specified list box and scrolls down the list box so you can see the last added item.

当你增加一个新条目时，它在指定的列表框上增加了一个水平的滚动条，并在列表框的最下端显示出新增加的条目。

Referring to my conversation with you today, I now enclose an order sheet for hosiery as specified.

参照今日和你方的谈判记录，兹随函寄上详细叙述订购卫生衣的订单2份，请查收。

Environmental Protection: it adopts the unleaded glass tube, hydrargyrum content is very few which is below the specified value of Kyoto Protocol

环境保护无铅玻璃管，水银含量极小

Hydrate for the minimum time specified at constant temperature (T = 20± 2°C).

水合物最起码的指定时间在恒定温度（ T = 20 ± 2 ℃）。

A primary frequency standard in which a specified hyperfine transition of cesium-133 atoms is used to control the output frequency.

基本频率标准，采用了一种特殊的超精细铯-133原子传输来控制输出频率。

If this member is NULL, the system searches the icon resource specified by the hIcon member for an icon of the appropriate size to use as the small icon.

如果该值为 NULL 。则把 hCursor 中的图标转换成大小合适的小图标。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！