算術可定義性 的英文怎麼說

中文拼音 [suànshùkědìngyìxìng]
算術可定義性 英文
arithmetical definability
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 術 : 術名詞1. （技藝; 技術; 學術） art; skill; technique 2. （方法; 策略） method; tactics 3. （姓氏） a surname
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 算術 : arithmetic figure; arithmetic
  1. This article canvass the status quo of the archive ' s automatization administration and the develop status of data mining, and discusses how to combine the data mining technology with the archive work from data cleaning means, data mining arithmetic, and data storage etc. and this article put forword a data mining syst em design idea. this article ' s structure is : first, in allusion to the archive data status quo, the pretreatment work of archive data that include data quality evaluation, data cleaning and data commut - ation process is bringed forword ; second, in the process of realizating data mining, the article discusses conception description, association rule, class three familiar means of applicating data mining, also put inforword the concrete arithmetic and the program design chart, and discusses the range and the foreground of all kinds of arithmetic when they are applicated in the archive ; third, the base of so you say, this article also discusses the importance of the archice applicate data storage and the means of realizing it ; last, the article discusses seval important problem of realizing an archive data mining system from data, diversity, arithmetic multiformity, mining result variety and the data pretreatment visibility, mining object descriptive visibility, mining process visibility, mining result visibil ity, user demand description and problem defining etc aspect. the article ' s core is how to import data mining technology in the archive work

    本文評述了檔案自動化管理現狀和數據挖掘技術的發展狀況，從數據清洗方法、數據挖掘演算法、數據倉庫的建立等方面論述了如何將數據挖掘技術與檔案工作相結合的具體思路，並提出了一個數據挖掘系統的設計思想。文章首先，針對檔案數據的現狀，提出了應對檔案數據進行預處理工作，包括數據質量評估、數據清理、數據變換和歸約等過程；其次，在具體實現數據挖掘過程中，本文結合檔案數據的特點探討了概念描述、關聯規則、分類等三種常見挖掘形式的實現方法，提出了具體的實現演算法和程序設計框圖，並論述了各種演算法在檔案工作中的應用范圍及前景；第三，在上述基礎上，又論述數據倉庫在檔案數據挖掘中的重要性並提出了實現一個檔案數據倉庫的方法；最後，從處理數據的多樣性、演算法的多樣性、挖掘結果的多樣性、數據預處理可視化、挖掘對象描述的可視化、挖掘過程可視化、結果顯示可視化、用戶需求的描述及問題定義等幾方面討論了實現一個檔案數據挖掘系統的幾個重點問題。全文以探討如何將數據挖掘技術引入到具體的檔案工作實踐中為核心。
  2. In this article, we make a survey on the logical problem of arithmatical sentences, definability and decidability, in paticular

    摘要本文是對算術句型中的邏輯問題做一綜覽，特別是算術句型的可定義性與可決定性。
  3. Next, the thesis carefully describes the definitions method and course of the mechanical fault diagnosis technology, and the structure ~ algorithm ~ trait and nature of ann model. and it relates the theoretical meaning of the research on the mechanical fault diagnosis technology based on ann theory. the thesis also points out that the peculiar structure and trait of ann have poured into new vitality, so it is possible that the mechanical fault diagnosis technology extricates itself from predicament

    其次，本文系統介紹了機械故障診斷技術的定義、方法和過程以及人工神經網路模型結構、演算法、特點和性質，並在此基礎上闡述了人工神經網路理論應用於機械故障診斷技術研究的理論意義，指出人工神經網路獨有的結構和特點為機械故障診斷技術注入了新的生命力，從而很有可能使機械故障診斷技術走出困境。
  4. By the browser / web server / database structure and the technology of asp. net and xml, we achieve the expert system running on the network, extend the application and ensure its backward compatibility ; we have the deep research to the representation of knowledge and apply it to the system, extend the traditional method of rule based knowledge representation ; introduce the fuzzy sets, analyze the generalized possibility interval sets, and combine the linguistic variables and fuzzy sets ; the system adopts the forward and backward chaining, researches the reasoning under uncertainty and inexact reasoning ; and we depart knowledge base and inference engine, make the upgrade simple and maintenance convenient. in the last, we construct the potato produce manage system according to the phases of potato ' s growth to give a detailed instruct to its produc e

    Net和xml技術，實現了網路化的專家系統，同時擴大了專家系統的應用范圍，提高了系統的後向兼容性；對專家系統中的知識表示技術作了深入探討，在傳統的基於規則的知識表示方法的基礎上，提出了基於規則擴展的知識表示方法，並較好地將其應用到本系統中；引入了模糊集合，分析並推導了廣義可能區間集，將其應用於模糊知識的表示，將語言變量和模糊集合結合起來；提出對系統採用互動式知識獲取途徑、雙向推理控制策略，對不精確推理和不確定性推理的傳播演算法作了一定的研究，成功地將其應用到馬鈴薯專家系統的構建之中；採用知識庫和推理機相分離的方法，使得系統升級簡單易行。
  5. Nacpro apparel pattern making system has great progress in the intellectualized and humanized operation. original database management mode, intellectualized automatic pattern - making, auto - grading and customized system, entirely opening unlimited basic block library, linkage operation of pattern modifying, substantial mark lib and line lib in the system or setting, point parallel line - cutting grading and 3d re - grading or more - times grading, marker making for traditional textile irregular textile knitted textile, etc., auto - matching plaid marker making, beds marker making and double - deck bed marker making, automatic marker making which can be modified by hands any time. we do everything to help the users operating conveniently, quickly and economically

    隨著計算機技術不斷發展，在我公司全體員工的努力下， nacpro服裝制板排板系統在智能化操作和人性化操作方面的綜合能力大大提高，新穎的數據庫管理模式智能化的自動打板自動放碼及度身定做全開放式的無限量原型板庫打樣后修改紙樣的關聯聯動操作大量系統和自定義的記號庫及線型庫碼點平行線-切開線多種放碼方式相結合併可進行二次多次立體放碼傳統面料不規則面料針織面料等不同面料的排料方式自動對格排料分床及高低床排料自動排料並可隨時與手動相結合的人工可干預智能排料我們所做的一切，都是為了讓用戶操作得更加方便快捷節約時間節約面料，我們可以肯定地說， nacpro將以其嶄新的面貌，無愧成為當今同行業的勝出者。
  6. The results of research reveals the variation disciplinarian and the affected factor, defines the factor limiting the urban regional development. all these offer scientific references for reasonable city planning, municipal building project planning, reasonable arrangement of land use, the confirmation of land use intensity and the improving land use benefit. and a series of methods we have explored can apply the practical manipulation of grading and assessing urban land, which contribute to enhance working efficiency, shorten the time of evaluation, enhance the updating of urban land price, establish a system of dynamic superviso ry control and examination, and enhance accuracy and objectivity of urban land - rated evaluation

    再由球形檢驗和主成份分析、信度分析、多元回歸分析的技術路線，逐層遞深地解譯影響城市地價的主要因素及相互數量關系，其研究結果揭示了城市地價的變化規律和影響因素、明確了限制城市區域發展的因素，為合理的城市規劃，市政建設項目規劃，合理安排土地用途，確定土地利用強度，提高土地利用效益等提供了科學依據，同時探索的系列化方法可直接應用於城市定級估價的實際操作中，有利於提高工作效率，縮短估價時間，提高城市地價的現勢性，建立地價動態監控和測算系統，又可提高城市定級估價的準確度和客觀性，在理論上、學術和實踐上均有積極意義。
  7. ( 5 ) user management system is built by asp technology on the server - side. user ' s register and logging is accepted and the user permission for different group is designed ( program files referred to appendix 1 ) ; the connection between web server and plastic die material database system realized by ado, odbc technology, which will guarantee the mutual information transportation between the database system and different terminals ; ( 6 ) further study of expert system is discussed and the implementing reasoning base on plastics mould material selection neural networks is put forward and key problems is also discussed. according to the requirements of sustainability, extended knowledge frame of mould selection and track algorithm meeting the requirements of dynamics, history, structuralism, illegibility, unintegrity and uncertainty are verified and corresponding examples are also put forward

    （ 3 ）通過ado 、 odbc技術實現web服務器與塑料模具材料數據庫系統的連接，從而保證了塑料模具材料數據庫系統和各終端之間信息的雙向傳遞； （ 4 ）在服務器端利用asp技術建立塑料模具材料遠程選擇優化專家系統交互界面，通過標準數據庫查詢語言，客戶能對數據庫中的塑料模具材料信息進行查詢（程序文件列表參見附錄1 ） ；廣東丁業人學1學m學位淪義門）在服務器端利用sp技術建立用戶管理系統，接受用戶的注冊、登錄消求，為不同等級的用戶設定相應的權限（程序文件列表參見附錄1 ） ； （ 6 ）討論了進一步完善該專家系統所需做的工作，提出塑料模具選材神經網路批理的實現方案，並對其中的關鍵問題進行了討論：按照可持續發展的要求，對擴展的模具選材知識框架、滿足動忐性、歷史性、結構性、模糊性、個大根性、不硯定性等需求的跟蹤演算法進行了論證並給出計算示例。
  8. Aiming at the problems in the orientation, evaluation anj the testing system, in order to develop the ae source orientation technology, research the testing system fitting to the situation of our country, we carry out the study of new type of acoustic emission testing and technology of ae sources orientation with advanced electronics and computer technology, at the same time, carrying out the research of aptitude evaluation technique, get realization of convenience and visibility of ae technology

    針對目前檢測系統存在的差距和定位、評定技術的問題，本文結合先進的屯子技術及計算機技術，以期研究出符合本國國情的聲發射檢測系統，並改進聲發射定位方法、模式，同時開展智能評價技術研究，真止實現聲發射檢測的方便性利可視性。因此，開展新型聲發射檢測系統與定位技術研究只有重要的理論意義與實用價值。
  9. According to the trend, this paper introduces the technology of database and pc ' s serial port communication, which is adopted as the technology premise of wireless surveillance control system. and it illustrates the key technologies of how to realize the wireless surveillance control system. by making full use of its possible expansibility, flexibility and pervasive applicability, as well as the serial port communication technology, scada could help to transmit batch of data effectively, extend the ascii code serial port communication processing in the mscomm components and transmit the large - scale data stream

    針對這一趨勢，論文在介紹了作為無線監控軟體系統的技術前提的數據庫技術和微型計算機串列口通信技術的基礎上闡述了實現無線監控軟體系統的各項關鍵技術，對利用數據庫系統對數據結構間的關系的嚴格定義和約束實現系統的可擴展性、靈活性與普遍應用性、利用計算機串列口通信技術實現批量數據傳輸、實現了數據的有效傳遞、 mscomm控制項中擴展ascii碼的串口通信處理和大型數據流的傳輸等項技術作了詳盡地說明，並對已完成的系統作出了評價，提出可以進一步改進的意見。
  10. To prevent flood, adopting non - project measures is feasible and efficient marching measures in recent years in most of counties, adequately utilizing modern science and technology such as computer, information processing, net and communication, system emulation, artificial intelligence and so on to build system that can automatically survey and forecast water information, now plays a important role in grasping the information of rainfall, water and project, in making and selecting preliminary draft of flood control and dispatch, which can greatly raises the efficiency and flexibility of flood control, and has important realistic significance and social economic benefits in minimizing flood disaster

    充分利用現代科學技術，如計算機、信息處理、網路和通訊、系統模擬、人工智慧等技術，建立水情自動測報系統，對雨、水、工情的掌握，防洪調度預案的制定、選擇和實施都有重要的使用價值，可以大大提高防洪工程措施的防洪效能和防汛調度的靈活性，對減少洪水災害具有重要的現實意義和社會經濟效益。鬱江洪水預報與調度系統內容豐富，主要有： 1 、系統設計； 2 、系統洪水預報模型； 3 、系統實時校正模型； 4 、系統河道洪水演進模型； 5 、系統水庫調度模型。
  11. The mobile communication technology progress has provided the new way for the enterprise information to be transmitted fastly and accuratly. therefore, this article based on the above viewpoint, the paper carry on the conformity with each kind of information system of the enterprise, by using communication timeliness and the mobility, establishes a real - time highly effective, safe, stable, product management system information platform which taking enterprise ' s product as the basic point and the product in the sale also is the supplier and the seller intermediary spot characteristic, through analysis each function of the system skeleton as well as research each function flow, the information determination and the grouping, the data warehouse definition and the optimization, might using migration such as cell phone, computer and so on. to complete the data exchange of the enterprise internal and external forms product information by computer, achieved the goal of promoting the enterprise internal and external forms information transmission, exchange and communication

    因此，本文基於上述的觀點利用通信技術的實時性和移動性，與企業各種信息系統進行整合，建立一個實時高效、安全、穩定的企業產品管理系統信息平臺構架，以企業的產品為基點和產品同時在銷售中又是供應商和銷售商的中介點的特點，通過對系統構架各項功能的分析以及各項功能在模塊中實現的流程、信息的確定與分組、數據倉庫的定義和優化等作了理論的研究，可以利用手機等移動便攜工具、計算機完成進行企業內外部產品信息的數據交流，達到促進了企業內外部信息的及時傳遞、交流和溝通的目的。
  12. A novel method of content - based image segmentation using deformable template matching is proposed. a two - dimensional ( 2 - d ) deformable template based on orthogonal curves is built by pre - computing extensions of the deformable template along orthogonal curves and sampling the curves uniformly. then the definitions of internal and external energy functions are given according to the image segmentation problem, and genetic algorithm is used to obtain globally optimal solutions. the proposed method uses a lower - dimensional search space than conventional methods and reduces the sensitivity of the algorithm to initial placement of the template. experiments on real - world images and in simulations at low signal - to - noise ratio show the robustness and good performance of the method

    本文提出一種採用可變形模板匹配技術進行基於內容的圖像分割演算法.通過預先計算出可變形模板沿著變形的正交曲線，並對模板曲線及正交曲線進行離散抽樣，建立一基於正交曲線的二維（ 2 - d ）可變形模板，針對圖像分割問題定義控制可變形模板進行變形的內、外部能量函數，本文採用遺傳演算法搜索能量函數最小的全局最優解.該新演算法比傳統的可變形模板匹配方法降低了搜索空間的維數，減少了演算法對模板初始位置的敏感.對實際圖像及模擬低信噪比圖像處理的結果表明，新演算法具有良好的分割精度及穩定性
  13. It describes some generality factors based on the environments of integrated costing system, analyzes the possibility of implement technology, suggests an approach of building block which includes separating the generality demand and individuality demand, user self defining function and the realization of the interaction of heterogeneous database based on views

    摘要對集成環境下影響成本核算系統通用性的因素進行了簡要描述，並從實現的技術可行性角度對提高成本核算系統通用性的方法做了研究，提出了積木式設計將共性需求和個性需求分離、用戶自定義功能以及基於視圖集成實現異構數據庫互操作的方案。
  14. Xml / rdf can explicitly describe the unite, structure and formalization of different sorts web information sources, and it considers the objects of web environment as < wp = 8 > resources and sets down unambiguous grammar and semantic, meanwhile it makes us research and develop new web mining technologies and use traditional mining algorithms and tools to carry out specific and multi - arrangement data mining, based on programming and structure data

    Xml / rdf能夠明確描述網上各種信息源的統一性、結構性和規范化，它把網路環境中的對象視為資源，並制定了明確的描述性語法和語義，使我們能夠在一個規劃化、結構化的統一數據層面上，研究和開發新的網路挖掘技術，同時可以運用傳統的挖掘演算法和工具對各種目標資源進行特定的多種層次的綜合數據挖掘。
  15. Matrix and vector template classes are defined based upon object - oriented technology ( oot ). the conventional computation among matrix, vector and number is realized by overriding operators. according to the property of matrix, the scanty reserve way of object data is used, and the computation between matrixes with different reserve way is realized. the template classes is versatile, the program codes can be effectively reused, maintained and extended

    基於面向對象技術定義了矩陣和矢量兩種模板類，利用運算符重載實現了矩陣、矢量和數之間的常規運算，對于具有不同特性的矩陣，採用了節省的貯存方式，並實現了不同貯存方式下矩陣相互之間的計算，表明所建立的模板類具有通用性，所開發的代碼可重復利用率高，而且易於維護和擴充。
  16. Then, the theoretical analysis of the 3 - phase reversible rectifier circuit is performed in detail. after that a 1kw 3 - phase pwm rectifier is designed in theory and hi practical. in the third chapter, the computer simulation based on matlab is carried out through the simulation, a number of simulation data are gained for studying the relation between the circuit parameters and the reversible rectifier characteristics

    首先對三相功率因數校正技術作了分析和比較，確定本課題研究的內容，指出其研究價值和意義；然後對三相高功率因數可逆整流電路作了理論分析，並在此基礎上，對一個1kw的三相高功率因數可逆整流電路進行了理論設計；利用matlab軟體，建立了計算機模擬模型，對系統的整流和逆變工作特性進行了模擬研究，得到了各電路參數和控制參數與系統性能之間的關系。
  17. Fatigue safe control assessment method on steel crane structures in service is put forward based on fatigue dynamic reliability. after investigating and summarizing many engineering usage and appraisal. based on the miner accumulation damage model, in a fatigue reliability point of view, the remain fatigue life assessment equation in the ( technical specification for inspection, assessment and strengthening of steel structures ) ) ( yb9257 - 96 ) is analyzed, and the probabilistic meanings of the additional safe factor is proposed

    4 、在上述工作的基礎上，基於疲勞動態可靠性，提出了鋼結構吊車梁疲勞安全控制評定方法；從miner累積損傷的定義出發，提出了在役鋼結構吊車梁疲勞剩餘壽命評估的可靠壽命評估方法，與現行《鋼結構檢測評定與加固技術規程》 （ yb9257 - 96 ）中的安全期限壽命評估方法進行了分析比較，解釋了安全期限壽命評估方法的概率意義，通過算例說明了本文提出的可靠壽命評估方法的合理性。
分享友人
分享到 Line

分享到臉書