verify problem 中文意思是什麼
verify problem
解釋
問題確認-
To prove the performance of methodology, two artificial problems ( one classification problem and one regression problem ) as well as two real problems ( one classification problem and one egression problem ) were employed to verify the methodology
並以二個人為?值?題（分?與?歸各一題） 、二個實際應用?題（分?與?歸各一題）加以驗證。 -
To add " there are many loopholes in the operation and sales practices of telecommunications service providers, " after " that, as " ; to add " and such complaints from the public are often not followed up effectively by government departments, " after " in recent years, " ; to add " stipulate corresponding penalties " after " to cover pay television, " ; and to add " ; furthermore, as the hong kong housing authority has signed agreements with pay television operators, these operators can enter the buildings to set up and maintain communal aerial systems and can deploy front - line promoters to approach the residents to sell other various commercial services, using the provision of exclusive maintenance and supply services as a selling point and adopting unscrupulous means to entice or mislead the residents into signing an agreement with them, causing great disturbance to the residents ; in this connection, the government must adopt measures to combat such sales malpractices, take the initiative to inform public rental housing tenants of the rights and responsibilities of the operators and, when the operators resort to malpractices or malpractices are reported by residents, take immediate action to investigate the matter and issue warning to and penalize the operators concerned ; the government must also review the problem of inequity in accessing system information by consumers and the telecommunications service providers, whereby consumers have no means or right to obtain true and accurate information about the systems that they are using and can only pay the fees according to the volume, system and time slots of their calls shown on the records provided unilaterally by the service providers, and in case of queries about such information, the decision of the service providers prevails and there is no channel for the consumers to dispute or verify ; to this end, the government should expeditiously study how to ensure that consumers have the rights to know, choose, verify, appeal and claim for compensation in the provision of telecommunications services including pay television, local and cross - boundary telecommunications and internet services " after " in the contracts "
在"鑒于"之後加上"各電訊服務提供者的營運和銷售存在不少漏洞， "在"不斷增加， "之後加上"而市民的投訴又往往得不到政府部門的有效跟進處理， "在"收費電視， "之後加上"訂定相應的罰則， "及在"標準合約條款"之後加上"此外，由於香港房屋委員會與收費電視營辦商簽訂協議，該等營辦商可進入大廈鋪設及維修公共天線系統，並調派前線銷售人員，以獨家提供維修及供應服務作為招徠，向住戶推銷其他各種商業服務，以不當手法誘使或誤導住戶與他們簽約，對居民造成很大困擾就此，政府必須採取措施打擊上述違規營銷的手法，並主動告知公屋住戶該等營辦商的權責范圍，遇有營辦商作出違規的行為或居民舉報營辦商的違規行為時，須立即追查，並向有關營辦商發出警告及作出處分政府亦須檢討現時消費者與電訊服務供應商所獲系統資訊並不對等的問題，即消費者無從及無權得知他們所選用系統的真實資料，令他們只能按服務供應商單方面提供有關通話量通話系統及通話時段的記錄繳交費用，遇有消費者質疑上述資料時，往往只由服務供應商作最終決定，消費者無從申辯或查證就此，本會促請政府盡快研究如何就各類電訊服務包括收費電視本地及跨境電訊網際網路等的提供，確保消費者享有知情權選擇權覆核權投訴權及索償權" 。 -
Cosmic ray test was carried out to choose and optimize working parameters of full - length prototype and its data acquisition system, verify the electronics system about dynamic range, drift time measurement search window, charge measurement integral width, work stability and electronics grounding and noise. in experiment, acquired abundant experience with the solution of actual problem and verified their reliability of physical design. this lays the foundations for the successful construction of the besiii drift chamber and electrical system
測試過程中我們調整了電子學的動態范圍、漂移時間和電荷測量參數驗證了電子學系統工作的穩定性、抗干擾能力及噪聲水平等並成功解決了實驗過程中遇到了問題。通過長時間的取數進一步檢驗了全長模型和電子學系統工作穩定性，驗證了全長模型及其數據獲取系統物理設計的可靠性，為漂移室和電子學系統的成功研製奠定了基礎。 -
To verify the effectiveness of the proposed hybrid fnn, this thesis addressed the estimation problem for the frozen point of light cyclic oil in a fluidized catalytic cracking unit ( fccu ) in a refinery. based on the sample data collected from the industrial unit, we built a soft sensor model by using an above hybrid fnn
最後，針對某煉油廠催化裂化裝置主分餾塔輕柴油凝固點的軟測量估計問題，本文基於工業現場所採集的樣本數據，建立了混合結構神經網路模型，並討論該模型的在線自學習問題，同時與多層前向bp網路、徑向基函數rbf網路模型進行了比較。 -
Firstly, by means of the intractability of discrete logarithm problem, a threshold secret sharing scheme with periodic renewing to identify cheaters is established. shares are periodically renewed without changing the secret. every participant is able to verify the share he receives and those other participants show
首先，利用離散對數問題的難解性，給出了一個定期更新防欺詐的門限秘密共享方案，它在保持共享秘密不變的情況下定期對子秘密進行更新，每個參與者可以對自己的子秘密及其他成員出示的子秘密進行驗證，不但能有效阻止敵手竊取秘密或子秘密，也能有效地防止內部成員之間的互相欺詐。 -
To verify analytical solutions, the numerical solution is computed for the problem that an arbitrary time - harmonic current dipole is in a conductive sphere utilizing finite element method and the analytical solution is compared with the numerical solution
為驗證所求電磁場解析解的正確性，利用通用有限元分析軟體對導體球中時諧電流元的電磁場解析解作了數值驗證。 -
Comprehensively discuss the issues in application, adaptive condition and performance, propose a fast arithmetic of forward modeling and depth migration in common shot gathers with one - way acoustic wave equation based on vrselrf, and verify the arithmetic by numerical simulation. concisely discuss the cause of the creation of evanescence and the problem of lateral amplitude discontinuity result from it. fourthly, use the reflectivity model, computed to describe the fracture model, with the formula of computation reflectivity based on elastic - acoustic approximation, and the wavelet model computed by the method, wavelet creation with fourier transform, we proposed, in conjunction with vrselrf wavefield extrapolation operator
第三，將頻率波數域穩定的變參考慢度rytov近似廣義屏波場延拓運算元（ vrselrf ）應用於疊前與疊后正演模擬、疊前與疊后深度偏移，對演算法應用中應注意的問題、適用范圍、性能等作了較為全面的論述；提出了基於vrselrf的單程聲波方程共炮記錄正演模擬和深度偏移快速演算法，並通過數值模擬試驗對演算法進行了驗證；簡要地討論了倏逝波的產生原因及其帶來的橫向振幅不連續性問題。 -
Based on the timing constraints event model of rtl ( real time logic ), the compiling algorithms for timing constraints event transform the problem of how to detect timing constraints event to the problem of how to find negative cycle in weighted directed graph, which is named as constraints graph. by simplifying constraints graph, the efficient detecting algorithms for timing constraints event have been developed, which not only has good time complexity but also can find events that violate timing constraints as early as possible. in order to verify the event detecting methods based on dynamic rules and to check its efficiency in application, experiment schemes are designed and performed on the implemented prototype system in linux environment
帶時間約束事件的編譯演算法以rtl （ realtimelogic ）事件模型為基礎，將帶時間約束事件的檢測轉化為在帶權值的有向圖（此即受限圖）中尋找負圈的問題，它通過化簡受限圖得到最小有效約束集；運行時事件檢測演算法在最小有效約束集上檢查事件的時間約束，不但有較好的執行效率，而且能盡早地發現違反時間約束的事件。 -
In this thesis, we ’ ve first introduced some conceptions of model checkingand knowledge reasoning. then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge. lastly, we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games, which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols, whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol
本文首先介紹了模型檢測和知識推理的基本概念，然後著重介紹了我導師所提出的模型檢測時態知識邏輯的方法，最後使用本實驗室研製的相關工具mctk來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略，即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議，而這類協議的安全特性依賴于協議參與者的知識推理。 -
As far as the system observation for accuracy evaluation of carrier rocket is concerned, there may exist different types of observed data and priors. heterogeneous information means that the different information describing the different characteristics of the same object. since all of the information is relevant to the same object, the fusion is possible. it is a key problem that how to fuse the heterogeneous information to obtain the better evaluation result. therefore, the different heterogeneous information and data is thoroughly studied, moreover, the mathematical description for information fusion of different parameter priors and data is constructed in this paper. based on their relationship between different parameters, indirect prior and observation data is transformed into prior in impact point observation space, which is fused with original prior by weight determined by maximum entropy rule to obtain the mixed posterior distribution. therefore, the test results can be given by combining posterior distribution and impact error observed data. then its application on evaluating guidance systematic error is elaborated as it applies trajectory tracking data, test value of coefficients of guidance instrumentation systematic error, impact point observation data and prior. especially, the advantage of this method lies in its application in case that guidance instrumentation systematic error may not be computed precisely. finally a detailed example on evaluation of carrier rocket is given to verify the theory
為充分利用運載火箭觀測中的不同觀測空間和過程的信息來進行精度評估，針對該背景建立了異質先驗融合的數學描述.研究了飛行試驗中不同觀測空間和過程的異質先驗信息和數據，基於不同觀測過程的解析關系，將間接過程的先驗和觀測數據算出的后驗分佈轉換成落點觀測空間上的先驗，與原落點的先驗進行了最大熵加權融合，得到混合后驗分佈，從而結合落點觀測數據給出評定結果.在無法解算出精確的制導工具誤差系數的情況下，這種方法充分利用了彈道跟蹤數據、工具誤差系數的地面測試先驗值、落點先驗及落點數據，穩健性更好，準確性更高 -
Remind students to make sure that they have returned to the problem statement to verify that they have fully answered the question
提醒學生們確定他們的解題能符合問題陳述的內容，在杜檢驗他們已經完全回答了所有的問題。 -
The posture stabilization problem of nonholonomic wheeled mobile robots is studied using this method, and the simulation results verify the validity of this method
利用該方法對具有非完整約束的輪式移動機器人的位姿鎮定問題進行了研究，模擬結果驗證了該方法的有效性。 -
As the traditional navigation system ca n ' t satisfy the requirements of the autonomous underwater vehicles ( auv ) navigation and position. we study a depthometer - doppler - aided strapdown inertial navigation system ( ddsins ) in combination of the developments of periodic navigation technique and some practical problem posed by the mathematical and variation of output data of doppler, furthermore, the digital simulation and semiphysica test are made to verify the validity of the algorithm, the main research work are as follows : design of the strapdown inertial navigation system of auv
由於傳統的導航系統很難滿足遠程水下航行器精確導航、定位的要求，本文在充分考慮使用特殊性的情況下，結合國內、外導航技術發展的實際狀況和發展方向，研究了水下航行器組合導航系統的誤差，重點解決了因多普勒輸出數據周期長和周期時變而給導航計算和濾波器設計帶來的問題，並進行了模擬和實物測試，模擬和實物測試結果表明本文所研究的設計方案合理，可以達到某型水下航行器導航、定位需要的精度。 -
W7e use the random optimization method to solve this problem, proposing an adaptive genetic algorithm to design accelerator rf cavity. we also implement and verify this algorithm in fortran language
論文採用隨機優化方法來進行求解，提出了一種用於加速器高頻腔設計的自適應遺傳演算法，並用fortran語言進行了實現及驗證。 -
Secondly, the following two subjects are discussed according to the calculation of short - circuit current : ( l ) to verify the dynamic stability condition of wires by using simulated annealing algorithm ( sa ), the paper calculates the maximum value of rectangle wires " short - circuit electrodynamic stress and gets the conditions of their having the maximum value. furthermore, some concerned data about the verifying of copper wires are given by analysing vibration spectrum of the electrodynamic stress ; ( 2 ) in order to get the heat withstand conditions of wires, the paper discusses some common calculation methods, and then tries to study the problem applying artificial neural network ( ann ) based on heat principle of metals. the model is shown to be feasible
其次，在電路中短路電流計算的基礎上， （ 1 ）進行母線的短路動穩定校驗計算：採用模擬退火演算法（ sa演算法）計算了矩形母線短路電動力的最大值及其取極值的條件，獲得了更為一般的結果，進而通過短路電動力的頻譜分析，給出了銅質母線的有關短路校驗計算數據； （ 2 ）進行母線的短路熱穩定校驗計算：討論了熱穩定校校的幾種常用計算方法，從導體或電器的發熱機理出發，運用人工神經網路理論對母線的熱穩定問題進行計算，通過算例比較，證明該方法用於熱穩定計算是可行的。 -
Firstly, this paper introduces the asynchronous motor model, and compares it with the dc motor ’ s. then the paper studies the principle of vector control, and proposes an improved current model of rotor flux observer. this paper also studies the three - level inverter ’ s topology, working principle, the neutral - potential unbalance mechanism and its controlling strategy. the paper especially studies the svpwm in details. the interface between the vector control and the three - level inverter is studied in details, including the generation of reference voltage vector, its judging of the sector and triangular regions, and the working mechanism after it sent into three - level inverter. when synthesizing the reference voltage vector, select the vector which only includes p and o states as the starting vector, thus eliminate the vector shift problem when sector changes. this paper fully takes advantages of the powerful functions of matlab / simulink to set up the simulation model. this construction is very explicit. the simulation results verify the inverter voltage output is correct, the rotor flux is steady, the asynchronous motor ’ s dynamic and steady state performances and speed modulation are excellent
本文首先介紹了異步電機的數學模型，在此基礎上將異步電機的數學模型與直流電機的數學模型進行了比較;然後介紹了矢量控制的基本原理，採用了一種改進的轉子磁鏈電流型觀測模型;對三電平逆變器的電路拓撲、工作原理、中點電位不平衡的機理及控制方法進行了介紹，詳細分析了空間矢量脈寬調制策略。本文對異步電機的矢量控制與三電平逆變器之間的介面進行了詳細的研究，包括:參考電壓矢量的形成、所落扇區與具體小三角形區域的判斷、送入逆變器之後的工作機理。在參考電壓矢量的合成時，選擇只包含p 、 o狀態的空間電壓矢量作為起始矢量，解決了扇區切換時的矢量突變問題。 -
On the basis of it, i design and implement ipsec in the network protocol stack of linux kernel, which can verify the encryption, integrity and authenticity of data at the ip level. it solves the problem of identification deceit, malicious modification and interception when datum is transmitted on the network, and the security of network transmission is improved greatly
在此基礎上，在linux內核ip協議棧中設計並實現了ipsec ，在ip層提供數據傳輸的機密性、完整性和真實性，解決ip數據報在網路中傳輸時的身份偽造、被人篡改以及被竊聽的問題，使網路傳輸安全性得到很大提高。 -
It is an extension of core of manna and pnueli " s pltl. in succession, a formal axiom deductive system is presented. it ' s soundness based formal semantic defined in this thesis is proved. as an example, we specify grc ( generalized railroad crossing ), which is a benchmark problem for real time systems, and verify it ' s safety and liveness
作為它的一次實際應用，我們用它對于實時系統中的一個典型實例： grc （ generalizedrailroadcrossing ）進行了描述，給出了它的系統規約，在此基礎上，演繹式的證明了系統的一個安全性和活性命題。 -
The nonlinear h and h2 / h control theories are applied to solve the problem of robust h control and the problem of disturbance almost decoupling of the rigid body attitude systems and the robot systems to verify the rationality and the validity of the results proposed in this dissertation
應用非線性h _和h _ 2 h _控制理論解決了剛體姿態系統和機器人系統的h _控制問題、干擾近似解耦問題等，驗證了論文有關結論的合理性和有效性。 -
During the research, some discussions such as how to solve transient problem using time - stepping method and how to solve nonlinear problem using n - r method are presented. finally, the nonlinear transient electromagnetic field of a 600mw turbo - generator is solved and the simulation results verify the methods
在研究中，還對涉及到的相關問題如時步法對瞬態問題的處理、牛頓-拉夫遜法求解非線性問題作了探討，並以一臺600mw汽輪發電機為例，進行了結果模擬驗證。
分享友人