查询词典 set forward

In chapter three, we prove that there exist solutions to the Ky Fan variation inequality, as the set-valued mappings are defined on spheres in infinite dimensional Banach spaces or odd dimensional Euclidean spaces, following from these theorems, we obtain some fixed point theorems for set-valued mappings defined on a sphere. When G is an approximate compact convex subset of E, or G is a almost quasi-convex set-valued mapping, we prove that there exist solutions to and type generalized Ky Fan variation inequality, following these theorems, we prove several best approximation theorems and coincidence theorems involving two set-valued mappings and two different spaces. In chapter four, we first present a new Simplicial algorithm for computing the Leray - Schauder fixed points, the algorithm can solve the set-valued nonlinear complementarily problem. We give a condition to guarantee the computation proceeding in a bounded region. We present integer-labeling algorithms for computing fixed points of some set-valued mappings, the best approximation points and solutions to a kind of set-valued variation inequalities.

第四章给出了计算定义在非凸集上的非自映射的Leray-Schauder不动点的算法，而现有的不动点算法都是计算凸集的上半连续集值自映射的不动点；给出了保证计算有界的一个充分条件，我们的条件大大弱于Mdrrill条件，我们的算法也可用来计算Eaves不动点；给出了集值非线性互补问题存在解的一个充分条件，此时可利用Leray-Schauder不动点算法来求解；向量标号算法以往是计算集值映射不动点的唯一有效算法，我们给出用整数标号算法计算一类集值映射的Kakutani 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

The research is carried on from four aspects. One is, based on answering the above open problem on a finite dimensional Euclidean space by means of partially ordered theory, to research the existence of solutions, global error bounds of proximal solutions and sensitivity of parametric unique solutions and present a class of variable-parameter three-step iterative algorithms for generalized set-valued variational inclusion problems by using - resolvent operator of set-valued mapping.Two is to consider the convexity, closedness and boundedness of the solution set of general set-valued variational inclusion problems and the sensitivity of the parametric solution set by means of graphical convergence theory. Three is to discuss directly the existence of solutions by using analytical methods for set-valued mixed quasi-variational-like inequalities and suggest a class of direct variable-parameter three-stepiterative algorithms for solving generalized set-valued variational inclusions.

研究分有三个方面：一是借助于偏序理论在有限维欧氏空间中解决了上述公开问题，在此基础上利用集值映射的η-预解算子，研究了广义集值变分包含问题解的存在性、逼近解的全局误差界、参数唯一解的灵敏性，并提出了一类变参数三步迭代算法；二是借助于图收敛理论研究了一般集值变分包含问题解集的凸性、闭性和有界性以及参数解集的灵敏性；三是用分析的方法直接讨论了集值混合拟类变分不等式问题解的存在性并提出了一类求解广义集值变分包含问题的直接变参数三步迭代算法。

OSB production line,Particleboard production line,MDF production line,HDF production line,Plywood complete set of Equipment,Composite panels complete set of Equipment,HF Bending wood complete set of Equipment,Blockboard production line,Artificial board cover complete set of Equipment,Bamboo Filaments floor complete set of Equipment,Bamboo board complete set of Equipment,Bamboo mat complete set of Equipment, Composite pallet board tray machine.

复合板生产线、胶合板成套设备、刨花板OSB成套设备、细木工板成套设备、贴面成套设备、纤维板成套设备、竹地板成套设备、模压托盘设备。

Five novel torsion-mirror optical actuators including double-beam thickness differential structure with single torsional axis, double flexible folded-beam structure with single torsional axis, double-beam vertical torsion comb structure with single torsion axis, four-beam differential compound-micromirror structure with double torsional axis and the combined structure of the four basis forms above, are brought forward. All of these devices could be fabricated by the same silicon micromachining process we have developed. The deformation compensation design with local enhancement for the thin torsional beam which is the key structure of these devices is also put forward to improve the reliability. The three-dimension solid model and two-dimension reduced order model of the torsion-mirror optical actuator are established and then the numerical simulations for evaluating the device characteristics of the statics, dynamics, electrostatic field, mechanical and electrostatic coupling, fluid and solid coupling are carried out to optimize the structure design. Furthermore, three optical fibre clamping structures which could be integrated monolithicly are designed and analyzed to improve the optical coupling capability. 4. Three flexible process flows combined with bulk silicon micromachining and surface silicon micromachining are brought forward to fabricate these novel single-crystal silicon or polysilicon torsion-mirror optical actuators by using the same lithography masks for both SOI wafer and regular silicon wafer. A series of important process experiments are carried out to optimize the process parameters and the process flows. Some novel and typical process phenomena which occurred during the microfabrication are analyzed and then the corresponding solutions are put forward. 5. A MEMS dynamic testing system which exploit blur image synthetic technique, stroboscopic image matching technique, stroboscopic mirau microscopic interferometry technique and microscopic laser dopper vibrometer technique is set up to measure three-dimension and six-freedom micro motions of any MEMS devices with nanometer resolution.

在对硅微机械扭转镜光致动器的光机电特性系统地理论研究的基础上提出了硅微机械扭转镜光致动器的结构设计准则。3、提出了单轴双梁厚度差分结构、单轴双柔性折叠梁结构、单轴双梁垂直扭转梳齿结构、双轴四梁差动复合微镜结构以及以上四种基本结构组合后的衍生结构等五种工艺加工技术兼容的新型的硅微机械扭转镜光致动器，对器件关键结构薄厚度、高耐疲劳扭转梁进行了局部加强的变形补偿设计，建立了器件的三维实体模型以及两维降阶模型，对提出的新结构硅微机械扭转镜光致动器进行了系统的静力学、动力学、静电场、力电耦合和流体固体耦合的建模仿真与优化设计，同时设计并分析了三种可实现单芯片集成的弹性光纤定位夹紧结构。4、提出了组合体硅微加工技术与表面硅微加工技术、兼容同一套光刻版图、可分别基于SOI 晶片和普通Si 晶片、适应于制造提出的各种新结构单晶硅和多晶硅硅微机械扭转镜光致动器的三套柔性加工工艺流程，开展了一系列重要工艺步骤的单项工艺试验，对工艺流程与工艺参数进行了优化，针对加工过程中出现的具有普遍意义的典型工艺问题进行了讨论和分析，并提出了解决方法。5、创新性地将模糊图像合成技术、频闪图像匹配技术、频闪Mirau 显微干涉技术与显微激光多普勒测振技术有机结合，建立起了一套周期运动测量与瞬态运动测量相结合、单点运动测量与全视场运动测量相结合、满足不同MEMS 器件各种动态测试要求的集成的MEMS 三维六自由度微运动精密测量系统。

The information integrated pattern based on PDM/PLM in the course ofmanufacture is put forward. Under the constraints of building CAPP platform, thearchitecture of CAPP platform is established. The models of decision making andfunction for process planning are given. Then the development means of CAPP basedSmarTeam are extracted.3. The structure of modular product life cycle is established. Toward the divisionand planning of the General Modules oriented product family, theCAD/CAPP integrated model of flexible module based on feature and CAD/CAPPmapping model based on process planning match board are set up. The keytechnologies of Solidworks/SmarTeam/CAPP integration are studies.4. From the point of view of process match board and step match board, theprocess of creating to process planning match board is studied. As an example, themachining process planning of up beam of hydraulic press machines is used tointroduce the establishment of process planning match board by means of inferencebased on expert knowledge. The organize model about the process planning matchboard oriented product family is brought forward.5. The multi-decision methods of CAPP system based on analytic hierarchy aregiven.. On the basis of uniform data model, the sub-machining process planning ofpart is auto-created by means of analytic hierarchy, The step decision methods basedon AHP is put forward.6. For the design/manufacture information in the course of product life cycle, thetree structure based on Object-Oriented and static model based UML are founded. Themethod of establishing design/manufacture information management system isbrought forward. The commercial PLM software—SmarTeam is regarded asdevelopment platform, on basis of which, the design/manufacture informationmanagement system is built, and the multi-view mapping technique ofdesign/manufacture information model is studies.7. A computer-aided CAPP platform based on PDM/PLM is founded, and itsstructure, function, work flow is illustrated. Some example of the system areintroduced.

阐述课题提出的目的和意义，明确了本文研究的主要内容。2、提出基于PDM/PLM的制造过程信息化集成模式；在平台式CAPP系统的设计约束模型基础上，构建了平台式CAPP系统的体系结构；并给出工艺决策模型和功能模型；最后提出基于SmarTeam的CAPP开发模式和实现策略。3、建立模块化产品生命周期模型的组织结构；针对面向产品族的广义模块的划分和规划方法，建立基于特征的柔性模块CAD/CAPP集成模型及基于工艺模板的CAD/CAPP映射模型；研究Solidworks/SmarTeam/CAPP集成的关键技术。4、从工序模板和工步模板的角度研究了工艺模板的创建过程；以液压机上梁模块机加工为例，采用基于专家知识的推理技术实现了工艺模板的创成；提出了面向产品族的工艺模板分层结构树的组织模式。5、提出基于分层规划的多模式工艺决策流程；在统一数据模型的基础上，从特征层和零件层分层规划，实现了零件加工子工艺的自动创成；提出基于AHP的工步排序决策方法。6、针对产品生命周期中的设计/制造信息，建立了面向对象的类树结构和基于UML的静态结构模型；提出基于PDM/PLM软件的设计/制造信息管理系统的构建方法；以商品化PLM软件SmarTeam作为开发平台，开发了基于SmarTeam的设计/制造信息管理原型系统；研究设计/制造信息模型多视图映射机制。7、开发了基于PDM/PLM的平台式CAPP原型系统，构建了系统的功能模型，并对系统的主要功能进行说明，给出系统的运行实例。

Finally, the condition examining and schema decomposition algorithm are given.Fourthly, The definitions of elementary merge dependency set and minimum elementary merge dependency set are put forward. The weak leftside conflict and weak rightside conflict in the minimum elementary merge dependency set are defined. The conclusion that when the minimum elementary merge dependency set has weak left side conflicts or weak right side conflict is reached, The decomposition meeting PEK isα-cyclic is given. The algorithms of calculating the minimum elementary merge dependency set and examining the conflicts are given.

给出了条件的判定算法和数据库模式的分解算法。4、提出初等归并依赖集和初等最小归并依赖集的概念，定义初等最小规并依赖集的弱左部冲突和弱右部冲突，讨论了初等最小归并依赖集下的冲突问题，给出了在FD集F其初等最小归并依赖集D中存在弱左，右部冲突时模式分解为满足PEK为有α环的结论，并给出了初等最小归并依赖集的求解方法，冲突的判定算法。

This text from analyze the basic theories of the target management to commence, study basic method and steps of the teacher troops target management of the implement military school, and began to set up the teacher troops target management system of the military school from here, putting forward the system to set up of limit and excellent turn the measure; Around the system set up, in a specific way divided the line the implement target management of layer structure, designed the workflow of the teacher troops target management of military school, set up the index sign system of the teacher troops target management of the military school; In completing the foundation of the teacher troops target management index sign system of set up the military school, according to manage the analysis of the index sign contents to the teacher troops target of the military school, adopt AHP and layers to analyze the method to make sure its index sign main factor and its powers.

本文立足军校教员队伍目标管理的概念和基本理论，研究了实施目标管理的基本方法与步骤，并由此着手构建了目标管理体系，提出了体系构建的局限和优化措施；围绕体系构建，界定了体系概念，确定了管理模式，划分了实施目标管理的层次结构，设计了军校教员队伍目标管理的工作流程，构建了军校教员队伍目标管理的指标体系：在完成构建军校教员队伍目标管理指标体系的基础上，根据对目标管理指标内容的分析，采用德尔菲法和层次分析法确定了其指标要素及其权，并加以实例验证。

We prove the fuzzy set-valued characteristicfunction of a compact Baire fuzzy set can be approached by fuzzy set-valuedcontinuous functions with fuzzy compact support sets,the integral of integrablesimple Baire fuzzy set-valued function can be approached not only by the integralsof integral simple fuzzy set-valued functions,but also by the integrals of fuzzy set-valued continuous function with fuzzy compact support sets.

定义了诱导空间上具有模糊紧支集的模糊集值连续函数，说明了它与分明的具有紧支集的连续函数的关系，证明了紧贝尔模糊集的模糊集值特征函数可以用具有模糊紧支集的连续函数列来逼近，可积简单贝尔模糊集值函数的积分可以用可积简单模糊集值函数的积分来逼近，还可以用具有模糊紧支集的模糊集值连续函数的积分来逼近。

Direct Correspondence of Display Data RAM to LCD Pixel Display Data RAM2,500 bits LCD Drivers25-common and 100-segment Selectable Duty and Bias Ratio ; 1/25 Duty 1/6 Bias or 1/15 Duty 1/5 Bias Direct connection to 8-bit Microprocessor interface for both of 68 and 80 type MPU Serial Interface (SI, SCL, A0, CS) Useful instruction set Display ON/OFF, Display Start Line Set, Page Address Set, Column Address Set, Status Read, Write Display Data, Read Display Data, Normal or Inverse ON/OFF Set, Static Drive ON/Normal Display, EVR Register Set, Read Modify Write, End, Reset, Internal Power Supply ON/OFF, Driver Output ON/OFF, Power Save and ADC select.

直接显示数据RAM的对应像素液晶显示数据RAM2，500位液晶Drivers25，共同和100段可选择的职务和偏差率； 1 / 25的责任1 / 6的偏见或1 / 15的责任1 / 5偏见的直接连接至8位微处理器的接口为68和80型微控制器的串行接口（司，沙田至中环线时，A0，CS）的相关指令集显示开/关，显示开始行设置，页面地址设置，列地址设置，状态读取，写入显示数据，读取数据显示，正常或逆开/关设置，静态驱动器/正常显示，腔内注册设置，读取修改写入，完，复位，内部电源开/关，开/关，节能和ADC选择驱动器输出。

The invention discloses a double-temperature double-chamber light wave sterilizing cabinet, which comprises the following parts: box, low-temperature chamber and high-temperature chamber in the box and control device, wherein the upper baffle rack is set in the low-temperature chamber, one lower baffle rack is set in the high-temperature chamber, the screen and keyboard are set on the box, the low-temperature chamber possesses first door with drawer switch and the high-temperature chamber possesses second door with drawer switch, the knife and fork rack is set on the bottom of first door, whose extending direction is vertical the door, the rotary lamp rack of ultraviolet tube is set in the low-temperature chamber, the light wave generating device is set in the high-temperature to emit light wave.

一种双温双室光波消毒柜，包括一箱体、设置在箱体内的低温室和高温室、控制装置，该低温室中设有一上隔物架，该高温室中设有一下隔物架，在箱体的上部依次设有显示屏、按键；该低温室具有抽屉式开关的第一门体，该高温室具有抽屉式开关的第二门体；在第一门体的底部设有一拉伸方向与门体拉伸方向垂直的、可以从左右两侧拉出的刀叉架；在该低温室内设有一设置有紫外线灯管的旋转灯架，在该高温室内设有一用于发射光波的光波发生装置。本发明消毒柜，使用范围广泛，功能齐全，消毒效果好。

Objective:To explore the feasibility of laparoscopy in diagnosing and treating of abdominal diseases.

目的：探讨腹腔镜用以诊断腹部外科疾病及选择治疗方案的可行性。

The lifetime of nylon 1010 and nylon 1010/POSS composites decreased with increasing temperature.

热重-红外联用分析表明尼龙1010在氮气气氛下的降解产物主要为小分子的低聚物，POSS并不改变尼龙1010降解产物的组成。