可验证性
- 与 可验证性 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
In this master thesis, we mainly discuss the adjacent vertex- distinguishing total chromatic numbers of some special graphs and prove that Zhang"s conjecture holds for these graphs. Then we get the adjacent vertex-distinguishing total chromatic numbers of the Halin Graphs. Moreover, we investigate the Generalized Petersen Graphs, prove that some classes of positive integers can"t structure the Generalized Petersen Graphs and get the result that the adjacent vertex-distinguishing total chromatic number is 5. Finally, based on the number and the parity of circles contained by the graph, we get the adjacent vertex-distinguishing total chromatic number of two classes of graphs.
本学位论文首先主要针对几个特殊图类讨论其邻点可区别全色数,验证了其满足图的邻点可区别全色数的猜想;再证明了非轮的Halin图的邻点可区别全色数;接着研究的是广义Petersen图,讨论了不能构成广义Petersen图的几类正整数,并证明了该图的邻点可区别全色数等于5;最后,根据图所含圈的个数及其奇偶性得到了两类图的邻点可区别全色数。
-
The main factors affecting the soil-structure interface behaviors were found experimentally and theoretically, including: 1 the thickness of the interface that is five to six times the average grain size of the soil; 2 the aeolotropy of interface, which is responsible for anisotropic response of the stress-strain response of the interface; 3 two physical states, including crashing and compression of the soil near the structure surface, which govern the stress-strain response of the interface strongly; 4 two shear deformation components due to sliding and constraint of the structure surface relative to the soil respectively, which forms the deformation of the interface; 5 the volumetric strain due to dilatancy, which is found to be composed of a reversible dilatancy component and an irreversible dilatancy component. 4. A unified constitutive model of the interface, based on new elasto-plasticity damage theory, was developed. It was confirmed to be effective for the conditions considering monotonic and cyclic shearing, coupling effect of shear and volumetric strains, evolution of physical state, micro-structure aeolotropy of the soil and the resulting aeolotropy of the interface as well as the three normal boundary conditions stated above. 5. 2D and 3D finite element formulations of the present model were derived and incorporated into the FEM codes. They were applied to the evaluation of practical engineering problems with different typical interfaces between soil and structure. The new model was shown to be reasonable and effective.
确定了粗粒土与结构接触面厚度约为5~6倍的平均粒径,首次揭示了接触面的细观结构异向性以及由此所引起的宏观剪切异向性,发现了在单调和往返剪切荷载作用下土颗粒破碎和剪切压密两种物态变化机制共同支配着接触面力学性质的变化,通过细观分析证实了接触面的变形可分解为一般同时发生的土与结构交界面上的滑移变形以及结构面位移约束范围之内土体本身的剪切变形两部分,观测到接触面受剪时表现出明显的相对法向位移,并可分解为可逆性和不可逆性两个分量;(4)建立了第一个能够统一地描述单调与往返剪切特性、剪应变与体应变耦合特性、细观结构和宏观剪切异向性以及土颗粒破碎等物态变化特性的土与结构接触面弹塑性损伤本构数学模型,并采用多种法向边界条件复杂加载路径的试验成果验证了新模型的合理性和有效性;(5)提出了新模型的二、三维有限元格式并结合实际边值问题进行了应用计算分析,比较了不同接触面本构模型对计算结果的影响,证实了新模型及其有限元格式不仅能够合理地描述土与结构接触面的主要力学特性,还能够较好地反映土体与结构物在接触面处的滑移、脱开等不连续现象。
-
The structure of the controller is simple and the neural compensator does not require a complex iterat...
仿真验证表明,本文方法可保证闭环系统具有良好的重构性和鲁棒性。
-
The effect of tribology factors on bearing vibration is studied experimentally. AR model and WPT are used to processing the normal arid abnormal signals. The results are as follows:1. The vibration of ball bearings is caused by the tribology action of contact pairs of ball and ring races and has the essential of tribo-dynamics. Any factors affecting the tribology characteristics of contact pairs will affect vibration and noise of bearings consequently.2. Vibration characteristics of bearing keep almostly unchanged with the increasing of axial load expecting the increasing of nature frequencies. When radial load increasing with axial load unchanged, nature frequencies keep unchanged but some new vibration peaks appears in the spectrum.3. Vibration amplitudes are damped and nature frequency are enhanced with sufficient lubrication. Vibration and noise of bearings increase obviously and roar can happen and the contact surfaces scratch slightly under insufficient and unclean lubrication state. Bearing will be disabled in a few minutes without any lubrication.4. Bearing vibration is unstable under low speed. With the speed increasing, the vibration become stable and natural frequencies increase slightly but the amplitudes increase apparently.5. Bearing vibration can be excited only by some harmonics ofwaviness without lubrication and by all harmonics with lubrication based on the theoretical analysis.6. The nature frequencies of ball bearings decrease with the increasing sizes. When international clearance increasing, nature frequencies decrease in radial and increase in axial and angular and the amplitudes increase in radial and decrease in axial and angular. When the number of balls increasing, nature frequencies increase and amplitudes decrease. When the pitch diameter increasing, axial nature frequency increase and others nearly keep no change. When outer race groove curvature radius increasing, nature frequencies increase in radial and decrease in axial and angular and amplitudes keep no change in radial and increase in axial and angular. When inner race groove curvature radius increasing, nature frequencies decrease and amplitudes increase.7. The distortion in amplitude and frequency components of bearing vibration signals picked up by the present probe measurement method is founded and right conclusions cannot be achieved by the signals. When accelerometer is rigidly screwed with steel stud onto a flat outer surface of a ball bearing, vibration signal can be got without distortion and the reliability of research on bearing vibration is assured.8. AR model is suitable for large samples of bearing vibration signals, square root of length of samples can be used as the upper limitation of order determination and the FPE order selection criterion is effective. Many advantages of AR spectrum are founded over the classical based on FFT.9. Time-Frequency analysis is necessary for abnormal noise of ball bearings. WPT overcomes the principle shortcomings of STFT and proved to be a best tool to process the abnormal signals.
理论分析和试验研究表明: 1球轴承振动是钢球—滚道接触副中的各种摩擦学作用引起的,具有摩擦动力学的本质,任何对接触副的摩擦学特性有影响的因素都将对球轴承的振动和噪声特性产生影响; 2中心轴向载荷作用下,载荷增大使球轴承的固有振动频率升高,载荷越大同样的载荷增幅引起的频率升幅减小,足够大的中心轴向载荷作用下载荷的变化对球轴承振动的频率特性不会产生明显的影响; 3轴向和径向联合载荷作用下,径向载荷不大时球轴承振动的固有频率基本不变,但是可能引起变刚度激励的非线性振动,出现新的频峰,过大的径向载荷将使部分钢球脱离接触,使球轴承的振动和噪声呈现不稳定状态; 4润滑对球轴承的振动和噪声特性有重要的影响,良好的润滑对振动有明显的抑制作用,润滑不充分时,振动和噪声的水平会有明显增高,一定条件下还会激发接触副中的谐振,发出啸声,造成接触表面的伤害,无润滑干接触时,短时的运转就会损伤接触副表面,使振动和噪声迅速增大,并随时可能引发严重的磨损和卡滞失效;接触副润滑良好时,油膜的"刚化效应"使球轴承振动的固有频率有所提高,润滑剂中含有弥散性污浊时,振动的幅度总体升高,但弥散性污浊不会改变球轴承振动的频率特性;浙江大学博士学位论文:球轴承振动的研究 5低速时,球轴承振动的基本特征呈现不稳定状态,随着转速的提高,球轴承振动的频率特性趋于稳定,固有频率频峰升高; 6理论分析表明,干接触时钢球和滚道表面波纹度的某些谐波分量能激励球轴承的振动,振动的幅值与谐波幅值成正比,实际球轴承中钢球的分布不可能完全均匀,波纹度的激励作用会随时发生;润滑接触的分析表明,波纹度的任意谐波分量均能激励球轴承的振动; 7球轴承的几何和结构参数分析表明,球轴承尺寸越大,径向、轴向和角振动的固有频率越低;钢球中心圆直径增大,球轴承的径向和轴向振动的固有频率基本不变,角振动的固有频率有所上升,振动的幅频特性基本不变;径向游隙加大使球轴承的径向振动固有频率降低,轴向和角振动的固有频率有所升高,径向振动幅频特性的幅值升高,而轴向和角向降低;钢球的数量增多使球轴承振动的固有频率上升,幅频特性的幅值下降,径向振动的幅值下降最为明显;外圈沟曲率半径系数增大使球轴承径向振动的固有频率升高,轴向和角振动的固有频率降低,径向幅频特性基本不变,轴向和角向幅频特性幅值升高;内圈沟曲率半径系数增大使径向、轴向和角振动固有频率均下降,振动幅频特性的幅值均有升高; 8试验对比表明,传感器采用探针式安装时,由于探针接触副接触特性的影响,钡(量得到的球轴承振动信号有失真,采用专门设计和制作的试验球轴承,以固定式安装加速度计,首次测量得到了球轴承振动的真实信号,通过对振动信号的分析,验证了球轴承振动的理论模型; 9)基于时间序列分析的AR模型适用于大样本球轴承振动信号的分析,以样本长度的均方根值作定阶上界,FPE做判阶准则,给出的AR谱光滑,频率分辨率高,是球轴承振动分析的简便而可靠的手段; 10以时频域分析的小波包变换分析球轴承异音信号能够比较好地定位和聚焦异音发生的时间,时间间隔,频率范围,同样是球轴承振动分析的可靠的手段,可用作球轴承故障诊断技术。
-
In particular, are using bamboo fiber plus full use of clean potable water production process Spunlace cloth, through the professional inspection agency verification, a very good natural anti-bacterial effects, powerful, and strong resistance to abrasion, oil can not afford to hair, the ball has very good moisture permeability, wear cool and comfortable, bright luster and dyeability, and new products listed on the popular back-up.
尤其是用竹纤维加全程采用可饮用纯净水工艺生产的水刺布,通过专业检验机构验证,具有非常好的天然抗菌效果、强力好、耐磨性强、布面不起毛、球,具有非常好的吸湿透气性,穿着凉爽舒适,光泽亮丽且染色性好,新产品上市后备受欢迎。
-
The main objective of this project is to research and develop a novel and high efficient video codec framework based on wavelet techniques, especially to address the heterogeneousness of video networks, the fluctuation of transmission bandwidth and the diversity of video-stream receivers. The system will have some basic characteristics of the next video coding standard, such as high compression efficiency, high scalability and high error resiliency. This project will provide a software prototype of wavelet video codec with full scalability, construct a verification platform for wavelet video on demand service, and furthermore, design some VLSI IP cores of the key module in the codec system
本项目研究的主要目的就是着眼于下一代视频编解码标准的基本特征(高效压缩,高可伸缩,高容错),以小波技术为核心构建新型高效的视频编解码系统;特别针对当前视频传输网络的异构性,网络带宽的波动性以及用户视频接收终端的多样性,实现一个码流高度可伸缩同时兼顾压缩效率的小波视频编解码软件原型,并且构建基于异构IP网络的小波视频服务的技术验证平台;进一步还将基于VLSI技术,对小波视频编解码系统的关键模块进行IP核设计
-
In this paper, by considering the convenience of consumers, we use group blind signature technology with the character of hash chain to create the dividable and anonymous e-cash. Thus the users can consume not only in the home mobile domain but also visit mobile domain without register and authentic. We use off-line e-cash to increase the efficiency of payment exchange. Under the fair principle of all participators, we set a convenient and secure mobile payment.
因此,以消费者使用上的最大便利性为考量,本研究利用群体盲签章加入杂凑链之特性的方式来产生可分割的匿名电子现金,让消费者不只可以在主系统业者的网域内作消费,当其到漫游业者的网域内消费时,也不需要额外的认证及注册过程,并采用离线验证的方式来增加付款交易的效率性,在考虑各角色公平的原则下,提供一个方便、安全的行动付款系统。
-
The major findings are:⑴During the intelligence test for the three groups of students, for half of the students or most of the students their scores on the all-including scale, the language scale and the performance scale all increased to various degrees;⑵From the analysis of the relationship between intelligence and reaction time, it is found that the result of this study confirms the existing views that there is a negative correlation between intelligence and reaction time, and the negative correlation is more evident when it is choice reaction time;⑶Different motor skills have different influences upon children with lower intelligence. Though the difference is not large, the average increasing percentages in the sample T tests for the three groups before and after the experiment show that the effect of open motor skill is the best, that of the synthetic motor skill or the open-closed is the better, and that there isn't a marked change in the closed motor skill trainees;⑷While analyzing the result of the experiment, it is found that the scores on the performance scale are higher than the scores on the language scale, especially in the open motor skill group, which tells us that the intelligence improving effect of physical training is realized to a greater extent through increasing their performance abililty.
研究结果显示:⑴相对于实验前测试结果,三个实验组学生的智力水平在实验后测试中不论是在全量表得分还是在语言量表、操作量表得分方面均得到了不同程度的提高;⑵从智力与反应时的相关分析可看出,本研究结果进一步验证了前人观点,即智力与反应时有显著的负相关,特别是与选择反应时有很强的负相关性;⑶不同运动技能对智力落后学生智力影响不同,虽然实验后各组间没有显著性差异,但经各组实验前后配对样本T检验及实验前后各项分数均值提高百分率可看出,开放式运动技能组实验效果最好,综合运动技能组次之,闭锁式运动技能组实验前后在智力测验量表得分上无显著性变化;⑷各组实验前后的操作量表分比言语量表分提高幅度更大,开放式运动技能组表现得尤其显著,这表明了体育活动对改善智力落后学生的智力水平,很大程度上是通过提高他们的操作能力来实现的。
-
The system implemented forest fire model selection automatically and intelligently. BP artificial neural network model of forest fire model selection was build by treating forest fire environment data as inputting variable and treating appropriate forest fire model as outputting variable. At the same time, we studied the methods of acquiring and calculating data of inputting and outputting. The system implemented machine of model selection automatically based on dynamic data driven technology. We selected 72 items experimental data from historical forest fire records in Beijing to experiment and confirm the validity of model selection. It turned out that the reliability of model selection is more than 80 percent.
3基于BP人工神经网络方法设计了林火模型适宜性选择技术框架结构,通过神经网络形成林火模型选择知识,实现了林火模型的自动化和智能化选择;以火场环境因子为输入变量,以适宜火场环境模拟的林火蔓延模型作为输出变量,构建了林火模型选择神经网络模型;研究了输入、输出因子数据的获取与计算方式,实现了动态数据驱动的林火模型自动选择机制;以本京市为例,选择了有详细火场情况记录的72场林火作为实验样本,其中60条记录作为学习样本集,12条记录作为验证样本,对神经网络进行了学习和验证,实验结果表明,模型选择精度可达到80%以上。
-
The methods of IR and others were carried on in order toverify the structural formula of XN. The validation of analytical procedures wasconducted according to quality standard of XN in supplement of ChinesePharmacopoeia in 2002. The results show that the structural formula of XN isright and XN can be analysed in accordance with the quality specification of ChP.The results of three lots repeat tests show that the optimal process for XN wasrepeated excellently and quality of products is stable and controllable.
所合成的烟酸占替诺经红外分光光度法等波谱测定,证明其结构正确;经检验方法学验证,确证该产品适用于按《中国药典》质量标准检验;经三批次重复验证试验,结果表明优选的烟酸占替诺合成工艺重现性好,所得产品质量可控,收率为91.1%,接近文献报道的最高收率。
- 推荐网络例句
-
On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.
另一方面,更重要的是由于城市住房是一种异质性产品。
-
Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.
气候直方图是将所收集的降水量测定值,分为几个相等的区间作为横轴,并将各区间内所测定值依所出现的次数累积而成的面积,用柱子排起来的图形,也叫做柱状图。
-
You rap, you know we are not so good at rapping, huh?
你唱吧,你也知道我们并不那么擅长说唱,对吧?