user-oriented language 中文意思是什麼
user-oriented language
解釋
面向用戶的語言-
The authors have formalized a specification language and logic - calculus in lf, together with useful lemmas, and a user - oriented syntax has been designed
在本文中，我們考慮并行系統的驗證領域，並在lf中將特定論域的規范描述語言ccs和相關邏輯m - culculus形式化。 -
With c + + language, iods is composed of traditional optimization methods, knowledge base, inference machine, knowledge acquisition and graphic user interface ( gui ) in windows 2000. this integrated synthesis system performs the intelligentized optimization design for asrv, including the following items : production deduction strategy, knowledge handling technology, traditional optimization methods, evolutionary algorithms and the object - oriented strategy
此系統利用c + +語言在windows2000環境下編制而成，由優化演算法庫、知識庫、推理機制、知識錄入和圖形用戶界面等幾部分構成；該系統將產生式推理技術、知識處理技術、基於數學規劃的優化演算法、現代優化演算法以及面向對象程序設計方法綜合成一個有機的整體，形成了一個針對再入飛行器氣動布局優化設計的智能優化設計平臺。 -
From the point of software product, erp is the software product which integrates the production of information technology such as client / server architecture, rdbms, object - oriented ( oo ) technology, graphic user interface ( gui ), the fourth generation language ( 4gl ), network communication, etc, and take the erp management ideology as its soul
從軟體產品角度看erp是綜合應用客戶機服務器體系、關系數據庫結構、面向對象技術、圖形用戶界面、第四代語言（ 4gl ） 、網路通訊等信息產業成果，以erp管理思想為靈魂的軟體產品。 -
Then the paper demonstrates the process to system modeling, analysis and design making use of object - oriented technology and uml, describes and analyses especially expression result to the user ' s needs and system model of uml view. the systematic model to consistency of the user ' s needs model is proved, and the superiority of using object - oriented thought is announced in the software researches and develops. the paper has put forward system ensemble frame mode relying mainly on b / s structure and complemented of c / s structure, and discussed the superiority of choosing java as the programming language and oracle database as stores for the data ; finally, the paper describes the implementation and running situation of ammis based on web, and summarizes the relevant technology and question in the development course of application system
然後，論文論述了運用面向對象技術、 uml統一建模語言進行系統建模、分析和設計的過程，重點描述、分析了使用uml視圖對用戶需求和系統模型的表達結果，論證了系統模型與用戶需求模型的一致性，揭示了面向對象思想在軟體研發過程中應用的優越性，提出了以b s結構為主、 c s結構為輔的系統總體結構模式，討論了選擇java為編程語言、 oracle數據庫為數據存儲的優越性；最後，描述了基於web的飛機維修管理信息系統的實施運行情況，並對應用系統開發過程中相關技術和問題進行總結，對系統待改進之處進行了分析，對飛機維修企業信息化進行了展望。 -
Therefore, we construct a resource - oriented logic model for e - commerce auto - negotiation and also put its basic functions into an executable program with java programming language. to draw a widely considering conclusion in program, we firstly give a formalized definition of a series elements that would be taken into consideration in the process of auto - negotiation. in order to realize commerce intelligence in program, we emulate the user with agent technology, describing the object and action of purchase with attitude, and do the theorization and study base on resource
該模型基於資源庫，對自動協商過程中普遍涉及的一系列重要因素進行了形式化的定義和描述，並將其真正納入了自動協商的決策考慮之中；同時，該模型採用agent技術來對電子商務用戶進行建模，使用目標偏好來對用戶的購買目標和行為特徵進行描述，為了更好的實現真正意義上的商務智能，在模型中建立了利用資源進行推理和學習的機制。 -
In this thesis, based on the available research of this field, the method to resolve the constraint conditions of the optimization problems has been improved and the parametric sensitivity analysis of the trajectory optimization has been completed. guided by object - oriented method and considering the mission needs and user requirements adequately, the hierarchical structure of the system is analyzed. the uml ( unified modeling language ) is also applied to establish the simulation systems framework
本文在已有研究的基礎上，對優化問題的約束處理方法進行了改進，並完成了軌跡優化問題的靈敏度分析，在面向對象方法學的指導下，根據系統的優化模型和優化策略，分析了系統的層次結構，並基於uml建立了模擬系統框架，運用泛型技術進行程序設計，最終實現了運載火箭性能優化軟體。
分享友人