改进的基于唯一输入输出序列的测试序列自动生成算法

协议一致性测试中,测试序列一般只能做到半自动生成,其全自动生成问题一直没有得到完全解决.针对此,提出一种改进的基于UIO序列(Unique input/output sequences)的测试序列自动生成算法,并且用C语言程序实现了该算法,从而实现了测试序列的全自动生成.将该算法自动生成的测试序列与测试数据相结合,生成了SM-RL(short message relay layer)协议优化的一致性测试套.与优化前相比,新测试套有了明显的改进,提高了测试工作的效率.     

绩效考评的层次分析和模糊综合评判法模型及其应用

员工绩效考评工作是人力资源管理部门的一项重要工作，传统的考评工作存在考评因素不分权重、评价依据覆盖面较窄等问题．本文将建立一个层次分析和模糊综合评判法模型，通过该模型将考评因素确立合理的权重，并考虑多方面的评价意见得到员工的综合考评得分．     

保持拓扑一致性的等高线化简算法研究

等高线的化简是地图综合中的一个重要问题。而拓扑一致性的维持是化简的难点,应用常规的Douglas-Peucker算法可能引发相交和自相交。引入了基于约束Delaunay三角剖分和自适应单调链的等高线拆分算法,并在理论上证明了对拆分后的子曲线化简将不会产生拓扑异化。在实验中,该算法能将数据量压缩至10％,并依然未产生相交和自相交。     

“标识”应为“标志”

<正>在近年发布的一些国家标准中,经常可见"标志"和"标识"混用的情形。例如GB/T 1.1-2009《标准化工作导则第1部分:标准的结构和编写》中就有:"符号(图形符号、标志)标准","标示这些标准与相应国际文件的一致性程度标识","使用GB3102.11中推荐的数学标志和符号,例如,是‘tan’不是‘tg’","与国际标准一致性程度标识","标准的     

客户机/服务器下的数据缓存技术

为了在客户机，服务器网络环境下的数据库检索系统中，引用数据缓存技术改善数据检索效率，通过对现有的数据缓存系统进行分析、归纳和总结，并参照借鉴存储器缓存技术的一些理论，阐述了数据缓存技术在客户机，服务器网络环境下应用模式，系统的进行了理论归纳，给出缓存一致性问题的解决方法，实现了数据缓存技术的高效使用。     

移动协同编辑中基于CRDT的序列转换算法

为高效地处理移动协同编辑中用户积累的大量本地操作,实现移动协同编辑系统的高响应性,提出一种支持序列转换的可交换复制数据类型(commutative replicated data type,CRDT)算法.首先,提出一个移动协同编辑的总体框架,支持多个移动终端离线或在线地协同编辑共享文档副本;然后,提出一个支持序列转换...     

基于分布质量的遥感图像配准控制点筛选方法

为提高遥感图像配准精度,提出了一种基于均匀分布质量的配准控制点筛选方法.首先,以尺度不变特征变换获取控制点,采用随机抽样一致性筛除误匹配控制点,然后对配准图像公共区域分块进行基于分布质量的控制点筛选,采用最小二乘估计仿射变换模型参数,最后对输入图像坐标变换后完成配准.对多种遥感图像的实验结果表明,所提出的方法能有效删除误匹配控制点,使控制点均匀分布,减小配准误差.     

基于UML状态图的工作流时序约束一致性研究

通过对UML状态图进行时间扩展，建立工作流的时间模型，再把该模型转化为时间自动机，接着用时序逻辑公式定义时序约束，最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证．     

记录回放机制的IED检测系统

随着IEC61850标准在变电站的推广,大量采用新标准的继电保护设备逐步投入运行,在提高保障电网安全稳定运行的同时,也给继电保护测试技术带来了新的挑战.通过对IEC61850标准中对IED通信性能要求和一致性测试的研究,归纳总结从采样值测试、GOOSE测试、基本性能测试以及保护的逻辑测试这四个方面对保护通信和功能进行测试.该测试系统的试验表明,测试系统测试准确,输出接口规范,测试功能齐全,满足数字化保护的检测需求.     

染色体条纹提取算法研究及应用

提出一种基于灰度阈值的染色体条纹提取方法.利用染色体内部的灰度差异,采用改进的Bernsen算法求取局部阈值;通过迭代二分算法进行染色体区域标定,划分图像的灰度等级,锐化图像;利用锐化图像的灰度直方图提取有效灰度段,获得准确的染色体条纹.最后,应用本文的算法对200张染色体样本图进行测试,试验证明本文算法所提取的条纹清晰准确、噪声干扰小,对染色体的分离算法研究有一定的指导意义.