formal research 中文意思是什麼
formal research
解釋
正試調查-
We investigate finer time scale statistical properties of this traffic, including burstiness, periodicity, and synchronization. utilizing the data gathered by our simulator, we compared the results with our prediction, after that, we investigated the root cause of a specific networking traffic pattern, under various network configuration and policies. the importance of our work is not only analyzing the cause of each traffic pattern, but also providing a beneficial formal method for future research
在實驗結果的分析過程中，我們根據當前流行的網路拓撲建立了模擬路由試驗環境，特別針對lsa的突發性、周期性和同步流量的時域特徵進行了觀察，不僅探究了三種重要lsa流量的發生機理以及這些流量的變化對整體路由效率的影響，比對了我們的預測與最終的實驗結果，深入研究了統計圖表裡各種異常情況的成因和路由協議採用不同演算法和策略以後對整體路由環境的影響。 -
National educational inspector ought to accord with following postulate : ( one ) the main line that holds to a party, have deep love for socialism to teach a career ; ( 2 ) law of familiar concerned education, code, guiding principle, policy, have stronger professional ability, working gain is outstanding ; ( 3 ) have stronger organization harmonious ability and stronger oral with written expression ability ; ( 4 ) have record of formal schooling of above of university undergraduate course or coequal knowledge, be engaged in education manages or education, research works 10 years above ; ( 5 ) level of executive authority deputy hall and above, or have middle and primary school fancy teacher name, colleges and universities and scientific research orgnaization advanced and professional technical position ; ( 6 ) hold to a principle, handle affairs justice, behave well, clean - fingered self - discipline ; ( 7 ) healthy, can assure to perform duty of national educational inspector and the time that the task that finish needs
國家督學應當符合下列基本條件： （一）堅持黨的基本路線，熱愛社會主義教育事業； （二）熟悉有關教育法律、法規、方針、政策，具有較強的業務能力，工作實績突出； （三）具有較強的組織協調能力和較強的口頭與書面表達能力； （四）具有大學本科以上學歷或同等學力，從事教育治理或者教學、研究工作10年以上； （五）行政機關副廳級及以上，或具有中小學特級教師稱號，高等學校和科研機構等正高級專業技術職務； （六）堅持原則，辦事公道，品行端正，廉潔自律； （七）身體健康，能夠保證履行國家督學職責和完成任務所必需的時間。 -
The contemporary academic circles also engage in a broad research on the formal history and hidden history by employing such research method of cultural anthropology
當代歷史學界也在採用文化人類學的這種研究方法對正史和秘史進行廣泛的研究。 -
Looking through available documents, the research on innovation network is focused more on formal innovation network which links all participants together on account of agreement official agreements, and less on informal innovation network formed by all kinds of informal links such as social relation, blood relationship, reliance link and informal communication
從現有的文獻來看，創新網路的研究熱點主要集中於參與者之間基於正式契約類聯系所組建的正式創新網路，而對于隱藏在網路之中的由各種非正式聯系（如社會關系、血緣關系、信任關系、非正式交流等）聯結而成的非正式創新網路認識不足，更缺乏系統深入的研究。 -
Firstly, the author reviews the classical articles about early - warning models in the financial - failure field. on the basis of summarize and review these research, the author selected 18 listed companies which experienced financial failure and 18 corresponding listed companies which were in formal financial conditions as the comparative examples. after the section analysis and the single - variable discriminant analysis of the financial ratios " difference of the two groups for three years before the financial failure, the author picks out some ratios as the predication variable and establishes some multi - variable models to forecast financial failure
本文通過對國內外財務失敗預警模型研究領域經典文獻的回顧，在對已有研究成果進行總結和評價的基礎上，筆者選取了我國上市公司中18家財務失敗的公司和18家財務正常的公司為樣本，應用剖面分析和單變量判定分析法，研究了公司財務失敗出現前3年內各年這兩類公司20個財務指標的差異，並從中選定若干指標作為預測變量，應用多元統計方法構建預測財務失敗的多變量模型。 -
In this paper, the author provide some theory research results, as following : protocol testing contents ; protocol testing methods ; the application of " formal technology " in networking testing and so on. besides these, author research and develop the testing tool of " activetester ", which not only includes all functions of traditional testing tools, but also have the function of sending packages. it can send all types packages, for instance, mac packet, ip packet, icmp packet, igmp packet, arp packet and so on
為了科學地進行主動性測試，作者對協議測試理論進行了必要的補充，提出了自己的觀點，如協議測試研究的內容、協議測試的方法、形式化技術在協議測試中的應用等；同時為了便於測試人員掌握、使用主動性測試技術，作者研發了報文發送、偵聽、分析工具? activetester ，它除了具備傳統網路工具（如， sniffer ）所具有的報文偵聽、流量統計分析功能外，增加了報文發送功能，可以發送mac數據幀、 ip報文、 icmp報文、 igmp報文、 arp報文等，在此基礎上還可測量網路整體的吞吐量，響應時間，故障定位，協議一致性測試等。 -
First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介紹了安全協議的概念、分類和性質，安全協議的形式化驗證方法，以及小系統模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。 -
We research different kinds of formal methods, particularly study the mechanism of symbolic model checking tool smv, and finally we decide to adopt smv as the tool for the model checking of security protocols. with smv, we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
本文研究了驗證安全協議的各種形式化方法，詳細研究了符號化模型檢驗工具smv的工作機制；確定了使用smv作為工具對安全協議進行模型檢驗，驗證了認證版needham - schroeder公鑰協議和wooandlam對稱鑰協議。 -
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
同時，某類問題的求解過程中的形式化推導、正確性證明等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 -
It lacks formal modeling methods that can be used to describe enterprise in - depth knowledge. in present dissertation, studies from three aspects, ra for emi based on km, relevant methods, and software tool development, were carried out. the aim is to satisfy the real needs for syncretizing km into emi and try to provide solutions corresponding to current research shortcomings, and the focus lies in knowledge management and decision support during the life
論文從知識管理融入企業集成的實際需求出發，以經營過程重構和企業工程實施過程中的知識管理和決策支持為重點研究對象，針對目前國內外相關研究的不足，從基於知識管理的企業集成體系結構、相關方法和軟體工具的開發三個方面展開了研究。 -
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
許多國內專家及設計人員反應我國現行規范公式給出的設計秒流量應用於實際中存在很多不足，通過許多專家、學者、教授的研究，大家一致認為用概率論方法計算給水流量是比較合理及可行的。 -
This text bases on research result of former russia scholar to compiling calculational program, which predicts turning trajectory and zigzag manoeuvre of single ship model and various formal ship fleet models in the condition of deep water and shallow water
本論文是採用前蘇聯學者巴甫連柯等學者的研究成果編制計算程序，對單船船模及常見的各種形式的船隊船模的回轉運動、 z型操縱運動進行了數學模擬。 -
The research approves that replacing formal microprocessor by dsp as center processor can get higher performance and lower price. it has great value of market, application and military. it also promote the application of inertial technology
研究證實，用dsp替代傳統使用的微處理器作為捷聯航姿系統的核心處理器，可以減小系統的體積和成本，提高其性能價格比，使系統具備更好的應用價值、市場前景和軍事意義。 -
In today ' s china, the first suicide - preventing and crisis - interfering symposium held in nanjing in december, 1992, marked that the forbidden area was broken, and that the research question was approved by the relevant authorities ; and the establishment of the chinese special crisis - interfering committee of the committee of psychological hygiene in 1994 means the formal opening to the scientific researching area
在當今中國， 1992年12月在南京召開的第一屆自殺預防和危機干預討論會標志著這一禁區被打破，這一研究課題開始為有關部門所認可； 1994年，中國心理衛生協會危機干預專業委員會的成立，意味著正式放開這一科研區域的研究。 -
Popularization and research of formal logic : studies in logic teaching
兼論邏輯學的教學實踐 -
Their research results have showed that teaching formal schemata can facilitate native english or english as second language reading
國外對形式圖式的研究結果表明：講授形式圖式可以提高讀者的閱讀效率，提高閱讀能力。 -
Lastly, based on the results of formal research and the actual circumstance of the xinhuachang group, the integration component of the cmciis ( integrated information system for container mass customization ) has been implemented, which works very well as a part of cmciis and largely has improved the economical efficiency and the competitive ability of the e nterprise
最後，在前面研究成果的基礎上，結合江蘇新華昌集團的實際情況，實現了支持集裝箱製造企業的系統集成組件，並在江蘇新華昌企業的支持集裝箱製造行業大規模定製的cmc s集成信息系統中得到了良好的應用，提高了企業的經濟效益和市場競爭力。 -
The canadian delegation were very interested to learn of the strategic importance that this area has gained in taiwans formal research and development plan, and of the significant increase in funding which will be available for research, education and training, and for commercialization activities over the next 5 years
機能性食品的銷量，在2003年佔全球營養品產業總銷量的37 % ，相當於1720億美元。由於世界人口漸趨老化，消費者對于健康的意識越來越強，對于天然健康飲食的接受度也越來越高，因此機能性食品的市場深具潛力。 -
This project consolidates a currently developing collaborative relationship between the university of maryland center for integrative medicine, cuhk and the university of illinois at chicago and activities are directed at the long range goal of creating a formal research group for tcm in functional bowel disorders
是次合作加強了馬里蘭大學綜合醫學中心、香港中文大學及伊利諾大學芝加哥分校現有的合作關系，三方並以成立一個中醫藥治療腸功能失調的研究組織為長遠的合作方向。 -
The paper firstly retrace the formal research results, and analyze the relations between monetary policy and stock price with theory experience and test analysis ways, and conclude that there are strong relations between monetary policy and stock price of china. taylor ' s monetary policy with a target for the stock market test includes that policy makers are often influenced by stock price fluctuation. the change of stock price often changes the structure of money supply
本文在回顧前人已有研究成果和理論分析的基礎上，對我國貨幣政策與股票價格波動的關系進行了理論分析、經驗分析和實證分析，得出了以下結論：我國的貨幣政策與股票價格存在較強的相關關系，貨幣政策明顯受到股票價格波動的影響，股票價格的變化往往導致貨幣供應結構的變化。
分享友人