題庫與題解 的英文怎麼說
中文拼音 [tíkùyǔtíjiě]
題庫與題解
英文
pdf 393-
Fist of all, on the basis of the research of agone boffins, this author investigates the interaction mechanism of bolts and rock, and introduces the elastic ? lastic analytical resolution which is consist of the liner structure, the equivalent reinforced wall rock and the original wall rock in the simple loading from the equivalent well - proportioned view ; this solution is very important meaning for the engineering design. on the basis of coulomb friction model, the author introduces the finite element equation of the contact problem in order to provide the academic foundation for the application of msc. marc. finally, combining the engineering practice of the non - linear analysis of shield tunnel through yellow river of the south - north water transfer and using the model of friction, the author researched the evolution law of stress and displacement field in the structure of grouted rock bolts, and analyzed the effect to the stress and deformation of surrounding rock mass due to anchor supports
首先,在前人研究成果的基礎上,對錨桿與圍巖的相互作用機理進行研究,利用全長錨固錨桿的中性點理論,從等效均化的角度來考慮錨桿對圍巖的加固作用,並推導了在簡單荷載作用下,含有襯砌、等效加固后的圍巖、原始圍巖三者的彈塑性解析解,對工程設計有著重要的參考意義;在數值模擬方面,以考慮錨固圍巖滿足規則化庫侖摩擦模型為基礎,利用虛功原理推導了接觸問題的有限元方程的計算格式,為開發運用大型商用有限元軟體msc . marc提供了理論根據,也形成了本文的理論基礎:最後,論文以南水北調東線穿黃隧洞穩定性分析項目為工程實例,利用本文所述的接觸問題的摩擦模型理論,對錨桿支護結構的應力場、位移場的變化規律進行了研究,分析了加錨支護對隧洞圍巖應力、變形的影響。In order to maintain the rules conveniently, we make use of the technology of rdbms in managing data, consider the trait of production rules, and then design and realize the arithmetic to check the rules " equipollence and circulation on the basis of our former work - knowledge ordering. all these solve the knowledge base ' s consistency effectively
為了方便對規則的維護,我們充分利用數據庫管理系統對數據管理的巨大威力,結合產生式知識規則的特點,在原有知識序化的基礎上,對規則的等價、循環做了演算法設計與實現,較好地解決了知識庫的一致性問題。Semcor is semantically tagged with wordnet senses. however, the semantics information of the examples is required to be hownet concept according to the interlingua used in this system. therefore, before the extraction, the corpus is transformed with an algorithm th at maps wordnet senses to hownet concepts
演算法中用以比較的實例從經語義標注的語料庫里抽取而得,為解決語料庫的語義標注形式與實際實例中詞義應有的語義表現形式不一致的問題,本文在介紹實例抽取的過程時提出並詳細介紹了從wordnet到知網的詞義映射演算法。Finally, with the multiplication warehouse we can resolve the multiplication between one bit number and multi - bit number. in the multiplication warehouse, there have entirely enumeration of each pair of multiplier and multiplicand
最後,運用與數制轉換庫思想相似的乘法庫解決了一位數與多位數的乘法問題,乘法庫中全列舉了所有可能的乘數與被乘數對。This paper analyses the cause of saturation of stack room in medium - small sized libraries, indicates the realistic meaning of solving this problem and emphatically introduces the methods and experiences to resolve this problem
摘要論文對中小型圖書館漲庫的原因進行了分析,指出解決這一問題的現實意義,並著重介紹了解決的方法與經驗。Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content
本系統選用薛錦雲教授的par方法為主要教學內容,應用人工智慧的知識表示和自動推理原理及泛型思想,使得系統具有以下核心功能:展示幾種典型例題的解;以泛型思想為指導,實現了無限題庫,可以自動生成與典型例題類似的問題給學生求解並給予提示;對于這些題目,計算機可以自動推理出由問題到程序的全過程供學生學習;也可通過自動推理根據用戶的實際做題情況實時給出提示,互動式地幫助學生學習演算法程序設計;學生可以從問題庫中獲得練習,並調用轉換器,將自己的apla程序轉化為可執行語言程序,運行以檢驗其正確性;對教師而言,可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中,我們深入研究了系統的各方面相關知識,並進行了多方面的創新:在教學內容方面,首次選用par方法為主要內容。The dcs of i / a series is regarded as main reference object, and the control is separated from model. and the configuration of control is operatised at administration system, not to be added into model, not to build control sound code also. therefore it realizes on - line adjusting, real - time control and so on. users configurate by filling table. they only define i / o condition, fill certain operation variable, and name logic variable. the software offers a friendly user ' s interface, so personnel can compile and modify the control and logic program, change the value of logic and control variable conveniently, attach themselves to run, debug and control the system, not need to know the programs deeply. so the configuration software offer a flat that control engineers can attend to control loop, not to give their attention to the complicated program
在本課題中,採用填表的方式進行控制組態,用戶只需定義i / o條件、填寫具體的運算變量名即可。本軟體為建模人員提供了一個友好的用戶界面,使建模人員在建模時不必對模塊內部的控制、邏輯程序有很深的了解就可以方便的對其進行編寫和修改,實時改變各邏輯和控制變量在數據庫里的值,參與運行和調試,從而實現對系統的控制。因此,本組態軟體提供的這樣一個平臺,讓控制工程師能集中精力于控制迴路的構成,而不必拘泥於一些具體而煩瑣的程序操作。In ddmm, the rdb is taken as the bottom storing medium and the upper xml view is set up for data exchange and direct application under internet / intranet environment. based on ddmm, the multi - tiered and bi - directional data integration technique between xml and rdb, is studied systematically and in detail, and the reciprocal data accessing and exchange between rdb and xml is carried out on respectively three levels : static data transformation, dynamic data query and synchronized data update. the infrastructure for manufacturing informationlization will certainly be internet / intranet, and xml has been a factual standard for data representation under internet / intranet environment
製造業信息化的基礎平臺將是internet intranet , xml ( extensiblemarkuplanguage ,可擴展標記語言)已經成為internet intranet環境下數據表達的事實標準,而目前企業大量數據仍存在於佔主導地位的關系數據庫( relationaldatabase ,簡稱rdb )中,如何在rdb與xml之間架起數據交換與數據操作的橋梁,已成為製造業在internet intranet環境實現信息化迫切需要解決的突出問題之一。The part one of this article defines the learning resources and learning resources based on the internet discriminatively, analyzes the characteristics of repository and information systems built on internet. it brings forward learning based on resources in the school lan, and indicates that the objective of this kind of study is to develop the interests and hobbies, thinking and quality, the ability of resolving problems and cooperate with others of students and so on
本文第一部分通過對學習資源、基於網路的學習資源的界定,分析了internet上組織建構的知識庫、信息庫的特點,提出通過校園網開展基於資源的學習,並指出這一學習的目的在於發展學生的興趣愛好、思維品質、解決問題的能力、與人合作的精神等等。For developping the third party physical distribution and realizing moden management, jiangmen frigorifico co., ltd. built a tridimensional warehouse, and founded a real - time, high - efficiency, exact, simple - operation, modem warehouse management information system this paper is based on the warehouse management system project of jiangmen frigorifico co., ltd. it studies and discusses the problems and key technologies in the design and implementation of system
為了發展第三方物流和實現現代化管理模式,江門冷凍廠有限公司興建了大型的立體倉庫,並建立了一個實時、高效、準確、操作簡單的現代化立體倉庫管理信息系統。本論文以江門冷凍廠有限公司立體倉庫管理信息系統開發項目為背景,對系統設計與實施中需要解決的問題和採用的關鍵技術進行了研究和探討。Rice met friday in irbil with massoud barzani, the president of iraq ' s northern kurdish autonomus region. she thanked him for the kurds " long cooperation with the united states. she also urged barzani to work with the government in baghdad to resolve the issue of sharing iraq ' s oil wealth
星期五,賴斯在埃爾比勒城會見了伊拉克北部庫爾德自治地區總統巴爾扎尼,為庫爾德人長期與美國合作而對他表示感謝,並敦促他與巴格達政府解決共享伊拉克石油資源的問題。For leaming largerscales texts corpus by svm, it is bohant that decomposihon method optanises the svm with respect to subsets and recursively solves the whole svm. the c a estiinator based on leave - one - out test can perform emciently and effectively estiinating in term of error rate, precision, recall and f1
針對超大規模文本庫的訓練與評估問題,採用分解演算法,迭代求解,然後利用基於leave - one - out技術的評估方法快速有效地計算錯誤率、準確率、召回率和f _ 1指標。It is a problem in grade - 2 supply chain. secondly, it is the crux of this kind of matter to solve inventory and transportation. the problem of the inventory and transportation integrated optimization addresses the point of systemization and integration
因此,本文將銷售物流系統中兩個重要環節,即庫存控制與運輸路徑優化合到一個大問題當中,尋找這個聯合問題而非其中某個問題最優的解決方案。Wang shan, li shengen, foundation of database system and application, 2002. 8 people s posts telecommunications publishing house
王珊朱青,數據庫系統概論學習指導與習題解答2003 . 8 ,高等教育出版社In this paper, a discussion of construction of the knowledge base by the relational model is presented. we analyze the knowledge into groups, each one called a knowledge point. then, use rm to organize the knowledge points to form two databases ; one is called the attribute database, and the other called linkage database
同時教學系統還必需具有大量多媒體數據的管理能力,學科知識庫與教學材料庫結合也是一個重要問題。本文使用關系模型討論建立學科知識庫的方法。首先把學科知識分解為知識點,用關系模型來組織知識點,形成知識點屬性庫和鏈接庫。The kinds of learning information resources under the multimedia web - based instructional environment include multimedia resources, test paper, cases, answer of common program, index of paper. cai. web - based cai and web course
多媒體網路教學環境中的學習信息資源的類型主要有:媒體素材、題庫、課件與網路課件、案例、文獻資料、常見問題解答、資源目錄索引和網路課程的等。As the important part of educational information - based, the precondition of the information technology into the process of curriculum teaching and the foundations of the web - based instructional, the network teaching resources construction comprise five phases mostly : prop education analyses ( analysis of feasibility, demand, teaching content ), planning and design, development ( write manuscript book, selection of teaching components, design of teaching strategies, create teaching circumstance collect or disuse matter, program ), testing and modification the web - based educational resources system ( wbers ) refers to an instructional software system that is based on computer networks, and that is capable of facilitating teachers to prepare their lessons and give lectures, as well as of providing support for students to study by themselves, and that is capable of arranging for such instructional activities as excising, examining, discussing, question - answering, and so on
本文所討論的「網路教學資源」主要是指基於網路的教學材料,即基於網際網路運行的信息化教學資源,主要包括各類網路媒體素材、網路題庫、試卷、網路課件、網路課程、教學案例、常見問題解答、資源目錄索引以及文獻資料等。網路教學資源建設是教育信息化建設的重要組成部分,是進行數字化學習、實現信息技術與課程整合的重要保證和前提,是開展網路教學的基礎。網路教學資源庫系統是指基於計算機網路環境的,能夠隨時隨地支持教師備課、授課和學生自主學習,能夠開展網上作業、考試、討論、答疑等教學活動的教學軟體系統。Fundamentally, semantic grid database is about bringing globally distributed databases together in order to coordinate resource sharing and problem solving in which information is given well - defined meaning, and dartgrid ii is the implemented database gird system whose goal is to provide a semantic solution for integrating database resources on the web
而語義數據庫網格則是採用語義技術將分佈的數據庫結點集成起來以支持資源共享和高層的問題協同求解,其中的服務與信息有明確良好的語義定義以便於機器理解和自動處理。Having studied the data tables, we got the relation between optical correlation s / n and distortion parameter ( scale rotation azimuth ) and then constructed the proper rfl, and so the puzzle of distortion of 3d objects in practical opr system is now resolved
從實測數據出發,得出了opr對畸變參數(比例畸變、旋轉畸變、方位角畸變等)的寬容度,並由此構成了與之相適應的參考濾波器庫,從而解決了實用系統中的三維畸變目標問題。Real _ time requirement and time sequence consistency are important symbols in dems, the paper analyses thoroughly factors that system real _ time is restricted, and merits that main memory is used as a storage medium. in order to satisfy system real _ time and openness, distributed database in experiment & measurement system unites real _ time main memory database and sql server 2000. the paper discusses the time sequence consistency in dems and introduces the concept of absolute time sequence consistency and relative time sequence consistency
實時性及時序一致性是試驗與測試系統分佈數據庫性能的重要標志,論文深入分析了制約系統實時性的因素及以內存為存儲介質的優點,為滿足系統的實時性與開放性,引用了實時內存數據庫與sqlserver2000相結合的試驗與測試系統分佈數據庫設計思想;時序一致性表現為絕對時序一致性和相對時序一致性兩方面,結合試驗與測試系統自身特點,利用優先級解決絕對時序一致性和用數據視圖解決相對時序一致性問題。分享友人