共查询到20条相似文献,搜索用时 31 毫秒
1.
本文讨论了用于并发系统规范的2种方法;时序逻辑方法和状态自动机方法.由此,本文提出了一种新的规范形式——公平转换系统规范FTSS(fair transition system specification).此规范方法集成了状态自动机方法和时序逻辑方法的优点,改进了时序逻辑方法通常较复杂、不易理解,特别是它不能用于描述并发系统的局部性质等不足.进一步对FTSS中的每一部分进行了讨论,得到结论;FTSS是机器封闭的,规范过程是相容的且是完全的.一个有丢失传输协议的例子表明作者的方法具有简单、直观、易于理解和便于使用等特点.最后给出了FTSS的一些应用.它为程序验证和并发系统的逐步求精提供了一个统一的框架,已成功地应用于程序验证中. 相似文献
2.
基于词频的特征表示方法难以准确表示Email的主要内容,从而导致分类的综合性能(F—score)较差,为了解决这个问题,将领域知识引入了Email的特征表示,并在此基础上提出了一种综合领域知识和词频的特征表示方法,用于Email分类.本方法在词频特征的基础上加入人工总结出的领域特征,从而更加准确地表示Email的主要内容,以提高Email分类的平均F—score.基于1080篇Email的分类测试结果表明,与基于词频的特征表示方法和基于领域知识的特征表示方法相比,本方法在针对Email标题实现的Email分类中将平均F—score分别提高了12.28%和23.08%,从而达到69.33%的分类平均F—score. 相似文献
3.
程序设计课程教学模式探析 总被引:4,自引:0,他引:4
程序设计课程的指导思想是:使学生掌握高级编程语言知识和编程技术的同时.掌握通过程序设计的解决问题的思想和方法,训练逻辑思维能力,培养严谨的科学作风.应改革现有教学模式,如采用系统化的观点.以程序设计为主线.整合教学内容,用任务驱动的方式,授课重点放在程序设计思想和方法上.摒弃以“解释程序设计语言”为主的做法。 相似文献
4.
基于知识的快速角点提取 总被引:5,自引:0,他引:5
本文提出一种基于查表技术知识的基角点提取方法.就一定的考察点数目来说,该方法由于采用了人的知识,其检测效果是很好的.由于采用了查表技术,该方法的速度非常快,并且易于硬件实现.当用硬件实现该方法,对于512×512的真实图像,角.点提取能以电视速率进行.本文详细讨论了查找表的构造方法和知识的采集方法.实验表明该方法工作得很好. 相似文献
5.
传统的面向数据、过程软件设计方法,把数据和过程作为相互独立的实体,忽略了数据和程序之间的内在联系.要想进一步提高软件质量及软件生产率比较困难.本文首先简要介绍一下00方法的一些特点,然后,主要讨论面向对象方法对软件质量及软件生产率的影响. 相似文献
6.
遗传算法多样性测度问题研究 总被引:9,自引:0,他引:9
对个体多样性测度方法做了比较详细的概括,对于基因型遗传进化过程,还从编码层次上讨论了它对多样性的影响.以相对顺序欺骗函数和Rastrigin函数为例,讨论了交换和变异操作对多样性的影响.同时,探讨了增强多样性的方法,验证了参数自适应控制方法对顺序编码的控制和对二进制问题的多样性控制方法,提出了对二进制编码的适值自适应调整方法,并通过仿真验证了该方法的有效性. 相似文献
7.
基于细化的对象分析和设计方法 总被引:2,自引:0,他引:2
面向对象的开发方法是一种很有前途的软件开发方法.它通过对应用系统的问题空间对象直接建模,然后将它们同态映射到解空间,使应用易理解、易维护.然而,对于大而复杂的应用系统,这种方法较难识别问题空间中的对象.本文在比较了功能化和面向对象的开发这两种方法后,提出了一种基于细化的对象分析和设计方法ROAD. 相似文献
8.
9.
10.
11.
元模型互操作框架是一套元对象和元模型结构的集合.用于信息注册和信息资源库开发中元模型的建立.将元模型互操作框架MMFI与联邦信息管理技术结合.运用表体元建模方法,建立Web服务注册联邦的体系结构,以实现异构自治的Web服务注册问可扩展的语义互操作.提出表体对象建模理论和方法,指导Web服务注册联邦系统的开发设计,简化设计开发过程.介绍了一个依据上述方法建立的软构件注册平台的原型系统. 相似文献
12.
基于线性关联大系统的比较方程稳定性判据,给出了一种完全解耦的子系统控制器设计方法.该方法通过构造一个向量Lyapunov函数来满足比较方程的稳定性要求,并将控制器的设计转换为一组线性矩阵不等式的求解,进而对大系统进行镇定.由于各子系统控制器的设计可独立进行,相较于加权Lyapunov函数方法,该方法降低了控制算法的计算量和难度.仿真结果表明了该方法的可行性和有效性. 相似文献
13.
路径选择性代价估计是XML查询优化的基础,也是研究的热点.目前的方法采用大量正态分布和独立性分布假设是造成误差的根本原因.定义了一种新颖的值一位置直方图用于统计XML数据中的结构和值的分布情况,并提出了6种直方图运算.在此基础上,给出用直方图计算估计路径中任一结,最选择性的方法.实验证明,这种方法无需独立性分布假设,也能在数据结构和数值分布不均匀的情况下。精确地估计路径选择性代价. 相似文献
14.
针对管道内表面粗糙度等级的非接触式检测问题,提出了一种新的基于支持向量机
(SVM)和方差的组合分类方法.SVM是近年发展起来的具备较高分类性能和容噪能力的机器
学习方法,但当输入数据量大时,SVM分类的时间耗费太大,系统难以实用化.故本方法首
先根据统计方差对待测管道的内表面粗糙度进行分类,再利用SVM进行细分.这样就有效利
用了支持向量机识别率高、容噪能力强和统计方差速度快的优点.实验表明本方法具有较好
的识别精度、效率和容噪性能.如适当调整参数,本方法还可用于其它物体表面的粗糙度检
测,具备良好的推广性. 相似文献
15.
16.
频域体绘制中的颜色合成 总被引:1,自引:0,他引:1
和传统体绘制算法相比,频域体绘制算法具有较低的算法复杂度,能够更快地完成对三维数据场的显示.然而这种方法却不能简捷有效地表示和处理数据场的深度信息,因此其生成的图象缺少深度的遮挡效果.有鉴于此,Levoy等曾通过诸如线性深度补偿的技术来弥补这一缺憾.尽管如此,运用这种技术得到的结果和传统空域方法仍有明显的差别.本文首先着眼于对空域体绘制方法中广泛采用的离散颜色合成技术的分析,然后引出了透明度密度分布函数的概念,进而推导出连续形式颜色合成过程的解析描述.根据这个结果,只要对三维数据场的透明度分布加以适当限制,就能够通过频域体绘制方法来实现颜色合成,增加绘制的深度效果.作者最后指出,基本频域体绘制方法和Levoy的线性深度补偿方法的实质可以看成是这种颜色合成过程的近似.文中对透明度均匀分布的情况做了详细讨论,并且给出了具体算法,同时用生成的图象实例相应地进行了比较. 相似文献
17.
18.
对仿射非线性系统全维观测器设计方法进行了讨论,提出了一种设计方法.该方法基于微分Riccati方程的正定解,观测器的增益矩阵通过Riccati方程的正定解给出,因而观测器增益矩阵为时变的.通过坐标变换,用李亚普诺夫方法对观测器的存在性进行了论证.对一个实际模型的仿真分析表明了该方法的实用性和正确性. 相似文献
19.
基于 HMM的分布式拒绝服务攻击检测方法 总被引:6,自引:0,他引:6
在分布式拒绝服务(DDoS)攻击时,网络中数据包的统计特征会显示出异常.检测这种异常是一项重要的任务.一些检测方法基于数据包速率的假设,然而这种假设在一些情况下是不合理的.另一些方法基于IP地址和数据报长度的统计特征,但这些方法在IP地址欺骗攻击时检测率急剧下降.提出了一种基于隐马尔可夫模型(HMM)的DDoS异常检测方法.该方法集成了4种不同的检测模型以对付不同类型的攻击.通过从数据包中提取TCP标志位,UDP端口和ICMP类型及代码等属性信息建立相应的TCP,UDP和ICMP的隐马尔可夫模型,用于描述正常情况下网络数据包序列的统计特征.然后用它来检测网络数据包序列,判断是否有DDoS攻击.实验结果显示该方法与其他同类方法相比通用性更好、检测率更高. 相似文献