Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。     

基于矩阵初等变换的量子可逆逻辑电路双向综合算法

基于矩阵初等变换,提出了量子可逆逻辑电路双向综合算法。该算法依据两数字间的汉明距离,通过交换矩阵行号或矩阵元素对量子可逆逻辑电路的矩阵进行初等行变换。在变换的过程中,利用邻接矩阵的电路转化规则,生成任意给定置换的量子可逆逻辑电路。与其它同类算法相比,由于不需要穷尽搜索,该算法的时空复杂度有大幅降低;又由于采用任意n量子扩展通用Toffoli门,该算法可综合任一置换(奇或偶置换)的量子可逆逻辑电路,并且电路中门的数量有所减少。     

容器设计中搅拌装置的轴向力分析

搅拌装置在化工厂中应用很广，在磷肥、钛白粉装置中（15kt/a)使用较多，仅钛白粉装置中就大约有40－50台，如增稠结晶器，中和槽等，搅拌操作所涉及的因素极为复杂，浆叶形式的选择，从力学的观点来说，迄今研究不够，本文就搅拌装置产生的轴向力问题进行了初步研究。     

中国传统家具造型的传承与创新

中国传统家具源远流长,经过千年历炼在明清时期达到历史颠蜂,然而随着国门的被迫打开。中国家具经历了动荡起伏的局面。笔者深入解读中国传统家具发展现状,探讨萁造型的演变以及近现代尝试与不足,最后对中国传统家具的传承和创新提出自己观点。     

一种卡尔曼增益约束滤波算法

在滤波过程中,将卡尔曼增益结合约束条件,可以有效地提高滤波精度.论文推导了含有卡尔曼增益约束条件的代价函数,根据Karush-Kuhn-Tucker（KKT）最小化的一阶必要条件,使用高斯牛顿法求出约束卡尔曼增益的最优约束解.最后对具有约束条件的目标跟踪问题进行了仿真实验,结果表明该算法的跟踪精度要高于普通卡尔曼滤波算法.     

基于PTS的视频流集群同步显示技术

针对集群大屏拼接显示系统各节点机独立解码、视频流显示不同步的问题,本文分析了集群拼接显示系统的特点,提出了利用PTS信息实现集群内各节点机同步显示视频流的机制,研究了组播接收模块、Ts流拆包模块、视频解码模块和同步控制模块和拼接屏显示模块等视频流同步显示实现技术．研究试验结果证明了基于PTS的视频流集群同步显示技术的有效性．     

基于Android平台的风机手持操作仪开发

基于Android平台开发了一款风机手持操作仪, 用于风机的日常监视、维护及设置。以TCP/IP协议和MODBUS协议为基础, 与风机主控系统实现基础数据通讯, 并通过交互界面上的触控操作来完成监视、维护及设置功能; 同时, 利用数据库技术实现对风机和用户数据的存储与管理, 并对用户关键信息进行加密处理以提升安全性。实际应用表明了该设备的可行性、有效性, 并且具备灵活、便携、经济等特点。     

语法和语义相结合的中文对话系统问题理解研究

针对中文口语问句的表达多样性对对话系统问题理解带来的挑战,该文采用“在语法结构之上获取语义知识”的设计理念,提出了一种语法和语义相结合的口语对话系统问题理解方法。首先人工编制了独立于领域和应用方向的语法知识库,进而通过句子压缩模块简化复杂句子,取得结构信息,再进行问题类型模式识别,得到唯一确定问题的语义组织方法、查询策略和应答方式的句型模式。另一方面,根据领域语义知识库,从源句子中提取相应的语义信息,并根据识别到的句型模式所对应的知识组织方法进行语义知识组织,完成对问句的理解。该文的方法被应用到开发的中文手机导购对话系统。测试结果表明,该方法能有效地完成对话流程中的用户问题理解。     

WSNs中可保护数据完整性和隐私的数据融合算法

提出一种可进行数据完整性和隐私保护的无线传感器网络安全数据融合算法IPPDA。通过在感知数据中附加一组同余数, 使汇聚节点能通过中国剩余定理进行数据完整性检测; 以时间和密钥为参数计算基于杂凑函数的消息验证码, 保证数据的新鲜性; 利用同态加密算法对数据进行隐私保护。仿真结果表明, IPPDA可以有效保护融合数据的隐私性、完整性和新鲜性, 能花费比iCPDA和iPDA算法更少的数据通信量和计算量, 得到更加精确的数据融合结果。     

改进的反向蛙跳算法求解函数优化问题

针对混洗蛙跳算法在求解连续函数优化问题中出现的收敛速度慢、求解精度低的缺点,提出了一种基于反向学习策略的改进算法,在种群初始化和进化过程中分别加入反向操作,产生更靠近优质解的种群,从而提高了算法的全局寻优能力,促进了算法收敛。实验仿真表明,新算法在寻优效率、计算精度等方面均优于原算法。