集論的證 的英文怎麼說
中文拼音 [jílúndezhèng]
集論的證
英文
set theoretic proof-
Compared the equity structure and corporate governance of listed company of our country with countries such as u. s. a, japan and germany, and by game theory, this dissertation analyzes the influence mechanism of equity structure to corporate governance of a listed company from following main respects : stimulation, restriction, take - over by other company, and competition of dealership. by theoretical research, it comes to that a comparatively centralized equity structure helps to perfect corporate governance ; for its fierce competition and stability of performance, we choose the data of the industry of wholesale and retail trade listed companies of our country to analyze the influence that equity structure made to corporate governance by regression analysis, and approve it by real case. by the theory and real example, we draw the conclusion that a mode of comparatively centralized equity and main power is controlled by fictitious persons is ideal, and correspond measures are put forth to advance the economic development of our country
本文通過對我國、美國、日本利德國等發達國家的上市公司的股權結構利治理模式比較;通過採用博弈論等方法分析了上市公司股權結構對公司治理的激勵機制、監督機制、外部接管市場和代理權競爭四個方面的影響,從理論上得出相對集中的股權結構有利於完善公司治理結構:通過選取了我國競爭比較激烈、業績相對穩定的批發與零售行業的上市公司的數據、採用回歸分析的方法對不同性質和集中度的股權結構與公司業績的關系進行了實證分析,還進行了具體的案例分析,由理論利實證研究相結合得出股權結構相對集中的法人控股模式為一種理想模式,並提出了促使我國上市公司股權結構調整使治理結構合理化的相應建議。Based on game thoery, this article reviews the mode of american interest groups " decision - making participation, investigates multi - fuction of various interest groups " game. and then simulates the model of interest group " s political participation model, proving related polycentrism & postpolycentrism interest group thoery in the frame of double game thoery. charpter 2, 3, 4 are main contents
本文在博弈論的基礎上,考察了美國利益集團參與政治決策的方式,研究了各種利益集團的相互博弈形式,並模擬了利益集團的政治參與的最優化目的模型,在雙層博弈的框架內印證了有關的多元主義? ?后多元主義利益集團理論。Shortwave channel is time varying transmission channel. it has dispersion in frequency and time domains. this characteristics hinds the data transmi - ssion at high speed and the correction of received data. in this dissertation i have analyzed the statistic characteristic of shortwa - ve channel, established the model of shortwave channel and simulated the rayl eigh fading distribution. the technology of spreading spetrum has been proved that it has the capability for anti - multipath and discerning multipath
在短波通信中,由於通道的時間色散和頻率色散,引起多徑展寬和多徑衰落,前者限制了數據的傳輸速率,後者造成短波數據通信中出現突發錯誤,為了解決多徑效應對短波通信的影響,本文所做工作如下:首先詳細分析了短波通道的統計特性,建立其數學模型;其次分析了擴頻通信的特點,從理論上證明擴頻技術不僅具有抗多徑干擾能力,而且具有分離多徑的能力;介紹了傳統的rake分集合併技術的特點。Nowadays, the ways to detect the piles are various, and all of them are limited in some aspects. for instance, coring test do large scathe on the piles, and static load test will waste much time, money and energy, while some ways are hard to operate as the limitation of the length and the diameter of the piles, and the special condition on the spots, such as high - strain, low - strain, and so on. furthermore, the result can only be gained under the complex analysis of the collected wave, and under the validation of the coring test
目前,工程中常用的樁基檢測方法很多,但都存在著一些弊端:有的對樁破壞性嚴重,例如抽芯檢測;有的耗時、耗財、耗力,例如靜載荷試驗;還有的如低應變、高應變等檢測技術由於受到樁長、樁徑以及現場一些特殊情況的限制,操作很不方便,而且採集到的波形要經過比較復雜的處理分析方能得出結論,而這個結論卻還要輔助取芯手段加以驗證。Accompanied with the theoretical exploration, empirical studies are also conducted in the dissertation, which are in the form of case study. the analyzed case is the shengzhou ' s necktie cluster
在理論研究之後,利用對嵊州領帶產業集群的問卷調研及訪談,對集群技術學習的過程模式進行了實證研究,其結論較好地支持了本文的理論。It ' s reflected in four aspects : teaching target, teaching resources, teaching tactics and teaching assessment. the determination of teaching contents is the emphasis, and the teaching contents is determined by teaching target ; the collection of material ( teaching resources ) is the difficulty - compose a script after making a careful study of the teaching material, then collect the material according to the script ; teaching tactics are embodied by the determination of information form and by the way in which the contents accord with the form so as to get the best result in teaching ; making teaching assessment guarantees the quality of the software. in the early making period, the original model method of system engineering is adopted to produce small experimental courseware and a further revision and improvement are made in consultation with some experts. also an agreement on the demand of the software system is reached. in the later making period, the software is appraised by experts from its stability, serviceability reasonableness of construction, and the scientific nature of contents, then it is put into use as an experiment. finally those who use it are required to fill the teaching feedback table
教學設計理論是靈魂,它貫穿于整個軟體編制過程,從四個方面來體現:教學目標、教學資源、教學策略、教學評價。教學內容的確定是重點,根據教學目標來確定教學內容;素材的收集(教學資源)是難點,在鉆研教材的基礎上撰寫腳本,根據腳本去收集素材;教學策略體現在信息形式的確定,以及如何使內容與形式協調一致,達到教學最優化的效果;而進行教學評價是本軟體質量的保證,在軟體的製作的初期,採用系統工程論的原型模型法,開發出實驗性小課件,在徵求專家的意見的基礎上進一步修改、完善、確認軟體系統的需求併到達一致的理解,在軟體製作的後期,再請專家從軟體的穩定性、可操作性、結構的合理性、內容的科學性等方面進行鑒定,最後將軟體作實驗性投入使用,再讓實驗對象填寫教學反饋信息表。From the work mentioned above, the paper independently gives a new method to generate belief functions based on rough set. and it is accordant with the requirement of dempster - shafer evidence theory
作者還獨立提出了一種基於粗糙集理論的信任函數構造方法,並分析證明了其完全符合證據理論的要求。This dissertation analyzes the products quality measurement and control methods and concept and theory of computer aided quality system, studied, put forward a distributed computer aided quality measurement and control method based on network which integrated the distributed quality control cell, collecting and delivering quality information through network and database system in time. it coordinates the activity of quality that involves products whole life cycle proceeded. at last, it is discussed through an application instance that the framework model of computer aided quality system under environment of cims and the information - integrating technique of the system to adapt to cims environment
本文著眼產品質量系統,著重分析和應用了產品質量檢測與控制方法和計算機輔助質量系統的技術和理論,提出了基於網路的分散式計算機輔助質量檢測、控制,通過計算機網路和數據庫系統,把企業相互分離的單元質量保證、質量控制系統和技術有機結合起來,及時採集、處理並傳遞質量信息,使涉及產品整個生命周期的質量活動得以協調進行,在此基礎上通過應用實例探討了cims環境下的計算機輔助質量系統構架模型及系統適應cims環境信息集成的技術。One thing should be pointed out is that the correctness proof based on strand space is valid only on the attack set already known
需要指出的是:基於strand空間理論的正確性證明是建立在已知攻擊集的基礎上的。Based on the endogenous growth theory, this paper views technologica 1 progress as an endogenous variable in the comparative advantage model, and therefore s ets up a more systematic comparative advantage theory to the extent of investment, divisi on of labor and institution. third, it has analyzed the trade structures based on different c omparative advantage strategy, made an empirica l study of china ' s foreign trade structure, and concluded that although china ' s export structure at present is characterized by capita l - technology intensive goods, these goods have the comparative disadvantages from now to the near future in china, which means that trade structure transformation in less develo ped countries should be based on endogenous comparative advantages. finally, it has disc ussed the strategy and paths of china ' s transformation of foreign trade structure
本文借鑒內生經濟增長理論的邏輯思路,將技術進步在比較優勢模型中內生地決定,分別從投資、分工與制度三個層面建立了較為系統的內生比較優勢理論;再次,對其于不同比較優勢理論的貿易結構進行了剖析,對中國外貿結構進行了實證分析,認為盡管中國現在出口商品結構是以資本技術密集型產品為主,但中國在目前乃至將來的一定時期內的資本及技術密集型產品上仍將處于比較劣勢,發展中國家貿易結構的轉換必須基於內生比較優勢;最後,探討了中國對外貿易結構轉換戰略與路徑。The article constructed the empirical framework of the relationship between the industrial cluster and the regional economy with past data. the theoretical and empirical study of this thesis revealed that regional development policy should endeavor to cultivate industrial milieu. this idea shed s a new light on making regional development policy when many local governments pay attention to attract investment only by preferential conditions, while ignore cultivating industrial milieu and local network
本論文通過對產業集群的理論分析和實證研究,揭示了區域經濟的持續發展依賴于創造有利於產業發展的競爭環境;競爭優勢不是靜態的而是動態的,區域決策必須注重產業環境的營造和培育,這為目前我國很多地方片面以政策優惠吸引外資,而忽視自身產業環境、本地化網路的培育的區域發展政策提出了新的思考方向。In this paper, i select the high and new tech industrial clusters, which have developed rapidly in suzhou - wuxi - changzhou region of jiangsu province recently, as a sample to study the industrial clusters and their competitiveness, and tries to seek the reason of the high and new tech industrial clusters " agglomeration in the region by demonstration analysis, comparative analysis and factor analysis, find the origin of the high and new tech industrial clusters " competitive advantage in the region, hunt after the dynamic mechanism of high and new tech industrial clusters " competitiveness in the region, and through the angle of industrial cluster " s view to find the new approach of the development of the high and new tech industry in the region, look forward to supplying a reference to some extend for th e development of industry and region economy in suzhou - wuxi - changzhou region
通過文獻調研和檢索發現,目前國內對產業集群尤其是涉及高新技術產業集群及集群競爭力研究的學術論文不多。本文選取近年來發展迅速的蘇錫常地區的高新技術產業作為產業集群和集群競爭力研究的樣本,力圖通過實證分析、比較分析和因素分析,剖析該地區高新技術產業集聚的原因,探析該地區高新技術產業集群競爭優勢的來源,探尋該地區高新技術產業集群競爭力的動力機制,以產業集群的新視角尋求蘇錫常地區高新技術產業發展的新途徑,以冀為該地區的產業與區域經濟發展提供一定的參考作用。Judicial identification refers to a kind of acts of checking evidence, during the course of action , in which an identifier with expertise appointed or invitated by judicial organs after the application of the parties or without the application, with scientific technological methods complying with the provisions of the criminal procedure law, draws a judgment conclusion. [ 1 ] judicial identification serves the acts of investigation, procuratoration, justice and execution and serve their acts of collecting, examing and checking evidence, which is a link in judicial acts
司法鑒定是在訴訟過程中,對于案件中的某些專門性問題,按訴訟法的規定,經當事人申請,司法機關決定,或司法機關主動決定,指派、聘請具有專門知識的鑒定人,運用科學技術手段,對專門性問題作出判斷結論的一種核實證據的活動[ 1 ] 。司法鑒定是為偵查、檢察、審判、執行活動服務的,為其收集證據、審查核實證據,是司法活動中的一個環節或鏈條。In the beginning, the working principle, testing and data processing system of pdl micro - control material test machine is introduced ; then more attention is paid to the hardware system which is composed of high precision raster linear displacement sensor, high precision force sensor, the digital displaying sets, the interface equipments and the controlling circuits etc to perform the data collection and ensure the testing precision of the whole system
論文首先介紹了pdl材料拉伸試驗機的工作原理、測試及數據處理系統;接著詳細介紹了由高精度光柵線位移傳感器和壓力傳感器、數顯裝置、介面裝置及控制電路等組成的新的硬體系統,來完成數據採集,並保證整個系統的測試精度要求。Finally, some properties of limits set of the solution of the dde with local monotone in the delay term are given. moreover, using the above discrete lyapunov functional, we prove that the poincare - bendixson theorem holds for some solutions of this dde. in chapter 4, detail analysis of the global attractor for three particular classes of delay differential equations in concrete applications are given
最後,給出了最終落在時滯項局部單調范圍內的解的極限集的若干性質,並給出了類似於poincare一bendixson定理的結論及其證明,這些結論的證明盡管與mallet一paret的證明方法相似,但是本文的結論將他有關全局單調的理論推廣到局部單調中去了。As the relationship between law and morals is directly related to the definition of the boundary of law, the problem is of great importance. to make clear the relationship between law and morals and the boundary of law, justice holmes developed the famous theory on the distinction of law and morals. in the gradation of theory, firstly, the aim of the theory on the distinction of law and morals is to make clear the boundary and the nature of law
本文從理論層面和制度層面對霍姆斯的法律與道德分離理論進行了具體闡述,並集中考察了霍姆斯與自然法學派、分析實證法學派在法律與道德關系問題上的理論分歧,進而揭示法律與道德分離理論的哲學基礎,最後本文對霍姆斯的法律與道德分離理論的哲學基礎提出質疑,進而作出可能的批判。At first, this thesis analyzed some essential elements about the system of personal houe loan and make the compare to chinese and foreign system, and established the system of personal credit evaluate ; the second, the thesis discusses the investment technique and strategy of national debt in the provident fund, and established the model about how to invest the national debt ; the third, the thesis build the forecast model about fund collecting and drawing, and make use of the combination invest theories to build model of individual loan and national debt ; at last, the thesis analyses the risk ' s inside reason of house funds with the risk type, and to give out the related suggestion to funds risk. mechanism. the thesis research show me how to make use of that some models and methods in the process of haf management and make me deeply understand the house funds
本文首先分析了個人住房貸款制度基本要素,即貸款期限、貸款利率與抵押物價值的比例、政府在個人住房貸款市場中的作用、貸款違約情況下的處置措施、個人住房貸款的流動性問題,並對中外製度作了比較,建立了個人信用評分評級體系和信用評估模型,並以重慶市住房公積金為研究對象做出了住房資金個貸風險評估的實證研究;其次,分析了影響國債價格走勢的因素,討論了公積金國債的投資技巧和策略,並建立了基於理論的國債投資組合模型;接下來,根據資產負債管理理論中的資金總庫法和資金分配法分析了公積金總體資金項目的來源和運用,並就此作了總量平衡模型,對住房公積金季度累計歸集金額作了直線回歸和季節趨勢比率預測,運用投資組合理論建立了公積金個人貸款和國債投資組合的最優化模型;最後,探析了住房資金風險的內在原因和風險類型,從資金籌集風險、信貸回歸風險、保險機制、法律風險和政策風險五個方面為住房資金風險防範機制建設提出了相關建議。Chapter 2 of this paper, by using a new method of proof, we obtain the weak ergodic convergence theorem for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by theorem 2. 1 of chapter 1 we get the weak ergodic convergence theorem of almost orbit for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by this method of proof, we give the weak ergodic convergence theorems for right reversible semigroups. by theorem 2. 1 of chapter l, we generalize the result to almost orbit case. so we can remove a key supposition that almost orbit is almost asymptotically isometric. it includes all commutative semigroups cases. baillon [ 8 ], hirano and takahashi [ 9 ] gave nonlinear retraction theorems for nonexpansive semigroups. recently mizoguchi and takahashi [ 10 ] proved a nonlinear ergodic retraction theorem for lipschitzian semigroups. hirano and kido and takahashi [ 11 ], hirano [ 12 ] gave nonlinear retraction theorems for nonexpansive mappings in uniformly convex banach spaces with frechet differentiable norm. in 1997, li and ma [ 16 ] proved the ergodic retraction theorem for general semitopological semigroups in hilbert space without the conditions that the domain is closed and convex, which greatly extended the fields of applications of ergodic theory. chapter 2 of this paper, we obtain the ergodic retraction theorem for general semigroups and almost orbits of asymptotically nonexpansive type semigroups in reflexive banach spaces. and we give the ergodic retraction theorem for almost orbits of right reversible semitopological semigroups
近年來, bruck [ 5 ] , reich [ 6 ] , oka [ 7 ]等在具frechet可微范數的一致凸banach空間中給出了非擴張及漸近非擴張映射及半群的遍歷收斂定理。 li和ma [ 13 ]在具frechet可微范數的自反banach空間中給出了一般交換漸近非擴張型拓撲半群的遍歷收斂定理,這是一個重大突破。本文第二章用一種新的證明方法在自反banach空間中,研究了揚州大學碩士學位論文2一般半群上的( r )類漸近非擴張型半群的弱遍歷收斂定理,即:定理3 . 1設x是具性質( f )的實自反banach空間, c是x的非空有界閉凸子集, g為含單位元的一般半群, s =仕工, 。The basic rough set theory is introduced in brief. the method of how to get the decision rules through the rough set and recent popular arithmetic methods are mentioned. finally, a real - life example is given to explain the basic notions and get the decision rules to illustration the problem
3 .引入非參數式可變精度粗糙集模型,介紹一些基本的概念和性質,並給出證明;用分佈一致性方法來對多屬性決策問題進行多屬性約簡,引入相關的概念,並對所得到的性質和判定定理,給予理論上的證明,得出最後的決策步驟,並且最終獲得多屬性決策問題的決策規則。Non - state hi - tech enterprises are playing an important role in china " s economic development, although 97. 43 percent of them are medium - sized and small enterprises, according to the revenue statistics of 2000. financing is defined as getting fund from outside in this thesis and includes fiscal financing, credit financing, commercial financing and capital financing
本文所論的融資,是指企業外源融資,具體的融資方式包括:財政融資,銀行融資,商業融資(主要是融資租賃) ,證券融資(權益性證券融資? ?以風險投資為主的私募和公開募集,債務性證券融資)四種。分享友人