formal design 中文意思是什麼
formal design
解釋
規則式設計-
Opposite the armchair, however, in which the count s mother had died - a square armchair of formal design and inhospitable padding, which stood by the hearthside - the countess sabine was seated in a deep and cozy lounge, the red silk upholsteries of which were soft as eider down
壁爐的一邊，有一張方形扶手椅，木質堅硬，椅罩布面粗糙，伯爵的母親就是坐在這張椅子上去世的。在壁爐的另一邊，也就是那張扶手椅的對面，薩比娜伯爵夫人坐在一張深座椅子上，椅墊是紅綢做的，柔軟得像鴨絨。 -
But at the same time there is also a redoubtable tendency : architects are blindly eager for the novelty of formal in architectural design, whereas neglect people ' s requirement in real life
但是同時，也伴隨著一種不容忽視的傾向：建築設計一味追求形式的新奇而忽視人們現實生活的需求。 -
This dissertation presents formal definition of uml models and model mapping rules and establishes form of model mapping rules based on xml. this method implements model auto - transformation and gives a realization of mda based framework. then, in this dissertation, we propose the design and realization of icem graphic modeling tools
其次，本文還研究了基於xmi的icem模型與uml模型之間的映射方法，給出了uml模型以及模型映射規則的形式化定義，提出了基於xml的映射規則表達方式並且實現了模型的自動轉換，該方法是一種有效的基於mda架構的實現技術。 -
Further, these proposals do not provide any formal design methodology to ensure the stability of the control loop
更有甚者，這些方案沒有提供任何正式的設計方法來確保控制環的穩定性。 -
Formal design and service evaluation reviews are key control points
設計和服務的正式評估審核是關鍵的控制點。 -
In this paper, taken quadrilateral socket as an example it is introduced the main function of the prosthetic in socket / residual limb system, analyzed the design theory of different wall of the prosthetic socket. it is discussed the relationship of the trans - formal prosthetic and the movement of the body weight and pointed out the main supporting area of the body in different phase of gait cycle
本論文以四邊形接受腔為例論述大腿假肢在接受腔殘肢系統中的作用，分析了接受腔各壁的設計理論，討論了理論上步態周期各階段大腿假肢與人體重心移動之間的關系以及殘肢各部分的受力情況，並指出各階段的主要承載區。 -
At present, we still have not much experience in design and construction of specialized automobile ro / ro wharf in china, and there isn ' t any formal code on it yet in our country
摘要目前，我國專用汽車滾裝碼頭的設計和建設經驗仍顯不足，國內設計規范尚未正式出臺。 -
Many experts and designers hold that the design flow provided by the normal formal is a lot of lack, everybody consistently thinks that the probability method is reasonable and viable in calculating the water supply by many expert, scholar, professor ' s research
許多國內專家及設計人員反應我國現行規范公式給出的設計秒流量應用於實際中存在很多不足，通過許多專家、學者、教授的研究，大家一致認為用概率論方法計算給水流量是比較合理及可行的。 -
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過程在處理電路中反饋環問題上的缺陷;偽路徑識別演算法能夠有效地去除電路網表中的無用節點;而慣性沖突消除法能使對節點狀態的描述更加真實，並減少了計算量。 -
Design patterns are usually expressed as a structured description with formal headings
設計模式通常表示成結構化地描述，包含正式的標題。 -
It presents the verification strategy used in the whole eda design flow of the chip. the simulation on module level ( inc. post - layout ) uses the software event - driven simulator, the simulation of the associated modules or whole system uses cycle - based simulator and hardware emulator, for the gate - level netlist produced by using top - down design flow, the sta tool can analyze the static timing, and more formal verification is used to ensure the correct function
本章還提出了系統在整個eda設計流程中的設計驗證策略方法：模塊級的模擬（包括布線后的模擬）全部採用事件驅動式的軟體模擬工具來驗證，各大模塊的聯合模擬及整個晶元的功能驗證（寄存器傳輸級與門級）使用基於周期的模擬工具和硬體模擬器；對于採用top - down的設計方法得到的門級網表使用專門的靜態時序分析工具來進行時序分析以及採用形式驗證來保證正確的功能。 -
Topics include : the nature of risk, formal accident and human error models, causes of accidents, fundamental concepts of system safety engineering, system and software hazard analysis, designing for safety, fault tolerance, safety issues in the design of human - machine interaction, verification of safety, creating a safety culture, and management of safety - critical projects
其主題有：危險的性質，突發意外事件和人類錯誤模型，意外事件的因素，系統安全工程學的基本理論，系統和軟體的危險分析，安全和容錯設計，設計安全的人機交互，安全確認，創造安全文化和管理安全危急工程。 -
As one kind of company ’ s laws, the purpose of establishing and running effectively the exceptional exclusion system of the voting rights of corporation lies in to be to controlling shareholder, related shareholder and related director from betraying company voting rights exercising rule improper act in the essence carry on the structure with appropriate system design, in order to correct unbalanced shareholder ’ s interests relationship, realize company voting rights definitely equal to essence equal transformation from a formal one really, and by this with activating the system of the general shareholders meetings and the board of directors, making resolutions of the general shareholders meetings or the board of directors possess legal, just, reasonable and effective foundation of voting rights
作為一種公司法律制度，公司表決權例外排除制度的創建與有效運行，其目的在於以妥當的制度設計對控股股東、關聯股東、關聯董事離叛公司表決權行使規則之內在實質的不當行為進行規制，以矯正失衡的股東利益關系，真正實現公司表決權從形式上的絕對平等向實質上的近乎平等轉化，並藉此以激活股東（大）會制度和董事會制度，使股東（大）會、董事會決議具備合法、公正、合理以及有效的表決權基礎。 -
Formal design review
形式設計審查 -
In the latter case, the design may be a formal document hundreds of pages long that contains every possible detail about the database
對於後一種情況，設計可能是長數百頁的正式文檔，其中包含有關數據庫的各種可能細節。 -
How can we guarantee the correctness of design ? one way of achieving these goals is by using formal methods, which are mathematically based languages, techniques, and tools for specifying and verifying such systems
為了提高數字硬體的設計層次，保證數字系統設計的正確性，採用「形式化方法」 （ formalmethods ）設計數字硬體或者集成電路系統是一種比較好的途徑。 -
Design review : do you have a design review that involves a formal examination of product materials, components, configurations, packaging, and labeling
設計評論：貴司是否有一個正式的檢查關于產品材料、成份、構造、包裝及標簽（產品說明和警告）的設計評論。 -
" analysis " means, on the basis of completely mastering the specific conditions and conceptions of the design, defining the formal characteristics as " the operation subject "
「分析」的目的就是要明確所要具體表現的形式特徵。它有助於我們具有針對性的對構成要素的視覺屬性及其組織關系特徵進行「清晰與表達」 ，避免形式操作的盲目性。 -
These methods begin with the formal design specifications given by the designer and then derive the top design codes by using refinement calculus laws
所謂形式化方法，就是利用嚴格的數學方法，從給出系統設計的規范（ specifications ）開始並逐步地推導或者驗證系統的方法。 -
( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )
作者以時段演算（ durationcalculus ， dc ）為工具對vhdl的子集進行了形式語義分析；通過分析vhdl和veriloghdl部分語句的形式語義，為硬體描述語言的分析、設計、編譯提供了一個嚴格的理論基礎和新的途徑。
分享友人