基于麒麟系统的即时通讯系统设计与实现

随着操作系统国产化的浪潮,麒麟系统已开始应用于各行各业,但是麒麟系统还没有一个便捷的即时通讯系统。本文旨在设计能在麒麟系统下运行的即时通讯系统。由于麒麟系统是基于Linux内核开发的,本文采用QT开发平台,设计并实现了一套即时通讯系统。此系统采用oracle数据库和RSA加密技术,既能解决麒麟系统下即时通讯问题,又保证了通讯安全。经测试,系统能够稳定运行。     

基于嵌入式Linux网关的开源远程家居安防系统

针对国内人们对家居安防系统的需求,改进当前已存在的家居安防系统,提出了基于嵌入式Linux网关的开源远程家居安防系统。本系统改进了现存系统,使用新兴的NB_IOT技术作为远程传输技术,使用开源语言Python在嵌入式Linux系统中搭建网关,使系统具备开源特点。本系统底层使用ZigBee技术降低产品功耗,同时,系统网关可以实现简单的警情预处理。尽管本系统开源,但本系统继承了Linux系统权限管理模式的优点,系统更加安全。     

天气系统的混沌特性

运用非线性动力学工具分析天气系统,着重从数据角度描述天气系统的特性,包括重建系统相空间、计算系统吸引子的维数以及Lyapunov指数,从而论证系统的混沌特性．目的在于以混沌动力学为工具。将天气系统作为非线性动力学系统。从实际的天气数据分析天气系统的特性,从数据的角度论证天气系统的混沌特性,并计算系统的混沌参数．     

衰减湮灭的状态方程及状态控制

根据衡敛状态方程,系统输入或边界条件的变化能够影响系统状态,对于系统状态出现的衰减湮灭,推导了系统衰减湮灭的状态方程、衰灭平衡方程。得出,当系统状态发生衰减湮灭,系统状态值、系统输入值、边界条件之间相互作用,改变系统的输入或边界条件能够恢复系统。应用系统衰灭状态方程及衰灭平衡方程,对系统状态变化进行分析,是研究系统状态演变,系统控制,状态时滞、预防系统性衰减的方法。     

采用Socket实现Link-easy组件及其应用

在系统与系统的交互过程中,很多系统都无法实现系统与系统间操作的实时交互性以及数据的同步性,而需要通过接口系统采用跑批的方式来实现系统间数据的同步性。该文介绍一种实时交互的组件――Link-easy的实现,该组件可以解决系统与系统之间的实时交互问题。     

GPS车辆追踪系统的实现

依据珠海１２０系统的实际研制、开发,介绍了ＧＰＳ系统在汽车监控领域的一种应用──车辆自动追踪系统,重点介绍了系统的整体结构、系统原理、系统功能、系统的优点及系统的技术指标。     

平行测量:复杂测量系统的一个新型理论框架及案例研究

分析了复杂测量系统的溯源研究现状,指出现有的研究已不能满足复杂测量系统的动态化溯源需求,提出了建立人工测量系统的必要性.基于ACP（Artificial societies,computational experiments,and parallel execution）方法建立了平行测量系统的理论框架,通过构建与物理测量系统行为和特性等价的人工测量系统,借助人工测量系统的计算实验,确定测量优化控制策略,引导物理测量系统的运行,并进行评估,实现物理测量系统和人工测量系统的平行执行和平行控制,将物理测量系统溯源至人工测量系统的理论模型上,解决复杂测量系统的溯源问题.并以齿轮在位测量系统为例,对平行齿轮测量系统进行了设计和平行控制研究.     

基于LINUX的嵌入式Email系统的设计与实现

嵌入式Email系统是类PC嵌入式系统,是嵌入式操作系统及其应用软件的一个重要组成部分,但是现有PC上的嵌入式Email系统都不能适应类PC嵌入式系统的硬件环境要求。文中采用了一种新的构建嵌入式Email系统的方法,设计与实现了清华嵌入式Email系统,可根据各种类PC嵌入式系统的不同要求进行定制。首先,论述了类PC嵌入式系统的硬件平台对嵌入式Email系统的苛刻要求,其次,描述了清华嵌入式Email系统的体系结构,接着,讨论了清华嵌入式Email系统的实现机制与原理,以及系统模型,最后,给出了嵌入式Email系统的特点。由于采用了现在流行的一种开放源码的组件,使得整个系统功能完善,并能够完全符合类PC嵌入式系统的要求。嵌入式Email系统已经在自主研制的掌上电脑HPC和交互式网络电视上成功地运行。     

集成ERP与移动通信平台的移动商务系统设计

为满足企业对移动商务系统的使用需求,对常用ERP系统的数据库和常用移动通信平台的SDK进行分析,在此基础上设计了能够将企业现有ERP系统与移动通信平台集成起来实现移动商务管理的系统。设计了系统架构,将系统分为3层,每层都采用插件技术;根据系统架构设计系统功能,将系统分为7个功能模块,通过这7个功能模块实现该系统的功能;最后设计系统编码,将编码从左到右分为5段,每段有不同的意义和格式要求。     

连续非线性系统的神经网络α阶逆系统控制方法

对连续非线性系统,采用连续系统的设计方法,利用神经网络对非线性函数的逼近能力加上用来表征系统动态特性的若干积分器,构造工程上可实现的原系统的神经网络α阶逆系统(将α阶逆系统直接与原系统串接,构成α阶积分伪线性复合系统),并对α阶积分伪线性复合系统设计线性控制器,实现对原非线性系统的有效控制.仿真结果表明,该方法适用于较一般的线性、非线性连续系统,且结构简单,易于工程实现.     

Java多线程测试策略及测试方法探讨

Based on analyzing the features of Java multithread, testing strategies and methods are discussed in this paper. Java multithread testing is consist of class testing,integration block testing and system testing. The main testing methods for Java multithread are proposed, such as inherit testing, synchronization testing and synchronization efficiency testing.     

An evaluation of the effectiveness of symbolic testing

The effectiveness in discovering errors of symbolic evaluation and of testing sad static program analysis are studied. The three techniques are applied to a diverse collection of programs and the results compared. Symbolic evaluation is used to carry out symbolic testing and to generate symbolic systems of path predicates. The use of the predicates for automated test data selection is analysed. Several conventional types of program testing strategies are evaluated. The strategies include branch testing, structured testing and testing on input values having special properties. The static source analysis techniques that are studied include anomaly analysis and interface analysis. Examples are included which describe typical situations in which one technique is reliable but another unreliable. The effectiveness of symbolic testing is compared with testing on actual data and with the use of an integrated methodology that includes both testing and static source analysis. Situations in which symbolic testing is difficult to apply or not effective are discussed. Different ways in which symbolic evaluation can be used for generating test data are described. Those ways for which it is most effective are isolated. The paper concludes with a discussion of the most effective uses to which symbolic evaluation can he put in an integrated system which contains all three of the validation techniques that are studied.     

电视跟踪仪软件单元测试方法

提高软件产品的质量重要方式之一就是软件测试,它已成为软件行业的又一新热点,文中阐述了软件单元测试技术在电视跟踪仪的软件系统中的应用,主要包括驱动模块和桩模块的开发时机,测试路径的分析方法,以及在基于路径的测试用例优化方法;同时比较出不同的单元测试方法在测试深度和测试效率上的差别;通过软件测试找到一些软件错误与缺陷,针对出现的问题进行软件的修改,保证电视跟踪仪软件产品的质量达到要求.     

软件安装测试的内容和方法

软件是否能正常且方便地安装和卸载是软件能否顺利推广的关键之一,软件安装测试是软件测试的一个重要组成部分.本文从"安装和卸载的功能测试"、"安装和卸载的易用性测试"、"安装手册的测试"三个方面系统地阐述了软件安装测试的内容和方法,并给出一些实例.     

双目头盔显示器测试仪中图像定位算法研究

阐述了头盔显示器检查仪的测量原理和系统结构。重点说明了实际检查仪中的关键技术,介绍了应用SUSAN算子进行边缘检测和根据CCD特性进行高斯曲线拟合相结合的亚像素算法,采用该算法进行十字丝的定位,达到了实际应用的要求。     

民用航空器测试技术体系架构研究

分析了构建民用航空器测试技术体系的需求,提出了民用航空器测试技术体系架构,并分析了测试技术需求层、测试技术实现层、测试技术产品层、测试技术标准层、测试技术验证层和测试技术应用层等要素的实施途径,明确了民用航空器测试技术体系的构建方法,希望研究成果对于构建民用航空器测试技术体系有一定的指导作用。     

软件确认测试概述

软件确认测试在软件测试生命周期中占有重要地位。尽管在整个开发过程中经历了各种测试和检验,但是,在其正式发布和投入运行之前仍必需通过正式的和系统全面的测试,来确认其是否符合需求。本文介绍了软件确认测试的主要测试内容及活动,分析了确认测试在软件开发过程中的作用和地位,归纳了确认测试的基本测试模型,总结了确认测试的基本测试过程和方法。     

适用于并行操作的C语言程序测试工具ParCT

并行计算技术的飞速发展给软件测试带来了新的要求．并行软件测试可以分为基于进程内部的控制流测试和基于进程间相互关系的时序测试．文中所介绍的并行软件的测试工具——ＰａｒＣＴ （ｐａｒａｌｌｅｌＣ－ｌａｎｇｕａｇｅ ｔｅｓｔｉｎｇｔｏｏｌｓ）主要是面向控制流的．文中介绍了ＰａｒＣＴ的运作机制及其主要功能：通过对程序的动态测试得到测试的覆盖率、列出未覆盖分支以及对各个分支的访问频度,从而帮助用户完成对测试程度的评估并为用户设计新的测试用例提供目标．在此基础上,还对并行测试工具所面临的一系列新课题,诸如进程的实时跟踪、面向控制流的测试产生（ｔｅｓｔｇｅｎｅｒａｔｉｏｎ）算法、面向多线程的测试工具、并行程序的时序测试（ｔｉｍ ｉｎｇ ｓｅｑｕｅｎｃｅ ｔｅｓｔｉｎｇ）等,进行了一定程度的探讨     

基于测试需求的互操作性测试用例生成方法

网络化应用将成为未来软件技术发展的主导模式。为了保证网络化应用之间能够有效地协同工作,必须对其进行互操作性测试。互操作性测试具有测试需求复杂易变、测试用例设计困难的特点,因而需要消耗大量成本。为此,提出一种基于测试需求的互操作性测试用例生成方法。该方法采用模型驱动的测试思想,以测试需求模型描述互操作性测试需求,以状态图描述各被测应用的规格说明,通过两者的结合生成满足测试需求的测试用例。     

程序正确性测试的相关技术进展

本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。