解析定理證明 的英文怎麼說

中文拼音 [jiěxīdìnglǐzhèngmíng]
解析定理證明 英文
resolution theorem-proving
  • 解 : 解動詞（解送） send under guard
  • 析 : Ⅰ動詞1. （分開; 散開） divide; separate 2. （分析） analyse; dissect; resolve Ⅱ名詞（姓氏） a surname
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 解析 : analysis; resolution; analyzing; resolving解析幾何 [數學] analytic geometry; cartesian geometry; ...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Taking a view of pure time field, this paper presents dissolvable signals and basic concepts of sampling ; and also gives the very condition of discrete of signal ; this paper uses linear algebra to analysis this kind of signal and then gives some results and relevant deductions ; based on these results, 1 made a further step to analysis some typical band - limited signals in order to proof the coherence of my theory of dissolvable signal to the typical sampling theory ; i made some preliminary study about the feasibility of sampling and recovering of this kind of signal

    本文從純時域角度出發，給出了可分解信號及其采樣的基本概念；也指出了信號可離散化的條件；利用線性代數理論給出了對這類信號進行采樣的分析理論及相應的推論；並用這些結論對典型的帶限信號進行了分析，證明可分解信號采樣定理與經典采樣理論的一致性；初步探討了對這類信號的實行采樣與恢復的工程實現問題。
  2. In all kinds of complicated network, oriented linking and unlinking, communication frequency resource is strained, and bandwith to transmitting audio frequency signal is too restricted, complicated and fluky, while audio frequency data exponential have been increased in the last several years. under the circumstances, based on the research of predecessor, this paper studies wavelet analysis ' s maths gist and practices significance on signal process, and puts forward a optimized wavelet package condensation arithmetic to process audio frequency data, which gives attention to coding efficiency, multirate and compression delay. simulation experiment on the arithmetic has been done by matlab

    針對無連接和面向連接的各種復雜網路環境下，通信頻帶資源緊張，音頻傳輸帶寬有限且復雜多變，而各種音頻數據又日益增多的局面，本文研究小波分析在信號處理方面的數學依據和在數據壓縮方面的實際意義，在前人不斷工作的基礎上，提出了一種優化小波包變換編碼方案用於音頻數據的壓縮演算法，兼考慮了編碼效率、多碼率和壓縮時延多個方面，並在matlab環境下做了模擬實驗，對各種音頻信號及多種小波函數做了模擬結果比較，實驗結果證明該演算法可以在一定計算復雜度下可以很好地改進壓縮效果，達到多碼率下實現實時編解碼的過程，在高速dsp晶元等硬體設備支持下，可以有效應用於實際復雜多變信源編碼。
  3. This thesis is to recommend a important class of regularized strategies for solving inverse problems - mollifier method. it anaysises the consistency, numerical stability and error estimates of mollified solution. similar to tikhonov regularization, a discrepancy principle for selecting the mol - lifier parameter is proven and applications to numerical differentiation and numerical inversion of abel transform and also given

    本文將介紹求解反問題的一類重要的正則化策略?緩鎮法，並基於用gauss核構造的緩鎮運算元，分析了緩鎮解的相容性、數值穩定性和誤差估計，與tikhonov正則化類似，我們證明了決定緩鎮參數的偏差原理。
  4. By performing fourier transformation, the relationship between the turbulent intensity of the particle and that of the carrier fluid was obtained which makes clear that particle size, specific gravity, velocity gradient, and the characteristic frequency of energy - containing eddies are four basic influencing parameters. it is proven theoretically that under certain conditions, the stream - wise and transverse particle turbulent intensities exceed those of the carrier fluid. based on the equations of two - phase flow, the presence of fine sediment suspension is shown to attenuate the turbulent intensity of the water

    通過對細小顆粒在剪切流場中運動方程的fourier分析，得到了顆粒脈動強度和流體脈動強度之間的定量關系，表明顆粒粒徑、顆粒密度、流速梯度以及紊動場含能旋渦的特徵頻率是影響顆粒脈動強度的主要因素，首次從理論上證明了在一定條件下，顆粒在縱、垂向的脈動強度均會超過相應的流體脈動強度，為已有的實測資料提供了合理的解釋。
  5. The recombinants were constructed by transforming ppic9 a - xynb into p. pastoris gs115. the assay results revealed that the xylanase gene xynb was overexpressed and secreted effectually in p. pastoris. in 3l fermentor the expression level of xylanase xynba exceeded 1200iu / ml and the expressed xylanase had normal bioactivity. the molecule weight of xynba was determined as about 31kd which is higher than 23kd of original enzyme xynb from streptomyces olivaceoviridis a1. xynbb was gotten by deglycasylation of xynba, whose molecule weight returned to 23kd. we comparised the enzymatic properties of xynba expressed in p. pastoris, xynbb deglycasylated from xynba and xynb produced from streptomyces olivaceoviridis al : there was little difference among the three enzymes on optimal ph, the optimal ph of xynb and xynba were both 5. 2, the optimal ph of xynbb was 5. 0 ; the optimal temperature of xynb and xynba were both 60 c, while the optimal temperature of xynbb was 50 ? ; because of glycosylation the thermal stability of xynba was better than xynb and xynbb ; the specific activity of xynba and xynbb were 883. 88iu / mg and 832. 5hu / mg respectively, which were both lower than 2814. 45iu / mg of xynb ; the km values of xynb and xynba were similar to each other which were 21. 56 ( g / kg ) and 20. 87 ( g / kg ), while the km value of xynbb was 27. 10 ( g / kg ) ; the fmax of xynba and xynbb were 4568umol / mg. min and 5329umol / mg. min respectively which were lower than 27623 umol / mg. min of xynb ; additionally all of the three enzymes did not display cellulase activity. they all had well resistance to pepsion and trypsin, and were not sensitive to metal iron, surface active agent and chelating agent. the analysis of different xylans enzymatic hydrolysate revealed : by xynba, that the main constitutions of enzymatic hydrolysate of birch wood xylans were xylotriose and xyloquaiose, which account for 68. 43 % and 16. 50 % respectively, additionally there was 11. 79 % of xylobiose ; the main constitutions of enzymatic hydrolysate of corncobs xylans were xylobiose and xylotriose, which account for 81. 78 % and 11. 55 %. the result indicated that this xylanase was a kind of 1, 4 - b - d - xylanohydrolase and was fit to used in industrial procession of xylooligosacc harides

    進一步對xynba進行了脫糖基化處理得到xynbb ，其分子量恢復到23kd ，證明xynba是糖基化蛋白。通過對畢赤酵母重組表達的木聚糖酶xynba 、脫糖基化的木聚糖酶xynbb以及橄欖綠鏈黴菌a1所產原酶xynb之間酶學性質的比較發現：三種酶的最適ph差異不大， xynb和xynba均為5 . 2 ， xynbb為5 . 0 ； xynb和xynba的最適溫度均為60 ， xynbb降為50 ：在耐熱性上， xynba由於糖基化作用熱穩定性明顯高於未糖基化的xynb和xynbb ； xynba和xynbb的比活性分別為883 . 88iu mg和832 . 51iu mg ，明顯低於原酶的比活2814 . 45iu mg ； xynb和xynba的km值相當，分別為21 . 56 （ g kg ）和20 . 87 （ g kg ） ，而xynbb的km值較大為27 . 10 （ g kg ） ； xynba和xynbb的vmax相差不大，分別為4568 mol mg ? min和5329 mol mg ? min ，明顯低於xynb的27623 mol mg ? min此外三種酶均無纖維素酶活性，對胃蛋白酶和胰蛋白酶有很好的抗性，且對作用環境中的各種離子、表面活性劑、螯合劑不敏感。通過對不同木聚糖的酶解產物的糖份分析發現：以樺木木聚糖為底物時，酶解產物主要為木三糖和木四糖，含量分別為68 . 43和16 . 50 ，另外還含有11 . 79的木二糖；以玉米芯木聚糖為底物時，酶解產物主要為木二糖和木三糖，含量分別為81 . 78和11 . 55 。
  6. The equations of the mean value functions and the covariance functions are established for dynamical systems whose inputs are fuzzy stochastic processes. an existence and uniqueness theorem of ito fuzzy stochastic differential equations is proved, some explicit representations of solutions and the equations of statistical characteristics are deduced for linear fuzzy stochastic differential equations, and numerical methods to nonlinear fuzzy stochastic differential equations are proposed, the conditions for stability and observability of fuzzy linear systems are derived. the kalman filter algorithms of linear fuzzy stochastic systems are brought forward

    主要成果包括：提出了模糊隨機變量協方差和反向協方差的概念；研究了二階模糊隨機變量的均方收斂性，並在此基礎上得到了均方模糊隨機分析、平穩模糊隨機過程及其譜分解的若干定理；根據均方模糊隨機分析理論，得到了輸入為模糊隨機過程的線性系統的輸出輸入統計特徵關系方程；證明了ito型模糊隨機微分方程解的存在唯一性，並給出了ito型線性模糊隨機微分方程解的表達式，統計特徵方程以及非線性模糊隨機微分方程的數值解法；得到了模糊線性系統的穩定性和可觀性條件、線性模糊隨機系統統計特徵方程和線性模糊隨機系統的kalman濾波演算法；研究了當觀測值是模糊數據時，線性回歸模型的建立。
  7. Then a 16dof rotors system with 2. span, 4. disk and 4. support is modeled in the form of plural ode, considering the unbalance of mass, external damping, nonlinear oil film forces as well as elevation of the bearings

    （ 4 ）針對求復數ode周期解及穩定性分析，討論了復數打靶法和floquet理論的應用問題，證明了復數ode與實數ode對應jacobian和單值矩陣的關系。
  8. In the higher mathematics category, routine methods to work out the proof of an inequation are a flexible use of mathematical knowledge like monotonicity of functions, extremum values, maximum and minimum values, convexity function, medium value theorem, taylor equation, holder inequation, schwarz inequation, and the analysis, formation and transformation of inequation problems as well

    摘要在高等數學?疇中，靈活運用函數的單調性、極值、最值、凸性函數、以及中值定理與泰勒公式、赫爾德不等式、施瓦茲不等式等數學知識，對不等式問題進行分析、構造與轉化，是解決不等式的證明問題的常用方法。
  9. It contributes to the deeper comprehesion of these probability distributions, affords more detailed theoretical basis for further studying and simulating satellite mobile channels, ? theoretical analyses and discussions of the models which are often used in the study of the propagating characteristics of satallite mobile channels are given ; meantime, some discussions on the work of model simulations are also given, ? incorrect derivation of the equality between c. loo model and corazza model in some other papers is pointed out. via the conception of received power, we derivate that in the rural environments these two models really have the equal relationship by the way of theoretical derivation and simulatant fittings. therefore, it is able to use corazza model in studying the characteristics of satellite mobile channels in the rural environments and able to avoid the iterant work of modeling, in order to enhance the efficiency and accuracy of research work, ? detailed processes of simulating lutz model by using matlab6. 0 _ simulink4. 0 and the results of comparisions are given

    本文包含有以下的主要內容： ?對衛星移動通信通道傳播特性研究中常用的三個概率分佈給出了詳細的推導過程；以便對這幾個在衛星移動通信通道傳播特性的研究中常用的概率分佈函數有更深的理解，對進一步研究衛星移動通信通道傳播特性和對通道的建模提供了更為詳盡的理論基礎； ?對衛星移動通信通道傳播特性的研究中常用的通道模型進行了理論上的分析和討論，並對衛星移動通信通道建模的研究工作提出了一定的看法； ?指出了以前的文獻中關于c . loo模型和corazza模型的等同性的證明錯誤；並從接收信號功率的角度出發，通過理論推導及模擬曲線擬合重新證明了在鄉村環境下，這兩個模型的確是具有等同性的；從而在對鄉村環境下的衛星移動通信通道傳播特性進行研究時，可以只採用corazza模型來對實際的通道進行建模，這樣可以避免重復的建模工作並提高研究工作的效率和準確性； ?給出了lutz模型在matlab6 . 0 _ simulink4 . 0環境下的軟體模擬實現的詳細過程和整體模擬測試的對比結果，保證了該模型在硬體實現時的可靠性和可行性，從而可以將它們應用於指導模型的硬體模擬實現並可以降低硬體實現時的風險。
  10. ( 3 ) the author applied wavelet analysis in the data processing of airborne radioactive survey, and analyzed the effect of wavelet used in spectrum data processing, line data processing and region data processing. the author had proved that the wavelet used in spectrum data processing can gain more true and more ideal information than traditional data processing method, and can accurately identify information which is beyond main energy windows by practice data. the author considered it is effective to extract abnormal information when the wavelet used in line data processing, and it is effective to eliminate the belt of airborne radioactive survey data when the wavelet used in region data processing

    有效的融合了遙感航測信息，提高了工作效率； （ 2 ）根據光學有關物理性質，製作的模擬反射率圖，囊括了tm數據七個波段的信息，使得圖像質量、地物解析度得到了提高； （ 3 ）在航放數據處理過程中引入了小波分析，系統分析了小波在處理單點數據、測線數據、測區數據的應用效果；用試驗數據證明了小波處理單點數據可得到較傳統數據處理方法更為真實、理想的譜數據，能準確的識別主能量窗以外的信息；認為處理線數據，可以提取埋藏於噪音中的異常信息；處理測區數據，對消除航放數據的條帶有一定的效果。
  11. The first part of the thesis is about the definition of the subject, the reasons of the research, the aims of the research and the design of the research methods. it suggests that in the second, third and fourth part of the thesis, i will adopt the triangulation research methods : experiencing, large - scaled survey, and typical case analysis, which are believable and representative. in the second part, i reveal the actual psychological state of the teachers in z senior middle school under the " matriculating rate as the aim " management by adopting historical research and observation method from the view of " i "

    它預示著：論文的二、三、四部分，即探索教師對學校管理的職業體驗的核心部分，我將運用人種學「三角互證式」的設計方式，也就是說， 「我」之體驗? ? 「大樣本」之調查? ? 「關鍵事件」之個案剖析，這三者之間，無論是資料解釋的來源，還是採集信息的方法技術，它們之間是可以互相證明的，獲得一定代表性的，並具有「硬性」的因果式的必然聯結；而不是平日自然語言中所說的那種個別的、偶然的甚至是無病呻吟式的「體驗」 。
  12. This dissertation majorly researchs and designs full digital dc driving system with fuzzy control. it makes a scheme argumentation firstly, analyzing the pid algorithm and fuzzy control algorithm the ordinary digital pulse trigger algorithm and the double remainder method of pulse trigger in detail, and fuzzy control and the double remainder method are put forward to settle the under - mentioned problems, namely, the new viewpoint and the task having finished in this dissertation as follows : ( 1 ) in rder to overcome the influence of dc motor ' s parameter changing with time and nonlinear on the control system performance, this dissertation adopts fuzzy control as outside regulator and pi control as inside regulator in double regulators of the full digital dc motor driving system design ;. ( 2 ) aiming at the pulse trigger reliability of the ordinary d igital pulse trigger being low and leaking the pulse or the order of pulse confusion, this paper adopts the double remainder algorithm with short response time high pulse trigger reliability good adaptability and anti - jamming ; ( 3 ) this dissertation adopts tms320lf2407 which has good performance as major control chip this chip has power function with fast calculation capability, and accomplishes the software and hardware design in the dc motor driving system with fuzzy control ; ( 4 ) this dissertation also puts emphases on anti - jamming in hardware and software ; ( 5 ) after having designed the sample of full digital dc motor driving system with fuzzy control, a lot of experiments are performed to verify the performance and settles problems during experiment. the result of experiment proves the feasibility of design

    首先進行了方案論證，對模糊控制演算法和數字pid調節演算法、觸發脈沖的一般演算法和雙余演算法進行了詳細地研究分析，提出應用模糊控制和雙余法解決下述問題，即該論文主要的新見解和所完成的工作： （ 1 ）為了克服直流電機參數時變性和非線性因素對控制性能的影響，本設計中，雙閉環調速系統的外環採用模糊控制，內環採用pi控制，使系統在一定范圍內對直流電機參數變化和非線性因素影響有自適應能力； （ 2 ）針對常規數字觸發器演算法中觸發脈沖的可靠性不高，經常出現漏脈沖或是脈沖混亂的情況，本文採用雙余法，該演算法具有響應快，可靠性高，具有良好的適應性及抗干擾能力； （ 3 ）本設計中採用了速度快、功能強的tms320lf2407作為系統的主控晶元，應用該晶元完成系統的軟硬體設計： （ 4 ）本文對系統抗干擾的軟硬體措施進行了重點研究； （ 5 ）設計了具有模糊控制的全數字直流傳動系統原理樣機，並進行了試驗驗證，對試驗過程中出現的問題及時解決，最終實驗結果證明設計是可行的。
  13. When have analyzed the method of alleviating the patient ’ s burden of proof, specific methods are proposed. author suggest that court should accept the sue only if the patient prove the cause to the degree the average person regard the cause true, the burden of proof is bored on medical organization when the being proving fact provided by patient is highly possible ; the burden of proof is bored on patient when being proving fact provided by patient is less possible but the fact is only clue and medical organization take on responsibility of explanation ; and the burden of proof is bored on the patient when the fact is impossible. author proposed also method to form a complete set, which is establishing the principle of free prove, dividing the cause into cause in fact and cause in law and establishing the standard for possibility

    筆者在分析了減輕患者證明責任的途徑之後，提出了完善醫療糾紛訴訟中證明責任分配的具體方法:將《最高人民法院關于證據的若干規定》第四條第八款修改為:患者就醫療行為向法院提起訴訟，必須就醫療方存在過錯或者損害與醫療行為之間存在事實上的因果關系的證明達到依一般人的觀點，可以合理懷疑的程度時，法院才能受理;對患者提出的有爭議的待證事實，具有高度的蓋然性的，由醫療方承擔證明責任，事實真偽不明時，由醫療方承擔敗訴風險;對待證的事實蓋然性較低，但該事實是唯一具體線索的可能性時，由醫療方承擔解明義務，在醫療方已經盡了解明義務而事實仍然真偽不明時，仍由患者承擔敗訴風險;對蓋然性很低的案件，由患者承擔證明責任。
  14. Abstract : the paper presents the study on problems of self - excitation ， over - voltage ， frequency and voltage stability ， organizational measures and arrangement in the course of black start and restoration of the system. through simulation of black start on east china power system ， above problems are analyzed and solved ， it shows that working out strict black start scheme may not only speed up system restoration ， reduce outage losses ， but also have important significance to emergency release or power system islanding

    文摘:研究電力系統黑啟動的過程及恢復中存在的自勵磁、過電壓、頻率和電壓穩定、組織措施及安排等問題，並通過華東系統黑啟動模擬對上述問題進行分析和解決，證明制定嚴格的黑啟動計劃不僅可以迅速恢復系統、降低事故損失，而且對處理緊急狀態或地區性解裂有重要意義。
  15. A general stack equation of mobile robot based on analyzing the motion of planar motion object and the mathematical models of four different kinds of common wheels is developed, accordingly, the mobility of mobile robot is addressed and the forward and inverse solutions to speed for specific configuration driven by differential speed are derived. utilizing the muir and newman convention, the description of the posture transformation matrices between different coordinate frames and the solution for the speed of point located on these frames are introduced. according to posture estimation, a more accurate method, dead reckoning algorithm, is developed for a specified configuration characterized by differential speed motorization, and simulations of this algorithm and other traditional methods are carried out using matlab while traversing a circular path

    本文對兩輪差速驅動移動機器人的運動學及其本體緩沖設計進行了探討，在對平面運動物體運動分析的基礎上結合四種常用車輪的數學模型，推導出了一個通用的移動機器人堆積方程，在此基礎上分析了移動機器人的移動能力、並針對兩輪差速構型推導了速度正解與逆解；使用muir和newman的運動學建模方法，推導了移動機器人上點及連桿坐標系位姿、速度變換關系矩陣及求解方法；在移動機器人位姿識別方法中結合差速驅動構型對航位推演算法進行了分析：推導了一種理論精度較高的航位推算演算法，並使用matlab對其與傳統的推算演算法在跟蹤圓弧軌跡情況下進行了模擬；最後針對本文所研究的機器人給出了一種比較系統、可靠的緩沖結構設計思路，較好地解決了移動機器人作業過程中外界因素及本身設計中引入的各種不確定誤差問題；本論文研究成果已在本實驗室所開發的樣機上得到實現，經過應用與考核證明其中的分析與設計是切實可行的。
  16. The specialty and innovation of this paper lies in : l. the main method is quantitative resolution and analysis, the supplemental method is qualitative analysis and theoretic expatiation, and the process of demonstrate and result is much definitive ; 2. the conception of successive industry investment was set forth, and the model of investment portion was set up ; 3. 1 have built the index system of investment structure of regional industry ; moreover, i have used three synthetic evaluated models to contrast the effort

    以數量解析和定量分析為主，以定性分析和理論闡述為輔，論證過程及結果明確； 2建立了區域產業投資結構評價指標體系，並用三種綜合評價模型進行了對比論證分析； 3提出了產業連續投資的概念，建立了投資分配比例模型。
  17. This text aimed at the problems of the management aspects of design of organization structure of the wheel company, combining to the development stage of the company, by means of the questionnaire to the related personnel and comprehensive analyses of internal and external environment, find out main reasons of the influence of organization structure and design to the company development, . by the reference to the successful aspects of organization structure and design of the same domestic and overseas enterprises, i designed the excellent project. that is the excellent project of work flow, the excellent project of the organization structure and the excellent project of the position system respectively by the practice of experimental unit and its result, proving that this project is successful, attaining to aim of raising the company management level of enterprise management

    本文針通過對車輪公司外部環境、內部環境的分析，針對車輪公司組織設計中存在問題，通過現場調研與綜合分析，找出了公司組織結構不適應的三個主要方面? ?以職能為中心、管理層次多、集權制，指出了解決公司目前管理問題是對組織結構的優化與改進，並通過借鑒國內外相關企業成功經驗，同時結合公司現狀，制定了公司組織結構優化設計方案，通過公司管理層的認可和部分優化方案的實施以及實施效果驗證，證明了組織結構優化設計方案是可行的，而且能夠滿足企業發展與戰略的需要。
  18. This article is mainly a discussion on the spiritual damage compensation for close relatives of victim under the situations of damage to right of life, damage to the right of health and damage to the right of personality of the dead, which is based on an introduction and comparison of the concerned foreign legal regulations and academic theories and in combination with the legal practice in china wherefore the author put forwards his own ideas as following : first, under the condition that there is a distance of time between inj ury and death, the close relatives of the dead shall inherit the right of claim for spiritual damage compensation of the dead for the suffering before his death, in addition to their own intrinsic right of claim for spiritual damage compensation ; the second, under the condition that the inflictor has caused the disablement of the sufferer or serious damage to his health, the close relative in a limited cycle of the sufferer should be granted with the right of claim for spiritual damage compensation, which is confirmed in law and becomes a practice in foreign countries ; the third, since the aim of the law to protect the personality of the dead from infringement is to protect the benefits of the close relatives of the dead and to maintain public benefits, is constituted on the personality of the dead the close relative of the dead may initial legal proceeding for spiritual damage compensation

    本文重點探討的就是公民生命權受到侵害、健康權受到侵害、 「死者人格」受到侵害這三種情形下的受害人近親屬的精神損害賠償請求權問題。探討以介紹和比較國外相關法律規定和學術理論為前提，結合我國的實際情況，從理論與實踐相結合的角度對以上各問題分別進行了分析，並提出了作者自己的一些見解：第一、在公民從受傷害到死亡有一段時間距離的情形下，死者的近親屬除依法享有其固有的精神損害賠償請求權以外，還可以繼承死者生前就其所受之精神損害而享有的精神損害賠償請求權；第二、在加害人的行為已造成直接受害人殘疾，或者是造成其健康嚴重受損的其他後果的情形下，我國應在借鑒國外已有立法和判例的基礎上，賦予一定范圍內的受害人近親屬以精神損害賠償請求權；第三、法律保護死者人格不受侵害的目的是為了保護死者近親屬的利益和維護公共利益，一般情形下，只要死者近親屬能證明其訴訟主體的合法性，能夠證實侵害「死者人格」的行為已構成侵權，即可推定死者近親屬因此而遭受了精神痛苦? ?無須舉證的「名義上的精神損害」 ，死者近親屬即可提起精神損害賠償之訴。最後，本文認為，加強對受害人近親屬的權利和利益保護問題的研究，既有一定的必要性，同時又具有十分重要的現實意義。
  19. By constructing the conditions consistent with its solution, and employing the theorem of the immobile point in functional analysis, it is proved that the existence and uniqueness of the local m - estimate with some conditions

    摘要通過構造解存在所滿足的條件及引入泛函分析中的不動點定理證明了穩健的變窗寬局部線性回歸估計在一定條件下解的存在性和唯一性。
  20. In this paper, we analyze difference solutions of the burgers - kdv type equations with the periodic boundary condition by use of functional analysis method. the existence of difference solutions is proved by fixed - point theorem and the priori estimates of the difference solution are obtained using interpolation formula of sobolev space. the convergence and stability are proved

    本文應用泛函分析方法對一系列burgers - kdv型方程周期邊值問題的差分解進行了分析，運用各種不動點原理證明了差分解的存在性，應用sobolev空間的離散內插公式得到了差分解及其各階差商的先驗估計，利用得到的先驗估計證明了差分解的收斂性和穩定性。
分享友人
分享到 Line

分享到臉書