正式提示 的英文怎麼說

中文拼音 [zhēngshìdīshì]
正式提示 英文
formal presentation
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 提 : 提動詞（垂手拿著） carry （in one's hand with the arm down）
  • 示 : Ⅰ動詞（擺出或指出使人知道; 表明） show; indicate; signify; instruct; notify Ⅱ名詞1 [書面語] （給...
  • 正式 : formal; official; regular
  • 提示 : point out; prompt; prompting; presentation
  1. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。
  2. Now it has been found the recruitment and homing of circulating endothelial cells ( cecs ) or their progenitors ( ceps ) released from the bone marrow is very important in tumor angiogenesis. we detected the cecs and ceps in 64 pb ( peripheral blood ) of tumor patients. we found the amount of cecs and ceps is higher in tumor patients than normal controls

    本項目應用流式細胞法對64例腫瘤患者及15例正常人，外周血中的循環血管內皮細胞（ circulatingendothelialcell ， cec ）以及骨髓來源的循環血管內皮前體細胞（ circulalingendothelialprecursor ， cep ）進行了檢測，證實了外周血中cec / cep的存在，發現腫瘤患者cec / cep含量高於正常對照組，提示腫瘤患者體內存在血管內皮及其前體細胞的動員。
  3. In the course of developing and before application, the performance of carrier - borne aircraft illuminated guidance system under the environmental state of movement should be tested firstly, especially the performances and state measures of glide indicator, rolling indicator and gyrohorizon which offer ship ' s movement postures to carrier - borne aircraft in the illuminated guidance system, this needs to offer a artificial carrier on the land that can imitate ship ' s movement in the water. at present, simulating table only has single degree of freedom at home application to carrier - borne aircraft illuminated guidance system which need change test and measurement situation and adjust benchmark in the course of experiment

    艦載機燈光引導系統作為艦載機著艦引導特輔裝置是載機艦船上不可或缺的特種裝置，是保證飛行員的生命安全和艦載機安全回收的重要手段。其在開發過程中以及正式安裝使用前，首先要通過在運動環境狀態下的性能測試，特別是燈光引導系統中為艦載機提供艦船運動姿態的下滑指示器、橫搖指示器以及陀螺地平儀的性能和狀態檢測，這就需要在陸地上為它們提供一個可模擬艦船在水面運動的載體。
  4. As in the game, competition is another form of mutual help that can stimulate initiates latent ability and correct their bad habits. preconceived notions are obstacles in spiritual practice and not too easy to perceive

    就像游戲中給予我們的提示一樣，競爭是另一種相互幫助的形式，可以激發我們原已擱置的一部分能力，並通過這種相互的磨練，糾正各自的不良習性。
  5. By ray spencer secure computing corporation, stephen smalley, peter loscocco national security agency, mike hibler, david andersen, and jay lepreau university of utah

    （完整地輸入）並且在被提示時輸入密碼短語（如果正在使用） 。您可以用這樣的方式生成所有可能的公鑰私鑰對。
  6. The information provided in this document has not been submitted to any formal ibm test and is distributed " as is, " without warranty of any kind, either express or implied

    本文檔中提供的信息尚未經過ibm的任何正式測試，是以「按現狀」發布的，不附有任何形式的保證（無論是明示的還是默示的） 。
  7. In response to enquiries by the public on whether the west rail could be opened ahead of schedule, kcrc made some initial response on possible opening dates, and pointed out that a firm opening date would not be fixed until the trial operation and statutory inspections are satisfactorily completed

    九鐵過往曾就公眾對西鐵可否提早通車作出初步回應，表示可能的通車日期，並指出正式的通車日期必須有待通過圓滿測試及法定檢查，才能予以確定。
  8. Mr yam said that a formalised policy framework would also help the hkma itself to ensure speed and consistency in considering whether or not to extend lender of last resort support

    任志剛表示，一個正式的政策架構也能讓金管局確保在考慮是否提供最後貸款人援助時，能夠迅速作出決定，並能貫徹有關的原則。
  9. According to the case studies on japan & russia, the author found out : informal institutions lead the changes of corporate governance through pathway dependence & institutional complementation like a pair of invisible hands ; the combination of original informal institutions and extrinsic formal institutions would improve the performance of corporate governance in the beginning, but as time goes by, which would become a great obstacle, the effectiveness of corporate governance was strongly affected by informal institution

    通過對日俄兩國的實證研究，筆者發現:非正式制度通過制度互補和路徑依賴如無形之手一般牽引著日俄公司治理演變的歷史進程，日俄原有非正式制度與外來正式制度的結合開始有利於公司治理效率的提高，但隨著時間的推移，卻成為公司治理效率提高的阻礙。這對中國公司治理的完善具有深刻的啟示意義。
  10. Bill of lading : is the official document, issued at the loading port after completing of the loading operations, stating, among other things, the ship ' s loaded quantity expressed in, metric tons ( mt ) per the definitions herein

    提單：是正式文件，在裝運港完成運輸后蓋章，它規定了船隻裝載量，用上面解釋過的mt來表示單位數量。
  11. The ids works by two way, misuse detection and anomaly detection, misuse detection flags an intrusion on intrusion signature, this kind of detecting technic can be realized much more easily, and much more accurate, but it can not find some intrusiones that have been disguised or new kinds of intrusion. the anomaly detection can detect in more wide field, anomaly detection can compare new statistic data with average record, then anomaly record will be found, but it ' s more difficult to set a threshold, if the threshold is too big, some intrusion may be put through, if the threshold is too small, the ids will give more false positive alarm, and the threshold will be different with different people or different period, so the ids just simply show us their suspicious record, the administrator or expert will be in duty to analyze this record and give conclusion, the ids give more alarm than it should, leave us more detection record to analyze, and this is a hard work, we can not distinguish an intrusion or not if we analyze only one record, but we can judge if we find the relation among mass detection evidence. in this article, we try distinguish an intrusion using d - s theory ( proof theory ) instead using manual work, the ids will be more helpful and efficient

    濫用檢測採用的是特徵檢測的方法，實現較為簡單，判斷的準確性較高，但是不能判斷一些經過偽裝的入侵或特徵庫中尚未包含的入侵，異常檢測能夠根據以往記錄的特徵平均值，判斷出異常情況，但是對于異常到什麼程度才視為入侵，這個閥值非常難以確定，閥值設定的太高，有可能漏過真正的入侵，如果設定的閥值太低，又會產生較高的誤警率，而且這個閥值因人而異，因時而異，因此現在的入侵檢測系統把這部分異常記錄以一定的形式顯示出來或通知管理人員，交給管理人員去判斷，而這些ids系統難以判斷的記錄，如果對每個證據單獨地進行觀察，可能是難以判斷是否是入侵，而把許多先後證據關聯起來，專家或管理人員根據經驗能夠判斷訪問的合法性，本文試圖引入人工智慧中證據理論的推理策略和示例學習方法，代替人工檢查分析，可以提高效率，降低誤警率，並可以對一個正在進行得可疑訪問實現實時檢測，通過搜索及時判斷，及時阻斷非法訪問，比事後得人工處理更有意義。
  12. Based on the formal measurement table applying the 2 ( superscript nd ) pre - test on 351 students and conducting the examination of the credibility and validity to construct the credibility and validity of the measurement table, the coefficient of inner consistency of individual element in this table was. 673 ~. 892, and the coefficient of re - test after the interval of two weeks was. 697 ~. 930, with the performance of physical education learning to prove the discriminate validity and criterion - related validity, and with the element analysis to examine the construction validity, the sum of variable amount which could be interpreted was 59. 06 %, the outcome showed this table was having good credibility and validity that could provide physical education teachers to realize the learning strategies of university students

    以正式量表對351位學生進行第二次預試，再進行信度與效度的考驗，以建構量表的信效度，本量表各因素的內部一致性系數為. 673 ~ . 892與隔二周的重測信度為. 697 . 930 ，以體育學習表現來驗證辨別效度及效標關聯效度，以因素分析考驗建構效度，所能解釋總變異量為59 . 06 % ，結果顯示本量表具有良好的信效度，確實可以提供國內體育教師了解大學生的體育學習策略。
  13. Engineering drawing has always been labeled as a practical subject. a combination of geometrical, building. mechanical and electrical drawing, it relates between theory and the picture of reality. engineering drawing will provide an accurate and complete ptcture for every object tn terms of shapes and sizes. usually, it is taught using the face - to - face teaching mode even in an odl environment. due to its nature, some students may find difficulty in imagining and interpreting the drawings. however, the availability of sophisticated technology provides the opportunity for the learning of engineering drawing to be enhanced via online. a web - based system for teaching and learning engineering drawing was developed based on a constructivism model. the web - based system is tailored for several topics of engineering drawing such as orthographic projection, sectional view, isometric and oblique drawing at the secondary level. the learning strategy consists of multiple phases beginning with introduction, concept learning, engineering drawing method, application and exercises. during introduction, students will be exposed to an overview of the topic followed by learning of specific concepts. the system provides a learning environment that allows engineering students to view objects from different angles, such as third angle projection and first angle projection as well as views of plans, side and front elevations. after learning about the concepts, students wilt be guided through the various steps in drawing methods for each topic via animations and simulations. learners are able to view any section repeatedly. examples of real application of engineering drawings were also given using graphic, animations and video. to evaluate students understanding, exercises were given at the end of each session

    工程制圖一直被認為是一門實踐性學科，其整合了幾何學、建築、力學、電子制圖等，從而將理論與現實圖像聯系起來，工程制圖能為每個不同形狀、尺寸的物體提供精確的、完整的圖像.通常，即使在開放與遠程教育環境中，工程制圖的教學也是通過面對面的教學模式來進行的.由於其特殊性，一些學習者可能難以想象並解釋這些圖像.然而，尖端的技術使得可以通過在線的方式加強工程制圖的學習.研究者基於建構主義模式開發了一個面向工程制圖教學和學習的網路系統.該系統適用於幾種工程制圖，例如展開圖、刻面圖、等角圖和斜角圖.學習過程包括導論、概念學習、工程制圖方法，以及應用與練習等階段.在導論階段，系統為學習者提供了專題簡介，然後是概念學習階段.系統所提供的學習環境允許工程專業的學生從三維透視、一維透視、平面圖、側立面、正立面等不同角度來觀察物體.經過概念學習階段后，系統將引導學生通過動畫和模擬學習每個專題中制圖方法的不同步驟，學習者也能重復觀察任何剖面.另外，還通過圖像、動畫和視頻等方式展示真實的工程制圖應用案例.最後，為了評價學生的理解能力，在每部分內容後面都附有相關的練習
  14. According to the patient ’ s condition, the physician can control the device such as connecting and installing the channels and disposing drugs by selecting the appropriate therapy mode menus on the touchscreen, and then he / she can adjust or set parameters for the control system and the thermostatic incubator by selecting the appropriate menus. then, the directives are given to run the control system and the thermostatic incubator, and the working status of the control system and the thermostatic incubator can be monitored by various sensors. the computer receives the feedbacks from sensors and compares the parameters with the set ones, and finally compensatory control is conducted or alarms sound

    醫師根據患者的病情，在計算機觸摸屏菜單上選取相應治療模式，根據觸摸屏上的圖示，進行管路連接安裝，藥物布置等處置，完畢后再根據計算機上菜單調整設定運行的控制系統、恆溫培養箱等相關參數，無誤后，確認輸出驅動指令，使相關控制系統、恆溫培養箱等在接到指令后進行工作，工作狀態可由各種傳感器連續測試並將所得參數信號反饋回計算機，計算機控制軟體將所得測試參數與設定參數比較后，自動進行補償控制或報警提示，使用者根據觸摸屏上所顯示的提示內容，進行修正。
  15. Web ontology language, or owl, is a w3c recommendation intended to " explicitly represent the meaning of terms in vocabularies and the relationships between those terms. " together with rdf schema, owl provides a mechanism to formally describe the content of rdf models

    Web ontology language或owl是w3c推薦標準，設計用來「明確表示詞匯表中詞語的意義以及那些詞語之間的關系」 。與rdf schema一起， owl提供了一種正式地描述rdf模型的機制。
  16. First of all we discuss the model of information purifying and bring forward the methods of setting up the according fuzzy set and subject function. secondly after analyzing the traditional technology and the strongpoint and the shortcoing of information purifying we improve it combining with the technique of fuzzy mode identifying, data warehouse, cache etc. and we can perpetrate an on - line and synchronous purifying through analyzing the text and picture showing in the pages of network. finally, we choose sql server 2000 to design the url database and delphi, wingate as the tool for system development to develop an efficient system of information purifying which can keep the network consumer especially young student apart from the intrusion of unfriendly information and make the environment of network pure and fine

    本文首先探討了該系統中的信息「凈化」模型，提出了模型中的模糊集及隸屬函數的構造方法；然後分析了傳統的信息「凈化」技術及其優缺點，結合模糊模式識別、數據倉庫、高速緩存等技術對傳統的信息「凈化」技術進行了改進，改進后的信息「凈化」技術可通過分析正在顯示中的網頁文字、圖片內容，做即時、同步性的網頁內容篩選；最後，利用sqlserver2000設計了url數據庫，選擇delphi 、 wingate作為系統開發工摘要具，設計開發了一種高效的網路「凈化」器，使網路用戶尤其是青少年學生遠離非友善信息的侵擾，讓網路環境更加純凈、美好。
  17. The presenting bank is responsible for seeing that the form of the acceptance of a bill of exchange appears to be complete and correct, but is not responsible for the genuineness of any signature or for the authority of any signatory to sign the acceptance

    提示行有責任注意匯票承兌形式看來是完整和正確的，但是，對任何簽字的真實性或簽署承兌的任何簽字人的權限不負責任。
  18. Structured exception handling offers a standardized way to clean up after really unexpected events, such as dereferencing an invalid user - mode pointer, or to avoid the system crash that normally ensues after such events

    在真正的非預期時間之後，結構異常處理提供一個標準化途徑來清除，比如廢棄一個無效的用戶模式指示器，或者避免那些導致系統崩潰的事件。
  19. Abstract : it is proved that system heat quantity absorbing by reversible and irreversible process is not equal, so, the paper points out that merge formulas on mathematical expansion of the second law of thermodynamics are incorrect, and raises the proposition of correct expansion

    文摘:通過證明可逆和不可逆兩種過程系統吸收熱量的不相等，指出將熱力學第二定律表示式寫成合併式的作法是不妥的，並提出了正確表示的建議。
  20. The government model should be the key to the models with proper introduction of market rules. beginning with the economic analysis on the incompleteness of the internal control system, the author probed the incompleteness of the environment and the present situation during the implementation of the internal control system ; and pointed out its intrinsic reason about the present situation of the internal control system. finally, based on the elementary theory of the system movement, the author describe the implementation safeguard mechanism of the internal control system from five aspects : strengthening correlation system ; constructing and perfecting formal system ; emphasizing the informal system ; establishing the penalty mechanism, the enlightenment of game theory in perfecting the internal control system

    本文借鑒經濟學的相關理論，對內部控制制度的基本內涵進行了擴展，認為它是指由企業利益相關者為確保資產完整、信息真實可靠，提高企業經營效率，保證既定的管理政策得以實施而採取的所有制度;在對內部控制制度傳統功能分析的基礎上，重點剖析了內部控制制度在節約企業內部交易成本，彌補企業契約的不完備性和降低代理成本方面的經濟學功能;從制度供給的角度出發指出了我國內部控制制度制定模式必須朝著「以政府為導向，引入市場規則」的模式發展;以對內部控制制度的不完全性進行經濟學分析為起點，探討了其實施環境與實施現狀的不完全性，指出令人堪憂的內部控制現狀有其內在的理由;最後以制度運行的基本理論為基礎，從內部控制相關制度的加強，正式制度的建設完善，非正式制度的重視，懲罰機制的設立，博弈論對健全內部控制制度的啟示五個角度論述了內部控制制度實施的保障機制。
分享友人
分享到 Line

分享到臉書