在线签名认证的数据采集系统设计

在线动态签名认证由于其安全性和方便性,广泛适用于银行金融系统以及个人身份识别等.作为在线签名笔迹的数据采集,对后续认证的准确性显得尤为重要.利用STM32F103C8、触摸屏、触摸屏控制器TSC2046和SD卡,实现了对在线笔迹包括压力在内的3维数据采集以及存储.实验结果表明,设计的在线签名数据采集系统精度高,稳定可靠,抗干扰能力强,具有很好的认证效果.     

C4ISR系统能力需求行为建模及验证

针对C⁴ISR系统需求分析行为建模中,统一建模语言（unified modeling language, UML)的行为模型验证困难问题,提出了一种C⁴ISR系统能力需求行为建模及验证方法。从构建C⁴ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。     

车辆自主决策安全性验证方法

针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,基于形式化的可达性方法分析车辆自主决策行为状态的可行性,并给出车辆自主决策的行为状态完备性集合。采用有向凸多面体算法对自主车辆非线性混合系统进行保守线性化处理,再利用迭代原理和Zonotope近似方法计算可达集。变道避碰的仿真实验表明,在初始状态集和传感器噪声边界条件下,自主车辆位置可达集和速度可达集给出了高置信水平的安全保证。     

基于web的高校毕业资格审核系统设计与实现

系统以Visual studio2008为开发工具,采用SQL Server 2000数据库、B/S架构,实现了高校毕业资格审核过程中不同单位之间的数据流通,节省人力、提高毕业资格审核速度与效率。     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

基于GMM全统计参数和SVM的文本无关话者确认

针对电话语音条件下的文本无关话者确认,提出了一种基于GMM(Gaussian mixturemodel)全统计参数和SVM(support vector machine)的话者确认方法,以克服语音特征参数直接建立SVM话者模型面临的困难.该方法使用由GM(general model)自适应均值得到的GMM提取统计参数,定义了一种合理利用全部统计参数的特征参数,并以此参数及线性核函数建立了具有良好性能的SVM话者模型.与GMM-UBM方法及另一种基于GMM统计参数和SVM的方法在NIST05SRE数据库中的实验比较,结果表明基于GMM全统计参数和SVM的话者确认方法拥有优异的性能.     

红外视频处理系统数据通道的逻辑描述

红外视频数字处理技术有广泛的应用,红外高速数据通道是红外视频数字处理系统的核心,此红外视频数字处理系统主要是由红外视频同步,先进先出缓冲区和PCI桥组成。在本文中提出了三层逻辑描述的架构和红外视频数字处理系统数据通道的设计,同时提出了关键逻辑,例如用HDL（硬件描述语言）描述了红外视频同步和PCI局部总线存取。     

浅谈如何提高计量检定工作的质量

从计量标准、计量环境、计量人员、计量记录以及计量监督管理等方面阐述了提高计量工作质量的重要意义和具体方法。     

SoC在数控直流电流源设计中的应用

设计了一种基于SoC芯片C8051F120的数控直流电流源,该系统以闭环负反馈放大电路为恒流源模块,C8051F120为控制核心,利用SoC片上资源DAC和ADC,实现了数控输出步进为1mA、范围为20mA-2000mA的电流,设置和实际输出的电流都由LCD显示,软件采用线性补偿算法提高控制精度。该设计最大限度地降低了系统硬件电路和软件编程的复杂度,电源稳流效果好,控制精度高,系统可靠性较高。