现代藏文中黏着语的规范化处理

藏文黏着语是在藏文文字的发展过程中,由于发音需要或者语法需求而产生的.黏着语的存在会对藏文信息处理中的文本规范化带来阻碍.文章通过对黏着语产生的背景和意义进行了解,按照黏着语不同的形成原因进行分类处理,最终实现黏着语的规范化处理.     

AltaRica 3.0模型到Promela模型转换与验证方法研究

AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。     

丹佛斯MCO305标记同步控制在印铁机上的应用

丹佛斯FC300高性能驱动器加上新一代MCO305高速运动专用控制器,可实现标记同步控制功能。本文就丹佛斯MCO305标记同步控制功能在印铁机上的应用加以详细论述。     

资源受限网络中高效XML交换的性能评估

为了研究高效XML交换(EXI)在资源受限网络中的使用情况,文中基于传感器观测服务的真实数据,对四种交换模式下的数据大小进行了对比:XML、高效XML、Gzip压缩的XML以及开启压缩模式的高效XML。通过在ns-2中建模,对资源受限网络环境下各交换格式的平均成功率、平均延时、平均能量消耗等性能进行了分析。实验结果表明,无论是否开启压缩模式,高效XML比XML具有更小的体积、更高的成功率、更短的延时和更少的能量消耗。高效XML交换更加适合于资源受限网络。     

影响计算机网络技术有效课堂教学的因素及解决策略的研究

课堂教学的有效性是课堂教学的生命,是当前课堂教学研究问题中的一个最为重要的、迫在眉睫的课题。要想提高计算机网络技术的课堂教学的有效性,首先应弄清楚导致影响计算机网络技术有效课堂教学的因素有哪些,针对这些因素要采取的策略,这是所要阐述的。     

无线传感器网络中一种高效IBE方案

无线传感器网络的应用日益广泛但安全性问题越发突出,由于其计算能力、存储能力和通信能力有限,一直被认为不适合使用公钥密码学方案。然而近年来不需要认证中心的IBE算法的研究成果表明,IBE方案非常适合无线传感器网络。本文提出一种高效的IBE方案,并做了算法介绍,同时在无线传感器网络中提出相应的密钥分配、认证、管理以及更新的应用方案。与现有其他算法相比,新方案具有系统参数短、安全性高等特点。     

基于ZigBee技术的远端通信站监控系统及其实现

提出了一种基于ZigBee技术的远端通信站环境监控系统设计方案。包括系统结构、Zigbee通信接口、单片微处理器、温度采集等模块的软硬件设计。此方案设计的监测系统已在某远端无人小型频谱监测站使用。     

一种检查层次式有穷状态机一致性的方法

本文介绍了一种层次式有穷状态机（HFSM）的代数表示,并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。     

手写体汉字在特征空间的可视化分析

手写体汉字特征一般在几百维以上,在这样的高维空间中,汉字样本是如何分布的?本文从可视化的角度对这一问题进行了探讨。论文首先给出了所选用的汉字特征的定义,然后对一些具有代表性的汉字实例,从K-L变换法、线性投影法和非线性投影法三个方面,对汉字在特征空间的分布问题进行了可视化分析,结果表明,可视化分析可以帮助人们了解汉字在特征空间的分布情况,对改进识别器的性能具有指导意义。