基于层次自动机和模型检测的UML状态图检测方法

UML(统一建模语言),是一种可视化的标准建模语言,主要应用于设计和分析阶段。UML模型是否正确反映用户需求成为至关重要的问题。因为状态能够完整的描述一个系统的行为,所以对UML模型进行检测的主要对象是状态图。提出一种以基于EMC[5](显示模型检验)的模型检测方法SECM(状态图显示模型检过程)。为消除状态图的复杂性,将状态图转化为HA(层次自动机)。然后,用Kripke结构对层次自动机进行形式化描述,用时态逻辑描述系统的性质。对状态进行记,判断每个状态是否满足相应的性质,若不满足给出一个不满足性质的状态序列,从而改进。     

浅谈数据结构在网络游戏程序开发中的应用

数据结构在系统软件与普通应用软件开发中应用领域应用广泛,在网络游戏程序开发中并未系统的应用。数据结构的在软件开发中的作用就是提高程序性能,若将之系统的应用于网络游戏开发,将会大大提高网络游戏的性能与运行速度,给玩家提供更好的游戏体验,提高游戏的可玩性。文中将从数据处理、动作响应及游戏规则两方面进行探讨,希望给出数据结构在网络游戏开发中一种新思路。     

基于Unity3D科目二驾考模拟平台设计与实现

为了解决传统驾校培训存在的问题,文中结合传统训练,利用虚拟现实与人机交互技术设计了基于Unity3D的科目二驾考模拟平台,让学员学习驾驶操作技巧,熟悉科目二考试流程,从而达到高效的训练效果。同时,该设计节约了培训成本,促使驾校培训向节能减损、绿色驾培的方向发展。开发一款结合虚拟现实技术和人机交互技术的高自由度的平台来模拟驾考,可以不受天气、时间、场地等众多因素限制,还可以缩短学员培训时间,提高学员考试通过率,同时可以提高学员对突发状况的判断,减轻学车时的紧张感。对教练而言,该平台能够有效缩短指导时间,减小工作强度,还能降低驾校的汽车损耗、油耗以及安全风险等多方面成本,在教导教学培训上有着重要的现实意义,能有效解决“没场地、没时间、没条件”三大问题。该软件可以在手机、电脑上进行,满足随时随地复习知识点和对细节进行复盘的需求。     

“装维工人”APP的设计与实现

信息互联网普及迅速,人们的工作生活都离不开网络及手机,社交有社交软件,游戏有游戏软件,吃饭健身有对应的点餐和健身APP,当然,找工作也有相应的找工作软件。在此讲解的APP是专门为了装维农民工研发出来的一款订单类APP,它的宗旨是服务农民工的,以农民工为订单而服务,实现了先打钱再工作的一款APP。系统是基于MUI框架,同时包括一些轻量级框架vue等,通过HTML、CSS、JavaScript、PHP、MySQL等技术进行开发,最后由HBuilder X打包成能在手机移动端运行的APP。     

基于动态线性相位处理的新型频率改正器研究

针对现有频率改正器很难改正频率存在微小差异并随时间动态改变的两信号。提出一种高精度动态频率改正技术,实现对随时间不断变化的两不同频信号之间的相位差测量及控制,并达到10~(-12)量级的微小频率改正。设计采用ADC充当数字检相器,利用边沿效应对大量线性区有效数据进行采样;经现场可编程逻辑门阵列(FPGA)和单片机对数据进行存储和预处理后,电压控制—恒温晶体振荡器(VC-OCXO)根据单片机提供的压控电压对频率进行改正。最终实验结果表明新型频率改正器具有低噪声、高分辨率、高转换效率、高稳定性及高可调节性等特点。     

基于EMC和HA的UML Statecharts检测研究

后续软件的正确开发取决于UML软件体系模型是不是反映了用户的需求.UML Statecharts可以把一个系统的行为正确地完整地描述出来,还可以展现系统功能.所以UMLstatecharts是UML模型检测的重要的对象.可以把UML Statecharts转成层次自动机HA[1],那么就可以让UML Statecharts没那么复杂,结构变得简单很多.之所以要在EMC[4]的基础上建立模型检测方法,是因为UML statecharts它有时序性.这种检测方法就是在对HA[1]描述的时候要使用Kripke[1]结构,对系统的性质进行描述时用时态逻辑,并标记状态.要判断出每一个状态能不能和相应的性质相匹配,对那些不符合的要给出不符合的状态序列,然后再次基础上优化.     

基于图像拼接技术的缺损二维条码恢复算法研究

论文在刀具表面二维条码自动识读系统的基础上,针对部分刀具的柱形表面容易使条码图像产生扭曲变形的问题,通过建立曲面畸变模型逆向校正条码图像.同时,对于在同一视角下显示不完全的条码图像,利用配套的工装设备,提出采用图像拼接算法恢复原始条码图像的方法.首先,采用相位相关理论估计重叠区域,作为后续特征提取的范围约束;其次,提取相关区域的SIFT特征点,并利用近似最近邻算法实现SIFT特征匹配;最后,采用渐入渐出的平滑算法,使拼接处的图像光强平滑过渡,达到无缝拼接.实验表明,论文提出的算法不需要预建立相机标定,对于大曲率、大形变的条码具有较高的识读率.因此,该方法具有更强的实用性与通用性.     

浅谈基于UML的软件体系模型与关系数据库的映射机制

UML（统一建模语言）普遍应用的被广泛应用于构建各类软件的软件体系模型。因为其采用多视图的方式构建软件模型，便会产生多视图一致性问题。为便于多视图一致性进行检测，提出了基于数据库查询方式的检测方法，首要解决的问题是如何将软件模型转换为关系数据库。因此，文中提出一种基于UML的多视图软件模型转换为关系数据库的映射机制。     

ROF通信技术和光标记交换技术的研究

本文主要对ROF通信技术和光标记交换技术做了深入研究,具体讨论了光载毫米波在光纤中传输的影响因素,分析了ROF双工链路和网络结构。