基于贝叶斯网络的验证激励向量生成研究     

王润  蒋剑飞  王琴 《教育技术导刊》2020,19(7):1-4

为了解决传统数字芯片验证环节中基于仿真的验证（或动态验证）功能覆盖率收敛速度慢的缺点,提出一种新的以功能覆盖为导向的测试用例生成方法,该方法基于贝叶斯网络和机器学习技术,可实现从覆盖模型到测试用例生成器反馈回路的自动关闭,在 DUT 的验证过程中,使用该方法为所测试的设计生成新的激励。实验结果表明,基于贝叶斯网络的 CDG 技术测试用例使用较少,覆盖率收敛更快,与传统基于仿真的验证技术相比,测试用例数量减少了 43%。基于贝叶斯网络的 比于传统动态验证技术而言其芯片功能验证更完善。  相似文献   

数控机床人性化设计的研究     

徐秋枫 《成都教育学院学报》2006,20(7):91-93

数控机床的人性化设计就是在人机工程的原则指导下,探讨和应用人的行为、能力、本能极限和其他的特性来对数控机床进行设计,创造一种良好的人机互动关系,体现数控机床对人性需求的关注。文章从人机工程的角度对数控机床人性化设计的内涵进行相应的分析,得到数控机床人性化设计的研究思路。  相似文献   

多功能电子防丢器的设计与实现     

刘密歌  王路 《西安文理学院学报》2010,13(1):41-43

随着现代生活节奏的加快,人们遗失东西的现象经常发生,防遗失产品也就应运而生．文中设计并实现了一款多功能电子防丢器,它由母机和子机两部分组成,子机置于防丢物品上,母机由主人随身携带,具有防丢和寻找功能．子机留有的外接插孔可与其他传感器设备相连,构成相应的防盗报警系统．电路主要采用集成芯片制作,所以具有电路简单,工作性能稳定,功耗及成本低等优点．  相似文献   

Fault diagnosis model based on fuzzy support vector machine combined with weighted fuzzy clustering     

张俊红  马文朋  马梁  何振鹏 《天津大学学报(英文版)》2013,19(3):174-181

A fault diagnosis model is proposed based on fuzzy support vector machine (FSVM) combined with fuzzy clustering (FC).Considering the relationship between the sample point and non-self class,FC algorithm is applied to generate fuzzy memberships.In the algorithm,sample weights based on a distribution density function of data point and genetic algorithm (GA) are introduced to enhance the performance of FC.Then a multi-class FSVM with radial basis function kernel is established according to directed acyclic graph algorithm,the penalty factor and kernel parameter of which are optimized by GA.Finally,the model is executed for multi-class fault diagnosis of rolling element bearings.The results show that the presented model achieves high performances both in identifying fault types and fault degrees.The performance comparisons of the presented model with SVM and distance-based FSVM for noisy case demonstrate the capacity of dealing with noise and generalization.  相似文献   

简易网球自动发球机的研制与应用   总被引：2，自引：0，他引：2       下载免费PDF全文

陈才烈  陈涛  张铖  付豪 《体育科研》2008,29(5):71-72

针对网球训练的技术要求,研制了简易网球自动发球机,并对其基本结构、发球的频率、角度、力量等工作原理及性能特点进行了合理的分析。实验证明简易网球自动发球机对丰富教学手段,提高教学质量具有很好的实用价值和指导意义.  相似文献   

Assessment of leg muscles mechanical capacities: Which jump,loading, and variable type provide the most reliable outcomes?     

Amador García-Ramos  Belén Feriche  Alejandro Pérez-Castilla  Paulino Padial  Slobodan Jaric 《European Journal of Sport Science》2017,17(6):690-698

This study aimed to explore the strength of the force–velocity (F–V) relationship of lower limb muscles and the reliability of its parameters (maximum force [F₀], slope [a], maximum velocity [V₀], and maximum power [P₀]). Twenty-three men were tested in two different jump types (squat and countermovement jump: SJ and CMJ), performed under two different loading conditions (free weight and Smith machine: Free and Smith) with 0, 17, 30, 45, 60, and 75?kg loads. The maximum and averaged values of F and V were obtained for the F–V relationship modelling. All F–V relationships were strong and linear independently whether observed from the averaged across the participants (r?≥?0.98) or individual data (r?=?0.94–0.98), while their parameters were generally highly reliable (F₀ [CV: 4.85%, ICC: 0.87], V₀ [CV: 6.10%, ICC: 0.82], a [CV: 10.5%, ICC: 0.81], and P₀ [CV: 3.5%, ICC: 0.93]). Both the strength of the F–V relationships and the reliability of their parameters were significantly higher for (1) the CMJ over the SJ, (2) the Free over the Smith loading type, and (3) the maximum over the averaged F and V variables. In conclusion, although the F–V relationships obtained from all the jumps tested were linear and generally highly reliable, the less appropriate choice for testing the F–V relationship could be through the averaged F and V data obtained from the SJ performed either in a Free weight or in a Smith machine. Insubstantial differences exist among the other combinations tested.  相似文献   

基于KNN的图像自动分类模型研究     

余肖生  周宁  张芳芳 《中国图书馆学报》2007,33(1)

所谓图像自动分类是指利用图像自动分类器把待分类的图像分配到预定义的图像类的过程。用于图像自动分类的方法有多种。其中K近邻算法是一种基于实例学习的方法,是一种较理想的自动分类器。本文在它的基础上提出了图像自动分类模型,整个图像自动分类过程包括图像预处理、特征表示、机器学习和图像分类4个步骤。表1。图1。参考文献13。  相似文献   

多工位母线加工机液压系统分析     

孙芹 《英才高职论坛》2007,(1)

本文主要介绍了多工位母线加工机液压控制系统,并对其冲孔单元、剪切单元和折弯单元的使用方法进行了说明。  相似文献   

蚕茧削口设备研究报告     

康立业  吴宇 《潍坊高等职业教育》2007,(4)

茧丝绸业是我国的传统优势产业,蚕种场在生产蚕种过程中,为了进行蚕蛹的雌雄鉴别,须对蚕茧进行切削处理。目前,蚕茧切削还是由人工来完成。本文根据蚕茧自动削口机的创新研发过程,论述了作者对蚕茧自动削口设备研究的发展思路和项目的研制现状。同时,介绍了设计者采用的多项独特设计和创新点。  相似文献   

数控车床切断与切槽时的振刀分析及解决方法     

陈辉华 《武汉职业技术学院学报》2009,8(5):70-72,80

本文从不同方面阐述了数控车床切断及切槽时产生振刀的原因,并探讨了消除振刀所采取的措施。  相似文献