共查询到20条相似文献，搜索用时 31 毫秒
1.
文章主要分析了目前在VISTA系统中微软SLP2.0技术的验证原理,指出了该技术存在的弱点,给出了当前通过SLP2.0验证的方法。 相似文献
2.
提出了一种基于粗糙集理论的数据挖掘算法模型,该模型可以直接将发现的知识转化为可用的规划,并通过实例验证了该方法的有效性。 相似文献
3.
中长期电力负荷预测的回归模型及其应用 总被引：2，自引：0，他引：2
甄利玲 《雁北师范学院学报》2002,18(5):54-56
针对中长期电力负荷预测中观察数据及负荷变化规律,提出了一种预测方法,该方法通过建立具有线性回归模型或非线性回归模型,可以直接由观察数据预测出未来负荷值.本文通过实际算例验证了该方法的可行性. 相似文献
4.
实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。同时,分析了该协议所应具有的性质并转化为形式化公式。最后,使用模型检测工具UPPAAL对协议性质进行了自动验证。验证结果表明,该协议虽然满足互斥与无死锁两个基本性质,但无法保证进程活性。该方法具有自动化程度高、验证速度快的特点,易于运用与推广。 相似文献
5.
李精华 《桂林师范高等专科学校学报》2011,25(1):149-151
以典型的74LSl60同步十进制计数器为例,运用反馈清零法和反馈置数法设计六十进制计数器来讲述任意进制计数器的设计方法;用Proteus软件进行仿真设计,该设计方法灵活直观,可以在缺少硬件的条件下能很快对所设计电路的正确性进行验证;通过万能板完成电路制作,进一步验证理论设计的正确性。通过该方法的学习,可加深学生对计数器的理解,提高学生的电路设计和动手能力。 相似文献
6.
7.
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。 相似文献
8.
本文讨论了使用全站仪进行边角后方交会的三种计算方法,分析了点位精度和最佳点位图形,并通过理论和实例验证了该方法的可行性。 相似文献
9.
针对《网络安全技术》课程的教学实践,分析该课程项目实训的现状,根据课程的特点,提出网络安全课程项目实训的教学新方法,包括研究技术实现、模拟实验和通过实例重现这3个方面,通过实践验证该研究方法的有效性。 相似文献
10.
介绍了一种基于移动Agent整合现有独立数据库系统的方法,并通过现有的JADE软件平台进行了实现和验证,证明利用该方法可以使数据进行跨平台、透明地传输。 相似文献
11.
介绍了用斜渐近线求解一类极限问题的一般方法,将相应结果推广到抛物渐近线的情形,并给出了证明。最后,通过几个典型例题验证了该方法的实用性。 相似文献
12.
13.
该文针对在多AGV系统调度中如何提高系统运行效率的问题,建立了AGV调度系统模型,并设计了求解最优调度方案的算法。该方法首先通过一种启发式算法,确定初始调度方案,然后运用基于博弈论的算法优化初始调度方案,提高了系统效率。通过仿真实例,验证了该方法的可行性和有效性。 相似文献
14.
钻尾机控制系统包括人机交互子系统和单片机控制子系统。通过介绍钻尾机控制系统串行通讯的实现,包括硬件结构及软件设计,方法验证的结果表明了该串行控制方法的有效性。 相似文献
15.
吴志伟 《泉州师范学院学报》2009,27(2):34-37
介绍一种新的基于复Gaussian小波变换的心电信号预处理方法,并从理论、实验两方面验证了该方法的可行性．通过对美国MIT／BIH心率失常数据库中数据的实验分析,证明了该方法比经典的Tompkins方法更简单、效果更好． 相似文献
16.
利用梅利尼科夫(Melnikov)方法推断在非线性RLC串联电路中存在混沌现象,并通过计算机模拟,验证了该推断的有效性. 相似文献
17.
介绍一种改进磁场描绘仪测量地磁场水平分量的方法,通过实验,验证了这种方法测量得到的结果与已有文献的数据基本一致,分析了该方法引起误差的原因． 相似文献
18.
基于小波系数相关性的图像去噪研究 总被引：1，自引：0，他引：1
本文主要介绍了一种基于小波系数相关性的图像去噪方法。为降低图像噪声增强程度,此方法对小波变换的阈值函数利用相关性进行了改进。同时,通过实验验证了该方法的有效性。 相似文献
19.
金渊智 《三门峡职业技术学院学报》2012,(4):99-101
文章介绍了常见的DCT域水印嵌入方案,利用香农公式提出了一种通用的水印容量计算方法,通过对两大类典型DCT域水印容量的计算。验证了该方法的实用性。 相似文献
20.
该文针对在多AGV系统调度中如何提高系统运行效率的问题,建立了AGV调度系统模型,并设计了求解最优调度方案的算法。该方法首先通过一种启发式算法,确定初始调度方案,然后运用基于博弈论的算法优化初始调度方案,提高了系统效率。通过仿真实例,验证了该方法的可行性和有效性。 相似文献