关于DEM与等高线的三维一体化生成分析和研究

以三维虚拟环境中的DEM与等高线一体化生成的方法,分析了基于移动拟合和移动加权平均两种计算法快速生成DEM的实现过程,分析在三维可视化环境下,DEM与等高线一体化显示的原理和方法等。     

汉韩翻译中汉字词的使用方法

韩国语中的汉字词起源于汉语,很多的汉字词都保留着它原有的汉语词义。但由于历史的发展及文化背景的不同,汉字词与它相对应的汉语又产生了很多的差异,其中词性褒贬、词义范围、词义内涵、习惯用法等都产生了变化。     

数字RGB与YCbCr颜色空间转换的精度

视频处理系统中为了提高处理效率,需要将数字RGB信号转换为数字YCbCr信号.文中提出由于芯片内部寄存器精度的原因,会引起原信号三基色之间的串扰问题;为满足视频处理需求,处理芯片中颜色空间转换寄存器至少要使用7个二进制位来表示色空间转换矩阵;为了彻底消除由精度引起的三色串扰问题,则处理芯片中颜色空间转换寄存器至少要使用9个二进制位来表示色空间转换矩阵.     

一种改进的Wu-Manber多模式串匹配算法

在分析Wu—Manber算法的基础上，结合QS算法思想，设计了一种改进的多模式串匹配算法：QWM（quick Wu—Manber）．算法充分利用紧邻当前窗口之后的B字符块，使算法的最大移动距离由原来的（m—B＋1）增大至（m＋B），平均移动距离也得到很大提高．同时对QWM算法和Wu-Manber算法进行了实验对比，无论模式串数量和最小长度怎么变化，性能都有较大提升．实验表明，改进的算法在对英文文本进行扫描时有4％～13％的提高．     

分析和设计安全协议的新逻辑的语义

文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.     

关于科技期刊论文中数字用法的规范化问题

在科技期刊论文中,数字是指阿拉伯数字和汉字.由于在科技期刊中数字特别是阿拉伯数字使用的频率是很高,因此,数字用法的正确与否,是否规范统一,是衡量期刊质量高低的一个重要方面.     

汉字形体结构与中国古代姓氏名字文化

汉字作为语言的记录符号,记录了中国人的姓、氏、名、字.通过对汉字的离合拆装、减少笔画、增加偏旁等方法使汉字能够适应中国古代姓氏名字文化的需要.同时,中国古代姓氏名字文化影响并制约着汉字的形体发展.     

磁浮系统多控制器动态解耦特性仿真研究

通过建立带有多个悬浮控制器的高速磁悬浮列车系统模型并对其进行动态响应分析，研究多个串级PID控制器协同工作条件下弹性悬浮架的动态解耦性能是否满足系统稳定要求。建立了复杂悬浮架有限元模型，利用模态综合动力凝聚超单元方法生成较低维数的悬浮架动力学模型。离线设计单个串级PID控制算法并给出了稳定参数选择方法，并由此建立多控制器磁悬浮耦合系统模型。使用四阶龙格一库塔算法对系统模型进行仿真计算，绘制了各个悬浮控制器先后悬浮以及悬浮间隙谐波干扰两种情况下各控制器的悬浮间隙动态响应曲线。结果证明悬浮架具有一定的动态解耦能力，但是只能保证鲁棒性较强的单控制器参数能够直接应用于多控制器协同工况。     

预测-PID串级控制技术的研究与实现

从预测控制的基本原理出发,利用串级控制的结构,将预测控制和PID控制结合,实现了动态矩阵预测-PID串级控制,并通过数字仿真说明其良好的控制效果.     

基于串空间模型的3GPP认证密钥交换协议分析

基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法.由此提出了一种改进的3GPP认证密钥交换协议以克服原协议存在的缺陷,应用串空间模型理论及认证测试方法形式化证明了该改进协议在不安全的信道上可确保消息的保密性,移动用户和服务网络间的双向认证,以及消息加密密钥和完整性密钥的新鲜性.