擬正規性 的英文怎麼說
中文拼音 [nǐzhēngguīxìng]
擬正規性
英文
quasi-normality- 擬 : 動詞1. (設計; 起草) draw up; draft 2. (打算; 想要) intend; plan 3. (模仿) imitate
- 正 : 正名詞(正月) the first month of the lunar year; the first moon
- 規 : Ⅰ名詞1 (畫圓形的工具) instrument for drawing circles 2 (規則; 成例) rule; regulation 3 [機械...
- 性 : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
- 正規 : regular; standard; normal正規部隊 regular troops; regulars; 正規教育 regular education; proper ed...
-
We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features
基於這些準則,對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充;給出了計算數據圖中正規表達式的演算法;對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬( bisimulation )等問題進行了研究,提出了一種判定數據圖的bisimulation演算法;在xml數據查詢語言研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。One weakening of normality is quasinormality.
正規性的一種減弱形式是擬正規性。After discuss the structure and character of operating system qnx and inter - process communication between pc ' s running qnx or windows, the paper describes the structure, function and flow chart of mission planning software which is developed in qnx, and narrates the course of simulation co - debug experiment, dynamically showing the results of the mission planning in the case of " ocean physiognomy reconnaissance ", and proving the logical correctness and feasibility of task serial produced by mission planning
在論述了多任務、實時操作系統qnx的結構特點以及基於qnx與windows運行的pc機之間網路進程通信的基礎上,本文描述了在qnx上開發的使命規劃軟體的結構功能和流程圖,並敘述了模擬聯調實驗的過程,動態地顯示了「海洋地貌勘測」這一案例使命規劃的結果,並證明了使命規劃所得的任務序列在實際運行中邏輯的正確性與可行性。It could access target hardware through shi ( software hardware interface ). it provides several interface for each processing unit, therefore, the both local and global simulation could be take place on this simulation bench
為了加快驗證的進度,我們採用軟硬體協同模擬的策略,由軟體給硬體提供規定格式的輸入數據,並對硬體輸出的結果的正確性進行判斷。3 g 一 g g abasi 叱 加 ical pp 訕 howthe qquasi ghgsical 毗 quasi sociological methodmo 止 secondlx we uthuther nalsze the nhrsical model on which he quasi pnsical and quasi sociological methods for solving s 肛 problembased considering a physical hypothesis on this model , we construct a counterexaxnple to showthatthe hypothesis is not eee ? howeve 二 itdoes notdamage the goodpractical effectof applpinp this phpsical model to solve s 盯 problem considering he existence of alsorithlnic region , which reflects that the quasi sociological method is very necessw for ass 吶 ng the high efficient of theent whole algori 燦 m therefore deepens our comprehension on the quasi physical and quasi sociological methods mird1x we wpl … 叫 nas 恤 ysi 陰 1md q 阻 si 500i 吶 i0alm 毗 cd 引 0 咖 we mathematical problem ofcom 恤 non oforthogonal tmles m successfully es 恤 fish a physicalopttrizatbo model for sotring saturated o 汕 ogonal tables , whwh ws provedto be correctintheo0 we thi 冰 。 w goodpersonated s 咖 egies forjumping out of the t 呷 oflocal minimum using quasi sociological method based onthe physical model thus wegetthe wholequasi physicaland quasi sociological algorim forthe problem ofconswction ofs 咖 med orthogonal tables he experimental results showthatthephysical model ishighly efficientthanthe conflmng nlllllber mode ! based on me pure m 她 ematical 訕 kgfound 他 sucoes 訕 11y ? ? rk 咖 m 枷 ons 訕 卿 nal 郵 ie with 3 leve13 using th 叫 u 1 physical and quasi sociological algori 恤 we got some o 汕 ogonal t 勸 les ofl 。 , ( 3 ’ ‘ ) which are not isomorphic moreove 乙 some ofour results are also not isomorphic to oe results pearedb 山 e open rekrences we got lip to now lastlx for 讓 卜 ancie 口 戊 扯 d importantproblemsofconstfutfuction oflatin square and orthogonal latin squares ( most of
應用此演算法,我們成功地計算出難的三水平正交表本課題為國家重點基礎研究發展「九七三」規劃,國家「八六三」高技術發展計劃,高等學校博士學位點專項科研基金及中國科學院軟體研究所計算機科學開放研究實驗室課題基金資助項目1g一gs第四,應用擬物擬人方法嘗試求解古老而重要的拉丁方、正交拉丁方(它們事實上是正交表)問題。我們結合這些問題的特性,建立了新的物理模型,從理論上證明了這些物理模型的正確性,並設計出擬人化的「跳出局部極小值陷餅」的策略,得到了求解拉丁方、正交拉丁方的擬物擬人演算法。實驗表明, 」對某些問題演算法有好的效果。On the basic of a great of literature reading and research on safety of side impact of the car, according to requirement of ece r95, applied madymo6. 2. 1 software, established simulation model of side impact of the car, researched the relationship between side rigidity of the car and passenger injury in side impact, which showed that during first impact the bigger side rigidity was, the more advantaged protection for the car and passenger in a definite range, and which drew a conclusion that the most serious part of passenger injury was pelvis during first impact. then detailed the substructure model by defining bodies, joints, contact types and contact characteristic, researched some improvement approach for side safety of the car, and then analyses a particular case, that was to say to fix vehicle door bar fender on between inner and outer plate of the vehicle door, analyzed the influence of passenger injury when the bar fender was fixed on different position, the result showed that the passenger injury was less when the bar fender was fixed on the height of vehicle door decorate bar. finally, a set of tests were performed, contrasting the simulation result with the test, analyzed the influence of the side rigidity of the car to passenger injury, which showed the test
本文在對汽車的側面碰撞安全性進行大量文獻閱讀和研究的基礎上,按照歐洲ecer95側面碰撞乘員保護法規的要求,應用多剛體動力學軟體madymo6 . 2 . 1 ,建立了汽車的側面碰撞模擬模型,研究了汽車的側面剛性對乘員損傷的影響,結果表明在「一次碰撞」中,在一定范圍內汽車側面剛性越大,越有利於汽車和乘員的保護,同時得出結論,即在「一次碰撞」過程中人體損傷最嚴重的部位是骨盆;然後通過定義各剛體、鉸鏈、接觸類型以及接觸特性,對該模型進行子結構細化工作,研究了加強汽車側面安全性的若干改進措施,並進行了一個特例分析,即在此模型的車門內外板之間安裝了車門防撞桿,分析了當車門防撞桿安裝在不同位置時對乘員損傷的影響,結果表明防撞桿位於車門裝飾條的高度時,對乘員的損傷較小;最後進行了一組側面碰撞試驗,通過試驗和模擬結果的對比,分析汽車的側面剛性對乘員損傷的影響,表明試驗和模擬結果是一致的,從而證明了模擬模型的有效性以及模擬結果的正確性。In this thesis, the thermodynamic properties of 24 binary al - based liquid alloys are then fitted with wilson equation and the regular solution model
隨后利用wilson方程和正規溶液模型對24個二元鋁基液態合金體系的熱力學性質進行了擬合。The results also show that wilson equation and regular solution model are not suitable for the systems that had immiscible gaps in the liquid phases
對于存在液-液分層現象的體系, wilson方程和正規溶液模型的擬合效果都較差,都不適合於這類體系的熱力學性質計算。Several guidance documents are being developed that provide information on the agency ' s current thinking and the use of pharmacogenomics for regulatory decision making
正在被開發的一些指導性文件為規則決策者用藥物基因組學理論構思擬訂規則提供了信息。Applying normal form method, conventional eigenvalue calculation and prony analysis, small signal stability and time domain simulation can be combined efficiently. the proposed method can get nonlinear information which never obtained by past techniques, so it shows a new way for analyze oscillation problems in interconnected power systems
通過正規形方法、小信號穩定特徵值計算技術、時域模擬、 prony分析的有機結合,達到小擾動和大擾動后低頻振蕩穩定性分析的統一,為互聯系統低頻振蕩分析開辟了新的思路。By means of establishing the mathematical model and simulative model for double wishbone typed independent suspension frame of certain light - duty lorry and using the adams software to simulate the variation law of front restraint angle of wheel at different positions of splitting points during the moving course of lorry, and verified the correctness and reliability of the simulated result by applying the spatial analytic geometric relation formulae
摘要通過建立某輕型卡車雙橫臂式獨立懸架的數學模型和模擬模型,利用adams軟體模擬汽車運動過程中不同斷開點位置車輪前束角的變化規律,並用空間解析幾何關系式驗證了模擬結果的正確性與可靠性。It is important to study the structures of finite groups by combining some subgroups with some properties in the researches on finite groups. in this paper, we discuss the following : ( 1 ) the relations between the - pairs of maximal subgroups and c - normality, weak c - normality, s - normality, the normal index of maximal subgroups ; ( 2 ) some results on solvablity of finite groups that are obtained by using the s - normality of subgroups ; ( 3 ) the - pairs of general proper subgroups of finite groups as the generalization of the - pairs of maximal subgroups that is used to describe c - normal subgroups, weak c - normal subgroups and s - normal subgroups, by which some new results on finite groups are obtained ; ( 4 ) some new results on p - quasinilpotent groups and p * - nilpotent groups
本文在前人的基礎上,討論了以下內容: ( 1 )極大子群的子群偶和c正規性、弱c正規性、 s正規性、正規指數之間的關系; ( 2 )利用s正規性得到了關于有限群可解性的幾個結果; ( 3 )將極大子群的子群偶推廣為有限群的一般真子群的偶,證明了有限群的c正規、弱c正規以及s正規子群都可以用一般真子群的偶來描述和幾個新的結果; ( 4 )研究p擬冪零群和p ~ *冪零群,得到了一些新的結構定理。Adopting the track irregularity to the actuator sources of system, then simulate the track irregularity and check the validity of simulation, at the same time compute the dynamical response and evaluate the statistic rules of wan zhou yangtze river bridge in the condition of high speed vehicles
採用軌道不平順作為了系統的激勵源,模擬出了軌道不平順年並檢驗了模擬的正確性,評價了萬州長江大橋在車輛高速行駛狀態下的動力響應和統計規律。In this dissertation we mainly study normal family of meromorphic functions, uniqueness of meromorphic functions, complex oscillation of differential equations in the complex domain and the value distrbution of quasimeromorphic mapping. the main works are following : 1
本文主要研究亞純函數正規族,亞純函數唯一性、復域內微分方程解的復振蕩及擬亞純映射的值分佈問題。本文主要工作簡述如下:一The normal form of a class of special semi - quasi - homogeneous functions is proved by using the properties of the semi - quasi - homogeneous function in time references [ 1 ], so that the classification of the semi - quasi - homogeneous functions is further simplified
摘要利用文獻[ 1 ]中給出的半擬齊次函數的性質證明了一類特殊半擬齊次函數的正規型,使得半擬齊次函數的分類更加簡化。According to a real ac vf asynchronous dynomometer system, first step, the paper deducts the mathematic model of the system, and analyzes the system stability on the basis of the ? irst method ? of lyapunov stability, then draws the eigenvalues of the system under the situation of the variation of different parameters, and results in finding the changing regularity of the system stability caused by varitation of variant system parameter ; secondly, sets up a system simulation model in terms of a real power feedback ac vf asynchronous dynomometer system, and emulates different running states of the system, not only analyzes methods of adjusting parameters to improve the working performance in the field of weak flux of the system, but also proves the effectiveness of the methods via simulation ; at last, compares the simulation results of the model with the experiment results of the real system, and show the nearly correctness of simulation system, and also confirms the practical usage of the simulation system as an effectively assistant tool in the process of developing and design a real dynomometer system
首先根據實際系統工作原理推導出系統的數學模型,在系統數學模型的基礎上依據李雅普諾夫穩定性判別第一法進行了系統穩定性分析,繪制了系統不同參數變化時的系統特徵值變化圖,從而得到系統部分參數變化對系統穩定性的影響規律,為實際系統的參數設計提供了參考;然後又以系統數學模型為基礎,依據實際的電封閉交流變頻異步測功機系統建立系統模擬模型,模擬不同工況下系統運行情況,分析了改善弱磁區系統性能的某些系統參數調節方法,通過模擬證明了此類方法的有效性;最後將系統模型與實際系統的實驗結果進行了比較,驗證了模擬系統模型的基本正確性,也肯定了這一模擬系統在實際測功機系統設計中作為輔助工具的實用性。In this paper, the base coordinate is on the biped ' s pelvis, and an closed - form inverse kinematic solution is deduced
摘要在兩足機器人的上身建立基坐標系,給出了一種解析方法,並用這種方法進行步態規劃,通過模擬實驗驗證了該方法的正確性。This paper with the help of the m file and simulink toolbox in the matlab simulate the buck - boost circuit system dynamicly. the large amount of dynamic simulation figures given in this paper verified the correction of the results of theoretical analysis
本文利用matlab中的m文件和simulink工具對buck - boost電路系統進行了動態模擬,改變系統中的各個參變量,觀察並對比其動態變化規律,文中給出了大量的模擬圖形,驗證了理論分析的正確性。We define the concepts : weakly quasinormal subgroup and s - weakly quasinormal subgroup and come to some new criteria of solvability, supersolvability and nilpotence of finite groups under the assumptions that the groups have some kinds of weakly quasinormal or 5 - weakly quasinormal subgroups
本文利用弱擬正規子群及s -弱擬正規子群來研究有限群的結構,得到了有限群的可解性、超可解性以及冪零性的一些新刻畫。Its brings forward data processing means, discusses estimate means and spread rule of random error and system error, presents error equation, validates adequately by theory analysis combining practice, obtains a great deal experiment data, finds change rule of vehicle plane error
提出了數據處理的方法,討論了隨機誤差和系統誤差的估計方法和傳播規律,給出各單項誤差的方程,把理論分析與實踐相互結合,進行充分驗證,獲得大量實驗數據,得到車載平臺誤差的變化規律,通過模擬驗證了數學模型的正確性。分享友人