利用组件交互自动机测试基于组件的Web应用

Web应用有许多特殊性使得不能直接使用传统的测试方法进行测试,因而需要修改已有方法或完全提出新的方法用于Web应用的测试.把Web应用看成是不同交互组件的组装,一个复合组件由一些其它的组件构成.对于每个组件,都建立一个组件自动机.从被测Web应用的规格说明可以构造用XML描述的组件交互图(CID,Component Interaction Diagram).根据CID,可以产生组件测试序列(CTS,Component Test Sequence),它是组件的交互序列.测试用例是用一个个单独的XML文档表示的,是带有输入数据的CTS.这样,Web测试就变成组件交互自动机的测试.另外,给出了CTS覆盖度的评估过程(CTSC,Component Test Sequence Coverage),并阐述了如何提高CTSC的方法.论文的最后,对该测试方法的可用性进行了理论分析.

用户对社交机器人的认知及交互动机研究——以豆瓣拉踩小组机器人为例

社交机器人通过在社交网络上模仿人类行为与其他用户进行交互,对人类用户产生了复杂的影响,并推动着人机共生的新型网络生态的形成。本研究以豆瓣拉踩小组机器人为例,通过爬取924条小组讨论帖,基于使用与满足理论对机器人与真人用户的交互进行内容分析,以探讨用户对机器人的认知及交互动机。研究发现,豆瓣小组成员在与小组机器人交互过程中,体现了新奇、社交、情感和娱乐四种动机,其中,娱乐动机占比最高(约49%),并常常与社交和情感需求同时出现。小组成员对小组机器人具有较高的信任度和好感度,倾向于将机器人的身份定义为组内网红成员,对机器人人格特征的认知具有高度一致性,并会通过主观想象为其构建人际关系网络。

基于构件交互自动机的AADL模型转换方法研究

构件交互自动机(Component-Interaction Automata,Co-IA)是扩展了构件之间交互描述的自动机。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种基于构件的半形式化体系结构分析和设计语言,是嵌入式系统体系结构建模和设计的标准,但无法直接进行形式化模型的检测工作。为了形式化描述系统交互过程中产生的大量数据,更好地描述模型中的状态集合、状态变迁和数据约束的性质,在构件交互自动机研究和发展的基础上,提出了一种扩充的构件交互自动机,将形式化规格说明语言Z引入构件交互自动机Z-Co IA,描述模型中包含状态和状态变迁。为检测与验证所建立的模型,基于具体实例进行了由AADL模型向经扩充的构件交互自动机模型的转换。验证结果表明,所提出的方法推动了AADL的形式化进程。

网络情境下的购买动机分析

网络的出现使得市场营销面临着许多新的研究课题,网络情境下的购买动机是其中之一。本文从动机的基本概念入手,深入分析了网络情境下的各种购买动机,包括求廉动机、求便动机、求质动机、彰显动机、求同动机、交互动机和归属动机等各种动机,为网络营销提供了新的方法和手段。

酒店管理者与员工行为交互研究述评

在对中外文献的梳理基础上,研究对交互相关的理论研究进行了综合述评,从酒店管理者与员工的交互动机,交互过程要素及方式入手,探讨不同交互类型产生的不同交互效果,并深入分析影响交互效果的影响因素。最后,提出扩展理论基础,延伸研究视角和对象,交叉学科研究等建议。

基于组件自动机的概率连续行为的形式化模型

信息物理融合系统是由具有离散性的信息系统和具有连续性的物理系统通过端口进行数据、控制信号的通信组合而成。采用形式化方法对信息物理融合系统进行描述和验证,对于提高系统的正确性、可靠性和安全性具有重要的意义。信息物理融合系统的系统特性与组件交互自动机的建模思想相吻合。在现有的组件交互自动机的基础之上,提出了一种新的组件交互自动机——概率混成组件交互自动机,并给出了相关的定义及其进行组合的算法。概率混成组件交互机与之前的组件自动机相比,引入了状态迁移的不确定性以及状态内部的连续动态性,既能够描述系统状态上的不确定状态迁移,又能够对状态内部的连续行为特性进行刻画,便于对信息物理融合系统内部的不确定性和连续性进行很好地描述。

基于控制流程的软件测试用例自动生成方法研究

软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种从流程图自动生成测试用例的方法,然后介绍了从流程图生成交互有限状态自动机的算法以及从交互有限状态自动机生成测试用例的算法.最后,介绍了相关支持工具ATCG.

现阶段农村电子商务发展浅析

随着农村经济的快速发展和农村信息技术的不断完善,农村的生产经营方式和农民生活方式发生了巨大的变化,农村电子商务随之发展起来了。农村电子商务的发展,促进了农村生产方式的改进,带动了农民生产积极性,对农村经济的发展产生积极的影响。通过对现阶段农村电子商务发展研究,了解农村电子商务消费市场情况、分析农村电子商务发展中的有利条件和不利因素;从而对农村电子商务的发展提出可行性的建议,使得农村电子商务得到更全面的发展。

Target Tracking Using the Interactive Multiple Model Method

Aim To develop a practical target tracking algorithm for different motion modes. Methods After creation of the new model, it was implemented by computer simulation to prove its performance and compared with the often-used current statistical model. Results The simulation results show that the new IMM (interactive multiple model) have low tracking error in both maneuVering segment and non^Inaneuwi segment while the current statistical model bas muCh higher tracking error in non-maneuvering segment. Conclusion In the point of trackintaccuracy, the new IMM method is much better than the current acceleration method. It can develop into a practical target hacking method.

Three-dimensional visualization interactive system for digital twin workshop

To improve the human-physical-virtual coordination and integration of the digital twin workshop,3D visual monitoring and human-computer interaction of the digital twin workshop was studied.First,a novel 6D model of the 3D visualization interactive system for digital twin workshops is proposed.As the traditional 5D digital twin model ignores the importance of human-computer interaction,a new dimension of the user terminal was added.A hierarchical real-time data-driven mapping model for the workshop production process is then proposed.Moreover,a real-time data acquisition method for the industrial Internet of things is proposed based on OPC UA(object linking and embedding for process control unified architecture).Based on the 6D model of the system,the process of creating a 3D visualization virtual environment based on virtual reality is introduced,in addition to a data-driven process based on the data management cloud platform.Finally,the 6D model of the system was confirmed using the blade rotor test workshop as the object,and a 3D visualization interactive system is developed.The results show that the system is more transparent,real-time,data-driven and more efficient,as well as promotes the coordination and integration of human-physical-virtual,which has practical significance for developing digital twin workshops.

Design and Implementation of User Centered Interface on Mobile Phone

Mobile device research has been increasing rapidly in Human Computer Interaction （HCI） recently. Following this trend, this paper proposes a user-centered interface, which has been designed, completely installed and independently run on a mobile phone. Video signal is steamed through its camera as the image input to the interface by employing techniques of image processing, computer vision and graphics to identify automatically absolute positions of human face, neck and two hands. A paradigm is also put up theoretically. And it embeds this interface to perceive the human postures and convert them into relaxed comic character according to its context.

Research on the interaction design of somatosensory games——With the original game ＂Dream＂ in the center

The emergence of the somatosensory interactive technology has changed the ways of the interaction between the users and the computers, so that people can control the computers more freely. This paper focuses on the interactive design of the somatosensory games, and combines the Kinect interactive devices with the popular Unity 3D game engines, and analyzes and designs the realization principles of the somatosensory games, the somatosensory games and the digital somatosensory interactive display. Through the design and production of the original game ＂Dream＂, the author discusses the design methods of the game interactive experience while abandoning the traditional human-comouter interactive mode.

An Interactionist Perspective on the Internationalization of Curriculum in Colleges and Universities

This paper focused on the studies of interactionist theory and discussed the possibility that interactionist theory could be applied in internationalized curriculum in higher educational institutions. The following questions are proposed： （1） What is interactionist theory？; （2） How can we improve interaction between international students and faculty？; and （3） How can we improve interaction between international students and domestic students？ According to these questions, literature review was conducted to explain interactionist theory, and the possibility that interactionist theory can be applied in internationalized curriculum was discussed in two aspects： （1） enhancing the interaction between international students and faculty when teaching internationalized curriculum; and （2） enhancing the interaction between international students and domestic students when teaching internationalized curriculum.

工作中的亲社会动机:研究综述和展望

随着心理学和组织行为研究对工作动机研究的深入,非自利型动机逐渐受到重视。员工亲社会动机是一种希望通过自身的工作角色帮助他人,为他人谋利的欲望。作为员工工作动机中的一种,国外的学术界对亲社会动机已经多有关注,不少研究证实了它与员工个体因素和组织情境有密切关系,对员工的工作绩效、任务持久度、生产量和组织公民行为都有积极影响;但是国内对它的研究却比较少。通过梳理大量的文献,本文从员工亲社会动机的内涵、测量、前因变量和结果变量等方面进行了综述,并对未来的研究进行了展望。

Flexible PDMS-based triboelectric nanogenerator for instantaneous force sensing and human joint movement monitoring

Flexible wearable sensors with excellent electric response and self-powered capability have become an appealing hotspot for personal healthcare and human-machine interfaces.Here,based on triboelectric nanogenerator(TENG),a flexible self-powered tactile sensor composed of micro-frustum-arrays-structured polydimethylsiloxane(PDMS)film/copper(Cu)electrodes,and poly(vinylidenefluoride-trifluoroethylene)(P(VDF-TrFE))nanofibers has been demonstrated.The TENG-based self-powered tactile sensor can generate electrical signals through the contact-separation process of two triboelectric layers under external mechanical stimuli.Due to the uniform and controllable micro-frustum-arrays structure fabricated by micro-electro-mechanical system(MEMS)process and the P(VDF-TrFE)nanofibers fabricated by electrostatic spinning,the flexible PDMS-based sensor presents high sensitivity of 2.97 V kPa^-1,stability of 40,000 cycles(no significant decay),response time of 60 ms at 1 Hz,low detection pressure of a water drop(~4 Pa,35 mg)and good linearity of 0.99231 in low pressure region.Since the PDMS film presents ultra-flexibility and excellent-biocompatibility,the sensor can be comfortably attached on human body.Furthermore,the tactile sensor can recognize various types of human body movements by the corresponding electrical signals.Therefore,the as-prepared TENGs are potential on the prospects of gesture detection,health assessment,human-machine interfaces and so on.

Shock Wave Smearing by Passive Control

Normal shock wave, terminating a local supersonic area on an airfoil, limits its performance and becomes a source of high speed impulsive noise. It is proposed to use passive control to disintegrate the shock wave. Details of the flow structure obtained by this method are studied numerically. A new boundary condition has been developed and the results of its application are verified against experiments in a nozzle flow. The method of shock wave disintegration has been confirmed and detailed analysis of the flow details is presented. The substitution of a shock wave by a gradual compression changes completely the source of the high speed impulsive noise and bears potential of its reduction.