基于RTOS的GUI软件框架的研究

在对嵌入式系统GUI软件开发研究的基础上,提出了一种基于嵌入式系统RTOS上GUI的软件框架.理论上,该GUI软件框架通过采用层次化软件构件技术,提高了嵌入式系统GUI软件构件的组织管理效率;同时,该软件框架降低了GUI软件系统与RTOS的耦合性,提高了嵌入式GUI软件的可维护性、可理解性和可扩展性.最终的目标是将该GUI软件框架能应用于某个专业领域.     

基于Linux的嵌入式GUI设计研究

本文介绍了嵌入式图形用户界面（Embedded Graphics User Interface,Embedded GUI）的结构和设计思想,详细说明了嵌入式GUI的三层结构：GAL和IAL层、GUI核心层、GUI的API层和GUI整体执行流程.     

基于RTOS的GUI软件框架的研究

在对嵌入式系统GUI软件开发研究的基础上，提出了一种基于嵌入式系统RTOS上GUI的软件框架。理论上，该GUI软件框架通过采用层次化软件构件技术，提高了嵌入式系统GUI软件构件的组织管理效率；同时，该软件框架降低了GUI软件系统与RTOS的耦合性，提高了嵌入式GUI软件的可维护性、可理解性和可扩展性。最终的目标是将该GUI软件框架能应用于某个专业领域。     

基于嵌入式系统的GUI框架设计

本文主要关注嵌入式系统的GUI框架的设计，通过分析GUI的特点，设计了一个面向对象的跨平台的GUI框架。     

Android应用程序GUI遍历的自动化方法

近来针对Android应用程序的基于GUI(图形用户界面)的分析和测试方法已经成为一个研究热点. 自动化技术和较高的GUI覆盖率可以提高大部分方法的效率和效果. 然而以前的工作并不能充分满足自动化和高GUI覆盖率的要求. 提出了一种在不需要程序源代码的情况下遍历Android应用程序GUI的自动化方法. 其主要思想是通过模拟用户的行为自动探测Android应用程序的GUI. 我们的工作主要解决了UI元素提取和处理、用户行为模拟、GUI遍历算法设计和模型构建三方面中的一些关键问题. 实验结果表明, 该方法能获得较高的GUI覆盖率可以有效遍历应用程序的GUI. 此外, 该方法也将有助于程序安全分析、GUI测试等其他研究.     

图形用户界面的回归测试方法研究

对图形用户界面(GUI)进行回归测试是一项困难的工作,因为当GUI的结构稍作修改则可导致大量的测试用例不可再用.给出一种GUI的回归测试方法,介绍该方法的思想及GUI回归测试器模型.由于该方法可对GUI修改前所用的测试用例进行选择、修复,使之变为可再用的测试用例,因此可以减少开销,提高GUI的回归测试效率.     

基于嵌入式Qt的车载GUI平台的设计

文章通过对现行几种嵌入式GUI系统进行分析比较,选择嵌入式Qt系统作为车载GUI的开发平台,提出了基于嵌入式Qt的车载娱乐系统GUI平台的设计方案及多媒体处理软件的构架.文章还对车载娱乐系统GUI平台设计过程中涉及到的窗口系统结构设计和事件响应设计做了详细的论述,并提出了自己的解决方案,实现了嵌入式车载娱乐系统GUI的基本功能.     

基于HFSM模型的GUI自动测试

针对图形用户界面（GUI）软件的层次性,采用分层有限自动机（HFSM）模型对被测GUI软件建模,将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件,提供接口,采用均匀设计思想自动产生测试数据,由测试数据驱动测试执行。根据GUI软件的特点,采用增量方式进行模型构造和测试,从而避免错误积累。     

基于APK的Android应用程序GUI遍历自动化方法

为了提高应用程序自动执行技术的图形用户界面（GUI）覆盖率和自动化程度以满足Android应用程序动态安全分析和GUI测试的需求,提出了一种基于应用程序安装包（APK）的Android应用程序GUI遍历自动化方法。该方法通过动态地捕捉目标应用程序GUI并模拟用户行为与之交互,驱动应用程序自动执行。基于开源框架Appium实现了一个能够自动化遍历轻量Android应用程序GUI的跨平台原型工具。实验结果表明,该自动化方法能够获得较高的GUI覆盖率。     

基于LINUX的嵌入式GUI

介绍了嵌入式GUI的要求和发展状况,并且就典型的例子分析了嵌入式GUI的主要技术以及对它具体的应用,最后指出了嵌入式GUI的重要性和其今后的发展方向。     

Automaton Modeling of Processes of Formation and Splitting of Collectives

The problem of determination of the conditions of formation and splitting of a collective (a team) and the problem of determination of the response of a dynamic automaton to specified input processes are shown to be equivalent. Based on this fact, an automaton model of a collective is constructed. The apparatus of continuous logic and logical determinants are used to analyze the model.     

程序时序属性的自动测试

测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先，作者将一线性时序逻辑公式转换为一个有限状态自动机，然后，管理源代码，以便抽取与线性时序逻辑性质有关的状态序列。最后，用谊信息来模拟状态自动机，并决定程序执行是否满足线性时序逻辑的性质。     

Generation of root functionals of a system of polynomials

A root functional is a functional that is defined over a polynomial ring and annihilates the ideal of polynomials. The concept of a root functional is a generalization of the concept of a root to the case of multiple roots. This article considers a bilinear operation of generation of root functionals for a system of polynomials in variables, which allows one to construct a root functional from two root functionals. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 22–46, January–February 2008.     

Solidworks在铸造模型设计制造过程中的应用

长期以来,铸造用模的制造一直沿袭着零件图→铸造工艺图→模块设计放样→制造组合这一程序,制造周期长,成为新产品开发的瓶颈。我们应用计算机三维软件Solidworks将产品图纸转化为电子图形,然后结合铸造工艺参数直接编辑修正成放样图,实现了产品设计与模型制造交叉作业、相互验证,大大加快了模型制造的进度,提高了模型质量。     

The design of a Virtual Library of Emblem Books

Antique documents, which undoubtedly represent our cultural heritage and can be considered a very rich source of information, are kept in many countries only on libraries with historical archives. The antiquity and fragility of such documents makes their access very restricted. Considering that nowadays the Internet is one of the most interesting places to publish any kind of information, it seems logical to use it to both preserve our cultural heritage and provide a broader access to these documents. This work presents a virtual library that stores data, transcribed texts and digitalized pages of historic Spanish documents from the 16th–18th centuries. This virtual library has two main objectives: first, by offering a set of services, including a powerful user interface to search and browse the documents, a bulletin board, a chat, or mail boxes, the virtual library is transformed into a meeting place for researchers that use emblem books as sources of information for their studies. Second, the virtual library contributes to the preservation of emblem books. We shall describe in this work the project that led to the development of the Virtual Library of Emblem Books, showing its evolution from the beginning (simple search forms and answer pages) to its current state as a virtual library, focusing on the techniques used to build an intuitive and powerful user interface. Copyright © 2006 John Wiley & Sons, Ltd.     

Reformulation of the theory of conceptual spaces

This paper presents a conceptual system based on two independently developed extensions of Gardenförs’ formulation of conceptual spaces. The new approach continues to emphasize the role of properties and their associations in conceptual representation, and to recognize the importance of similarity judgments in reasoning tasks. In the new theory, domains are sets equipped with a measure, and a property is a measurable membership function on a domain. Concepts are sets of properties and their binary associations. A new notion of the degree of ambiguity of properties for a given reasoning task is used to focus attention upon properties having the greatest discrimination power. The theory is demonstrated on a maritime application involving the categorization of vessel routes.     

绘图语言的解释器实现

介绍一种扩充现有解释器的实用方法。从一种名为Hoc的简单脚本语言,扩充到一种全功能的2D绘图语言Easydraw,展示如何扩充已有解释器,并提出进一步的扩充方法。在此基础上展示如何编写实际项目中的脚本语言。     

The computation of zones of influence of linear geological structures

The concept of a zone of influence of a linear geological structure provides a method of quantifying the effect of the structure on the properties of its neighborhood. For example, a fault may exert some influence on the local roof conditions in a mine opening, or on the location of mineral deposits, where the influence at any given distance (up to the specified half-width of the zone of influence) from the fault is estimated by some postulated influence function. Any area of interest may be partitioned into a large number of cells, and the sum of the influences due to the nearby faults calculated for the midpoint of each cell. The program groups the cells, by midpoints, into sets comprising those cells affected by precisely 0,1,2,... faults, calculates the proportion each set constitutes of the area of interest, and the total of the midpoint sums of the cells in each set. Although the program was developed for a specific problem in a New South Wales colliery, the method is not specific to this problem and has application to many situations in rock mechanics, metallogenesis, seismicity, and in other fields in which the concept of a zone of influence may be relevant.     

On Convergence of Volterra Series Expansion of a Class of Nonlinear Systems

A fundamental issue in conducting the analysis and design of a nonlinear system via Volterra series theory is how to ensure the excitation magnitude and/or model parameters will be in the appropriate range such that the nonlinear system has a convergent Volterra series expansion. To this aim, parametric convergence bounds of Volterra series expansion of nonlinear systems described by a NARX model, which can reveal under what excitation magnitude or within what parameter range a given NARX system is able to have a convergent Volterra series expansion subject to any given input signal, are investigated systematically in this paper. The existing bound results often are given as a function of the maximum input magnitude, which could be suitable for single‐tone harmonic inputs but very conservative for complicated inputs (e.g. multi‐tone or arbitrary inputs). In this study, the output response of nonlinear systems is expressed in a closed form, which is not only determined by the input magnitude but also related to the input energy or waveform. These new techniques result in more accurate bound criteria, which are not only functions of model parameters and the maximum input magnitude but also consider a factor reflecting the overall input energy or wave form. This is significant to practical applications, since the same nonlinear system could exhibit chaotic behavior subject to a simple single‐tone input but might not with respect to other different input signals (e.g. multi‐tone inputs) of the same input magnitude. The results provide useful guidance for the application of Volterra series‐based theory and methods from an engineering point of view. The Duffing equation is used as a benchmark example to show the effectiveness of the results.     

Exploring the benefits of the combination of a software architecture analysis and a usability evaluation of a mobile application

Designing easy to use mobile applications is a difficult task. In order to optimize the development of a usable mobile application, it is necessary to consider the mobile usage context for the design and the evaluation of the user-system interaction of a mobile application. In our research we designed a method that aligns the inspection method “Software ArchitecTure analysis of Usability Requirements realizatioN” SATURN and a mobile usability evaluation in the form of a user test. We propose to use mobile context factors and thus requirements as a common basis for both inspection and user test. After conducting both analysis and user test, the results described as usability problems are mapped and discussed. The mobile context factors identified define and describe the usage context of a mobile application. We exemplify and apply our approach in a case study. This allows us to show how our method can be used to identify more usability problems than with each method separately. Additionally, we could confirm the validity and identified the severity of usability problems found by both methods. Our work presents how a combination of both methods allows to address usability issues in a more holistic way. We argue that the increased quantity and quality of results can lead to a reduction of the number of iterations required in early stages of an iterative software development process.