formal problem 中文意思是什麼
formal problem
解釋
形式問題-
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
語義網路有很強的表達知識的能力，但它沒有公認的形式化表示體系，存在歧義性和推理不確定性的問題。 -
This paper shows that 1 ) women were restricted to the domestic sphere and very seldom received formal education in traditional society ; 2 ) the ratio of women receiving higher education and women ' s labour force participation rate have increased annually during the past few decades ; 3 ) women ' s status has been improved, yet the problem of gender inequality needs to be dealt with
綜合相關文獻之探討，分析結果如下： （ 1 ）傳統社會女性受禮?規約為安家育兒的角色地位，受教育機會不受重視； （ 2 ）現代女性教育與勞動參與比率，皆呈逐年提升； （ 3 ）女性教育與勞動參與層面，女性地位已較傳統社會提升，但猶存性別不平等問題。 -
It emphasizes that nowadays - chinese supervision of the public opinion isthe unty of the interests both of the party ' s and the people ' s ; it also shows oneprinciple that the supervision of the public opinion in china is still under the lead ofthe ccp. according to the analysis above, the author induces the difficult problem in thesupervision of the public opinion : we have no the formal law on this topic, and thesocial system ca n ' t meet the need of the supervision of the public opinion, whichlead to the problems, such as missupervision. so the author elabofates the importance and the urgency of the supervision ofthe public opinion through the point of the legislation
我國輿論監督主要的還是起「上對下」的指導作用。通過上述分析，作者歸納了我國的輿論監督存在「輿論監督難」的問題，其不足主要在於以下幾個方面：首先，尚未出臺正式成立的新聞法，輿論監督缺乏明確的法律保障，這導致了輿論監督在實際操作中無法取得應有的效果。其次，現有法律中對輿論監督權的保護存在失衡，加上社會協調機制發展的滯后和媒介自身體制的不健全，存在監督不當，監督不力等問題。 -
We can show the existence of solutions to the differential inclusions problem by baire category method, and so the formal problem. the main steps of using baire category method are as follows. first we construct a complete metric space v. then with the help of the likelihood functional, we obtain a series of open and dense subset vs in v. finally, by baire category theorem, we know that the subset vs is dense in v
本文指出在適當的條件下，可以將原問題轉化為一個微分包含問題：對於此微分包含問題運用baire稠密性方法，構造一個完備的度量空間，也就是容許函數空間，再利用似然泛函構造出它的一列稠密開子集（實際上是逼近解集） ，從而由baire稠密性定理可以得到解的存在性。 -
It efforts to answer the problem of local resources of law produced by su li, from the point of view of the conflict between legal formal and essential justice
（一）從法的形式正義與實質正義的沖突與解決的理論出發對蘇力的「本土資源」問題作出回答。 -
After strict formal analysis with ban logic, the result have proved that the authentication protocol is secure. the improved access control scheme is realized by the mode of single - key - lock - pair. under new access control scheme, user can own several kinds of access right upon one file under the new scheme without the supposition that the access rights is increase by degrees, and the possibility of overflow problem is significantly reduced by our new method
作為對原雙向認證訪問控制方案的改進，改進后的雙向身份認證協議可以很好的抵抗中間人攻擊和重放攻擊，經過嚴密的ban邏輯形式分析和論證，結果表明該協議是安全的；改進后的訪問控制方案用單鑰-鎖對方案實現，除保持了一般單鑰-鎖對方案的良好動態特性外，在不需要訪問權限遞增假設下，實現了用戶對文件的多種訪問控制權限，並大大減小了溢出問題的發生可能 -
To solve this problem, we used the formal charge model to study electrostatic interactions of protein complexes. and a fast and effective model for predicting the salt and ph dependent properties of protein complexes was presented here and applied to the analysis and prediction of the stability of protein structures
針對這個問題，我們採用簡單形式電荷模型來研究蛋白質二聚體靜電相互作用，建立了一種快速、有效地預測蛋白質穩定性隨溶液ph值和鹽離子濃度變化的方法，並將其應用於蛋白質分子結構穩定性的分析和預測。 -
A proposal is a formal report that describes a problem and recommends a solution
商務建議書是描述問題並提出解決方案的一種正式報告。 -
Part two : organizing strategy of cooperative learning in implementation of new mathematical curriculum this part analyzes the problem in the process of implementing of cooperative learning in new mathematical curriculum by observing in classroom and studying case. six problems is : ( 1 ) the group activity stay on the formal, and lack the material cooperation ( 2 ) individual duty diffuse, " take a ride " phenomenon have the occurrence ; ( 3 ) student social intercourse technical lack. ( 4 ) no change in teacher ' s role, lacking guidance to student ; ? ividing group difficultly for big class formation, fulling of too much noisy in classroom ; ? valuation system is not well, group cooperation exist in name only, provides six suggestions for these problems : ( 1 ) dividing group scientificly and vividly ; ( 2 ) leading student active cooperative learning ; ( 3 ) increasing the individual duty ; ( 4 ) cultivating students " cooperative method and social intercours technical ; ( 5 ) enhancing management in classroom ; ( 6 ) handling a few relations rightly ; finally, puts forward the principle and program of orgnizing cooperative learning in new mathematical curriculum
二、新數學課程實施中合作學習的組織策略本部分在對實驗區數學課堂觀察和個案研究的基礎上，分析得出了新數學課程實施中合作學習存在的6個問題：小組活動留于形式，缺乏實質性合作；個體責任擴散， 「搭車」現象時有發生；學生社交技能欠缺，合作效率低下；教師對自己角色轉變認識不清，指導作用沒有跟上；大班額分組困難，課堂過于喧嘩混亂；評價體系沒有跟上，小組合作名存實亡。針對這些問題，對新數學課程實施中開展合作學習提出了6方面建議：科學靈活地分組；引導學生主動合作學習；提高個體責任：重視對學生合作方法、社交技能的培養；加強合作學習中課堂管理；正確處理幾對關系。最後提出了新數學課程實施中合作學習的組織的原則和組織序列。 -
According to the theory of reciprocity damage, the crux of the problem of conflicts of rights in legal form, does not lie in the formal equality protected by rights, but lies in who has qualification and capability of efficiently using these resources
根據損害的相互性理論，形式合法、披上合法外衣的權利沖突的問題關鍵不在於權利維護的形式公平，而在於誰更有資格、更有能力有效地使用資源的問題。 -
Key to learning effectiveness are participants collaborative problem solving and semantic - based information retrivel. these require semantics to be expressed in a formal and unambiguous way
而學習參與者圍繞某個問題的合作交流以及基於語義的學習資源查詢是決定學習效率的關鍵因素。 -
Halevy a y, suciu d. a formal perspective on the view selection problem. in vldb, roma, italy, 2001, pp. 59 - 68. 17 chirkova r, li c. materializing views with minimal size to answer queries
在進行物化節點選擇時，可以通過閾值，將所有節點的查詢代價控制在一個給定范圍內，從而確保物化數據和非物化數據在查詢性能上的均衡。 -
It is an extension of core of manna and pnueli " s pltl. in succession, a formal axiom deductive system is presented. it ' s soundness based formal semantic defined in this thesis is proved. as an example, we specify grc ( generalized railroad crossing ), which is a benchmark problem for real time systems, and verify it ' s safety and liveness
作為它的一次實際應用，我們用它對于實時系統中的一個典型實例： grc （ generalizedrailroadcrossing ）進行了描述，給出了它的系統規約，在此基礎上，演繹式的證明了系統的一個安全性和活性命題。 -
This paper proposed a problem - solving theory based formal model, introduced the basic syntax and p - calculus based semantics of the model, and presented some pivotal concepts and propositions in the deduction of the model
摘要提出了一種基於問題求解理論的密碼協議模型，給出了模型的基本語法以及基於演算的形式語義，明確了模型推理過程中涉及到的一些關鍵性的概念和命題。 -
Ooa ( object - oriented analysis ) aims to build a analysis model based on class diagram. but among most oo methods, ooa lacks formal, unified and well - operated measures, only directly finding class diagram by means of analyzing problem domain through domain experience
Ooa （面向對象分析）的目的是建立以類圖為核心的分析模型，但這些oo方法的ooa階段對于建立類圖大都缺乏規范、統一、可操作性強的手段，只是憑借領域經驗通過分析問題域直接得到類圖。 -
According to conference dimensions, define conference budget, amount of meeting wu personnel ; assembly room of make choice of, decide time of conference report, formal meeting ; do good assembly room to decorate, the conference is recieved, the respect such as assembly room service intends the work ; connection solves the problem such as the bed and board that joins meeting staff, traffic
根據會議規模，確定會議預算，會務人員數量；選定會場，確定會議報道、正式會議時間；做好會場布置、會議接待、會場服務等方面預備工作；聯系解決參會人員的食宿、交通等問題。 -
Judo club had just received the formal receipt of the southern asia earthquakes and tsunamis from world vision hong kong. copies had been emailed to all members and benefactors. please check and see if there is any problem
本會已收到香港世界宣明會關于南亞大地震及海嘯捐款之正式收據，並已電郵至各會員及捐款者，如有任何疑問，請與本會莊員聯絡 -
I have never had any real formal training or education in any of the work i have done, but i have been very good at figuring things out, whether it is something mechanical, a creative visual problem, a business negotiation or how to get to some unknown place in a far off foreign land
我的任何工作中，都從來沒有什麼正式的培訓或者是教育，但我比較擅長自己探索歸納，無論是機械方面的，視覺創意方面的，商務談判的問題，還是如何到達一個遙遠的國度一塊陌生的土地。 -
In this paper, we discuss the problem of mining association rules based on the qrrecl, and describ a formal framework for rapid generation of association rules. we study the methods to construct frequent concept sub - lattice ( fcsl ) using dynamic pruning technique and static pruning technique respectively, and develop the algorithms for building fcsl
本文以量化相對約簡格模型為基礎，分析了量化相對約簡格和關聯規則發現之間的關系，描述了基於量化相對約簡格進行關聯規則的快速發現的理論框架，討論了通過對量化相對約簡格結構分別進行動態剪枝和靜態剪枝生成頻繁概念子格的思想，並給出了相應的構造演算法。 -
Then we give a formal problem description of mining association rules. we analyze the performance of the two typical algorithms, apriori and aprioritid, for discovering all significant association rules between items in a large database of transactions, then introduce the idea of some typical algorithms and analyze them virtues and disadvantages. we proposed the strategy of parallel mining association rules and describe the basic algorithms and analyze the performance of these algorithms
本文首先對kdd dm的主要概念和最近的發展作了綜述，給出了挖掘關聯規則問題的正式的描述，然後對典型的關聯規則演算法apriori演算法和aprioritid演算法作了較深入的性能分析，然後給出了幾個典型演算法的思想介紹和優缺點分析；提出了關聯規則的并行挖掘策略並且對相應的并行演算法進行了性能分析。
分享友人