時基式 的英文怎麼說
中文拼音 [shíjīshì]
時基式
英文
time line base-
Based on paper [ 1 ] and [ 2 ], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
摘要在文[ 1 ]和文[ 2 ]的基礎上,給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法,並實現了多個命題公式主範式的同時形式化輸出。This scheme firstly determined the operating mode of coded video stream in nal layer according to the current channel state before they were packed. the coded video stream operated under ssm in error - free channel so as to reduce the packing tradeoff and increase the coding efficiency. while in error - prone channel, they operated under dpm combined with improved unequal error protection ( uep ) scheme based on human eyes characteristic in order to elevate their robustness to channel error
該方案中編碼視頻信息在進行打包封裝前,首先根據當前通道狀態信息自適應地確定其在nal層中的工作模式,在無丟包通道中採用單數據片模式以降低編碼視頻流的打包開銷,提高編碼效率;而在丟包通道中採用數據分區模式以提高編碼視頻流對通道誤碼的魯棒性能,同時基於人眼視覺特性,提出了一種改進的uep策略。A third time he approached in the same manner, when the christian knight, desirous to terminate this elusory warfare, in which he might at length have been worn out by the activity of his foeman, suddenly seized the mace which hung at his saddlebow, and, with a strong hand and unerring aim, hurled it against the head of the emir, for such and not less his enemy appeared
第三次他又猛撲,這時基督教騎士不願老讓敵人用這種方式消耗白己力量,決定結束這種虛晃一著的戰斗,突然拿起放在馬鞍前穹上的釘頭錘狠命地一扔,錘頭準確地直指這個酋長的頭部(看起來這個敵人的身份不會低於酋長) 。The soi is of crystal quality and the box is uniform in thickness, with the interfaces of si / sioa / si smooth and sharp. we have systematically studied the dependence of the formed soi structure on the process parameters, such as ion energy, implantation dosage, substrate temperature, as well as the annealing temperature. with xtem, sims, srp, rbs, ir, raman, aes, xps and other characterization tools, it was found that a dose window at fixed energy for water plasma ion implantation to form high quality soi structure similar to the conventional simox process exists
本論文還系統地研究了不同注入劑量、注入能量、注入時基底溫度以及退火溫度對所形成soi結構性能的影響,藉助xtem 、 sims 、 srp 、 rbs 、 ie 、 raman 、 aes 、 xps等測試分析手段,我們發現,與傳統注氧隔離( simox )技術類似,存在著「劑量窗口」形成優質的soi材料,但在水等離子體離子注入方式中soi材料結構質量對劑量變化更為敏感,隨著注入劑量的增大, soi材料的埋層厚度增大而表層硅厚度減小。For special example, the closed form solutions for complex potentials in matrix and inhmogeneity regions are derived explicitly when interface containing single crack or rigid line, and the appropriate expressions of the electro - elastic field intensity factors at the tip of crack or rigid line are examined
作為特例,求出了界面含一條裂紋或剛性線夾雜時基體和夾雜區域復勢的封閉形式解;同時計算了界面裂紋和剛性線尖端應力和電位移場強度因子。The streaming media, such as video, audio, is a time based media that is transmitted in network by streaming technology
流媒體是指在網路中使用流式傳輸技術的連續時基媒體,如:音頻、視頻。After the securities investment trust fund is no longer in existence, the fund ? s liquidation method and calculation method, payment method, and payment time for beneficiary request for return amount
一四證券投資信?基金不再存續時,基金之清算方法及受益人請求返還金額之計算方法、給付之方式及時間。The main research works done and conclusions extracted are listed as follows. ( 1 ). based on the piezoelectric equation, the strain and stress distribution are analyzed for the composite material structures with piezoelectric materials embedded inside
從壓電材料的壓電方程出發,針對埋入式壓電片,分析埋入式壓電片在和結構一起發生變形時基體結構材料和壓電材料的應力應變的分佈規律和關系。Using smoluchowsky and mooney ' s rheology theory we analyze that without magnetic field 77 will increase as s andv increase ; using the rosensweig ' s formula and hydromechanical theory, we can illustrate that in the magnetic field and the outside temperature being certain, 77 will increase as the magnetic field increase, when the magnetic fluid ' s s and v are determined
在外磁場的作用下,綜合rosensweis公式及流體力學理論很好的解釋了在外界溫度一定時,基液質量百分比濃度s和磁性微粒體積分數人確定的磁性液體,其粘滯系數司隨外磁場的增加而增加的原因。The system is of some sense of stereovision and can emancipate the operators from the shackles of microscope eyepieces. flicker is a fatal drawback of the system. based on the analysis of the whys of the flicker phenomenon a kind of flicker - free three - dimensional imaging system based on frequency duplication is then designed
從模擬時分立體成像系統到基於倍頻的無閃爍立體成像系統,再到帶視頻信號處理功能的無閃爍立體成像系統,圍繞著實現立體、消除閃爍、增強圖像顯示效果等三方面對時分式立體顯示系統進行了深入的研究。And based on the consideration of the impacts of the drum end plate, surface rope slot and quality change of the wire ropes, the paper has deduced the theory calculation formula of the drum stability
同時,基於該結論在綜合考慮捲筒端板、表面繩槽和鋼絲繩變質量等因素的影響,利用薄殼武漢理工大學博士學位論文力學推導出了捲筒穩定性理論計算公式。It was found that the cracks can penetrate the interphase and the fiber rapidly when the interphase is thin, which causes the low flexural strength and fracture toughness, as well as the composites " brittle fracture. while the interphase is thick, multiple toughening mechanisms such as the crack deflection and matrix cracking can be activated, which cause the composites " flexural strength and fracture toughness is high and the composites " non - brittle fracture
當界面相較薄時,基體裂紋能夠迅速穿過界面相和纖維,復合材料具有較低的彎曲強度和斷裂韌性,表現為脆性斷裂模式;當界面相較厚時,復合材料能產生裂紋偏轉、基體開裂等多種增韌方式,具有較高的彎曲強度和斷裂韌性,呈韌性斷裂模式。When the third pretreatment method was adopted, microwave input power was 700w, gas pressure was 1000pa and substrate was tangent on plasma ball surface, diamond films showed higher nucleation density by contrast
經過對比採用方案基片處理方式,基片和等離子球處于相切位置時,在微波輸入功率700w和反應氣壓1000pa時沉積工藝參數時,基片成核密度較高。To reappear stochastic waveform on esvrst in time field, the minimum variance implicit self - tuning regulators of siso and mimo systems are deduced based on carma models in this paper. the robustness of the regulator being used to control esvrst is validated good
本文推導了在時域內對電液伺服道路模擬試驗臺進行隨機波形再現控制時,基於carma模型的,單輸入單輸出系統和多輸入多輸出系統的,隱式最小方差自校正調節器。Results : with three different retainer designs, the retainer on the second premolar and the first molar exerted the smallest stress on the abutment and its periodontal tissue, while the retainer on the first premolar and the first molar had the largest stress
結果:在3種不同的固位體設計方式中,固位體放置在第二前磨牙與第一磨牙之間時,基牙及牙周組織受力最小;固位體放置在第一前磨牙與第一磨牙上,基牙與牙周組織受力最大。Using time - dependent mode matched scattering matrix method and based on the theory of the interaction between atom and electromagnetic field, we predict the effect that the longitudinal transport of electron is partly blocked by the lateral emitting electromagnetic wave and give detail analysis of the mechanism and the feature of the effect
第三章我們以光和原子相互作用理論為基礎,用含時模式匹配散射矩陣方法研究了直量子線在太赫茲電磁場部分輻照下的電子輸運性質,並得出橫向電磁輻射對電子縱向運動的阻塞效應。The project is to develop the 100mhz bandwidth, equivalent sampling frequency is 1g / sa, resolution is 8bits, dual signal channel, and delicacy is 5mv - 100v / div per channel, time sweep velocity is 20ns - - 5s / div digital storage oscilloscope ( dso ) 。 achieved equivalent sampling is innovative and main content of the project
本設計的具體目標是實現帶寬為100mhz ,等效采樣率為5gsa / s ,采樣數字解析度為8bit ;雙通道,幅值靈敏度為5mv 100v / div ,時基為: 10ns 5s的手持式數字存儲示波器.等效采樣的實現是本設計的創新點和主要研究內容Moreover, introduces presen t technologies and methods on defending worm virus and junk mail based on honey technology. after accomplished 863 program ( integrated network security defensive system ), that the writer designs dynamic honey project. the introducing of coordination and interaction into design realizes the coordination control between distributive ids and ids, distributive firewall and firewall, distributive honeypot and honeypot
結合863計劃- - -網路集成化防衛系統,設計了動態的honey方案,在設計中引入了協同和聯動的概念,使整個系統中分散式ids和ids ,分散式firewall和firewall ,分散式honeypot和honeypot之間實現了協同控制;同時基於主機的ids 、 honeypot 、 firewall之間實現了聯動。At the same time, according to the excellent capability of ip curves, we study fitting and description of objects, determination of invariants of objects, symmetry detection and recognition of objects based on ip curves. in all, the main contributions in the dissertation are as follows : ( 1 ) a method of determining automatically the scale of the multiscale edge detection is proposed based on the variant distance of the variogram function, and a method of segmenting texture images is also presented. the variograin values are taken as stochastic and structural properties of texture images and variant distance is taken as the size of image window
同時,基於隱含多項式曲線良好的物體描述與識別能力,對物體邊界輪廓的擬合、描述、不變量特徵的提取、識別以及物體對稱性檢測作了系統的研究,主要成果及創新之處有: ( 1 )基於變差函數的變程,提出了圖像多尺度邊緣檢測中尺度大小的自動確定方法;將變差函數的變差值作為紋理的統計和結構特徵,依據變程確定窗口大小,給出一種新的紋理圖像的分割方法。These kinds of ? tronger ? algorithms do not need to retrieve correspondence and branching problems. the contour - spreading algorithm is proposed to calculate distance field quickly within the complexity 0 ( n ). the intermediate surface is generated by linear approximation, while in conventional methods, it is tiled between a designated layer of contours and the original lower slice or upper slice of contours
和傳統方法比較,它們生成的曲面都是精確通過采樣點,但是對于中間曲面的生成(在有分枝問題和對應問題時)方式不同,傳統方式是指定中間層的位置,在中間層按一定方式生成一個輪廓線,然後分別與上下層進行曲面鑲嵌,而基於距離場技術的方法則是通過線性插值的方式來產生中間曲面。分享友人