面向实现的协议形式化描述语言

该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述。     

基于信用透支的公平电子现金交易系统

综合分析电子现金系统各种模型,针对目前电子现金交易系统存在的问题,提出了基于信用透支的公平电子现金交易协议.采用了多重签名算法,实现了银行与实时交易分离,提高系统的运行效率;并能够在发生经济纠纷时,根据纠纷双方提供的电子证据实施仲裁,保证交易公平性.     

基于K-means聚类方法的三维点云模型分割

提出采用K-means聚类分析方法对三维点云模型进行分割。论文指出,对于分布呈现类内团聚状三维点云模型,K均值聚类分割可以得到较好的结果。与三维网格模型的K均值聚类分割、点云模型的谱系聚类分割的实验结果比较证实了这一点。     

电视功能在高端智能手机上的研究与实现

随着移动终端技术的发展,以及市场对其在功能上不断提出的新的需求,通过手机接收电视信号也已经成为一种发展趋势和要求。论文在智能手机的硬件基础上,加入电视无线信号的接收芯片和其他相关的芯片,通过软件和硬件的配合在手机上实现了接收无线电视信号的功能。     

网络入侵检测系统中的特征降维方法

一般来说,入侵检测系统（IDS）识别入侵者时,所使用的相互独立的特征越多,则提供的分类信息也越多,也越有利于提高IDS的正确识别率,但另一方面,IDS是借用一些数学方法来完成的,它要求用于分类的特征越少越好。为了解决这个矛盾,提高IDS的实时性和整体性能,给出了一种特征降维算法,即,通过数学变换,把原来n个特征的信息尽量集中到较少的k（k<n）个新特征中去,然后用这k个新特征识别入侵者。这些较少的新特征作为IDS的输入,可以提高IDS的整体性能。以此为基础建立了一个基于反向传播神经元网络的IDS。实验证明用该方法所建立的IDS效果较好。给出的特征降维算法既可以保留原来n个特征的信息,又能用较少的k个新特征识别入侵者,提高了IDS的总体性能,降低了计算复杂度。     

一种适于带时间戳安全协议的形式化分析方法

提出了一种适用于带有时间戳的安全协议的有色Petri（CPN）形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPN Tools,采用CPN ML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分析结果表明该方法有效,且操作简单容易理解。     

基于真实景物的虚拟现实场景的生成

在分析基于实景的虚拟现实场景建模特点的基础上,运用一个具体的实例来阐述了基于实景的虚拟现实场景的生成过程及其相关注意事项,通过合理建模减小复杂度、通过真实感贴图来增强逼真度、通过模型导入的对象化来实现对虚拟物体的控制、最终在逼真性、实时性和可控性方面都达到了较好的效果。     

SoC总线串扰的精简MT测试集

多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损失MT故障覆盖率;还设计了MT故障模型的软件自测试程序来实施MT精简测试集,用于实速在线检测串扰故障,而不需要使用高速测试仪.实验结果表明,采用MT精简测试集可以有效地减少总线串扰测试的时间和向量存储开销.     

B/S体系结构及其在测试管理系统中的应用

文章在对B／S体系结构分析的基础上，基于Web服务、ASP．NET技术提出了一种改进的体系结构，并将其应用于实现测试管理系统，并给出了系统结构和程序实例。     

自适应细分曲面算法及在快速成型

为提高快速成型制造中STL模型切片轮廓的光滑性,提出了一种基于Loop模式的自适应曲面细分算法,首先分割出网格模型中的曲面和平面,对和尖锐边相邻的曲面三角面设计了特殊的细分规则.通过三角面顶点的平坦度和容差平坦度决定三角面是否做进一步细分,以达到自适应细分的目的.该算法在保留零件模型上尖锐特征的同时,提高了模型上曲面部分的光顺性,从而可以利用模型的全局信息获得光滑的2维切片数据.