有序完備集 的英文怎麼說
中文拼音 [yǒuxùwánbèijí]
有序完備集
英文
order-complete set-
The primary studies in this paper are the following : ( 1 ) we define a generalized alexandroff topology on an l - fuzzy quasi ordered set which is a generalization of the alexandroff topology on an ordinary quasi ordered set, prove that the generalized alexandroff topology on an l - quasi ordered set ( x, e ) can be obtained by the join of a family of the alexandroff topologies on it, a topology on any topological space can be represented as a generalized alexandroff topology on some l - quasi ordered set, and the generalized alexandroff topologies on l - fuzzy quasi ordered sets are generalizations of the generalized alexandroff topologies on generalized ultrametric spaces which are defined by j. j. m. m. rutten etc. ( 2 ) by introducing the concepts of the join of l - fuzzy set on an l - fuzzy partial ordered set with respect to the l - fuzzy partial order and l - fuzzy directed set on an l - fuzzy quasi ordered set ( with respect to the l - fuzzy quasi order ), we define l - fuzzy directed - complete l - fuzzy partial ordered set ( or briefly, l - fuzzy dcpo or l - fuzzy domain ) and l - fuzzy scott continuous mapping, prove that they are respectively generalizations of ordinary dcpo and scott continuous mapping, when l is a completely distributive lattice with order - reversing involution, the category l - fdom of l - fuzzy domains and l - fuzzy scott continuous mappings is isomorphic to a special kind of the category of v - domains and scott continuous mappings, that is, the category l - dcqum of directed - complete l - quasi ultrametric spaces and scott continuous mappings, and when l is a completely distributive lattice in which 1 is a molecule, l - fuzzy domains and l - fuzzy scott continuous mappings are consistent to directed lim inf complete categories and lim inf co ntinuous mappings in [ 59 ]
本文主要工作是: ( 1 )在l - fuzzy擬序集上定義廣義alexandroff拓撲,證明了它是通常擬序集上alexandroff拓撲的推廣,一個l - fuzzy擬序集( x , e )上的廣義alexandroff拓撲可以由其上一族alexandroff拓撲取並得到,任意一個拓撲空間的拓撲都可以表示為某個l - fuzzy擬序集上的廣義alexandroff拓撲,以及l - fuzzy擬序集上的廣義alexandroff拓撲是j . j . m . m . rutten等定義的廣義超度量空間上廣義alexandroff拓撲的推廣。 ( 2 )通過引入l - fuzzy偏序集上的l - fuzzy集關于l - fuzzy偏序的並以及l - fuzzy擬序集上(關于l - fuzzy擬序)的l - fuzzy定向集等概念,定義了l - fuzzy定向完備的l - fuzzy偏序集(簡稱l - fuzzydcpo ,又叫l - fuzzydomain )和l - fuzzyscott連續映射,證明了它們分別是通常的dcpo和scott連續映射的推廣,當l是帶有逆序對合對應的完全分配格時,以l - fuzzydomain為對象, l - fuzzyscott連續映射為態射的范疇l - fdom同構於一類特殊的v - domain范疇,即以定向完備的l -值擬超度量空間為對象, scott連續映射為態射的范疇l - dcqum ,以及當l是1為分子的完全分配格時, l - fuzzydomain和l - fuzzyscott連續映射一致於k . wagner在[ 59 ]中定義的定向liminf完備的-范疇和liminf連續映射。The representation theories of mp - filter which is created by an non - empty set of a implication algebra on a partial ordered set with condition ( c ) are obtained at first. and it ' s proved that the set which contains all mp - filters of a implication algebra x, denoted by mf ( x ) = { f x f is a filter of x }, is a distributive lattice and a complete lattice also in the view of the concept of mp - filter. then the fuzzy filter of a implication algebra is discussed, and the relations between mp - filter and fuzzy filter are obtained
藉助于mp -濾子的概念,得到了偏序集上具有條件( c )的蘊涵代數中由非空集合所生成mp濾子的表示定理,證明了由其上所有mp -濾子組成的集合mf ( x )是一個完備的分配格;得到了蘊涵代數中fuzzy濾子與mp濾子的關系,給出了fuzzy濾子成為fuzzy素濾子的若干刻畫;並利用mp -濾子和fuzzy濾子,刻畫了一類偏序集上蘊涵代數的結構。The firmware of ez - usb with the function of collecting, the whole image frame transmission and setting of integral time is established. the usb device driver with the function of downloading firmware and responding usb transmission is established. the applied program with the function of communication and control is established
編制具有採集、傳輸完整圖像幀並且能夠設置積分時間的ez - usb晶元固件,具有固件下載、響應usb傳輸等功能的usb設備驅動程序,具有通信和控制功能的應用程序。The thesis aims to give a scheme of designing a 48 - channel collected seismic recorder based on pci bus, and a testing machine has been completed in the basis of the scheme. pci bus provides a high data transfer speed, which solve the problem of transfering a mass of data in a short period of time ; moreover, two assistant channels are provided to sample reference signal ; the function of data correlation in real - time is also provied in the software of the instrumental system
論文論述了pci總線功能介面的實現和數據採集模塊的設計,給出了利用pci9054介面晶元設計pci介面的詳細過程,並利用driverstudio為pci數據採集系統編寫了設備驅動程序;在數據採集模塊的設計中,主要完成的工作有多通道數據採集、浮點放大以及系統的低噪聲設計,並利用cpld設計了整個系統的時序邏輯。In the field of digital signal processing, there are a mount of data need to be exchanged between the computer and peripheral device. to approve the transfer complete crectly, the driver is needed to control the device, the task of this design is to develop a wdm driver after adjusting and debugging the acquisition and processing card
在數字信號處理領域,大量的數據需要在計算機和外設之間傳送,為保證數據傳輸正確完成,需要有相應的驅動程序來對外圍設備進行控制。本課題就是在對信號採集/處理pci卡進行改進調試之後,開發的wdm驅動程序。By utilizing this workflow, you end up with an application that adheres to coding best practices, has a complete and useful test suite associated with it, and has no issues in regards to memory, performance, or threads
通過使用這個工作流程,你得到了一個遵守代碼最優化方法的應用程序,並完成了一個和它相關的完備有用的測試集合,並且在內存,性能,以及線程方面都沒有問題。分享友人