基于实时UML顺序图的物联网交互模型

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。     

视线交互中两类扫视运动的人机工效评估研究

Fitts法则是人机交互领域预测人机工效的一个有效模型,在许多交互方式中都得到了验证,是传统人机工效研究的理论基础。然而在视线交互中,由于眼动肌肉神经控制机制与肢体运动不同,Fitts法则并不适用。近两年的相关研究提出了一个新的专门针对视线点击任务的难度指数IDeye,它比经典的Fitts指数更能准确预测视线交互的工效。然而,在新模型的有效性验证实验中并没有考虑两种典型的扫视运动(向心和离心运动)的差异。为此,在前期研究的基础上设计组织实验,验证了视线交互中离心和向心这两种眼球运动所带来的人机工效和稳定性的差异,并证实新的IDeye模型仍然能有效预测单纯的离心或向心扫视条件下的人机工效,是对视线交互工效研究的重要补充。     

移动平台三维花卉植物触摸反馈可视化模拟

虚拟现实领域中,人们对三维花卉植物可视化及交互感的需求越来越强烈,而触摸力度引起的植物受力形变过程又无法采用现有的植物运动形变方法进行模拟,因为现有方法造成了模拟失真,交互感差。根据植物整株交互需求或单一叶片受力情况,分析不同方式的运动反馈模拟方法,先判断受力情况,根据动力学原理模拟整株受力,根据触摸屏获取数据,结合叶脉骨架旋转模型算法计算出单一叶片因受力而发生的形变,不需手动输入参数,就能模拟不同力度触摸造成的叶片形变。本方法应用在移动平台后,真实感和帧速率情况良好,可视化和交互感大大提升,并可推广到同类结构的物体模拟。     

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

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

工业设计的延伸和拓展——交互设计

正随着信息时代的到来,越来越多的产品依赖于软件,且产品的操作行为也越发复杂。黑箱式产品的增多,用户很难像过去一样直接通过外观了解他所购买产品的自身用途,学习成本不断地增高。于是一种以用户目标为导向的设计方法——交互设计横空出世,给信息时代的设计带来新的变革。引用美国设计师Tucker Viemeister的话就是"产品设计的未来将越来越少地关注产品外观,而会越来     

高性能微信公众平台开发

微信基础交互 在谈更高性能的微信公众平台接口开发之前,我们先了解下微信开发的基础。微信公众平台官网的解释是：公众平台开发接口提供与用户进行消息交互、自定义菜单交互的能力。对于已接入的第三方接口,当用户发送消息时,微信会推送至第三方服务器。以上就是微信公众平台的开发流程,很多人因不明白而使开发受阻,如图1所示。     

Android输入输出安全浅析

输入输出是操作系统用户隐私安全的关键,用户与手机的所有交互都是输入输出系统承载的,如果这一系统被攻破,那么用户的隐私数据将被轻松地窃取,造成极大的损失。本文将详细解释输入输出系统安全被攻破的原理,以实例帮助用户提高安全警觉。     

由隐性记忆引导的交互设计研究

认知心理学介入到交互设计领域受到越来越多学者的关注,但是关于无意识的隐性记忆的介入却甚少被提及。,文章从隐性记忆的特征、隐性记忆介入交互设计的价值以及隐性记忆引导交互设计的应用三方面进行研究和探索,通过对目标群体用户隐性记忆的普遍性研究,找到更高效的设计来提高用户体验。     

标准化网页界面的交互设计模式研究

交互设计是了解目标用户对产品的期望,分析用户对产品的使用行为,通过一种有效的方式使用户和产品之间产生愉悦的沟通,这样的交互行为会使用户对产品产生信任和依赖,文章主要研究的是如何通过标准化的网页界面增加用户的使用黏性,以达到以用户为中心的交互理念。：     

基于重力坝三维设计的CAD动态交互系统开发

为了在可研阶段合理、快速地制定重力坝设计方案,减少设计周期和成本,采用极限状态设计的方法,利用VB 6.0可视化编程工具开发出了一套能够与CAD动态交互的重力坝三维设计系统。该系统通过对Auto-CAD的二次开发实现了重力坝的三维参数化建模,并对所建三维模型进行结构计算,将设计与计算紧密结合,通过动态交互简化了大量复杂数据的计算,达到精确、快速完成断面设计的目的。经实践检验证明,该系统大大提高了断面设计效率,实用性强,对可研阶段的方案比选具有重大意义。