命題網路 的英文怎麼說

中文拼音 [mìngwǎng]
命題網路 英文
propositional network
  • : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
  • : Ⅰ名詞1 (捕魚捉鳥的器具) net 2 (像網的東西) thing which looks like a net 3 (像網一樣的組織或...
  • : 1 (道路) road; way; path 2 (路程) journey; distance 3 (途徑; 門路) way; means 4 (條理) se...
  • 命題 : 1 (出題目) assign a topic; set a question 2 [邏輯學] (表達判斷的句子) proposition; statement;...
  • 網路 : 1. [電學] network; electric network2. (網) meshwork; system; graph (指一維復形); mesh
  1. Topics covered include : specification and verification, concurrent algorithms, synchronization, naming, networking, replication techniques ( including distributed cache management ), and principles and algorithms for achieving reliability

    其中包含以下的主:規格與驗證、同步演演算法、同步化、名、、復制技術(包括分散式快取管理) ,以及確保系統可靠度的設計原則與演演算法。
  2. In this thesis, reasning based medel and resolution principle are deeply studied, and using netal network partly driplement automated reasoning

    本文在對邏輯系統的模型推理和歸結原理研究的基礎上,嘗試利用神經部分實現自動推理。
  3. Safety of structures is a common and important problem in the mechanical engineering. recent years there is a trend of developing unified theory of fatigue and fracture to describe the life - cycle damage behaviour of structures. researches on safety guarantee are going toward multi - method synthesis, system micromation, network availability and life - cycle information management

    結構的安全性一直是工程中普遍關心的重要問,結構強度學逐漸發展到疲勞斷裂統一理論,結構安全保障手段已向多方法、微小化、化和全壽在線保障與監測發展,建立全壽安全保障系統,涉及材料、機械、力學、電子等學科的交叉融合。
  4. Along with the development of modern education technology which bases on the kernel of multi - media computer and network technology, teaching on line has become more and more fashionable. as a supplementary for traditional teaching method, it not only has the function of traditional teaching method but also has some characteristic such as sharing the teaching resource, separating teaching time and space, advantageous for suiting teaching methods to students and etc. it became an efficient way to solve the contraditions between the knowledge explosion and study time limited, lt is also an dfficient way to solve the contradition between shot of teacher and increasement of learner. lt proved the fundation and technological guarantee to put the policy into practice that entire nation in education and education in all one ' s life. so it is quite worthwhile for all educators to consider how to develop more and better networked teaching resources and it became an important mission to them

    隨著以計算機技術和技術為核心的信息技術的發展和普及,上教學成為當今教育界的熱門話。作為傳統教學方式的有益補充,它不僅能夠實現傳統教育的功能,而且具有許多獨特的優勢:諸如教學資源共享、教學時空分離、更有利於因材施教等,從而成為在「信息時代」解決「知識爆炸」與「學習時間有限」的矛盾以及「從教人員不足」與「受教人員增加」的矛盾的有效途徑,也為實行「全民教育」 、 「終身教育」提供了可靠的物質基礎和技術保障,如何開發更多基於的教學資源成為教育工作者的使
  5. In order to adapting to the challenge of new military revolution oriented from the information technique, speed up our army information - based construction, the thesis make a design of the conducting and controlling network in the armor mechanization troops. included in the “ group army information - based experiment for military revolution ”, according to the basic regulation of the information processing, the network breaks the original tree - scheme network structure and sets up a principle grid architecture, which realizes the platform of vehicle - to - vehicle, crossing organization or arms of services, and meets the command of synthesizing function unit, integrating system and sharing the information and network construction in the transformation period of army constructing, by the means of obtaining, delivering, processing, utilizing and feed - backing information

    為適應以信息技術為核心的世界新軍事革的挑戰,加快我軍信息化建設,本課就適應轉型期的陸軍指揮控制建設的需求,在集團軍小型試驗群架構下,對裝甲機械化部隊野戰指揮控制進行設計,旨在打破原有的樹型結構,按照信息流程的基本規律,構建一個縱向到單車、橫向跨建制與兵種,具備信息獲取、信息傳輸、信息處理、信息使用和信息反饋功能的原理性區域柵格狀的新型指揮控制,實現功能綜合化、系統一體化、信息共享化的要求。
  6. This paper tries to elaborate the exploration and practice of the administrative innovation for academic affairs based on the credit system at colleges and universities from the following : improving the administrative system and operational mechanism of the academic affairs to make the academic administration scientific and standard ; developing the computer network management system to realize the modernization and informatization of the academic administration ; strengthening the development of the academic administrators to upgrade the specialization in the academic administration

    摘要本文從完善教務管理體制和運行機制,實現教務管理工作的科學化和規范化;研製計算機管理系統,實現教務管理的現代化和信息化;強化教務管理隊伍建設,彰顯和提升教務管理專業化等三方面,闡述了對學分制下教務管理創新這一的探索與實踐。
  7. Based on the current research achievements on durability under chloride environment, probability theory, structural reliability theory, concrete structures theory, neural network theory and structure dynamic theory are employed comprehensively in this dissertation. some problems of durability of reinforced concrete structures under chloride environment were studied through the exploitation of experimental data, the rule of chloride ingress and steel bar corrosion, the performance of corroded member, and residual life prediction. the main issues and results in this dissertation are as follows : 1 、 the probability method for the prediction of durable life based on the stipulated reliability index for concrete structures under chloride environment is presented in this dissertation

    本論文在國內外對氯離子侵蝕環境下混凝土結構耐久性研究成果的基礎上,綜合運用概率理論、結構可靠性理論、混凝土結構理論、神經理論、結構動力學理論等基本理論和方法,結合實際檢測數據,按照氯離子侵蝕、鋼筋銹蝕、銹蝕構件性能、銹蝕構件壽預測的思對氯離子侵蝕環境下鋼筋混凝土結構耐久壽預測的有關問進行了深入系統地研究,完成以下主要研究工作並取得相應成果: 1 、提出了氯離子侵蝕下基於規定可靠指標的混凝土結構耐久壽的概率計算方法。
  8. So the city development of kunming shall radiate to whole of our province to be in charge of the important historic task to promote the city distribution in yunna and push the development of other middle and small cities. this article has analyzed the chance of kunming city development, international environment, tendency of city development in the world as well as the present situation of chinese cities and proposed a network city project, in which a primary city, 3 secondary cities and 20 small towns shall compose a city distribution system, from the aspects of objective condition and concrete operation mechanism. further, this network city project suggests to, as main point, program and develop three secondary cities, anling, yiliang and songmin, and small towns, and to disperse part of property of the prima ry city and decompose the city function

    於是昆明市城市發展將幅射全省,擔負起促進雲南城市化進程、推動其他中小城市興起的艱巨歷史使,本文在對世界城市發展趨勢及我國城市目前的現狀,以及昆明城市發展面臨的機遇、國際環境與存在的問進行分析之後,從宏觀體系和具體運作機制方面提出了按一座主城、三座次級城市、縣城和20座衛星小城鎮的城鎮體系布局,構建城市,重點規劃發展安寧、宜良、嵩明三座次級城市,並疏散部分主城的產業和分解城市功能。
  9. Based on the analysis of research behavior characteristic, this paper focuses on several aspects of the design of research and innovation center from architectural level, and then points out that the most important proposition that the architects face on is how to create immaterial innovation environment by means of corporeal measure

    摘要在分析研發行為特徵的基礎上,從建築設計層面探討了科技園研發中心設計的幾個方面,指出如何用物質的手段來營造非物質創新秩序是擺在建築師面前的主要之一。
  10. Based on the experiences of the developed countries and the th theory brought forward by the forthgoers, the main contributing conclusion of the dissertation includes : firstly, it elaborates the inner structure and the pedigree within the th of university - industry - government. secondly, it points out the disfigurements and flaws in chinese university - industry - government relationship and then puts forward the mission and countermeasures to cope with these problems. last by not least, it finishes a quantitative analysis of chinese th model with the scientometric, the webometric and the triple helix algorithm and then according to the arithmetic result, it compares the chinese th with some other typical countries " and finally draws some valuable conclusions

    結合發達國家區域的實踐經驗與前人已有的理論工作,本文深入研究了時代的三方合作主,主要貢獻有:給出大學?產業?政府三重螺旋體的內部結構和圖式譜系;指出國內「產學研」缺陷與紕漏,明晰了「官產學」的應對與使;最後運用th演算法和科學計量、計量手段實現了一個有關中國三重螺旋模型的定量分析,並與其他典型的國家地區三重螺旋作出比較,得到若干有價值的結論。
  11. In order to improve the quality of service and enhance the operating efficiency of ccs, an intelligent supporting platform ( isp ) is designed and applied to the system. the basic goal of isp is to get more comprehensive management information about ccs, to assess operators " behavior with more scientific method, to train employees on the network and help operators with more functional database. the main goals of isp are as follow : 1

    本文以充分發揮該系統的潛能為目標,深入研究了指揮調度通信系統的使、特點,指出該系統存在著服務質量不穩定、訓練成本過高、系統可靠性不高、設備配置和組織不盡合理、管理能力弱等問,提出了旨在提高系統管理效率、充分發揮系統效能的智能支撐平臺建設構想,明確了智能支撐平臺建設的目標和原則,考察了系統應用的效果。
  12. The purpose of this paper is to exploit a new evaluating method to improve consistency, objectiveness and efficiency in supplier selection. gray theory is applied to filter the numerous item reflecting the suppliers ' qualities in order to control the few but important factors and simplify the task. a comprehensive evaluation method based on bp net works is provided to perfect the selecting process

    選擇合的適供應商是供應鏈使成功實現的重要保障,以提高供應商選擇過程中的客觀性、一致性等問為出發點,通過灰色關聯法對反映眾多供應商品質的因素進行提煉,以便抓住關鍵因素,提高供應商遴選的效率,提出了一種改良的bp神經評價方法,試圖解決這一現實問
  13. From several basic conceptions, this part clarifies the thesis components range from topic scope, research method and structure to innovation points on the cards. chapter two : comments on the sutra theory of the inter - firm network. we put forward the unique characteristic of this thesis different form the existing literature, which we have reviewed in the former section of this part including five perspectives as the dividing the work and specialization, transaction cost economics, modern

    鑒于企業在整個社會分工系統的層級體系中位於中間層位置,具有復合結構,為此,適應性問首先表現為企業的整體生存空間及其結構和制度的形成過程,這是關于組織系統的整體適應性問,也是這一的基本規定性問;其次表現為企業內部成員企業的生存適應狀態,這是關于組織系統的局部適應性問,也是這一的根本規定性問
  14. Efficient use of energy resources and prolonged lifetime of a network are very important issues to be considered for effective muting in sensor networks

    摘要高效地使用資源和延長的生周期是傳感器中高效由協議應考慮的很重要的問
  15. Thirdly, adopting b / s model based on neural network model of raw - material mill system, the author builds web network database system of wuhan university of technology cement simulation. the web system uses the prevailing technique of iis plus asp, visiting access database through odbc, opening database with ado and executing sql command, so the user can add, query, delete and update the database on sever through browser, which can achieve the function of web publishing and database management

    第三,本課採用b s ( browser server )模式,基於生料磨系統的神經模型,建立了武漢理工大學水泥模擬web數據庫系統,利用目前流行的iis + asp技術,通過odbc介面訪問access數據庫,利用ado對象打開數據庫,執行sol令,使用戶能通過瀏覽器對服務器端的數據庫進行添加、查詢、刪除、修改等操作,實現了數據庫的上發布和實時管理功能。
  16. This paper discusses life - wastage of creep - fatigue for headers of superheater and reheater and algorithm of this two kinds wastage. based on these theories, b - p neural network with self - organized function has been introduced detailedly to calculate the fatigue wastage. at the same time, the paper introduces the calculation method of stress

    本文主要介紹了過熱器和再熱器聯箱的疲勞和蠕變壽損耗的問以及這兩種壽損耗的計算方法,並在此基礎上採用前饋型( b - p )來計算高溫低周疲勞的壽損耗(疲勞和蠕變交互作用) 。
  17. If the technicians applied technology in the wrong, even achieving the business logic, but probably leading to many vices including low performance, low scalability, close coupling, low software duplication. so how to assemble the j2ee technology reasonable and achieve a system with high performance and high expansibility is my research emphasis in the thesis. in order to solve the problems and implement efficient web application, the paper put forward ejs _ mvc model according mvc pattern and we can assemble component by using ejs _ mvc model, it can solve many problems of web application and improving system with clear flow and clear function partition, in addition, due to controller is the most importance in the ejs _ mvc model, so the thesis also discuss some problems about controller design ; if the model is not designed accurately, system performance will encounter fatal influence, so the article lucubrate ejb technology from ejb choice, ejb optimized design, database access, design pattern etc and bring forward some strategies and methods about how to build efficient business tier ; finally based on ejs _ mvc model, a example that contains simple business logic is developed according to the object - orient software engineering thinking and some strategies and methods proposed by the thesis, in the process of achieving system function, the emphasis is probing into how t o assemble and apply technology reasonable and providing a new thinking thread and method contributing to build high effective and flexible j2ee application

    由於j2eeweb應用是由組件組成,因此為了解決上述問,實現高效的應用,本文首先從如何合理組合組件入手,找到一種方法使各組件能具體分工而又緊密合作,在深入研究各組件基礎上,根據mvc模提出了ejs _ mvc模型概念,指出可按此模型組合各層組件,該模型可以解決傳統web開發中存在的問,而且具有系統流程與系統功能劃分清晰,可擴展性、可維護性強等優點,另外由於控制器是ejsmvc模型的重中之重,它起到承上啟下的作用,它設計好壞直接關繫到整個應用的性能、伸縮性與擴展性,因此又探討了控制器設計的有關問;另外如果模型設計不當的話,對系統性能造成的影響可能是致的,因此本文又從ejb組件選擇、 ejb調優設計、數據庫訪問和設計模式等方面對ejb技術作了全面的分析研究,指出在業務層中如何避免太多遠程調用和提高業務層性能,特別是根據前面的分析總結出了業務層的優化分層組合模型,這個模型的使用無疑會使業務層具有較高的性能與伸縮性;最後選擇一個業務邏輯較簡單的系統,使注意力集中到運用的j2ee技術上來,按照ejs _ mvc模型與軟體工程流程以及本論文所提出的方法與策略實現業務邏輯,在實現過程中具體探討如何合理運用組合技術,就多層j2ee體系結構的設計思想作深入的探討實踐,為實現高效、靈活的多層j2ee應用提供一種新的思及方法。
  18. Which two cisco ios commands can be used to verify connectivity above the network layer of the osi model

    目的準確翻譯為:哪兩個ios的令可以驗證osi模型的層以上各層的連通性。
  19. This paper studied the development and trend of collegial laboratory information management system ( lims ), consulted those experiences, which concluded from the development of this kind of system. paper also summarized the characteristics and problems of the electric & electronic central laboratory of a college, mainly be used to complete the experiments about electrics and electronics. based on detailed analysis of requirement in function and capability, this paper designed a new col legial lims, which integrate many advanced techniques of computer and network

    本文在深入研究高等院校實驗室綜合管理信息系統( lims )發展現狀和趨勢的基礎上,借鑒已有的經驗教訓,針對某學院電工電子中心實驗室的特點與存在的問,經過詳細的功能與性能需求分析,結合當前較為先進的計算機技術,設計了高等院校實驗室綜合管理系統的體系結構和應用系統結構,構架了優于同類型產品的、應用、數據庫和中間件等先進技術、基於全生周期管理理念的高校實驗室lims集成框架。
  20. 2. numerais system of propositional calculus nend netwrk deals with data, but it is a formula set in proposihonal calculus

    邏輯系統的數字化神經的處理對象是數據,而邏輯系統的處理對象是公式集。
分享友人