析取範式 的英文怎麼說

中文拼音 [xīqǔfànshì]
析取範式 英文
alternative normal form
  • 析 : Ⅰ動詞1. （分開; 散開） divide; separate 2. （分析） analyse; dissect; resolve Ⅱ名詞（姓氏） a surname
  • 取 : Ⅰ動詞1 （拿到身邊） take; get; fetch 2 （得到; 招致） aim at; seek 3 （採取; 選取） adopt; assume...
  • 範 : 名詞1 [書面語] （模子） pattern; mould; matrix 2 （模範; 榜樣） model; example 3 （范圍） boundar...
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  1. Based on paper [ 1 ] and [ 2 ], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally

    摘要在文[ 1 ]和文[ 2 ]的基礎上，給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法，並實現了多個命題公式主範式的同時形式化輸出。
  2. Minimal implicant and dnf representation

    極小蘊涵和析取範式表示
  3. The article points out the importance and necessity of the information - security from its actuality in our country. the resources in the information system, for instance, hardware, software, data, document, operator, meterial and so on, are evaluated and gived safety grade firstly. and then, it analyses the menace including the nonauthorized access, the information leak, the refused sevice, the internal objection which the system will take. the following are the corresponding control police : confirm the users " rights and duties, including the mode of using account, the limit of accessing resource, the application of password, the building of backup ; confirm the administrators " right and duties, including physical safety, system configuration, account configuration and usufruct, password management, audit and control, backup and individual intimity ; run - of - mill measure of security defence, including access control, symbol and identification, integrality control, password technique, firewall system, audit and resumption, safety of operating system, safety of database system, defence of computers " virus and resisting - deny protocol. in the end, the article offers the strategies of disposing the safety - accident and analyse after ithow. to report it, how to solve it in phase, and how to avoid it happening again. in a word, the article presents a holistic resolvent about keeping away the information system ' s security, and supplies a essential frame for its configuration, management and application

    然後，對系統可能受到的威脅，包括非授權訪問、信息泄漏、拒絕服務和內部缺陷等進行分析，並提出了相應的控制策略：確定用戶的權力和責任，包括帳戶使用方式、資源訪問權限、口令應用以及建立備份等；確定系統管理員的權力和責任，包括物理安全、系統配置、帳戶設置及使用權限、口令管理、審計和監控、備份以及個人隱私等方面；一般性的安全防護措施：存取控制、標識和認證、完整性控制、密碼技術、防火墻系統、審計和恢復、操作系統安全、數據庫系統安全、計算機病毒防護和抗抵賴協議等。最後，對事故處理和事後分析提供策略，如何報告安全事故，如何協調解決安全事故，如何避免安全事故再次發生。總之，本文對信息系統安全防範工作給出一個整體的解決方案，為其在配置、管理和應用方面提供了基本的框架。
  4. The research method is the combination of sample check and contrast analysis. the sample is yingkou no. 2 construction engineering company. and the materials of human power capital management are collected by checking the personnel files, organizing discussions and talking with the stuffs. the contrast analysis is to compare with the two successful samples : japanese mode and haier mode

    本文的研究方法是取樣調查和對比分析，取樣調查對象是營口市二建公司，通過查調人事檔案、組織各類群體座談會和個別談話等形式收集營口市二建公司人力資本管理的實際情況；對比分析是選取了兩個成功的人力資本管理範例，日本的模式和中國海爾的模式，與營口市二建公司的人力資本管理情況進行對比。
  5. The study on the development model of agricultural science and technology park : make a comprehensive survey of the agricultural science and technology park development, statistical data on the agricultural science and technology park in the year of 2002 was applied to do macro analysis, with the result of development problems and propose the settlement. this study is conducted based on typical case study and theoretical analysis from the aspects of growing background, overall effect, operating model and the driving force in four national agricultural science and technology parks : shandong vegetables demonstrating park, henan xuchang national park, gansu dingxi park and beijing shunyi three - hi agricultural pilot model area. then analyse and sum up the general laws and different points. the creative research of this paper lines in raising the new theory of sci - tech agricultural industry organization for the first time, build up the theory analysis framework for agricultural science and technology park ; according to the theory analysis framework, sum up the development general model from choosing the national agricultural park in typical region ; build up th

    運用典型案例剖析與理論分析總結相結合的方法，分區域按照發展成效在全國范圍內選取山東壽光蔬菜高科技示範園、河南許昌農業科技園區、甘肅定西旱作生態型農業科技園區和北京順義三高農業示範區，從園區的成長背景、建設發展的總體成效、運作模式和園區發展的動力等幾個方面對農業科技園區的發展進行了深入研究，並對園區發展模式的共性規律和差異之處進行了分析歸納；本文創造性的研究在於：首次提出了科技農業產業組織理論，構建了農業科技園區理論分析框架；根據這一理論分析框架，通過選取典型區域的國家農業科技園區進行實證研究，總結歸納了園區發展模式共同特徵並進行了差異分析；首次提出了適用於不同評價對象和評價意圖的三套國家農業科技園區評價指標體系，並創造性運用多元統計分析方法和系統分析方法對國家農業科技園區進行綜合評價。
  6. For this purpose, teachers can take the measure of demonstrating performance, audio - visual media and text analysis

    教學可採取示範性的表演、電教手段、課文分析等多種形式。
  7. This article analyses the causes of the little content - slow development - poor efficiency - energy wasting phenomenon in the current teaching of chinese reading comprehension in terms of its orientation and styles. it also puts in order some basic elements concerning the essence of reading, interpretation of the meanings of the reading materials and the relations between reading & writing. the author holds the view that the traditional teaching methods lay too much emphasis on the knowledge acquired from reading & practical uses of reading itself, separating reading form speaking & writing and neglecting its " representation " and " development " functions

    本文從閱讀教學目標定位、教學範式取向兩個方面分析了造成當前閱讀教學「少慢差費」的原因，並從閱讀的本質、文本意義的生成、閱讀與寫作的關系三個方面對閱讀教學的一些基本問題進行了一番梳理，認為傳統的閱讀教學將教學目標定位在閱讀自身的實用性和工具性上，教學範式取閱讀本位、知識本位，孤立地強調閱讀的重要性，將讀、寫、說截然分開，忽視了語文教學的「表現性」和「發展性」功能，這種「以閱讀為本位」的「吸收實用」型閱讀教學規范嚴重製約了閱讀教學的健康發展。
  8. The thesis throwslight on demonstrating the profound and significant influnce on the development of the commercial press and other related pulishing house, which originated from the thought of publication of yuanji zhang. by utilizing comparative analysis method, this thesis tries every effort to abstract some practical and beneficial experiences, which will in turn reinforce the contemporary publishing industry, it draws the experiences from reviewing the advanced methods of business administration both strategically and tactically that the commercial press enjoyed during that period. in comparison with the history, we fulfill our ideas of publishing step by step andendeavor to try every possible effort to contribute to the prosperity of today ' s publishing industry

    本文以介紹我國近代出版業的典範? ?商務印書館在張元濟時期的一系列出版活動為背景，通過揭示早期商務對當時社會文化等方面所起的影響作用，從而重點闡述張元濟的出版思想以及他的出版實踐對當時商務印書館和其他出版部門的發展所產生的深遠影響；並採用比較分析的方法，回顧商務印書館在那個時代所採取的先進的經營管理手段和具體操作方式，從中找到可以為當代出版業所借鑒的經驗或吸取的教訓，在與歷史的比照中進一步完善我們的出版理念，更好地繁榮當代的出版事業。
分享友人
分享到 Line

分享到臉書