development and verification 中文意思是什麼

development and verification 解釋
開發與驗證
  • development : n. 1. 發展,發達;進化。2. 展開;擴充;開發。3. 發達物,新事物,發展階段。4. 【生物學】發育(史);【軍,數】展開;【攝影】顯影,顯像;【音樂】展開(部);研製,研製成果。
  • and : n. 1. 附加條件。2. 〈常 pl. 〉附加細節。
  • verification : n. 1. 證實,證明,確定;核驗,驗證,核對;檢驗,校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
  1. Developing the lithography process models to properly characterize critical dimension ( cd ) variations caused by proximity effects and distortions introduced by patterning tool, reticule, resist exposure, development and etching, they are beneficial to develop a yield - driven layout design tool, the engineers could use it to automate the tasks of advanced mask design, verification and inspection in deep sub - micron semiconductor manufacturing

    建立準確描述由於掩模製造工藝、光刻膠曝光、顯影、蝕刻所引起的光學鄰近效應和畸變所導致的關鍵尺寸變化的光刻工藝模型,有助於開發由成品率驅動的版圖設計工具,自動地實現深亞微米下半導體製造中先進的掩模設計、驗證和檢查等任務。
  2. Result the imperfect food safety laws and regulations, inadequate food safety monitoring networks, outdated technical supports, insufficient scientific verification to the food safety standards, and ambiguous definitions in strategy development were the contradictions which lay ahead of us

    結果我國食品安全衛生法律法規和衛生監督體制、食品衛生標準和檢測體系、食品衛生技術支撐系統水平以及食品安全衛生的監控策略定位等問題是當前面臨的主要矛盾。
  3. After that, it gives the measures of designing dsp ' s assembler as a part of the dsp ' s software development environment together with the c - compiler. moreover, this paper explores the method of design the floating - point arithmetic unit. referring to the ieee754 - 1985 standard for binary floating - point arithmetic, the algorithm and the behavior description of floating - point adder and multiplier is given, and the simulation and verification is shown at the end of this paper

    此外,本文還對處理器的浮點運算單元設計做了初步的研究,以ansi ieee - 754浮點數二進制標準為參考,借鑒了經典的定點加法器和乘法器的設計,嘗試性的給出了浮點加法單元和乘法單元的實現模型和行為級上的硬體描述,並對其進行模擬和驗證。
  4. Furthermore, three expanded gny logic rules are given during above analysis based on gny, and at the end of this paper, security protocol formal verification based on attack logics is discussed and presented, a development framework of integrating such verification model into automated analysis tools such as spearii is shown finally

    另外,本文在使用gny邏輯的分析過程中,提出三條實用的gny擴展規則,而在文章最後,對基於攻擊邏輯的安全協議驗證方法作了初步研究,提出了將該協議攻擊驗證技術融入協議自動分析工具的設計框架。
  5. In recent years, as the rapidly development of informatic technologies and the bloom of internet, a large number of transactions appeared in the internet. fingerprint verification technology, as the most efficient, reliable, and low - cost authentication technology, has been more and more widely used in banking, stock exchange and e - business fields besides traditional police applications

    近年來,隨著信息技術和網路技術的飛速發展以及大量internet事務與交易的出現,指紋自動識別這種最快速、開銷最低並且效果良好的認證技術除了在傳統的刑事偵緝領域之外,在銀行、股市和電子商務等行業作為身份鑒別得到更廣泛的應用。
  6. With the rapid development of the semiconductor process and relevant technology, beyond the traditional integrated circuit, system - on - a - chip ( soc ) is coming up. it consists of a lot of intellectual property ( ip ) blocks and embedded processors, which require a piece of embedded software code to be composed. with design complexity beyond the traditional chips, verification difficulty is growing up

    系統晶元是隨著集成電路的發展而出現的新一代晶元,在系統晶元的設計中大量採用ip核復用技術,系統晶元中還包含有嵌入式的處理器,因而需要同時設計嵌入式的軟體程序,其設計復雜度遠遠高於傳統的ic晶元。
  7. The likely potential sectors for hong kong s environmental protection services providers include environmental equipment repair, maintenance, and consultation services, indoor - air quality monitoring and improvement services, environmental hygiene services, noise control and monitoring, environmental reporting and verification, iso 14001 environmental management system development and certification, energy conservation and audit, environmental audit, environmental licence application, environment - related training and environmental impact assessment

    香港環保服務提供者有機會拓展的領域包括:環保設備維修、保養及顧問服務,室內空氣質量監測及改善服務,環境衛生服務,噪音控制及監測,環境報告及核證, iso14001環境管理系統發展及認證,節能及其評審,環境評審,環境許可證申請,環境相關培訓及環境影響評估。
  8. Implement development, promotion and industrialization of technologies on energy efficiency in buildings, building integrated solar power system and new energy ; organize implementation of demonstration projects for building energy efficient technologies ; provide consultation on bee technologies, regulations, policies and engineering application ; organize testing and verification of building energy consumption ; conduct international technical exchanges and cooperation ; technical reserach programs ; develop technical documents for energy efficiency in buildings ; carry out education rprograms

    開展建築節能技術、太陽能建築技術、新能源利用技術的開發、推廣和產業化;節能建築技術工程示範的實施;提供建築節能技術、法規、政策和工程應用的咨詢服務;組織節能建築能耗測評認定,開展國際科技合作、交流;國際科技研究項目,編制建築節能技術文件;進行技術和人才培訓、承擔建設部的建築節能的相關工作。
  9. In the electronic industry today, the combination of increasing complexity of todays asic and systems designs and relentless time - to - market ( ttm ) pressures has resulted in verification, especially functional verification, jumping to the top of the list of bottlenecks in the design and development of electronic products utilizing soc

    近幾年來隨著專用集成電路( asic )和系統晶元( soc )的復雜度的不斷提高,以及來自面市時間的巨大壓力,晶元驗證,尤其是功能驗證正日益成為電子產品開發和設計的「瓶頸」 。
  10. During the one month training, the participants took courses on haccp theory, haccp prerequisites, development of haccp plan, validation and verification of haccp plan, haccp application in planting, livestock, and food service. they also took this opportunity to visit the guelph food technology center, the university of guelph, the canadian research institute of food safety crifs, and a number of food processors in the area. as part of the training program, they also held discussion sessions with haccp and food safety experts from cfia as well as other federal and provincial government agencies

    培訓過程中,學員們系統地學習了haccp原理應用前提haccp計劃制訂haccp確認與驗證師資培訓haccp體系審核haccp在種養殖零售餐飲環節應用「加拿大食品安全提高計劃」 fsep風險分析sqf認證食品防護等食品安全相關知識,實地考察了圭爾夫食品技術中心圭爾夫大學加拿大食品安全研究所以及一些食品生產企業,同時也與來自加拿大食品檢查署等聯邦和地方政府部門的專家進行了討論。
  11. Development of air measuring device and discussion with the way of verification

    大氣監測儀器的發展及檢定中的問題探討
  12. This dissertation is supported by the following projects : national foundation for science research on the theory of sub - deep micro and super high speed multimedia chip design " ( no. 6987601 0 ) national foundation for high technology research & development " interface of vlsi ip core and related design technology " ( 863 - soc - y - 3 - 1 ) a - national r & d programs for key technologies for the 9th five - year plan research on high level language description and embedded technology for mcu " ( 97 - 758 - 01 - 53 - 08 ) national foundation for the ministry of education, prc " research on the optimal theory and methodology of soc software / hardware integration co - design and co - verification " ( moe [ 2001 ] 215 ) national foundation for science and technology publication " design of interface circuit for computer with verilog " [ ( 99 ) - f - l - 011 ] a deep research on system level design methodology of 1c and the design technology of mcu - ip and interface ip are made in this dissertation. the main work and achievements are as follows : 1 building block principle and the building block component maximum principle are brought forward based on the research of developing history of ic design

    本文基於以下科研項目撰寫:國家自然科學基金「深亞微米超高速多媒體晶元設計理論的研究」 ( 69876010 )國家863計劃「超大規模集成電路ip核介面及相關設計技術」 ( 863 - soc - y - 3 - 1 )國家「九五」重點科技攻關「 mcu高層語言描述及其嵌入技術研究」 ( 97 - 758 - 01 - 53 - 08 )國家教育部「 soc軟硬體集成協同設計和驗證優化理論和方法研究」 (教技司[ 2001 ] 215 )國家科技學術著作出版基金「 verilog與pc機介面電路設計」 ( 99 - f - 1 - 011 )論文的主要工作和取得的成果如下: 1 、在研究集成電路設計方法學發展歷史的基礎上,提出了設計的積木化原則和積木元件最大化原則。
  13. Brief introduction of companyas an industrial integration company special for the study, development, manufacturing and sale of vacuum equipments and relative products, chuanbei technology ( beijing ) company is a group member of china vacuum society, a high - new technology enterprise of beijing city, and had passed the verification of quality system iso9000

    川北科技(北京)有限公司是專門從事真空設備及相關產品研究、開發、生產和銷售於一體的實業公司,系中國真空學會團體會員,北京市高新技術企業,並已通過iso9000質量體系認證。
  14. To provide technology support for outsourcing processing and purchasing during product development period, to establish production & processing technical agreement and purchasing technical agreement, to participate in product design verification, also responsible for establishing plan specifications, test procedures and engineering bom, and completing design records needed for the quality system

    對產品開發階段的外協加工製造和采購提供技術支持,制定製造加工的技術協議和采購技術協議,參與產品設計驗證過程並負責設計的規格書編制,檢驗規程和工程bom編制,按規定完成質量體系要求的設計記錄。
  15. With the rapid development recent years the static verification can offer relative faster speed and shorter time than dynamic one can do in the growing field of large scale chip

    靜態驗證技術在近幾年內有著飛速的發展。靜態驗證技術可以克服晶元規模增大時動態驗證時間耗費巨大的缺點。
  16. Design and implementation of a fast round robin scheduler, in which a pipelined barrel shifter and a pipelined priority encoder are used ; testbench development of functional simulation for module verification and system verification, in which the bfm simulation model are used and some reference examples are proposed ; discussing the questions that should be paid attention to when using fpga to design high speed circuits and some design skills ; taking part in the system ' s integration and fpga implementation ; taking part in the system ' s test and verification ; the design of this thesis has provided some key method for inter - communication among different network processors, and also accelerated the development of communication products

    討論了用fpga設計高速電路應注意的問題和一些常用的設計技巧;參與整個轉換邏輯的系統集成和fpga實現;參與系統的驗證工作;通信協議轉換邏輯的設計不僅可以解決不同網路處理器之間互通的問題,而且對于促進國產數據通信產品的研究與開發具有很重要的意義。同時在設計的過程中,進一步地探討了基於fpga的高速電路設計技術,對于fpga的設計有參考價值。
  17. Simulation technology shall be utilized to simulate the real running of embedded hardware system to enable the software development and system integration implemented on a virtual stage, so as to complete the system model verification and running activity analysis before the manufacture of hardware prototype, avoiding the mutual wait between the software development and hardware development, in order to improve the development efficiency and lower the risks and costs

    利用模擬技術模擬嵌入式硬體系統的真實運行,使軟體開發和系統集成在虛擬平臺上進行,在硬體原型製造前就完成系統模型驗證和運行行為分析,避免軟硬體開發相互等待,提高開發效率,降低風險和成本。
  18. Recently, embedded software simulation development environment has been used widely, it shall be utilized to simulate the hardware system to enable the software development and system integration implemented on a virtual stage, so as to complete the system model verification and running activity analysis before the manufacture of hardware prototype

    利用軟體技術模擬嵌入式硬體系統的真實運行,在模擬平臺上進行嵌入式軟體的開發和系統集成。在硬體原型製造前就能夠完成系統模型驗證和運行行為分析,避免軟硬體開發相互等待,從而降低了成本,提高了開發效率和競爭力。
  19. Established in 1984, lies in the peaceful tide - up bay in liu heng county, putuo district, zhoushan, a pure nature beautiful city. with the development and hard effort in the last few decades not only on the construction of equipment and facilities but also on management improvement. especially in year 1998, we achieved haccp verification certificate to open the door to usa market

    座落於舟山市普陀區六橫鎮漲起港,始建於1984年,經過十多年的奮勇拼搏,特別自1999年以來公司有了長足進展,各項設施得到了更新改造, 1998年實施haccp計劃,取得了向美國出口凍蝦仁的注冊
  20. Based on our product development and release experiences, during the development of workplace collaboration services 2. 5 we made it a priority to perform performance analysis and verification earlier in the product development cycle

    基於我們的產品開發和發行經驗,在workplace collaboration services 2 . 5開發期間,我們在產品開發周期早期就優先執行了性能分析和驗證。
分享友人