查询词典 partitioned operation

It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.

Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义：确保了从需求分析阶段开始的软件开发周期的完全形式化；避免了人工的误操作或演算错误导致的求精前后不一致，保证了系统的一致性和完整性；由于求精过程避免了手工操作，因而Z规格说明自动精化为程序代码的编译环境可以建立，这将会加速Z规格说明在工业界的推广应用。

It is the apanage responsibility that fulfils special operation strictly, 7 branches should strengthen the guidance that works to each district, ensure the demand of special operation drops to real point.

二是严格落实专项行动的属地责任，七部门要加强对各地工作的指导，确保专项行动的要求落到实处。

As for 3D visual clothing simulations, the primary problems are the sense of the reality of fabric and the efficiency for collision operation. For these reasons, we simulate the sense of reality of the fabric using an approximate implicit integration and the texture mapping technique. Besides, we improve the efficiency for collision operation using the vector and voxel model.

在3D虚拟服装的模拟过程中，主要的问题为服装布料的真实性与碰撞运算的效率，透过利用近似隐含法、材质贴图与光学法则达到布料模拟的真实性，并利用向量运算与体素法增加模拟过程中碰撞运算的效率。

The system gets two image of one object with two CCD, thus obtains depth from two CCD"s parallax. After investigating the operation spot and discussing with surgeons we use LED as markers, and get the marker"s 3-D position with a non-contact optics orientation method. After calibrating the CCD, processing the image, the system can figure out marker"s areal coordinates, get marker"s 3-D coordinate in dummy world coordinate system, thereby obtain instruments 3-D position and orientation. After the coordinate transformation and a series of orientation calculation, operation navigation comes true.

运用两个摄像机对同一目标从不同位置成像，进而从视差中恢复距离；通过对手术现场的仔细了解与手术医师的反复商榷，使用LED作为标志点，利用非接触式光学定位方法提取空间点位置信息：通过对摄像机的标定、图像处理及目标点重心的计算，求出空间点在虚拟世界坐标系下的三维坐标，从而确定了手术器械等的空间位姿，通过空间坐标转换及一系列定位计算，完成了手术导航实验系统。

Given the definition of fundamental operation of arithmetic on connection number a+bi+cj in Set Pair Analysis, researched the property of these operation rules.

摘 要：定义了a+bi+cj型联系数的加法、减法、乘法和除法运算，研究了这些运算的基本规律及其性质，给出了在网络计划等领域的应用实例。

Because $numericBase is converted to a string during the merge operation, no arithmetic operation is performed.

因为在融合操作中被转换为了字符串，所以并没有进行真正的数值计算。

After a long period of preparation, Manstein finally decided he could take major action again. On 8 May 1942, he launched Operation Trappenjagd, which called for General Maximilian For-Pico's XXX Corps to attack the Russian 44th Army on the southern coast. The operation launched at 0415 that morning with a 10-minute artillery barrage. By 0730, the Russian front line troops were completely smashed at the pressure of German frontal attacks and the small landing by the 902nd Assault Boat Command and the 436th Infantry Regiment behind their lines.

经过长时间的筹备，曼斯坦因终于决定他要再次发动一次重大行动。1942年5月8日，他发起了猎鸨行动，下令马克西米里安(Maximilian For-Pico)将军的第30兵团进攻南部海岸的苏军第44军。5月8日早上4点15分德军开始的10分钟炮击宣告了行动开始。7点30分，德军902冲锋舟连与436步兵营在苏军防线后方进行了一次小规模登陆，他们同正面德军的强大攻势一起，彻底瓦解了苏军的防线。

In order to realize reasonable dispatching of water resources, some key questions are studied, such as operation method for multi-year reservoir, the associated operation of surface water and ground water, and as a result, the reasonable and feasible disposal measures are put forward.

叶河流域是一复杂水资源系统，既要考虑整个系统的灌溉和生态用水，又要兼顾27座电站的电力补偿，为了对水资源进行合理调配，对其中的关键问题如：多年调节水库计算方法、地表水与地下水的联合调节等问题进行了研究，提出了理论上合理、操作上可行的处理方法。

The operation laws including:commutative law, associative law, cancellation law, unity of operation, inverse element, and distributive law between two operations,here we just omit them.

这些运算律包括：交换律，结合律，消去律，运算单位元，运算逆元，两个运算之间的分配律等，在此不再一一说明详细过程。

Operation cannot be performed while async operation is pending.

不能在异步操作挂起期间执行操作。

The use of the web to spread fears that flicking the switch on the LHC could create a Black Hole that could swallow up the Earth particularly concerned him, he said.

他说，使用互联网散布恐慌说启动LHC会生成一个可能吞噬地球的黑洞的做法让他感到忧虑。

Not a single word have I written down.

我一个字也没有写下来。