排序方式: 共有11条查询结果,搜索用时 15 毫秒
1.
2.
3.
UML(统一建模语言),是一种可视化的标准建模语言,主要应用于设计和分析阶段。UML模型是否正确反映用户需求成为至关重要的问题。因为状态能够完整的描述一个系统的行为,所以对UML模型进行检测的主要对象是状态图。提出一种以基于EMC[5](显示模型检验)的模型检测方法SECM(状态图显示模型检过程)。为消除状态图的复杂性,将状态图转化为HA(层次自动机)。然后,用Kripke结构对层次自动机进行形式化描述,用时态逻辑描述系统的性质。对状态进行记,判断每个状态是否满足相应的性质,若不满足给出一个不满足性质的状态序列,从而改进。 相似文献
4.
信息互联网普及迅速,人们的工作生活都离不开网络及手机,社交有社交软件,游戏有游戏软件,吃饭健身有对应的点餐和健身APP,当然,找工作也有相应的找工作软件。在此讲解的APP是专门为了装维农民工研发出来的一款订单类APP,它的宗旨是服务农民工的,以农民工为订单而服务,实现了先打钱再工作的一款APP。系统是基于MUI框架,同时包括一些轻量级框架vue等,通过HTML、CSS、JavaScript、PHP、MySQL等技术进行开发,最后由HBuilder X打包成能在手机移动端运行的APP。 相似文献
5.
为了解决传统驾校培训存在的问题,文中结合传统训练,利用虚拟现实与人机交互技术设计了基于Unity3D的科目二驾考模拟平台,让学员学习驾驶操作技巧,熟悉科目二考试流程,从而达到高效的训练效果。同时,该设计节约了培训成本,促使驾校培训向节能减损、绿色驾培的方向发展。开发一款结合虚拟现实技术和人机交互技术的高自由度的平台来模拟驾考,可以不受天气、时间、场地等众多因素限制,还可以缩短学员培训时间,提高学员考试通过率,同时可以提高学员对突发状况的判断,减轻学车时的紧张感。对教练而言,该平台能够有效缩短指导时间,减小工作强度,还能降低驾校的汽车损耗、油耗以及安全风险等多方面成本,在教导教学培训上有着重要的现实意义,能有效解决“没场地、没时间、没条件”三大问题。该软件可以在手机、电脑上进行,满足随时随地复习知识点和对细节进行复盘的需求。 相似文献
6.
针对现有频率改正器很难改正频率存在微小差异并随时间动态改变的两信号。提出一种高精度动态频率改正技术,实现对随时间不断变化的两不同频信号之间的相位差测量及控制,并达到10~(-12)量级的微小频率改正。设计采用ADC充当数字检相器,利用边沿效应对大量线性区有效数据进行采样;经现场可编程逻辑门阵列(FPGA)和单片机对数据进行存储和预处理后,电压控制—恒温晶体振荡器(VC-OCXO)根据单片机提供的压控电压对频率进行改正。最终实验结果表明新型频率改正器具有低噪声、高分辨率、高转换效率、高稳定性及高可调节性等特点。 相似文献
7.
开发一款适合老年人使用的生活类手机移动端程序,能够让行动不便的老年人在社区综合服务平台发布帮助需求,支付适当的费用,就会有社区接单员接单,帮助老人完成,从而满足老年人帮取、帮买、帮送、帮做等需求。老人发布的任务将按不同类型设定合理价格,并通过手机第三方支付,保证资金安全。通过移动化、物联网化、网络化管理可以使社区的老年人与社区工作人员整合起来,身份认证后,统一管理。同时,社区的老年人能随时就能发布需求,社区接单员也能及时接单。 相似文献
8.
后续软件的正确开发取决于UML软件体系模型是不是反映了用户的需求.UML Statecharts可以把一个系统的行为正确地完整地描述出来,还可以展现系统功能.所以UMLstatecharts是UML模型检测的重要的对象.可以把UML Statecharts转成层次自动机HA[1],那么就可以让UML Statecharts没那么复杂,结构变得简单很多.之所以要在EMC[4]的基础上建立模型检测方法,是因为UML statecharts它有时序性.这种检测方法就是在对HA[1]描述的时候要使用Kripke[1]结构,对系统的性质进行描述时用时态逻辑,并标记状态.要判断出每一个状态能不能和相应的性质相匹配,对那些不符合的要给出不符合的状态序列,然后再次基础上优化. 相似文献
9.
本文主要对ROF通信技术和光标记交换技术做了深入研究,具体讨论了光载毫米波在光纤中传输的影响因素,分析了ROF双工链路和网络结构。 相似文献
10.
论文在刀具表面二维条码自动识读系统的基础上,针对部分刀具的柱形表面容易使条码图像产生扭曲变形的问题,通过建立曲面畸变模型逆向校正条码图像.同时,对于在同一视角下显示不完全的条码图像,利用配套的工装设备,提出采用图像拼接算法恢复原始条码图像的方法.首先,采用相位相关理论估计重叠区域,作为后续特征提取的范围约束;其次,提取相关区域的SIFT特征点,并利用近似最近邻算法实现SIFT特征匹配;最后,采用渐入渐出的平滑算法,使拼接处的图像光强平滑过渡,达到无缝拼接.实验表明,论文提出的算法不需要预建立相机标定,对于大曲率、大形变的条码具有较高的识读率.因此,该方法具有更强的实用性与通用性. 相似文献