正規圖 的英文怎麼說

中文拼音 [zhēngguī]
正規圖 英文
normal graph
  • : 正名詞(正月) the first month of the lunar year; the first moon
  • : Ⅰ名詞1 (畫圓形的工具) instrument for drawing circles 2 (規則; 成例) rule; regulation 3 [機械...
  • : Ⅰ名詞1 (繪畫表現出的形象; 圖畫) picture; chart; drawing; map 2 (計劃) plan; scheme; attempt 3...
  • 正規 : regular; standard; normal正規部隊 regular troops; regulars; 正規教育 regular education; proper ed...
  1. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則,對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充;給出了計算數據表達式的演算法;對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據的雙態模擬( bisimulation )等問題進行了研究,提出了一種判定數據的bisimulation演算法;在xml數據查詢語言研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  2. For the so-called strongly regular graphs we shall rewrite the condition in a more attractive form.

    對于所謂強,我們將把條件改寫成更有吸引力的形式。
  3. Abstract : it presents the law of “ the reverse is positive ” on how to evaluate the unknown force of statically determinate structure, the movement law of force vector for drawing the axial force diagram and shear diagram. and expounds the simple and convenient method of drawing the moment diagram according to the rubber band deformation, and the auxiliary teaching software corresponding to the above - mentioned methods. the methods are believed to save class hour and gain a better effect on teaching

    文摘:闡述了求靜定結構未知力的反為律;繪制軸力、剪力的力矢移動法則;按照橡皮筋變形繪彎矩的簡便作法以及與上述方法對應的計算機輔助教學軟體.相信這樣作,對教學可起到省課時、效果好的作用
  4. The condition for the normality of arc - transitive circulant graphs of order prime - squared

    2階弧傳遞循環性條件
  5. With telelogic tau s powerful graphical modeling capabilities, users can specify all aspects of a system s design, simulate and verify its behavior, and ensure the design is on the right track, even at the earliest stages of the project

    強大的形建模能力,使用者能夠指定系統設計的各個方面,模擬並驗證其行為,並確保設計在項目的最早階段也能步入
  6. Urgently, by higher educational reform, it should accomplish the standardization of library education, the systematization of teaching content and the phased aim of teaching process

    應當通過改革,逐步實現高校書館教育化、教學內容系統化和教學過程階段化。
  7. However, while bringing us a lot of benefits, it raises requirements for network interworking. as is shown in figures 1 and 2, if the order of the 2 mbits time slots is inconsistent on the 155 mbits paths, disorder will take place when these paths are interconnected, thus making impossible the functioning of the point - to - point 2 mbits links. hence the unification of the arrangement of the time slots of 155 mbits signals throughout the network

    1 、2中所示開通交換機中繼電路的情況,如中155mbits通路2mbits時隙排列不統一,在互連時就會造成2mbits時隙混亂,難以開通點到點2mbits鏈路,因此全網155mbits信號時隙必須統一排列則,才能保證業務的順利開通,方便網路的維護。
  8. Analyze structures of parts to map, select representation methods and complete sketches. measure and obtain dimensions of the parts, compile necessary technical requirements and complete detail drawings

    分析需測繪的零件結構形狀,選定表達方案,畫出零件的草,測量並標注尺寸,編寫必要的技術要求,繪制零件
  9. The paper describes symbolic structure of word of program language with regular grammar and regular expression, constructs converted - state chart to identify word symbol

    文法和表達式描述了程序語言的單詞符號的結構,用狀態轉換構造了識別單詞符號。
  10. Cschema language has a type system to guarantee the type correctness of the embedded calculation expressions and moreover this type system also generates a security view after type checking a cschema policy

    另外,這個類型系統也為通過檢查的cschema策略產生安全視。一個安全視是一個沒有包含保護類型的表達式類型。
  11. In this paper, through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view, we explain the agent theoretically. on the base of analyzing the organ structure of agent, we put forward the kernel agent concept. the kernel concept abstracted from common properties of agent, contribute to construct agent and multi - agent system. we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent, and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents. at last, we construct a multi - agent system, which exchange kqml message by a mobile agent, by the development tools of agelt and jkqml

    當前,對agent和多agent系統的研究在掀起熱潮,是當今計算機科學技術領域、信息工程領域和網路與通信領域十分活躍的前沿研究方向之一。本文通過對agent心智模型的研究,從邏輯學的角度分析並總結了幾種agent 「信念?願望?意」 ( bdi )模型,在理論上對agent進行了解釋。總結了現有邏輯模型存在的問題,提出去掉則n形成的一種非模態邏輯的語義上的新的解釋,解決了「邏輯全知」問題和由此帶來的問題,避免了一般非模態邏輯系統語義解釋對agent的bdi描述的弱點。
  12. 3. the graph structure of some non - invertible autonomous automata is discussed in regular space, orthogonal space, and orthonormal space respectively. some new results are derived [ theorem 3. 10 - 3. 13 ]

    ( 3 )討論了非可逆線性內動機在空間、直交空間、交空間上的型結構問題[定理3 . 10 3 . 13 ] 。
  13. This dissertation is composed of follows : a ) introducing new logic operator into the traditional agent bdi model, including bel, asm, des, goal and int, in order to describe the dynamic restrictions and interactive triggering relations between belief, desire and intention of agent. a new intentional model was built in complementation of the kd45 regular modal logic axiom, which is the base of agent self - control interaction with the outer environment

    在傳統的理性agent的bdi形式化邏輯模型中作者引入新的邏輯運算元bel 、 asm 、 des 、 goal和int等,表達了信念、願望和意三者間的動態約束與相互激發關系,補充了模態邏輯的kd45公理,建立agent從信念到動作選擇的的意模型,為研究agent與環境交互的自主行為模式提供了理性化模型。
  14. On the basis of analysis and study of the problems lying in the zhujiang river ' s waterway transportation development, and combining with the reality of the zhujiang river ' s waterway transportation and market economy ' s requirements, this chapter puts forward the implementation of the strategy of " the west big exploitation " and sustainable development, amending and formulating the overall scheme for the development of zhujiang river ' s waterway transportation and investigating countermeasures and methods for speeding up the development of the zhujiang river ' s waterway transportation, making good comprehensive use of water resources, smoothing relationship between river ' s constructor and management authority, establishing integrated management organization for the valley ' s water resources, putting greater investment of funds into fundamental facilities in inland waterway, bringing into full play of inland waterway transportation, speeding up standardization of ship ' s form and steps of information construction, improving competition ability of waterway transportation by the progress in science and technology, deepening reform in management system and setting up a waterway transportation market of openness, fairness and standard

    論文在對珠江航運發展存在問題分析研究的基礎上,結合珠江航運的實際及按照市場經濟的要求,提出了貫徹落實西部大開發和可持續發展戰略,修改制定珠江航運發展的總體劃,研究加快航運發展的對策和措施;搞好水資源綜合利用,理順河流開發建設和管理方面的關系,建立流域水資源綜合管理機構;加大內河航運基礎設施建設資金投入,發揮內河航運的優勢;加快船型標準化及信息化建設步伐,以科技進步來提高航運的競爭力;深化管理體制改革,建立公開、公范的水路運輸市場環境等對策和建議。論文對珠江航運發展進行了展望,分析了為實現全面建設小康社會,珠江航運面臨的任務,描述珠江航運的發展目標及宏偉藍
  15. Especially, when the isocline of x is monotone decreasing in 0 < x < 1, the svstem has no limit cycle and is globally stable ; next, we construct a saddle bifurcation at the boundary equilibrium and a degenerated bogdanov - takens bifurcation at the interior equilibrium by choosing appropriate parameter values in the following two sections, where our work are based on the theory of central manifolds and normal torms. we prove that is a codimention 3 focus - type equilibrium. system ( 6. 1 ) will have two limit cycles at some appropriate bifurcation parameter values, and have homoclinic or double - homoclinic orbits at some other appropriate bifurcation parameter values ; at last, we study the qualitative properties of the system at infinite in the poincare sphere

    因為系統在( 0 , 0 )點處沒有定義,這給研究其在( 0 , 0 )附近的動力學性質帶來了困難,我們應用文獻[ 17 ]中關于研究非線性方程奇點的系列理論和方法,圓滿解決了這一問題,給出了第一象限內當t +或t -時,在全參數狀態下系統的軌線趨于( 0 , 0 )點的所有可能情況,其相也得以描繪;並且,系統不存在極限環的幾個充分條件我們也予以列出,當x的等傾線在0 x 1范圍內遞減時,系統不存在極限環,全局漸近穩定;然後,我們以中心流形定理和型方法為主要工具,巧妙選擇參數,分別構造了一個余維2的鞍點分岔和一個余維3退化bogdanov - takens分岔,證明了平衡點是余維3的焦點型平衡點,存在參數, m ,的值使得系統( 6 . 1 )有兩個極限環,還存在參數, m ,的另外值使得系統( 6 . 1 )有同宿軌或雙同宿軌。
  16. In this paper, three correlative results are given : 1 ) the average crossing number of graph with n vertices and q edges can be signified approximately by quadratic equation of q. 2 ) the average crossing number of graphs with bigger girth is greater than that with smaller girth within given vertices and edges. 3 ) the average crossing number of r - regular graphs greater than that of non - regular graphs within given vertices and edges where n is odd or r < n / 2

    並得出相關的律: 1 ) n個頂點q條邊的單二連通分支的平均交叉數aac ( n , q )可近似地表示為q的二次多項式, 2 )在給定頂點數n與邊數q的單二連通分支中圍長較大的的平均交叉數大於圍長較小的的平均交叉數, 3 )在給定頂點數n與邊數q的單二連通分支中當n為奇數或r n / 2時, r的平均交叉數大於非r的平均交叉數。
  17. Image preprocessing includes transformation of image format, scaling of image size, smooth and noise - removing, gray level distribution normalization

    像的格式轉換、尺寸縮放、平滑去噪以及灰度的化組成了前期預處理過程。
  18. It invests all 3 - regular graphs with order at most 18, all 3 - regular generalized petersen graphs with order at most 30, all 3 - regular graphs with maximum girth and order from 20 to 30, some random 3 - regular graphs with order from 20 to 30, and all circulant graphs cn ( l, k ) with order at most 18. in this article, it is shown that the average crossing number of 3 - regular graphs with biggest girth and order n ( 18 ) is greater than that of all 3 - regular graphs

    通過研究n 15的所有三則的廣義petersenp ( n , k ) , n 18的所有三, 20 n 30的隨機三與具有最大圍長的三, n 18的所有循環c _ n ( 1 , k ) ,本文得到如下律:對于給定的頂點數n ( n 18 ) ,具有最大圍長的三的平均交叉數大於所有三的平均交叉數。
  19. They are trying to develop tourism on a big scale

    他們發展一個大模的旅遊業。
  20. Log - normal graph

    對數正規圖
分享友人