查询词典 automated operator interface

Though comparing Canny operator and center B spline dyadic wavelet, the following conclusion is proven in this dissertation: a Center B spline function has tight support and Canny operator hasn't. b Center B spline function asymptotic convergence to Gaussian function and the derivative of Center B spline function asymptotic convergence to Canny operator. c The derivative of fourth order center spline B function is more suitable as a optimal edge detector than Canny operator. d Center B spline function can balance the smoothing and approximation of original data, and the fourth center B spline function is the only optimal solution of two order smoothing problem. e The error between the valve of time-frequency uncertainty of the fourth center B spline function and the lower bound of time-frequency uncertainty does not exceed 0.143% of the lower bound. f The derivative of center spline B function can construct a stability dyadic wavelet and can give a fast algorithm for multiscale edge detection, but Canny operator can do neither.

作者给出了Canny算子与中心B样条二进小波严格的比较证明，得出如下结论：a中心B样条函数具有紧支集，Canny算子不具有紧支集。b中心B样条函数的极限收敛于高斯函数，中心B样条函数的导数收敛于Canny算子。c四阶中心B样条函数的导数比Canny算子更接近最佳边缘检测滤波器。d中心B样条函数比高斯函数更能兼顾对原函数平滑和逼近的折中要求，并且四阶中心B样条函数是二阶逼近问题的唯一最优解。e四阶中心B样条函数的时频测不准关系值与时频测不准关系下界的逼近误差不超过0.143％。f中心B样条函数的导数可以构成稳定的二进小波，存在快速的多尺度算法；而Canny算子不构成稳定的二进小波，无法给出快速的多尺度算法。

The generalized ordered weighted averaging operator is ob tamed by combining the ordered weighted averaging operator and the generalized mean operator. Based on the GOWA operator, the generalized uncertain ordered weighted averaging operator is proposed.

该算子将有序加权平均算子和广义平均算子相结合而成的广义有序加权平均算子推广到不确定的环境中，提出了一个广义不确定有序加权平均算于。

The instrument software has the function of demonstration of basic knowledge of Digital Image Processing, i.e., it performs the functions of real-time collection and images saving, color change (brightness, binarization, RGB separation etc.), geometrical transform, edge detection (Robert arithmetic operator, Sobel arithmetic operator, Prewitt arithmetic operator, LOG arithmetic operator, Canny arithmetic operator etc.), gray-scale image enhancement (histogram equalization, averaging filtering, median filtering), and binary mathematical morphology management (erosion, dilation, opening, closing, objects marking, Euler number calculation).

该测试仪的软件部分包含数字图像处理课程所涉及的一些基础知识的演示，具体包括图像的实时采集与保存、颜色变换(灰度化、二值化、R、G、B颜色分量的分离等)、几何变换、边缘检测(Robert、Sobel、Prewitt、LOG、Canny)、灰度图像增强(直方图均衡化、均值滤波、中值滤波等)、二值图像操作(腐蚀、膨胀、开启、闭合、对象标注、欧拉数计算)等功能。

In chapter one,the backgrounds and current situation of operator theory in Banach space are introduced and the preliminaries of Banach space are given.In chapter two,we study the existence and uniqueness of fixed point for decreasing strict-set-contraction operator in product space.Under the weak continuous condition,we obtain the existence and uniqueness of fixed point for decreasing operator and we give an application of these results; In chapter three,we get several positive fixed point theorems of decreasing operator and the existence and uniqueness theorems of positive fixed point for operator C=A+B,C=D-A in real Banach space where the order is decided by a normal cone; In chapter four,we obtained some existence and uniqueness theorems of fixed point for some mixed monotone operators in semi-ordered Banach space.

在第一章中，主要介绍了半序Banach空间非线性算子的研究历史背景、现状以及半序Banach空间中的预备知识；在第二章中，我们利用半序方法研究了Banach乘积空间中严格集压缩减算子不动点存在唯一性问题，在弱连续的条件下，得到了不动点的存在唯一性和迭代收敛性，同时，给出了它们的一些应用；在第三章中，我们建立了拟弱连续减算子的正不动点定理，并证明了算子C=A+B，C=D-A的正不动点存在唯一性定理；在第四章中，我们得到了半序Banach空间中混合单调算子的不动点存在性及唯一性定理。

The force-reflecting manual controller provides operator with the feel of touch, the virtual reality unit gives the operator 3D view of the remote working environment, and the advanced operator interface allows the operator to easily control, model, plan and simulate remote systems.

力反馈手控制器提供触觉反馈；虚拟现实装置给操作者提供远地工作现场的3－D视图；高级操作者界面允许操作者易于对远程系统进行控制、建模、规划和仿真。

The software of the system comprises a graphical interface of the command and control unit with human operator, a communication interface between command and control unit and central unit, a communication interface between central unit and peripheral units, and a command interface between peripheral units and munitions.

每个外设单元控制与它相连接20m远的16路军备，操作员根据军备功能决定传送信息给中央单元，经解码后传送指令到外设单元并控制电源设备、指挥军备的爆炸。

With aid of techniques of analytical continuation and conformal mapping, exact solutions are obtained for three typical problems concerning Eshelby's inclusion. The three problems are1 interaction between an arbitrarily shaped Eshelby inclusion and a circular inhomogeneity in transversely isotropic piezoelectric medium; 2 interaction between an arbitraily shaped Eshelby inclusion and an interface in anisotropic piezoelectric medium, the interface in our investigation may be a perfect interface, or a frictionless slipping interface , or a compliant electrode layer is embedded along the full interface of the bimaterials; 3 interaction between an arbitraily shaped Eshelby inclusion and an elliptical hole in anisotropic piezoelectric medium.

通过采用解析延拓和共形映射技术，获得了压电复合材料中有关Eshelby夹杂三个典型问题的精确弹性解答，即横观各向同性压电介质中任意形状的Eshelby夹杂与圆柱异相夹杂间相互作用；一般各向异性压电介质中任意形状的Eshelby夹杂与双压电材料所形成界面的相互作用，我们所考虑的界面包括理想界面、滑动界面以及柔性金属电极层增强界面；一般各向异性压电介质中任意形状的Eshelby夹杂与椭圆孔洞的相互作用。

Machining process and general information:· General Information – Tooling o Plan to have own engineering group as company expands o Hwasung is subcontracted to do engineering currently o Uses same cutting tools as in Korea facility – all diamond o Regrind tools if can o Hwasung has capability to surface grind, repair dies, and make molds with wire EDM process · General Information – Machining o Boundary samples are used: okay, borderline, not good o Quality room has separate windows for incoming and outgoing parts o New equipment will be coming in from FM LaGrange plant o Each operation has pictures and job instructions for what to check and which gage to use to check part o Parts are manually loaded into machine or pallet, depending on line o Auditor checks parts for verification: after operator checks part, puts in bin, auditor checks part and reloads back on line o Have tool management system o A pokeyoke check is used for orientation prior to loading o Machines are guarded o Mostly have CNC machines o Manual chip collection systems o If automated, have robots with grippers to load/unload parts from pallets o After final inspection, operator visually inspects and loads onto plastic dunnage with the crown up and loads into the washer o Repairs: filing down of burrs or sharp edges after anodizing the crown o Have 2 Excello machines for special machining of the pin bores o 2.7% scrap for gasoline pistons o Cycle time is 18 seconds for gasoline piston o Process – Wash o Spray system o 4 stations: heated wash, wash with degreaser, 2 rinse stations o Uses RO water o Operator blow dries piston and puts on dunnage with crown up o Parts wheeled into coating room o Needs major improvements here o Chemical analysis done for bath in chemical room o Comments/Observations: o Relatively small piston facility, but plans for additional space.

加工工艺和一般信息：·–的一般信息工具 o 有自己的工程集团，随着公司的扩展计划 o Hwasung 是分包做当前工程 o 用途相同的扦插工具，如在韩国设施–所有钻石 o 回收料工具如果可以 o Hwasung 已表面研磨，修复模具，和模具丝电火花加工能力过程·一般信息–加工 o 界限示例用于：好交界，不好 o 质量房间有单独的窗口传入和传出的部件 o 新设备会在来从调频拉格朗日植物 o Each 操作具有图片和工作说明的什么复选，计为使用检查部分 o 部件是手动加载到机器或托盘，取决于行 o 审计检查验证零件：置于 bin，运算符检查部分后，核数师检查部分并重新加载回行上 o 有工具管理系统 o 为 pokeyoke 复选用于在加载之前的定位 o 机被保护 o Mostly 有数控机床 o 手动芯片收集系统 o 自动，如果有与要加载/卸载部分从托盘 grippers 机器人 o 后最终检验，运算符将直观地检查并加载到与塑料衬垫冠了与到洗衣机负荷 o 修复：提交下毛刺或锋利的阳极氧化冠后 o 有 2 Excello 机特别加工的销孔 o 2.7%废料的汽油活塞 o 周期时间是为汽油活塞式 18 秒 o 过程–洗 o 喷射系统 o 4 站：加热洗、与脱脂剂洗、 2 冲洗站 o 使用反渗透水 o 运算符吹干活塞式并将了放冠衬垫 o 部件轮式进涂层房间 o 需要重大改善在这里 o 为在化学的房间里浴做的化学分析 o 注释/结论： o 相对小活塞式设施，但额外的空间的计划。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Uses the automated control not only on the galvanization production line to be possible to raise the product manufacturing efficiency and to reduce worker's labor intensity, and has the very good economic efficiency and the social efficiency, galvanizes on the production line to be possible to realize the automated control using PLC, PLC has the reliability to be high, the compatibility is broad, has the correspondence function, the structure modulation characteristic, therefore how to use good PLC to become the galvanization production line automation control key, auxiliary to galvanized the automatic production line driving with PLC by the frequency changer to carry on the automatic control, had the structure to be simple, the programming was convenient, the operation was flexible, the use safe, worked stable, the perform reliably and the antijamming ability strong characteristic, was one kind of very effective automatic controlThe way, is galvanizes the production to realize, the low cost, the high grade automated production development direction highly effective.

在电镀生产线上采用自动化控制不但可以提高产品生产效率和减轻工人的劳动强度，而且有着非常好的经济效益和社会效益，电镀生产线上运用PLC则可以实现自动化控制，PLC具有可靠性高，适应性广，具有通信功能，结构模块化的特点，因此如何使用好PLC成了电镀生产线自动化控制的关键，用PLC辅以变频器对电镀自动生产线行车进行自动控制，具有结构简单、编程方便、操作灵活、使用安全、工作稳定、性能可靠和抗干扰能力强的特点，是一种很有效的自动控制方式，是电镀生产实现高效、低成本、高质量自动化生产的发展方向。

It's bell can reach over a meter in diameter.

它的身体最大可以达到直径1米多。

Now they are overdue and I shall have to pay a fine.

现在他们过期了，我不得不付罚款。