The system ip and relations of classification of generalized tautologies among the systems ip and its 3 - valued system and the system c2 is investigated. it is proved that generalized tautologies are decidable in the system ip
本文分兩種情形b一0與p 0 ）研究了系統lp與其三
元子代數及經典二值系統q之間（廣川重言式的關系，指出在系統lp中廣義重言式是可判定的
According to the fact that power factor of low voltage power networks is very low in china and field bus technology is developing in the world, in order to enhance power factor of low voltage power networks, on the basis of central transmitting and controlling information among every compensation equipment, the author of this dissertation studies systematically the design principles of power factor dynamic compensation system. based on analyzing structure of control system at present, the author of the dissertation puts forward a distributed completely and multi - layer structure framework based on field bus technology and builds a power factor intelligent dynamic compensation system. the functions of compensation unit, intelligent node, host computer, are presented
根據目前低壓電網用電負載功率因數偏低和國內外現場總線技術的應用現狀，立足於提高交流電機的功率因數，基於將每個補償裝置進行集中監控、信息集中傳遞的思路，本文作者在分析現有的控制系統體系結構的基礎上，提出了基於現場總線技術的全分散式多層控制系統的體系結構，構建了功率因素智能動態補償系統；對補償執行單
元子系統、智能節點
子系統、上位機
子系統三部分進行了功能分析。
Alternatively, we investigate the relationships between the space of bounded operators and its regular operator subspace with respect to the operator norm topology, thereby answering partially the question of how big the regular operator subspace is and discussing the existence of strongly non - regular operators between some classical banach lattices
這里把這一問題轉化為考察有界線性運算
元空間與它的正則運算
元子空間在（一致）運算
元拓撲之下的關系，從而部分的回答了正則運算
元集合在有界線性運算
元空間中有多大的問題，解決了經典banach格上強非正則運算
元的存在性。
Test cases consist of data values for formal parameters for subprograms of the unit under test and the dependent stubbed units
測試實例由用於測試中單
元子程序的正式參數的數據值和相關的插樁單
元組成。
This paper introduced briefly the requirement of the mdsl system analyzed by sart and the design of the record - unit subsystem
本文簡要介紹了本人採用sart方法對系統的需求分析和系統中記錄單
元子系統的概要設計方案。
I designed and implemented the record - unit subsystem with mutil - thread by the method of structured design
設計實現記錄儀系統的記錄單
元子系統也是本人工作的重點。
At the end of the paper, we analyze the real time schedulability of the recorder - unit subsystem by the rma ( rate - monotonic analysis ). we proved that the system is schedulable and the time requirement can be met by the rma analysis and the practical testing
最後採用實時系統常用的rma （ rate - monotonicanalysis ）方法對開發出來的記錄單
元子系統進行了實時可調度性分析，通過理論分析和實際系統測試證實了該系統設計是成功的，整個系統是實時可調度性的。
A directed balanced incomplete block design ( dbibd ) with order v, block size k and index a, denoted by db ( k, ? ; v ), is a pair ( x, a ), where x is a set of v points and a is a collection of transitively ordered k - tuples ( called blocks ) of x, such that each ordered pair of distinct points of x occurs exactly in a blocks
一個階為v ，指標為及區組大小為k的有向平衡不完全區組設計， db （ k ， ； v ） ，是指一個序偶（ x ， a ） ，其中x是一個v
元點集， a是x的一族可遷有序k
元子集（叫做區組） ，使得x中任意兩個相異點組成的有序對恰出現在個區組中。
Based on the super finite element theory a simplified computation model of construction mechanics toward high - rise tube in tube structure is brought forward and the super - element - minor - structure - coupling finite element method is established
以超級
元理論為基礎，本文建立了高層筒中筒結構的簡化施工力學計算模型，提出了「超級
元-
子結構有限
元耦合法」 。
Wuzhuang temple, guanzhen has the same statues with the world., who is the ancestor of the immortal, the strength surely can not underestimate, especially wu zhuang guan is the inborn immortal root ginseng fruit tree in its place, who depends upon the immortal strength of ginseng fruit and then adds on studying thoroughly the wonderful technique which the masculine and feminine elements five line, the fu his eight diagrams becomes aware, their spirit root is grows quickly
五莊觀鎮
元子聖號與世同君，乃地仙之祖，實力自然不可小覷，尤其五莊觀是天生地蘊的仙根人參果樹所在之地，依靠人參果的仙力，再加上五莊觀弟
子研習陰陽五行、伏羲八卦所悟出的奇術，他們的靈根是增長最快的。
Numeric character subset
數字字
元子集
This algorithm can identify and choose in - core or out - of core algorithm based on different scale of computation and cluster during each computing phase. and parallelization during each phase is implemented. this algorithm can solve the residual equations parallelly and the current data distribution of residual equations does not change
（ 4 ）給出了一種可以在計算的每一個階段根據不同的計算規模和機群規模，自動識別選用內存或外存演算法的邊界
元子域并行演算法；實現了各主要計算步驟的并行化；對于剩餘方程組的并行求解，演算法可以在不改變當前數據分佈狀態下，實行并行求解。
Texts using mixed character subsets such as greek letters, mathematical symbols, and chinese characters for a chinese statistics text book need complex information to map and render the text to the screen
使用混合字
元子集的文字（如一本中文的統計學教科書中的希臘字母、數學符號和中文字
元）需要一些復合信息，以便在屏幕上映射並呈現文字。
As to how to decompose the content of teaching material when we design the self - directed course, the article introduces the concept of chaptern section, unit, sub - unit, information page and accessorial information page that are consistent with the structure of the teaching material. the article introduces the relation between these concepts, and explains how to construct learning unit according to these concepts
根據相關假設進行自適應網路課程的設計，文章引入章、節、單
元、
子單
元、信息頁、輔助信息頁等概念，並闡述了這些概念之間的相互關系，說明了如何利用這些概念組織學習單
元，構建出自適應網路課程的結構。
In chapter 3, an improved pca is presented which calculates the principal subspace of data collected from current time window and compares it with that from data collected under a normal condition. both the improved pca and conventional pca are used to monitor the tennessee eastman process, the improved pca has better performance to detect weak process changes
第三章提出一種改進主
元分析法，在線檢測當前時間窗口內過程數據的主
元子空間，並與穩態無故障數據的主
元子空間相比較，以判斷是否發生了故障。
The aim of this work is to discuss some erdos " problems of finite planar sets. a finite planar set is k - isosceles for k 3, if every k - point subset of the set contains a point equidistant from other two
稱一平面點集f是k -等腰集（ k 3 ） ，如果f的任一k -
元子集中均含有三個點，使得其中一點到另外兩點的距離相等。
Writes a subarray of characters followed by a line terminator to the text stream
將後跟行結束符的字
元子數組寫入文本流。
Writes a subarray of characters, followed by a line terminator, to the text stream
將後跟行結束符的字
元子數組寫入文本流。
Writes the specified subarray of unicode characters to the standard output stream
將指定的unicode字
元子數組寫入標準輸出流。
Appends the string representation of a specified subarray of unicode characters to the end of this instance
在此實例的結尾追加指定的unicode字元子數組的字元串表示形式。
