generated time 中文意思是什麼
generated time
解釋
生成時間, 建立時間, 合成時間-
In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency. such atomic formulas are called as irrelevant atomic formulas. a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一個時間自動機是一個五元組n ， l 0 ， c ， e ， i ，其中n為一個有窮的位置集合， l 0n是初始狀態， c是一個取實數值的時鐘變量的有窮集合， e ng c 2 cn是轉換的集合。 -
In recent years at iron - making plant of pangang, the coke ratio of pig iron has reduced evidently by insisting on “ burden preparation ” course, improving quality of sinter, raising wind temperature, increasing rich oxygen quantity and injecting abundant pulverized coal into bf. the solid fuel consumption of sinter has been decreased greatly through insisting on using high - quality calces, practising high feed sintering, actualizing many techniques in solving key problems. at the same time, the energy source base management has been strengthened, and energy - saving work has made great progress, profits generated by energy - saving have exceeded a hundred million yuan
近年煉鐵廠通過堅持「精料」方針，改善燒結礦質量，提高風溫，增大富氧，實施大噴煤，使入爐焦比有明顯下降；燒結堅持用好生石灰，推行厚料層燒結，實施多項技術攻關，固體燃耗大幅度下降；同時加強能源基礎管理，節能工作取得長足進步，節能創效益1億元以上。 -
Social equity was set as an important objective through variety of subsidies and reservation for small scale and cottage industries. mixed economic model indeed generated a diversified industrial base for india but it retarded the rapid economic growth at the same time
這種混合經濟模式為印度經濟奠定了一定的工業基礎，但是在同時也帶來了種種問題，阻礙了經濟的快速發展，使印度同東亞國家的差距越來越大。 -
These leds light sources are not only adjustment and uniformity but also smaller, less expensive, required less power, generated less heat. especially, the pattern of the construct both aggregate and desegregate in design was to realize different light intensity illumination on same biology sample at the same time. the selectivity, work efficiency and experiment veracity have been improve greatly
該系列光源除了具備光強可調、分佈均勻優勢外，還具有波長、波峰寬適宜，以及小巧、價廉、能耗低、發熱少等特點，尤其是該生物光源在設計時採用的單元組裝模式，使得不同強度的光照能夠在同一批生物樣品上實現，大大拓寬了生物實驗的可選擇性，提高了工作效率和實驗準確性。 -
Exploding wires phenomenon is that if the high - density energy is poured into metal wire with small transverse section in a short time from high power pulse source, the metal wire will explode into gaseity and generate significant shock wave. the. fundamental reason of the generated shock wave is the plasma
爆炸絲現象（ explodingwiresphenomenon ）是將存儲于高壓電容器中的能量，在極短的瞬間內傾注于很小截面積的金屬絲，使之汽化，產生強大的沖擊波，這種沖擊波產生的根本原因就是等離子體。 -
Firstly, we find the resources in the breadth first search way, at the mean time, hop field is generated, and then, we schedule the resources according to the hop field
本文提出一種新型的網格資源調度演算法最小跳數演算法，首先通過廣度搜索遍歷找到資源，並同時生成跳數場，再根據跳數調度資源。 -
Impatient and because these females are extremely easy generation insecurity angst, alone depression, sad sadness, dejected disappointment, angry wait for depressed mood, suffer undesirable mood for a long time to perverse stimulate, law of airframe life division happens disorder, function of nerve internal system is maladjusted, bring about core condition unbalance then, immune force drops, can make thymus is generated decrease with the thymus element that release, the monitoring capability to cell of the mutation inside body mixes cell of lymphocyte, huge bite gobble up ability to drop, incidental cancer is swollen
由於這些女性極易產生緊張焦慮、孤獨壓抑、悲哀憂傷、苦悶失望、急躁惱怒等抑鬱情緒，長期受不良情緒剌激，機體生命節律發生紊亂，神經內分泌系統功能失調，進而導致內環境失衡，免疫力下降，可使胸腺生成和釋放的胸腺素減少，淋巴細胞、巨噬細胞對體內突變細胞的監控能力和吞噬能力下降，輕易發生癌腫。 -
Fractal coding has been proved useful for image compression. it is also proved effective for content - based image retrieval. in the paper, we present a block - constrained fractal coding scheme and a matching strategy for content - based image retrieval. in this coding scheme, an image is partitioned into non - overlap blocks of a size close to that of a query iconic image. fractal codes are generated for each block independently. in the similarity measure of fractal codes, an improved nona - tree decomposition scheme is adopted to avoid matching the fractal codes globally in order to reduce computational complexity. our experimental results show that our coding scheme and the matching strategy we adopted is useful for image retrieval, and is compared favorably with other two methods tested in terms of storage usage and computing time
分形編碼在圖像壓縮方面取得了很好的效果，同時，分形編碼也能夠用於基於內容的圖像檢索.本文提出了一種基於塊限制的分形編碼演算法和匹配策略，並將它們用於圖像檢索.在我們編碼演算法中，圖像會被預先分成互相不重疊的子圖像塊，然後對這些子圖像進行獨立地分形編碼，從而獲得整幅圖像的分形碼.該編碼演算法能夠在很大程度上減少編碼時間.在進行圖像間相似性的匹配時，我們採用改進的基於九叉樹的分配策略，從而避免全局地進行分形碼的匹配，減少了計算量.實驗結果說明，我們的編碼演算法和匹配策略能夠比較有效地應用於基於內容的圖像檢索，在計算時間和存儲時間上都優于實驗中其它兩種方法 -
This paper studies the mechanism generated from flow - noise in seawater pipeline, introduces controlling method of flow - noise, analyzes sound field characteristics of flow - noise in seawater pipeline system and the merits and demerits of measuring the flow - noise methods in and out of the pipeline. in our experiment, a test measuring device of seawater muffler is used in a measuring chamberlet to verify that a method of reverberation chamberlet is difficult to exactly measure the low frequency flow - noise in pipeline. at the same time the insertion lose of water muffler in the low frequency was measured by the measuring chamberlet method
本文分析了海水管路系統內流噪聲的產生機理，介紹了流噪聲的控制方法；分析了海水管路系統中流噪聲的聲場特性以及流噪聲管內、管外測量方法的優缺點；通過海水消聲器試驗測量臺架，利用測量小室驗證了混響箱法難以準確測量海水管路系統中的低頻流噪聲；用測量小室對水消聲器在低頻段的插入損失進行了測量。 -
The password for the aspnet account is cryptographically generated at the time of installation
Aspnet帳戶的密碼是在安裝時通過加密生成的。 -
Another is the fact that rivers have for a long time been used as dumping grounds for waste generated by a range of human activities, including domestic sewage, livestock waste, industrial waste, and other types of effluent
另一個主要因素是歷來河溪一直承受多種人類活動所產生廢物的排放，包括住宅污水禽畜廢物工業廢物和其他污水。 -
The full - length cdna sequence was finally generated by 5 ' race and 3 ' race respectively. at the same time, structure and function of ejol gene were primarily analyzed by bioinformatics method
結果表明獲得的ejo3基因的cdna長度為1514hp ，開放閱讀框長度為1368hp ，編碼456個氨基酸。 -
Multi - strategy means as follows : utilizing classifying data mining methods based on decision tree to analyze the data in grade database. a grade decision tree is generated to show directly a position of grade according to different computing methods and to support estimate. at the same time, utilizing classification method based on summing - up principles to do such things as grade query analysis and prediction and contrast analysis to realise automatic generation of grade analysis report, test paper ’ s quality assessment report and quality analysis table which plays an active role in improving teaching and test paper ’ s quality
這里多策略主要是指:採用基於決策樹的分類挖掘方法，對學生成績庫中數據進行分析，生成學生成績決策樹，能直觀顯示出某一成績在不同等級計算方式中所處的位置，為教學部門提供評價信息;同時採用基於總結規則的統計分析方法，完成不同情況下的成績查詢、預測及對比分析，實現學生成績分析報告、試卷質量評價報告及質量分析表的自動生成。 -
The explicit finite element method ( fem ) based on the varying time - step was selected to analyse the dynamic roll - pass process ; the nodes on the leading face of the steady - state elements set was extracted and projected onto a plane to give the required mesh, also called the origin mesh ; the implicit fem was selected to analyses the inter - pass transient thermal process ; a geometric part from the mesh was generated and meshed by using the quadrilateral elements, a heat transfer analysis was selected to transfer the node temperature data ; a new model was created by using hexahedral elements, mapping the node temperature and the equivalent plastic strain on the integration points
利用基於變步長中心差分格式的顯式積分方法分析瞬態軋制過程；提取穩態單元集節點形成截面網格；利用隱式積分方法分析軋制道次間隙瞬態溫度場；對型鋼斷面進行平面四邊形網格劃分並映射節點溫度數據；利用六面體單元構建有限元分析模型，映射單元節點的溫度、積分點的等效塑性應變，進行數值分析。 -
Abstract : thermally induced stress and the relevant warpage cause by inappropriate mold design and processing conditions are problems that confounded the overall success of injection molding. a thermorheologically simple thermoviscoelastic two - dimension material model is used to simulate the residual stress and warpage within injection molded parts generated during the cooling stage of the injection molding cycle. the initial temperature field corresponds to the end of the filling stage. the fully time - dependent algorithm is based on the calculation of the elastic response at every time step. numerical results are discussed with respect to temperature and pressure
文摘:不均勻的熱殘余應力及其變形是注塑成型加工中常見的工程問題之一.應用熱流變簡單材料的二維熱粘彈本構方程得到的遞推公式，數值模擬了成型中的熱殘余應力及其翹曲變形，並用數值實驗討論了溫度、壓力對注塑件殘余應力及變形的影響，發現溫度變化不均勻是注塑件翹曲變形的最主要原因，其影響遠大於壓力的作用，與工程實驗的結論一致 -
The dual - time stepping method proposed by a. jameson is applied to improve time precision for unsteady flowfield computation. the three dimensional grid for projectile with lateral jets, especially body - fitted for lateral jets exit, is generated by improved traditional methods with projection and zonal method
在改進傳統網格生成方法的基礎上，結合投影映射、分區拼接技術生成了彈丸側噴流場單一區域三維計算網格，在側噴流噴口邊界實現了網格貼體化。 -
Many internet users find that over time their computers become loaded with unwanted software - be it adware, spyware or just plain junk. this is because a few applications they installed came bundled with junk, and that junk generated more junk piled higher and deeper
這是因為他們所安裝的幾個應用程式，原本就隨附有垃圾資訊，而這些垃圾資訊又會產生更多垃圾資訊，然後就越積越多。 -
When studying the network performance, flow control and resource provisioning of communication networks, traffic model plays a very important role. the recent studies show that the date network traffic is self - similar, so the markovian model, which describes telephone networks accurately, is not suitable for date networks. the self - similarity of the network traffic has severe impact on flow control and queuing analysis in date networks, therefore it has received significant attention. in this paper, g m 1 queuing model is used to analyze the queuing performance of generic variable length packet networks for the first time. the self - similar traffic is generated by multiplexing a large set of independent pareto heavy - tailed interarrival on off sources. the simulation results show that the heavy - tailed traffic results in queuing performance deterioration for variable length packet networks, which is in accordance with the analytical results for atm switches
業務量的自相似特徵顯著影響網路的流量控制與排隊分析，已經引起人們的極大重視。採用g m 1排隊模型對分組長度可變的網路的排隊性能進行了分析和模擬，其中自相似業務量是通過疊加大量獨立的到達間隔為pareto重尾分佈的on off源來生成的。模擬結果表明，自相似業務量導致網路的排隊性能劣化，這與有關文獻對atm交換的分析結果一致。 -
Where a civil servant has any violation of the provisions in the preceding paragraph after resignation or retirement, the administrative department of civil servants at the same level as the original organ he works for shall order him to make corrections within a prescribed time limit ; where he fails to make corrections, the administration for industry and commerce above the county level shall confiscate the illegal proceedings generated from his business, order the entity concerned to dismiss him, and impose on the receiving entity a fine of one to five times of that as imposed on the person according to the seriousness of circumstances
公務員辭去公職或者退休後有違反前款規定行為的，由其原所在機關的同級公務員主管部門責令限期改正；逾期不改正的，由縣級以上工商行政管理部門沒收該人員從業期間的違法所得，責令接收單位將該人員予以清退，並根據情節輕重，對接收單位處以被處罰人員違法所得一倍以上五倍以下的罰款。 -
The evolution of thoughts of education is generated by national contradiction and class contradiction in the chinese society at that time
教育思想的發展變化的動力來源於這一時期中國社會民族矛盾和國內階級矛盾的斗爭。
分享友人