實程序 的英文怎麼說
中文拼音 [shíchéngxù]
實程序
英文
b. . real programs kernels-
Design philosophy of hardware and software is established. the paper bases control algorithm of operator and control program diagram on thorough investigation into truck crane operation reliability action flow, which makes sure of accurate and effective control over handle and accelerograph and achieves test process automatization
文章在深入研究汽車起重機作業可靠性試驗動作流程的基礎上確定了對執行機構的控制演算法，並給出控製程序框圖，準確有效地實現了對操縱手柄及油門的控制，達到試驗過程自動控制的目的。And the deficiencies are pointed out in present researches, such as highway capacity, level - of - service, influence factor of road alignments, etc. from these, it has confirmed that the thesis should be studied from rational analysis, quantitative analysis of level - of - service, impact on capacity of road alignments, setting - up simulation model, etc. the high - accuracy gps dynamic data acquisition appearance is proposed to be used for the first time to carry on the experiment of overtaking on two - lane highways, and experiment scheme is designed according to the driver ' s perceive to judge each overtaking course. based on the experiment data, it can get two important parameters of acceptant gap ? the critical gap of overtakable time headway and returnable time headway through data processing, which can offer the strong support to the research of two - lane highway capacity with qualitative and quantitative analysis. besides, the experiment methods is provided to observe overtaking ratio and to measure the
研究中首次提出了運用高精度gps動態數據採集儀對雙車道公路上的超車行為進行觀測，設計了根據駕駛員感受度來衡量超車過程的實驗方案，並通過後期數據處理得到了超車過程中兩個重要的可接受間隙參數-可超車車頭時距和可回車車頭時距的臨界間隙值，為定性和定量分析雙車道公路通行能力提供有力的數據支持;同時，還提出了觀測超車率的實驗方法以及測量加速度干擾的實驗方案，統一了計算加速度干擾的時間統計間隔，為雙車道公路的服務水平量化研究奠定基礎;最後還簡單介紹了駕駛員問卷調查法和模擬程序中模型參數標定和驗證的數據採集方法。View from the economic, political and social backgrounds of present stage, the condition to abolish death penalty is far from being mature, but the system of death penalty in our country is born several defects, so we should strictly restrict the object and accusal that applied to death penalty through legislation and justice, demolish the procedure for judicial review of death penalty, carry out the system of the third instance as the final and add the institution of pardon
從我國現階段的經濟、政治與人文背景看，廢除死刑的條件尚不成熟，但我國的死刑制度存在不少缺陷，應從立法與司法上對死刑適用的對象，適用的罪名，加以嚴格限制，取消死刑復核程序，對死刑案件實行三審終審制度，增設死刑赦免制度。Our protection system of inheritance obligation should be improved in entity and procedure in all sides. in entity, basic principles should be confirmed that inheritance obligation must be protected by law ; the recognition of inheritance must be based on lawful status, assisted by a proviso ; the denoted properties from the decedent to the heir due to marriage, business, a mensa et thoro and so on after the decedent ' s death should be regarded as inheritance. inheritance obligation should only be that caused by the decedent ' s behavior, based on public law and private law
我國的遺產債權保護機制應從實體和程序兩個方面全方位的予以改造? ?在實體法方面：首先確立「遺產債權受法律保護的基本原則」 ，遺產的界定應以法律地位說為基礎，另輔以但書，被繼承人生前對繼承人因結婚、營業、分居等事項所受之贈與應視為遺產，遺產債務只能是被繼承人生前行為所引起的公法和私法意義上的債務，不包括繼承費用，繼承費用雖由遺產支付，但只屬遺產的負擔。Following the verification process, a verification statement or validation statement or assurance statement is produced
完成核實程序后，必須製作一份核實聲明或認證聲明或保證聲明。The sfaa may adjust the level of assistance granted, if necessary, according to the findings of the home visits
本處會進行核實程序，包括家訪，並會根據調查結果，調整申請人的資助幅度。Improve the quality of your epr by benchmarking, and assure its credibility by independent verification
採用評核標準，藉此改善環保工作報告的質素，並透過獨立核實程序保證報告內容真實可信Tip 9 - improve the quality of your epr by benchmarking, and assure its credibility by independent verification
要訣9 -採用評核標準，藉此改善環保工作報告的質素，並透過獨立核實程序保證報告內容真實可信To ensure that the verification process conducted for your epr is credible, systematic and of good quality, your department bureau can make use of the
來規劃監察和評估核實程序，確保核實程序可信有系統而且完善。A verification statement, sometimes called validation statement, is produced at the end of the exercise and is included at the end of the epr
核實程序完成後，必須製作一份核實聲明或認證聲明或保證聲明，于環保工作報告最後頁登載。The aa1000 assurance standard prepared by accountability provides guidance on how to implement an independent, credible and systematic verification process
Aa1000 assurance standard乃accountability制定如何推行獨立可信而有系統核實程序的指引。A service charge of 130 is payable for each subscriber application, where the applicant has requested to complete the identity verification process for the purpose of handing over the pin mailer at a special location nominated by the subscriber and this location is outside the digi - sign offices
若申請人另外申請加密證書，則需額外支付每一張加密證書港幣30若申請人要求在電證服務辦事處以外地方完成身份核實程序，及送交密碼封函，需就每次申請繳交港幣130 。Reporting organizations are encouraged to make use of the aa1000 assurance standard i. e. a standard developed by accountability that provides guidance on implementing a credible, systematic verification process to assess, plan, describe and oversee the implementation of the verification process for their eprs
報告機構可採用aa1000 assurance standard即accountability制定的一套標準，指引如何推行可信而有系統的核實程序，以評估計劃說明及監管環保工作報告的核實程序The verification process also involves assessing the quality of the epr, particularly in terms of appropriateness of the report s scope, comprehensiveness and relevance of the issues covered, openness in disclosing information, addressing controversial issues and maintaining stakeholder dialogue, effectiveness in performance measurement, assessment and improvement, as well as vision and commitment of the reporting organization
核實程序亦包括評估環保工作報告的質素其中特別關乎報告內容的范疇全面性和相關性披露資料的公開性回應爭議性事項及與利益相關人士保持聯系表現計算評估和改進的成效，以及報告機構的理想和承諾。In order to make the objects more adaptable to the changes of environment, more easily to cope with and depict the relationship between objects and organize the objects to take part hi all kinds of affairs, and in order to make the programming design more suitable for the originally reality of the real world, we propose a new - type and more abstract programming language ? fact - oriented programming language. it is based on the logic structure of language and the real world that was expressed in tractatus logico - philosophicus ( the title is written in latin ) and philosophical investigations which were written by an austrian linguist and philosopher ( ludwig wittgenstein ). in real world, a certain object will display different features in different environments and scenes, for example some features will only appear in a given environment or scene while other features will not appear in the same environment or scene
為了使對象能夠更好地自動適應環境的變化，更好地處理和描述面向對象系統中對象與對象之間的關系，更好地組織和管理面向對象系統中的各種對象，並使程序設計更加符合客觀世界的本來面貌，本文把奧地利語言哲學家路德維格?維特根斯坦（ ludwigwittgenstein ）在《邏輯哲學論》 （ tractatuslogico - philosophicus ，注：拉丁文）和《哲學研究》 （ philosophicalinvestigations ）中關於世界和語言邏輯結構的哲學論述應用到程序設計中，並結合現實世界中對象能自動適應環境（事實或場景）變化的特性（即對象在不同的環境中會表現出不同的屬性和行為，有一部分屬性和行為只有在某些特定的事實中才會表現出來，而有一部分屬性和行為在某些特定的事實中一定不會表現出來） ，提出了一種新的程序設計語言? ?面向事實程序設計（ fact - orientedprogramming ? ? fop ） 。Finally we come up with the principles, characteristics, frame and functions of it and then illustrate them in program instances
最後分析了面向事實程序設計的原則、特點、結構、功能、抽象模型形式分析，同時以具體的面向事實的實例進行了闡述。It is submitted that the task of burden of proof is to meet the following legal philosophies, namely purposes of substantial law, the atmost closeness to the fact in a judgment, justice of procedures and efficiency of procedures
提出舉證責任分配應盡量實現以下幾個價值目標：即實現實體法的宗旨、使裁判最大限度地貼近事實、程序公正及程序效益等價值目標。Capital account liberalisation, if the intention is to attract a net inflow of foreign savings, may therefore have to be structured and sequenced accordingly, involving, for a time, asymmetric international mobility of capital biased towards inflows
若開放資本帳的目的是吸引外資的凈流入，開放政策便要有相應的結構及落實程序，使在一段時間內流入的國際資金數量多於流出的資金。Firstly, we give a brief analysis of the merits and demerits of object - oriented technology, introduce ludwig wittgenstein ' s philosophical views on the logical structure of the real world and language, analyze and introduce the features of objects that they will appear different attributes and behaviors in different environments and scenes. then we propose a new programming language named fact - oriented programming that is based on the object - oriented programming and is centered on objects
本文首先對面向對象程序設計技術和它的缺點進行了簡要的分析，並扼要地介紹了維特根斯坦關於世界和語言邏輯結構的哲學論述，分析了同一對象會在不同的事實中表現出不同的屬性和行為的特點；提出了一種以面向對象程序設計為基礎的、以對象為中心的面向事實程序設計思想。Our verification procedures comprised a review of the report, selection of a representative sample of statements and data and interviews with representatives from archsd
核實程序包括審核該報告的內容、抽查具代表性的報表和數據，及與建築署所有分處的代表人員會面。分享友人