formal process 中文意思是什麼

formal process 解釋
福爾馬落錘深沖法
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • process : n 1 進行，經過；過程，歷程；作用。 2 處置，方法，步驟；加工處理，工藝程序，工序；製作法。3 【攝影...
  1. The process of replacing polynomials by formal power series is an example of a general device known as completion.

    用形式冪級數來代替多項式的過程是被稱之為完備化的這種一般手段的一個例子。
  2. Semantic nets ( sn ) has powerful capability of knowledge representation ( kr ), but there is no accepted formal description architecture of it38 - 39. this problem leads to different meanings of it and uncertainty of inference process

    語義網路有很強的表達知識的能力，但它沒有公認的形式化表示體系，存在歧義性和推理不確定性的問題。
  3. In other companies the process is more formal, with financial analysts, cost accountants, and even whole departments dedicated to this function

    在其他公司這一流程更為正式，會有財務分析師、成本會計師甚至是整個部門專門致力於這項職能。
  4. Formalisation of a strategic planning process for banking supervision ; development of a formal risk assessment framework and quality assurance programme

    制定銀行業監管的正式策略性規劃程序制定正式的風險評估制度和品質保證計劃
  5. Completion of that process was due imminently and afterwards formal bidding would start, according to the paper

    該報還表示，這一過程將很快結束，隨后將開始正式的報價。
  6. Completion of that process was due imminently and afterwards formal bidding would start ， according to the paper

    該報還表示，這一過程將很快結束，隨后將開始正式的報價。
  7. The creative standpoint of this paper is to build a model to describe the science information communication system in the network - publishing environment. then it systematically analyzes the impact of network publishing on the science information communication, including : first, the development of the network publishing thoroughly changes the basic concepts of traditional science information communication. the boundary of formal and informal processes becomes obscure, and the channels of the informal process have changed

    本文的創新點在於構築了網路出版環境中科學情報交流系統的模式，在對該模式的直觀描述的基礎上，系統地分析了網路出版對科學情報交流各個方面的影響，包括：第一，網路出版的發展徹底改變了傳統科學情報交流體系中概念區分的依據，使正式交流和非正式交流的界限模糊了，非正式交流的渠道發生了變化，這種變化帶來了積極的影響。
  8. There is no substitute for formal standards, generated by an open process that is not manipulated by a language owner

    不被語言所有者操縱的開放進程所產生的正式標準是無可替代的。
  9. Caset also includes a ranking module which allows for the comparison of scenarios which have a large number of different options, prior to formal testing of one ( or a smaller number ) of options using the full testing process

    電腦輔助評審工具包括一個評級組件，如果某方案在推行上有許多方式可供選擇，使用者可在正式測試其中一項或少量方案前先進行比較。
  10. Simultaneity, in a certain kind of question ' s development, the technique can be carried out reuse in the formal deduce, correctness prove and so on. so it will give an effective way to research on reuse in the software development full process

    同時，某類問題的求解過程中的形式化推導、正確性證明等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。
  11. Based - w on uml, we use uml extend mechanism to process specific property develop about workflow : customize stereotype such as contract, port, collaborate, etc. and set up contract hierarchical system structure. for strict mathematical analysis and simulation, we also provide a convertible mechanism from uml model to object petri nets and a object petri nets ? formal analysis method. analyze the complicated dynamic relation among wofld7low ( work item ) in distributed workflow system by object petri nets ? strong analysis and simulation capability

    我們以uml為基礎，利用uml的擴展機制進行了有關工作流特性的擴展：定製了合同、埠、通訊協議塊等版類，建立了合同化的層次體系結構；為了對建立的模型進行嚴密的數學分析和模擬，我們又提供了從uml模型到對象petri網的轉換機制和對象petri網的形式化分析方法，利用對象petri網強勁的分析模擬能力來分析分散式工作流系統中工作流（工作任務）之間的復雜的動態關系；根據分析結果可以對模型進行有效地改進，最後確定的模型容易實現到程序代碼的轉換。
  12. People have paid more attention to the formal process than to the informal process ever since then. but the thriving of network publishing is challenging the core of this theory

    隨著網路出版的興起，該理論的核心內容? ?關于科學交流的正式過程和非正式過程的劃分，以及重正式過程、輕非正式過程的觀點都受到了前所未有的挑戰。
  13. Markush coding is divided into 3 layers, i. e. natural language layer, formal language layer and extended connectivity table representation layer, to ensure the consistency of markush sructures and the recorded structures in database files. corresponding to the 3lcm, a concept of 2 level documents is adopted. based on these ideas, a set of software named msiis ( markush structure integrated inputting system ) is being developed to process chemical patent documents automatically

    在注重提高族性結構數據庫系統的一致性和檢索效率的原則下，設計了族性結構加工處理方案- - msiis系統，該系統通過建立族性結構三層編碼模型（ 3clm ）和兩級文檔存貯編碼，有效地保證了數據庫數據記錄與源文檔的一致性；通過對初處理文檔的優化編譯? ?即在最佳展開點展開族性結構? ?生成具有高檢索效率的標準文檔，這樣在數據庫記錄中就保證了檢索的高效率。
  14. For above problems, i design boole process - based algorithm. for example, hazards finding theory work out a formal method of finding hazards by waveforms computing ; waveforms increasing algorithm settle the defect of boole process in feedback cycle treatment ; false paths discerning algorithm can delete useless nodes in netlist effectively ; inertia conflict eliminating method describes the state of nodes truelier and reduces computing

    其中，冒險檢測定理給出了通過波形運算檢測電路中冒險現象的哈爾濱工程大學碩士學位論文形式化方法;波形遞增演算法解決了boole過程在處理電路中反饋環問題上的缺陷;偽路徑識別演算法能夠有效地去除電路網表中的無用節點;而慣性沖突消除法能使對節點狀態的描述更加真實，並減少了計算量。
  15. At last, combining the fault - tolerant character and robustness in the biological evolution process of bio - systems with formal control methods, regarding niche as a rear parameter of fuzzy t - s system, this paper forms a fuzzy t - s system based on biological traits and proposes a fuzzy fault diagnosis method based on biological redundancy

    最後，本文將生物系統生物進化發展的容錯性能和魯棒性與常規的控制方法相結合，將生態位作為模糊t - s模型的後件，建立了基於生物特性的模糊t - s模型，提出了基於生物冗餘特性的模糊故障診斷方法。
  16. It also has restrained the sustainable development of the mutton sheep industry in hebei, and affected further improving of the competitiveness of the mutton sheep industry in china. to solve these problems the paper points out creatively the concrete and formal management objectives, principles and methods. it ' s content is the matrix organizational structure, the open contractual operation manner, the personal and group inspiring plan, the management style of the personnel reward and training, the framework of production system, the process and function of mis, etc. through the preliminary study on formal management and mis, the paper tries to provide a theoretical base for stud ying on the transition from the traditional management to a modern one, in order to enforce the direction to the mutton sheep pen ' s modernization, industrialization, and intensity in management and operation

    個業的組織結構管理、人力資源管理、庫存管理、銷售管理、生產作業管理利生產經營方式管理等方面，無序、隨意、人治的管理現狀制約了肉羊養殖企業管理效率的提高、產品質量的升級，制約了河北省肉羊業的持續、穩定發展，也制約了中國肉羊業競爭力水平的再提高，為此，創新性地提出了關于肉羊養殖企業的矩陣組織結構、外包生產經營方式、員工個人和集體激勵計劃、員工薪酬和培訓的管理方式、生產系統框架、管理信息系統的流程及其功能等具體規范化管理的目標、原則和手段等。
  17. It is therefore beyond a report that simply distributes environmental information. the environmental management process will in turn benefit by having the epr, an annual official document, as its formal supporting document

    由此可見，環保工作報告的功能不僅僅是發放環境資料，這份每年發表的官方文件也可作為環境管理程序的正式支援文件，有助推動機構整體的環境管理。
  18. In the whole process of administrative act, administrative counterpart ought to have the following main procedural rights : right to learn the truth, right to obtain fair procedural treatment, right to defend oneself, internal procedural participation right and so on. there are still other rights and formal rights including right to startup and promote process, right of application, right to participate in internal process, right to acquire answer, authorized competency, right to acquire related document duplicate

    行政相對人在行政行為的整個過程中，應當擁有這樣一些程序權利：知情權、獲得公正程序對待的權利、申辯權、內部程序參與權等幾項主要的程序權利，另有啟動與推進程序的權利、申請權、獲得答復權、委託代理權、取得相關資料副本的權利等有關程序本身與形式上的權利。
  19. Haiti ' s criminal justice system offers no formal process for freeing child inmates. those who have been formally charged are often accused of crimes as vague as " associating with bad people.

    目前，海地的司法系統還沒有釋放少年犯的正式規定。這些少年犯的罪行通常被含糊地描述為「與壞人合… … 」 。
  20. If the life cycle of you team project is relatively short, that is, less than 90 days, you may not want the additional overhead that a formal process like cmmi requires

    如果團隊項目的生命周期相對較短，即少於90天，您可能不希望增加cmmi等正式過程所需要的額外開銷。
分享友人
分享到 Line

分享到臉書