结果表明,利用符号模型检验方法分析检验网络协议是可行的。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
他希望检验网络沟通的边界,使我们有机会参与改变我们接受信息的方式。
Brendan is hoping to test the boundaries of on-line communication and provide us a chance to meditate about the way we receive information.
网络课程的学习评价是网络教学活动中的重要环节,是检验网络学习效果的重要指标。
The evaluation on web-based course learning is not only an important part of web-based teaching activities but also an indicator for assessing web-based learning.
文中结合实际,通过检验网络的建立和对单船进行控制来提高质量意识,进行了有益探讨。
This paper probes how to raise one's ideology on quality through setting up inspecting network and controlling to single vessel.
如何检验网络辅助教学质量,尤其是对教师在这种新型教学方式下的教学评价问题是目前亟待解决的问题之一。
How to prove the quality of web-assisted instruction, especially instructional evaluation of teachers in this brand-new teaching area, is to be urgently settled at the present time.
通过检验网络的度分布的熵、幂指数和顶点的最小度之间的关系,获得了无尺度网络对于随机错误的最优设计。
By examining the relationship of the entropy of the degree distribution, scaling exponent and the minimal connectivity, we get the optimal design of scale-free network to random failures.
目的遵循ISO/IEC17025质量体系要求,针对市级疾病预防控制中心建立新型的卫生检验网络化管理系统。
Objective With the ISO/IEC17025's quality system requirement, the new examine network management system had been built for the city grade centers for disease control and prevention.
如何检验网络社会生态系统是否已经达到稳定,或者如何使网络社会达到稳定状态,这就是我们现在所要研究的一个重要课题。
How to test that the stability of network social ecosystem has been achieved, or how to make the network society reaches a steady state, is now an important subject to study for us.
内核将首先载入内核模块,然后检测硬件(软驱、硬盘、网络适配器等),检验硬件配置,然后扫描和载入设备驱动程序。
The kernel will load kernel modules first, then detect hardware (floppy drive, hard disk, network adapters, etc.), verify hardware configuration, and then scan and load device drivers.
他假定他的个人资料已经被网络服务器中清除,虽然他没有方法检验。
He assumes his profile has been expunged from the network's servers, though he has no way of checking.
为了测试TeamRoom的通知功能,而不必访问外部网络,也不使用电子邮件检验系统,我们可以编写mock测试方法。
In order to test our Team Room notification function without accessing the external network or having an email validation system in place, we can write mock test methods.
并且CDC拥有一个医务人员的网络,这些医务人员常规性的对病人抽样并测试,以检验他们携带哪些可能在社会中流行的致病体。
And the CDC has a network of physicians who routinely sample and test patients to see what bugs they have and might be circulating in the community.
在公开发表作品之前,我喜欢先通过六种方式来进行检验,而网络的即时性不符合我的习惯。
But I like to work on things six different ways before I put them in a public situation, and the immediacy of the Web is not conducive to that.
将本控制网络应用于自主研发的水下机器人,成功完成了湖试检验。
This control network was used in underwater vehicle which was developed by us and completes the lake trial successfully.
潮邦经过多年的市场检验,以完善优质的服务网络,为广大客户提供“一站式全能管家服务”。
After years of market inspection and well-qualified service network, Kelans provides all the customers with"heart house-keeper service".
此外,通过对10个CNN网络进行KS检验统计量的比较,证实该方法比图形方法具有更好的拟合效果。
Furthermore, it has been verified to have higher goodness-of-fit than graphical methods by comparing the ks test statistics for 10 CNN networks.
该算法经两个常用函数检验,并在图象识别的神经网络权值训练中得到应用。
The algorithm is tested by two generally used functions and is used in training a neural network for image recognition.
中国卫生部已经决定将样本送交世界卫生组织国际确证实验室网络中的实验室进行检验。
The Ministry of Health of China has decided that samples will be sent to a laboratory that is part of the WHO international reference network.
研究一种考虑单一故障检验的输电网络规划模型。
This paper presents a model for transmission network planning which considers single contigency tests.
我们所使用的统计学工具包括神经网络备选模型的条件数分析,假设检验,交叉验证等。
The tools we consider are the analysis of the numerical conditioning of the neural network candidates, statistical hypothesis tests, cross validation, and so on.
网络训练后的检验精度较高,通过编制的用户界面实现了一定工艺参数范围内的熔深预测。
The trained network can predict fusion penetration in a definite range through GUI, which has good verifying precision.
t检验结果表明,BP神经网络训练和预测得到的模拟值与实测值之间吻合很好,该方法具有较高的预测精度。
The t-test result showed that the prediction value agreed with the observation data fairly well and the BP neural network model had rather high prediction precision.
利用网络测试来检验软件在网络环境的健壮性、可靠性及响应速度。
So network testing must used to test robustness, reliability and responding time.
网络规划真品牌,既有理论探讨价值,又在实践中得到了检验。
Planning genuine brand on Internet concerns about not only theory but also practice.
通过检验发现神经网络预测模型在预测精度上要高于随机游动模型,而且两个模型的预测结果存在明显的差异。
Through the test we found that the forecast accuracy of neural network forecasting model is higher than that of random walk model, and there is an obvious difference between two models.
通过检验发现神经网络预测模型在预测精度上要高于随机游动模型,而且两个模型的预测结果存在明显的差异。
Through the test we found that the forecast accuracy of neural network forecasting model is higher than that of random walk model, and there is an obvious difference between two models.
应用推荐