对可满足性求解器算法进行比较,从中选择了效率较高且适用于全解求解器的算法。
It compared several algorithms of SAT solvers and selected the algorithm with higher efficiency and better suitability for all-solution SAT solver.
用乘积推理机、单值模糊器和中心平均解模糊化来计算输出。
Product inference engine, singleton fuzzifier and center average defuzzifier were used to calculate outputs.
这种解耦使得视图和控制器更易于测试。
This decoupling makes it easier to test your views and controllers.
我们做的所有操作都是加载适当的模块来支持外置驱动器:它们应该根据需要被解注。
All we are doing is loading the appropriate modules to support the external drive: they should be uncommented as required.
你还需要带一个计算器,因为我们会需要解一些涉及计算的题目。
You also need to bring a calculator, we'll be solving problems that involve calculations.
这个例子展示了lsode的用法,这是一个常见的微分方程解算器。
This example demonstrates the use of lsode, an ordinary differential equation solver.
检测器:null指针对null的解引用(dereference)和冗余比较。
Detector: null pointer dereference and redundant comparisons to null.
元数据处理和可见性规则的运行时实施由osgi框架解算器负责。
The processing of the metadata and the run time enforcement of the visibility rules are provided by the OSGi framework resolver.
发布/订阅消息模型极其强大,可以将UI元素本身及UI元素与服务器端进行解耦。
The publish/subscribe messaging paradigm is EXTREMELY powerful and enables clean decoupling of user-interface elements from each other, and from the serverside.
而研究和开发一种新型的热解反应器是实现新工艺工业化的关键课题。
Developing a new type of pyrolysis reactor is a key step for industrialization of the new process.
解耦滤波器为一阶,实验证明是可行的。
Experiments have proven that one-order decoupling filter is feasible.
用户跟踪节点可以用来手动生成跟踪器给照相机使用或物体解算,可以有多个输入和输出。
The User track node can be used to manually generate trackers to use for camera or object solving, and can have multiple inputs and outputs.
“室内的设计采用间接照明方案:祭坛、圣器收藏室和告解室上方的顶部照明,还有沿着环形侧墙壁的照明,”建筑师说。
"The interior is crafted with indirect lighting schemes: zenithal lighting above the altar, sacristy and confessional, and parietal along the lateral circulations," said the architect.
提出了非线性空间飞行器系统采用滑动模态控制方法,它对强非线性的空间飞行器系统通道间交叉影响进行解耦。
A control method with sliding mode of nonlinear spacecraft system is provided in this paper, in which the interactive influences among channels of strong nonlinear spacecraft system are decoupled.
为了测试火炮弹丸飞行姿态,采用捷联式地磁—太阳方位传感器,利用地磁场和太阳方位作为参照物,解算弹丸飞行姿态。
For use in the attitude measurement of artillery projectiles, a strap-down type geomagnetism and solar direction sensor is made use of to decide the attitudinal data.
所设计的多变量内模控制器能使系统稳定解耦,所得到的闭环系统根据开环系统时滞来描述。
All the stabilizing IMC controllers and the resulted closed-loop systems were characterized in terms of the open-loop system's time delays.
当解耦器训练结束后,对于非线性对象采用单神经元自适应PID来进行控制,仿真结果表明,此控制方案效果较好。
After the success in decoupling, single neural cell self-adapting PID is adopted to control nonlinear object. The simulation results show that the control strategy gets better effects.
这种差分信号转换回平行的解串器在远程终端视频。
This differential signal is converted back to parallel video at the remote end by the deserializer.
如果将被动式电液力控制系统看作多变量系统,可以设计解耦调节器抑制系统中多余力。
Taking it as a multivariable control system, the additional operating force can be constrained by a decoupling regulator.
数字仿真和实验结果表明,该控制策略能较好地实现有源电力滤波器的解耦控制,具有较好的动态特性和较强的鲁棒性。
Simulation and experimental results confirm the decoupling control strategy for the power filter. It has preferable dynamic characteristics and robust quality.
当然你可以通过调整这两个解算器的设置来继续提升质量。
Of course, you can still improve the quality, by adapting the settings for both solvers.
在用带有噪声的信号进行反卷积时,没有严格的解,必须采用滤波器方能得到稳定、平滑的估计解。
When deconvoluting the signal with noise, there are no exact solutions, so we must use filter to get stable and smooth estimated solutions.
腕力传感器的传递矩阵对输出信号的解耦和提高腕力传感器的精度具有重要意义。
Transfer matrix of wrist force sensor is of importance to decoupling output signals and enhancing precision of wrist force sensor.
腕力传感器的传递矩阵对输出信号的解耦和提高腕力传感器的精度具有重要意义。
Transfer matrix of wrist force sensor is of importance to decoupling output signals and enhancing precision of wrist force sensor.
应用推荐