运算状态

According to the criterion of minimizing the sum of the squares of the states posterior confidence region widths, we get the value of the updated Biscay distribution, then get the states interval estimation.

该方法结合了区间运算和Kalman滤波方法，分别根据状态和观测方程得到的预测值的Biscay分布，融合得到估计的Biscay分布值，进而得到状态的区间估计。

To avoid the cumulative error problem caused by auto-overflow in state observer floating operation, the whole-integer operation was proposed to improve the control precision.

为解决状态观测器中采用传统浮点数运算时，因自动下溢出产生误差的问题，提出全整数运算算法提高控制精度。

According to this method, on the basis of ontology, the requirement of dynamic revising service cases and the description of revision operator are presented under the same circumstance, and the capacity of revision operator can be described with two respects of interaction environment and changes. Furthermore, the model of resource states transition graph is presented to realize the transition from the description of the capacity of revision operator to the resource states of revision operator. Finally, a verification method concerning the dynamic revision of service cases is presented to improve the revision and verification automatically.

将动态调整需求和调整运算子的描述统一在它们共同的环境的基础之上；并建立了调整运算子的交互环境本体，在本体的基础上，从调整运算子交互的环境以及调整导致的环境的改变两个方面描述调整运算子的能力；提出调整运算子能力的资源状态变迁图模型，实现了从调整运算子能力描述到调整运算子的资源状态变迁图模型的转换；还较为系统地提出了与基于范例推理服务组合相关的范例动态调整的验证方法，提高了服务范例调整和验证的自动化程度。

In the process of elliptic curve digital signature verification, the elliptic curve scalar multiplication and the elliptic point addition, which are under different coordinates, need to be calculated twice and once, respectively. With operands allocation, the two operations in the thesis are using the shared registers and arithmetic units as well as the same modular inverse process. No extra resource is needed for the introduction of point addition. Hence the resource utilization efficiency is optimized.

论文对这两种不同坐标系下的计算进行了寄存器和运算单元的统一调度，使它们的求逆运算共用同样的流程，减小了控制状态机的复杂度，并且在实现标量乘法的基础上，没有增加额外的运算单元或寄存器，点加运算的所有计算资源均和标量乘法公用，最大限度的提高了资源利用率。

The three states are transformed via two-dimension liquid crystal element and polarizators, and ternary arithmetic operation and ternary logic al calculus completed directly in this way.

三值光计算机用相互垂直的两个线偏振光和零光强三个独立的光状态表示信息；用二维液晶器件和偏振器实现此三个状态间的转换；采用三进制算术运算；直接处理三值逻辑运算；拥有巨大的数据位数(容易超过10~4位)；具有光运算、光传送、电控制等结构特色，具有很强的空间、时间并行性。

This invention provides an on-line analysis method and system for combined gas and steam cycle power station's efficiency, which comprises an on-site data-collecting unit, used to check the sub-devices state parameter in power station; a data base server linked to on-site data-collecting unit to stored the state parameter provided by data-collecting unit; modular arithmetic server used to calculate the gross operation efficiency of power station based on the data base state parameter and the influence degree caused by sub-devices property to the gross operation efficiency; client device to receive command input by clients and output the calculating result by modular arithmetic server.

本发明提供一种燃气―蒸汽联合循环发电站运行效率的在线解析方法和系统，在线解析系统包括：现场数据采集单元，用于测量电站各分设备的状态参数；与现场数据采集单元相连的数据库服务器，用于存储现场数据采集单元测量得到的状态参数；模型运算服务器，其根据从数据库提取的状态参数并计算电站的总运行效率和当前状态下电站各分设备性能对电站总运行效率的影响程度；客户机，其接收用户输入的命令并输出模型运算服务器的计算结果；网络，其将数据库、模型运算服务器和客户机连接在一起。

In this paper,pose representation by quaternions are researched.With the basic quaternion algebra,the "quaternion based rotations combination theorem" is introduced and proved theoretically.On the basis of this theorem,a method for compute of pose nonliear state transfer function and its linearization is purposed.Then,the computing of the measurement function and the linearization is studied.With the Extended Kalman Filter,the pose is tracked and estimated.

研究用四元数表示物体的姿态，在四元数基本运算法则基础上提出并证明了"基于四元数的多个旋转运动合成规则"，然后将此规则为依据，推导出一种用来计算姿态非线性状态方程系数的方法，对非线性状态转移函数进行线性化，并且研究了测量方程函数的确定及线性化，借助扩展Kalman滤波实现了对姿态的跟踪。

When analyzing its working condition, we should sufficiently consider if the IV system is in linear amplificatory area or in saturated area.

文章摘要：在电子技术教学中，分析运算放大器系统时，应根据运算放大器系统的反馈情况，判断它的工作状态；分析工作状态时，要充分考虑运放系统是处于线性区还是饱和区。

According to the algorithmic characteristics of video coding, general video decoder can be classified by three classic tasks. First is the low-leveled task for simple control, which focuses on calculation. It is called dense-calculation task when the requirement for calculation is higher. Second is the data-dependence task for simple calculation but sophisticate control, which belongs to middle-level task. More sub-states exist inside the task and the transition of the sub-states depends on input data and lacks of rules. Third is the simple-system task, part of advanced tasks, with simple calculation but no rules, the complexity of which mainly lies in the control of multi-tasks to complete certain function coordinately.

根据视频的编解码算法特性，一般的视频解码器可以分为三种典型的任务：以运算为主，控制简单的低级任务，当运算要求很高的时候我们可以称之为运算密集型任务；运算简单，但是控制复杂，任务内部子状态繁多，而且跳转依赖于输入数据而无规律，这类任务我们可以称之为数据依赖型任务，属于中级任务；运算简单而无规则，复杂度主要集中在控制多个任务协同进行以完成某一特定功能的简单系统型任务，属于高级任务。

For the elementary ce llular automata, these researching results imply that we can get the involving r esult at the moment t+1 from any state combination of a cell and its neighbo r at the moment t by the computation of the recognition function and its alg orithm.

对于初等细胞自动机，这些研究的成果意味着在 t 时刻任何一个细胞及其邻居的状态的组合，都可以利用识别函数及其运算法则的函数运算得到 t+1 时刻的演化结果。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。