基于概率策略逻辑的VANET信息广播模型定量验证方法研究

VANET网络中信息的发送和接收具有随机性和不确定性,IEEE 802.11p广播协议无法适应VANET网络拓扑动态变化,于是研究者们根据不同环境中的具体应用需求提出了各种VANET广播协议,如何对新提出的协议的性能以及可靠性进行分析与验证是一个关键性问题.自动化的定量验证技术能够针对系统需要满足的多个性质进行分析,并给出满足需求的最大或者最小概率.然而研究人员在进行定量验证过程中使用的PTCL、rPATL等逻辑语言都不能够明确描述用户的策略是什么,因此本文提出基于概率策略逻辑的模型定量验证方法.该方法首先对系统中的多个角色使用概率时间接口自动机对其行为建模,然后使用概率策略逻辑语言对系统需要满足的性质进行描述,最后基于定量验证算法自动给出系统相关性质的分析结论.本文将该方法应用到VANET信息广播协议性能分析上,能够针对外界环境的变化选择合理的策略,从而分析出不同环境下信息广播发送成功的最大概率.

单片机160细分的原理和实现

在以光栅干涉仪为位置测量仪器的系统中,可以采用单片机细分的方法进一步提高系统精度。论述了单片机细分原理,介绍了实现160细分的硬件结构和具体实现过程。详细分析了影响精度的几个主要原因。实验表明,该方法结构简单、可靠性高,对于相似的系统也可以采用此方法提高精度。

基于SOAP协议移动终端的实现和应用

为解决企业的业务即时提醒问题,采用西门子公司的TC35芯片设计了移动终端硬件系统。该移动终端的硬件电路包括语音、数据传输、短信和传真功能,对外提供RS-232接口,支持标准AT(Attention)指令集。为解决系统的兼容性,软件采用SOAP(S imp le Ob ject Access Protocol)协议,分3层实现了短信接口功能,并利用W SE(W eb Services Enhancem ents)技术保证了系统的安全性。结果表明,基于SOAP协议的移动终端接口简单,系统具有很好的兼容性,能够穿透防火墙,解决了OA系统与短信应用相结合是接口不兼容问题。由于采用了分层的软件设计方式,系统具有很好的扩展性。同时以工作流的短信即时提醒为例,说明了移动终端的具体应用。该应用具有推广价值,如新邮件提醒、新任务提醒和待办任务提醒等。

双维精密定位工件台数控系统的研究

Ｘ－Ｙ两维精密定位工件台是以光栅干涉仪为位置检测元件的精密定位系统，其数控系统是以８０３１单片机作为位置控制的闭环系统。本文在对系统深入分析的基础上，设计了数控系统的硬件，用ＴｕｒｂｏＣ、８０８８汇编语言及Ｍｃｓ５１汇编语言编制了相应的软件，采用细分方法提高了系统的分辨率，并对如何提高系统精度做了详细的讨论。结果表明。

以Internet为传输媒介的智能门禁监控系统

阐述了利用 Internet进行信息通信的智能门禁监控系统的硬件结构和软件的功能、特点 ,同时叙述了远程程序更新功能及自启动功能、拨号用户的实现以及数据库功能。该系统方案设计合理 ,运行稳定可靠 ,可节约工程费用 1 0 %以上。

智能无线寻呼监测系统

给出了一种无线寻呼故障检测系统的硬件设计及其软件实现 ,其中硬件故障检测包括功率测量、频率检测、频偏测量、 Modem检测、电压检测等 ,同时还给出了发射机所有性能指标。实践表明 :该系统软件功能完备 ,操作方便 ,运行稳定、可靠 ;可节省大量人力 ,适于有线传输发射机故障检测。

以P/V为多机通信标志位的主从分布式系统

叙述了以ＰＣ机为主机、其奇偶校验位为多机通信标志位、８０３１单片机为从机的主从分布式处理系统，同时还介绍了有关通信协议等方面的问题。实验结果表明，在二维条件下，采用此种结构的多机系统简单实用，取得了很好的效果。此方法还可以应用到二维以上的系统。

智能门禁系统门控部分软件设计

设计了一种通过地区性的局域网对各个部门的门进行监控的智能门禁系统门控部分软件。详细介绍了该部分的软件结构、采用的语言及使用的控件。该系统已在 C市电信局稳定运行。

网格计算中一种负载均衡聚类匹配迁移算法

根据系统均衡的策略,通过阈值来判断当前节点的轻重。在准备负载的迁移时,使用随机区间和系统聚类分析方法,根据预测的结果,对重载或者是轻载的节点选择一个与之相匹配的节点,并与之交互,进行任务迁移,使之达到负载均衡的目的。实验证明本算法是有效的。

分布式系统负载均衡中基于模糊控制的参数自适应调整算法

目前在分布式系统中已有多种负载均衡系统,它们各自采用不同的策略,并具有特定的适用环境,但是都缺乏通用性,自适应性不足。针对本地代理收集负载信息的时间间隔这个参数,本文提出并实现了基于模糊控制的参数自适应调整算法TPAFC。该算法利用模糊控制技术,对测量时间间隔参数按照负载状态的变化率进行自适应调整,在节约额外开销的前提下,提高了负载测试的准确性。实验证明,与同类算法(固定时间间隔)相比,特别是在重负载情况下,TPAFC算法的效率更高。

改进模糊自回归模型在预测网络接通率中的应用

针对通信网络中性能指标预测的需要,提出了基于改进的模糊自回归模型的接通率预测方法,研究了拟合度门限自适应的模糊自回归模型。将中值滤波应用于模糊自回归模型的数据预处理中,在此基础上,针对部分应用拟合度门限不明确的特点,将拟合度门限计算式加入预测模型中,实现模型拟合度门限的自适应。仿真实验表明:基于Fuzzy AR模型的预测方法可以用于对接通率的预测,预测结果拟合度较高。

光谱信息数据压缩方法—二真值线性预测法

本文针对线性预测压缩存在的游长短、压缩比低、恢复精度差等问题,提出了一种新的压缩方法—“二真值线性预测法”,其特点是恢复精度高、压缩比大、算法简捷、实时性好,适用于可由线性逼近表示的测量过程的实时压缩。经对典型光谱数据压缩实验表明,平均游长一般比线性预测压缩高1倍,在压缩恢复过程中可保留光谱特征信息,在1%恢复精度时,压缩后数据未编码的情况下一般可获得大于2:1的压缩比,编码后可获得4:1～5:1的压缩比。

视网膜脱离患者术后屈光状态的动态变化

对７０例施行不同术式的视网膜脱离患者术前及术后不同时间的眼轴长度、角膜地形图及眼的屈光状态进行对比分析。结果显示，环扎术可造成术眼眼轴增长，出现近视化，而对散光无影响。压垫眼眼轴及球镜屈光度无影响，但可造成散光改变。术后６个月内屈光状态改变逐渐恢复，至术后６个月已基本稳定。

智能门禁系统门控部分硬件设计

主要阐述了一种通过网络对各个分局的门进行监控的智能门禁系统的硬件设计 ,详细说明了系统组成、硬件原理及接口。该系统已在 C市电信局运行 ,结果表明该系统设计合理 ,运行稳定可靠。

全天自主分层星识别算法

提出了全天自主分层星识别算法,该算法采用分层的方法,以局域亮星为主构造和识别观测星三角形,减少了待识别的观测星三角形数量,具有较高的识别速度;采用最大匹配可信度和索引的边缘扩充方法,可在一定程度上解决位置误差、星等误差和伪星干扰等问题,仿真实验证明,该算法具有较高的识别准确率,既可进行全天自主星识别,又可进行局部星识别。

基于IPv6/IPv4隧道的数据安全传输

在分析IPv6隧道和安全技术的基础上,采用手动配置隧道,利用MD5和RSA加密算法对传输数据进行加密和数据封装,在Windows XP SP2操作系统上使用C#.NET语言,设计并实现一种基于IPv6/IPv4隧道的数据安全传输方法,实现了在IPv4网络条件下及时通信和文件下载等数据安全传输.

用户端高速接入网设备ADSL的DSP解决方案

叙述了非对称数字用户线 (ADSL)的基本情况及相应的国际标准、发展动态 ,详细地阐述了数字信号处理 (DSP)在 ADSL技术实现中的必要性 ,给出了 TI公司 ADSL芯片组的功能及相应发展 ,并指出 DSP是实现 ADSL的关键。

一种基于四叉树分类的分形图像编码方法

将Laplacian 算子应用于四叉树分类之中, 使分类结果更准确, 更具客观性, 与Jacquin的自动分形方法相比, 在压缩比有一定提高的情况下, 信噪比提高了2.56

Jabber与SOAP的代理框架及远程管理

为了解决对Jabber协议与SOAP(S imp le Ob ject Access Protocol)协议代理(以下简称代理)的管理问题,设计并实现了基于W eb的代理管理端功能。提出并实现了代理的远程管理方式,对代理的XML(extensi-b le M arkup Language)配置文件不用进行本地手工配置。该代理的管理端实现了对代理的运行状态进行远程监视功能和测试代理的连接状态功能。其管理方式简明直观,对解决其他系统的管理问题,具有适用性。