集系代數 的英文怎麼說
中文拼音 [jíxìdàishǔ]
集系代數
英文
set system algebra-
The procedure functions in the compare between partial image of dynamic collection and corresponding image of the airscape. in chapter 5, basing on the analysis of correlative theory of digital image, we introduce the improved fasted - down algorithm and simulative anneal algorithm, which applies to nn calculation, an d bring forward the unique and effective means, correlative original value evaluation. basing on the combination of correlative arithmetic, a stable, high - speed and exact correlative arithmetic is formed, which makes it possible to apply computer vision detection of single - needle quilting in industrial production
本文展開研究並取得一定成效：構建了基於pci總線的微機實時圖像採集系統；在採集的布料總圖（鳥瞰圖）的基礎上，通過數字圖像的數字濾波、圖像增強、邊緣檢測等處理，提取布料圖像的邊緣，對輪廓的矢量化的象素點進行搜索，得到相應的圖案矢量圖，從而確定絎縫的加工軌跡，生成加工指令；在進給加工過程中，主計算機對動態局部圖像與總圖（鳥瞰圖）的對應部分進行圖像相關的匹配計算，應用數字圖像理論，結合神經網路計算的改進最速下降法和模擬退火演算法，提出獨特而有效的相關迭代初始值賦值方法，形成穩定、高速和準確的相關運算，實現單針絎縫視覺測量和自動控制。The signal we named it fundamental wave ; according to the fundamental wave, coefficients of the fundamental wave can be lined in a sequence. when the unique of the dissolve of the fundamental wave can be confirmed, the sequence of the coefficients can be regarded as one of representation forms of the signal itself ; theory of dissolvable signal shows that when order of the matrix of fundamental wave sampling equals to number of fundamental waves, the sequence of the sampling values from sampling points must be matched one by one with the sequence of the coefficients of fundamental waves. the sampling composed by sequences of the sampling values must be full sampling ; the relevant deductions of the theory of dissolvable signal shows that when sampling the signal, sampling frequency must be lager than the ratio of the number of fundamental waves to the occupation time of the fundamental waves ; to band - limited signals, when the fundamental wave is a sine signal, the results from the relevant deductions of theory of dissolvable signal is coherent to the classic sampling theory
本文通過分析認為，當信號集中的任一信號可表示為一系列已知信號的線性代數和時，信號集便構成可分解信號集，已知信號稱為基波信號；對可分解信號而言，基波系數構成一序列，當對指定的基波信號集分解唯一確定時，系數序列本身便是信號的一個表示；可分解信號采樣定理指出當基波樣值矩陣的秩等於基波數時，則由采樣點處的采樣樣構成的樣值序列必與基波系數序列一一對應，從而由該樣值序列構成的采樣必為完全采樣；可分解信號采樣定理中的推論指出，對信號集進行采樣，采樣頻率必須大於其信號分解的基波數與其對應時長之比；對有限帶寬信號，若基波信號為正弦信號時，由可分解信號采樣定理推論給出的結論與經典采樣定理一致。13 yoshinaga t, xu j, inoue k. a note on closure property of sublogarithmic space - bounded 1 - inkdot alternating turing machines with only existential universal states
例如，關系在關系代數運算下的結果仍為關系，我們稱關系集合在關系代數運算下封閉。The dissertation has summarized the historical experience of our army competitions on wide research, analyzed roundly the requirement of the “ two competitions ” comprehensive evaluation system. it has been according as the “ compendia of construction in military grassroots ”, based on the modern mathematics and model method, been supported by the information technology and synthetically applied much method such as delphi, ahp, fuzzy, metasynthesis, wsr, etc. and also, taken the characteristic and the practical experience of the “ two competitions ” into account, the dissertation has discussed the functional structure and comprehensive evaluation index system, and also constructed the comprehensive evaluation model with the fuzzy mathematics. the dissertation has conceived firstly to put the “ two competitions ” into computer operation system
本文在廣泛調查研究，總結我軍開展爭先創優活動的歷史經驗的基礎上，全面分析了「雙爭」活動對綜合評估系統的需求，以《軍隊基層建設綱要》為依據，以現代數學理論和建模方法為基礎，以信息技術為支撐，綜合運用德爾斐（ delphi ） 、層次分析（ ahp ） 、模糊數學（ fuzzy ） 、綜合集成（ metasynthesis ） 、物理-事理-人理（ wsr ）等方法，同時結合「雙爭」評比自身的特點和實踐經驗，探討了系統功能結構的設計思路和綜合評估指標的構建方法，並運用模糊數學理論構建了「雙爭」模糊綜合評估模型。This thesis discusses the design of the solid - state memory system, which is used for image data processing and storing for the new generation ocean observation satellite of china
本論文討論的就是適合我國新一代海洋衛星要求的集成了數據處理和數據存儲功能的固態存儲系統的設計。Second, the dissertation addresses the global query rewriting issues of the service oriented spatial data integration. query rewriting and optimization methods are presented based on equivalent transformation of relational operators. we study the data replication issues of spatial data services and presents strategies to deal with data fragmentation and service selection
其次，論文研究了面向空間數據服務集成的全局查詢重構問題，在關系代數等價變換基礎上提出了空間數據服務全局查詢重構和優化方法，並提出了面向分散式空間區域查詢的副本處理方法和資源選擇策略。According to the partitions of strongly connected subclass, class and calculation of framwork matrix in the interpretive structural modeling ( ism for short ) processes, using bpsm and analyzing object to be modeled, the paper firstly analyses the system modeling objects, and then determines an viable structural model for enterprise internet marketing processes through system analysis, algebra analysis and system modeling theory
本文根據系統分析、代數分析和系統建模理論，應用業務流程結構化建模技術與方法，分析系統建模對象，通過解釋結構建模（ ism ）過程中的強連通子集劃分、級別劃分和骨架矩陣的計算，為企業網上營銷過程確定了一個合適的結構模型。The status quo of high - resolution data acquisition system is discussed and by studying the character of high - resolution seismic exploration and seismic signal, the theoretical models and character of each unit are gained. this paper point out that under 1000 meter ' s depth where petroleum is embedded the idr of central controlled seismic instrument and telemetricseismic instrument are lower than 70db which ca n ' t meet the needs of high - resolution seismic exploration
文章論述了當代高解析度地震數據採集系統的現狀，對高解析度地震勘探及地震信號特點進行了研究，得出了高解析度地震勘探數據採集系統的理論模型和各功能單元的理論特性，指出在石油與天然氣埋藏的千米以下的地層，集中式數字地震儀和24位遙測地震儀的瞬時動態范圍均不超過70db ，遠遠滿足不了高解析度地震勘探的需要。Since the early 1990s, when the electronics industry came to the stage of digital technology, china has broken through in high - end series personal computers and servers, large - scale parallel computer systems, chinese electronic publishing systems, large - scale spc exchanges for central offices, mobile communications systems, sdh wdm fiber communications systems, thin route satellite communications systems, new generation digital video terminals, manufacturing technology for 0. 8 - 0. 35 m cmos integrated circuit chips, etc
到90年代進入數字技術階段，高檔系列微機和服務器產品、大規模并行計算機系統、中文電子出版系統、大型局用數字程式控制交換機、移動通信系統、 sdh波分復用光纖通信系統、稀路由衛星通信系統、新一代數字視頻終端、 08 ? 035微米cmos集成電路晶元製造技術等，都有突破性進展。The author has finished all the steps of the data - acquint systerm design which bases on the technology of dsp and usb. the author also completes all the design documents and gives the most important programs of the data - acquint systerm software
通過本文，我們已經完成了基於dsp和usb的數據採集系統的所有開發步驟，並給出了完整的系統詳細設計文檔，還對數據採集和處理中的最重要和最主要模塊做了程序代碼編寫和研究。The primary contributions of this thesis include : having studied the rough set theory carefully, the thesis finds the relationship between rough set and such abstract theories as modal logic, fuzzy set, algebra system and interval - set algebra, i. e., rough set provides a well defined semantical interpretation to these abstract theories, which enables us to better understand them. secondly, rough set builds an inter - relationship among these dependent theories and connects them together
完成的工作和取得的創新性成果在於：經過對粗糙集理論的深入研究，作者找到了粗糙集與模態邏輯、模糊集、代數系統和區間集代數等抽象理論之間的關系，一是粗糙集可以為抽象理論提供語義解釋，從而使我們能更好地理解掌握這些抽象理論；二是粗糙集建立了各個獨立的抽象理論之間的內在關系，使彼此獨立的抽象理論聯系在了一起。Some other conditions which the implicative operator of a implication algebra should satisfied in a logic system are given. the relations between mv - algebra and distributive implication algebra, implication algebra with condition ( s ) are gained. some equivalent theories about implication algebra and mv - algebra are proved
對于偏序集上蘊涵代數中的蘊涵運算元引入了一些邏輯條件，得到了偏序集上具有不同條件的蘊涵代數與mv -代數之間的關系，給出了偏序集上蘊涵代數與mv代數之間的幾個等價定理。By the coset method of lie algebra ( group ), we studied the problem of quantization of the nonintegrable systems
本論文運用李代數（群）陪集方法來研究不可積體系的量子化問題。System of hydrologic data collection and transmission can automatically collect, transmit and process the real time data such as rainfall, stage and discharge with the latest achievements in communication and computer technology
摘要水情信息採集系統是應用遙測和現代通信技術，實現江河流域降雨量、水位、流量等數據的實時採集、報送和處理的信息系統，它具有傳輸數據量小、通信網路分佈地域廣以及通信條件比較惡劣等特點。This research project, based on the existing problems in mathematics curriculum evaluation and the conceptions of mathematics curriculum as the guideline, systematically analyzes the basic characteristics of the developmental evaluation, i. e. multi - dimensional, formative, developmental, understanding and inspiring. drawing on the modern mathematics conceptions, multi - intelligence theory and theories of constructivism, this project systemically illustrated the connotation of the developmental evaluation : the key of evaluation is for application ; the goal is multi - dimensional ; the process is context - dependent ; the outcome is to promote the development. in view of the conceptions of developmental evaluation ( i. e. human - centered whole evaluation ; quality - focused overall evaluation ; participation - stressed autonomous evaluation ; future - faced evaluation ; guiding evaluation and inspiring evaluation ), the components of the developmental evaluation model in the new mathematics curriculum is analyzed in details in this project ( i. e. goal system, subject system and object system ) and the core structure of the developmental evaluation is established ( i. e. evaluation indicator system model )
本課題研究以數學課程評價的現存問題為著手點，以數學課程理念為目標指向，系統分析了數學新課程發展性評價的多元性、形成性、發展性、理解性、激勵性等基本特徵;以現代數學觀、多元智力理論、建構主義理論以及成功智力理論為理論背景，系統闡述了數學新課程發展性評價之意蘊?評價核心聚焦應用，評價目標指向多元，評價過程依存情境，評價結果歸依發展;以數學新課程發展性評價理念，即以人為本的全體性評價、注重素質的全面性評價、注重參與的自主性評價、促進完善的引導性評價、不斷進取的激勵性評價、面向未來的期望性評價為航標，深入剖析了數學新課程發展性評價模式的構成成分，即目標系統、主體系統和客體系統，由此構建發展性評價模式的核心圖式?評價指標體系的模式:以數學新課程發展性評價過程為參照，尋求並創設評價準則的設計技術，評價權重的構造技術，評價信息的收集技術，評價結果的分析與處理技術;以數學新課程評價系統內蘊的一般認識論、發生認識論與發展認識論指導評價方法，詳細探討了檔案袋法、表現性評價、自我評價與同伴評定相結合的方法、蘇格拉底式研討評定和測驗法在評價中的應用。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濾子，刻畫了一類偏序集上蘊涵代數的結構。Fpga has become the best selection in the design of complex digital system in modern design process of digital system, especially in communication system, because of its merits like high integration, better reliability, short design period, less investment and agility. the usage efficiency of fpga for communication system can be raised by designing low rate speech coder in fpga
在現代數字系統設計中， fpga因為高集成度，高可靠性，設計周期短和投資小逐步成為復雜數字系統設計的理想首選，尤其是在通信系統中大量地使用，把低速率的語音編碼器在fpga中設計，可以提高通信系統中的fpga的利用率，節約成本。3. the concepts of o - ideal was proposed and its property was discussed. ultra - filter on a set s of lattice implication algebra was defined and was compared with the ultra - filter on a set of lattice, the relationship between this two ultra - filter was studied
3 、給出了格蘊涵代數中o -理想的定義並討論了其性質，給出了格蘊涵代數中集合s上超濾子的定義並與集合代數上的超濾子作了比較，研究了兩種超濾子之間的關系。To obtain efficient query execution, optimization is the most important step. many researches have carried on research on this subject by going deep into the bottom of query engine
傳統的數據庫查詢優化主要是從查詢的底層執行流程和實現技術出發，通過關系代數的手段進行理論上的探討，而且大量研究集中在查詢執行的語法分析階段。Based on functional dependence of relation algebra, the paper available expresses the coordination relation between primary and backup prection and it is fds which can generate directed basic loops and form optimal coordination sequences of protection setting, and accordingly achieve the optimal coordination of prections in the whole network.
本文充分運用關系代數中函數依賴的概念，有效地表達主后備保護配合關系? ?保護函數依賴集（ fds ，即functionaldependencyset ，並用其自動生成網路有向基本迴路，形成保護整定最優配合順序，從而達到全網的保護最優配合。分享友人