Testing Aesthetic and Function Design Preference for Touch Screen and Non–Touch Screen Mobile Phones Using Interactive Genetic Algorithms

Rapid mobile phone market growth has drastically shortened design cycle times forcing designers to identify user preferences quickly. Two studies test a novel method to quickly determine design preferences for touch screen and non–touch screen mobile phones. Interactive Genetic Algorithms (IGAs) are tested as an option for preference identification. IGAs efficiently explore design spaces, finding user preferences via an iterative system mimicking evolution. Each study tested six independent variables: horizontal and vertical button spacing; horizontal and vertical screen dimensions; corner radius; and user’s goal between aesthetically pleasing, functional, and both aesthetic and functional (first experiment), and aesthetic preference differences between touch screen and non–touch screen mobile phones for dialing phone numbers only (second experiment). Results showed IGAs to be a viable method; participant preference varied by goal (horizontal button spacing and screen width were most effected). Designers can employ IGAs to quickly determine aesthetic and other user preferences.     

单向耦合Lorenz-R(o)ssler系统的多参数分岔

深入研究了单向耦合Lorenz-R(o)ssler系统的动力学行为,首先定性地分析了该系统,找出了该系统所有平衡点及平衡点存在和稳定的条件.再对该系统的分岔行为做了理论分析,得到该系统发生fold和Hopf 分岔的条件.最后利用分岔软件对前面的理论进行验证,而且针对三个单向耦合参数的不同取值情况,从数值的角度研究了该系统的多参数分岔,结果表明不同的耦合强度对于系统的动力学行为有较大的影响.     

Adaptive Decentralized NN Control of Nonlinear Interconnected Time‐Delay Systems with Input Saturation

In this paper, a novel decentralized adaptive neural control scheme is proposed for a class of interconnected large‐scale uncertain nonlinear time‐delay systems with input saturation. Radial basis function (RBF) neural networks (NNs) are used to tackle unknown nonlinear functions. Then, the decentralized adaptive NN tracking controller is constructed by combining Lyapunov–Krasovskii functions and the dynamic surface control (DSC) technique, along with the minimal‐learning‐parameters (MLP) algorithm. The stability analysis subject to the effect of input saturation constraints are conducted with the help of an auxiliary design system based on the Lyapunov–Krasovskii method. The proposed controller guarantees uniform ultimate boundedness (UUB) of all of the signals in the closed‐loop large‐scale system, while the tracking errors converge to a small neighborhood around the origin. An advantage of the proposed control scheme lies in the number of adaptive parameters of the whole system being reduced to one and in the solution of the three problems of “computational explosion,” “dimension curse,” and “controller singularity”. Finally, simulation results along with comparisons are presented to demonstrate the advantages, effectiveness, and performance of the proposed scheme.     

Fusing distributional and experiential information for measuring semantic relatedness

Models of semantic relatedness have usually focused on language-based distributional information without taking into account “experiential data” concerning the embodied sensorial source of the represented concepts. In this paper, we present an integrative cognitive model of semantic relatedness. The model – semantic family resemblance – uses a variation of the co-product as a mathematical structure that guides the fusion of distributional and experiential information. Our algorithm provides superior results in a set expansion task and a significant correlation with two benchmarks of human rated word-pair similarity datasets.     

Validation of static properties in unified modeling language models for cyber physical systems

Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.     

AVS-M帧间预测模式快速选择算法的研究

AVS-M是我国拥有自主知识产权的数字音视频编码系列标准的移动视频标准.AVS-M采用率失真优化(RDO)技术进行帧间模式的选择,增加编码过程中宏块进行模式选择的计算复杂度.本文提出一种快速的帧间模式选择算法.该算法首先对SKIP模式提前判决,再采用二分搜索法对帧间模式的选择,对于宏块层的模式划分采用MAD(平均绝对差...     

基于.NET和AJAX技术的实验选课及教学管理系统

针对目前实验室及实验教学管理存在的普遍问题,研究开发实验选课及教学管理系统。采用目前较成熟稳定的.NET框架以及基于Web 2.0的AJAX技术,给出系统的整体框架,阐述系统主要功能模块的设计与实现,分析系统的安全性策略。该系统结构清晰、功能丰富、职责明确、界面友好,并具有良好的可扩展性、实用性和可维护性。     

鱼眼图像校正和配准算法研究

提出一种对鱼眼图像进行校正和配准的算法。首先把鱼眼图像从相等距离投影模型映射到参数化球面投影模型,使得合成球面全景图成为一个平移求解问题。然后使用非线性优化算法进行图像的配准。在合成场景的球面全景图以后,通过重投影球面全景图到视平面来完成虚拟场景的实时漫游。     

基于C／S架构的员工培训管理系统的设计与实现

主要介绍一个员工培训管理系统的设计与实现。本文首先介绍开发本系统的必要性,并简单介绍所采用的开发工具和运行环境;然后对系统进行清晰的需求分析和数据库逻辑设计,并对系统功能模块进行划分。在此基础上,详细描述数据库中的表结构及主要模块的实现技术。