飞机平显自动测试系统的研制与开发

采用虚拟仪器技术研制了一种用于对飞机核心电子部件平视显示系统(平显)进行故障检测和维修的网络化自动测试系统。该系统采用分布式网络结构,硬件平台基于高可靠的PXI／CPCI,软件采用LabWindows／CVI开发,用户只需要通过简单键盘鼠标操作即可完成复杂现场测试。实际运行表明,该系统具有用户界面友好、操作方便等优点,提高了测试的效率和准确性,并有效节省了测试成本与维护费用。     

TruBeRepec: a trust-behavior-based reputation and recommender system for mobile applications

Mobile applications are software packages that can be installed and executed in a mobile device. Which mobile application is trustworthy for a user to purchase, download, install, execute or recommend becomes a crucial issue that impacts its final success. This paper proposes TruBeRepec, a trust-behavior-based reputation and recommender system for mobile applications. We explore a model of trust behavior for mobile applications based on the result of a large-scale user survey. We further develop a number of algorithms that are used to evaluate individual user’s trust in a mobile application through trust behavior observation, generate the application’s reputation by aggregating individual trust and provide application recommendations based on the correlation of trust behaviors. We show the practical significance of TruBeRepec through simulations and analysis with regard to effectiveness, robustness, and usability, as well as privacy.     

物联网感知层移动自组织网可靠性评估方法

移动自组织网可靠性是影响物联网应用的数据采集和设备控制的关键因素之一。为解决移动自组织网络可靠性的不确定性分析和量化评估的问题,综合考虑节点移动性引起的动态连接以及网络组件故障的因素,提出了一种基于节点移动的Ad_hoc网的可靠性计算方法。在两个节点移动时都保持速度和方向不变的条件下,首先预测其中一个节点有效链路保持的持续时间,然后考虑此节点某段时间内在速度和方向上的变化来评估此链路的有效性,进而间接地计算自组织网的可靠性。实验结果表明,移动自组织网的可靠性不仅依赖节点、链路可靠性,还依赖于网络拓扑的冗余度和节点在网络中的分布。     

基于TTCN-3的手机网络应用软件测试方法研究

介绍了手机网络应用软件的主要开发技术,概述了TTCN-3标准规范中的TTCN-3核心语言、TTCN-3运行时接口和TTCN-3控制接口的基本概念,并在对手机网络应用软件网络连接方式分析的基础上,提出了基于TTCN-3的手机网络应用软件测试方法,说明了使用TTCN-3测试手机网络应用软件的测试流程.通过给出一个手机网络应用软件的测试实例,展示了这种测试方法的可行性.     

Generalized Discrete Software Reliability Modeling With Effect of Program Size

Generalized methods for software reliability growth modeling have been proposed so far. But, most of them are on continuous-time software reliability growth modeling. Many discrete software reliability growth models (SRGM) have been proposed to describe a software reliability growth process depending on discrete testing time such as the number of days (or weeks); the number of executed test cases. In this paper, we discuss generalized discrete software reliability growth modeling in which the software failure-occurrence times follow a discrete probability distribution. Our generalized discrete SRGMs enable us to assess software reliability in consideration of the effect of the program size, which is one of the influential factors related to the software reliability growth process. Specifically, we develop discrete SRGMs in which the software failure-occurrence times follow geometric and discrete Rayleigh distributions, respectively. Moreover, we derive software reliability assessment measures based on a unified framework for discrete software reliability growth modeling. Additionally, we also discuss optimal software release problems based on our generalized discrete software reliability growth modeling. Finally, we show numerical examples of software reliability assessment by using actual fault-counting data     

Matrix based proactive resource provisioning in mobile cloud environment

Mobile cloud computing is a dynamic, virtually scalable and network based computing environment where mobile device acts as a thin client and applications run on remote cloud servers. Mobile cloud computing resources required by different users depend on their respective personalized applications. Therefore, efficient resource provisioning in mobile clouds is an important aspect that needs special attention in order to make the mobile cloud computing a highly optimized entity. This paper proposes an adaptive model for efficient resource provisioning in mobile clouds by predicting and storing resource usages in a two dimensional matrix termed as resource provisioning matrix. These resource provisioning matrices are further used by an independent authority to predict future required resources using artificial neural network. Independent authority also checks and verifies resource usage bill computed by cloud service provider using resource provisioning matrices. It provides cost computation reliability for mobile customers in mobile cloud environment. Proposed model is implemented on Hadoop using three different applications. Results indicate that proposed model provides better mobile cloud resources utilization as well as maintains quality of service for mobile customer. Proposed model increases battery life of mobile device and decreases data usage cost for mobile customer.     

User allocation-aware edge cloud placement in mobile edge computing

Mobile edge computing is emerging as a novel ubiquitous computing platform to overcome the limit resources of mobile devices and bandwidth bottleneck of the core network in mobile cloud computing. In mobile edge computing, it is a significant issue for cost reduction and QoS improvement to place edge clouds at the edge network as a small data center to serve users. In this paper, we study the edge cloud placement problem, which is to place the edge clouds at the candidate locations and allocate the mobile users to the edge clouds. Specifically, we formulate it as a multiobjective optimization problem with objective to balance the workload between edge clouds and minimize the service communication delay of mobile users. To this end, we propose an approximate approach that adopted the K-means and mixed-integer quadratic programming. Furthermore, we conduct experiments based on Shanghai Telecom's base station data set and compare our approach with other representative approaches. The results show that our approach performs better to some extent in terms of workload balance and communication delay and validate the proposed approach.     

Exposing mobile malware from the inside (or what is your mobile app really doing?)

It is without a doubt that malware especially designed for modern mobile platforms is rapidly becoming a serious threat. The problem is further multiplexed by the growing convergence of wired, wireless and cellular networks, since virus writers can now develop sophisticated malicious software that is able to migrate across network domains. This is done in an effort to exploit vulnerabilities and services specific to each network. So far, research in dealing with this risk has concentrated on the Android platform and mainly considered static solutions rather than dynamic ones. Compelled by this fact, in this paper, we contribute a fully-fledged tool able to dynamically analyze any iOS software in terms of method invocation (i.e., which API methods the application invokes and under what order), and produce exploitable results that can be used to manually or automatically trace software’s behavior to decide if it contains malicious code or not. By employing real life malware we assessed our tool both manually, as well as, via heuristic techniques and the results we obtained seem highly accurate in detecting malicious code.     

基于学习向量量化神经网络的软件可靠性预测

针对传统的软件可靠性预测模型在实际应用中存在预测泛化性能不佳等问题,提出一种基于学习向量量化（LVQ）神经网络的软件可靠性预测模型。首先分析了LVQ神经网络的结构特点以及它与软件可靠性预测的联系,然后运用该网络来进行软件可靠性的预测,并基于美国国家航空航天局（NASA）软件数据项目中的实例数据集,运用Matlab工具进行了仿真实验。通过与传统预测方法的对比,证明该方法具有可行性和较高的预测泛化性能。     

基于移动代理的主动网络系统级故障诊断模型

主动网络的可靠性和可用性是计算机网络领域的重要研究课题之一。通过分析系统级故障诊断的分布式算法设计思想,将系统级故障诊断的理论应用于基于移动代理的主动网络管理,给出了基于移动代理的主动网络的系统级故障诊断三值模型,提高了测试的可靠性和正确性。文中还阐述了分布式故障诊断算法,并利用移动代理的管理策略,达到了分布式的网络管理,具有实际应用的重要意义。     

Gompertz software reliability model: Estimation algorithm and empirical validation

Gompertz curve has been used to estimate the number of residual faults in testing phases of software development, especially by Japanese software development companies. Since the Gompertz curve is a deterministic function, the curve cannot be applied to estimating software reliability which is the probability that software system does not fail in a prefixed time period. In this article, we propose a stochastic model called the Gompertz software reliability model based on non-homogeneous Poisson processes. The proposed model can be derived from the statistical theory of extreme-value, and has a similar asymptotic property to the deterministic Gompertz curve. Also, we develop an EM algorithm to determine the model parameters effectively. In numerical examples with software failure data observed in real software development projects, we evaluate performance of the Gompertz software reliability model in terms of reliability assessment and failure prediction.     

移动网络软件架构中的安全技术研究

随着移动终端的广泛应用,移动网络软件系统的安全问题也日益凸显,全球有大量的研究人员投身到了移动网络系统安全的分析研究工作中。文章对当前常用的移动网络软件架构及其安全风险进行了分析,提出了多种安全解决的方向与方法,总结了该领域中各个研究方向的进展,对相关安全工具进行了分析,并对未来的研究思路作出了展望。     

A simulation approach to structure-based software reliability analysis

Structure-based techniques enable an analysis of the influence of individual components on the application reliability. In an effort to ensure analytical tractability, prevalent structure-based analysis techniques are based on assumptions which preclude the use of these techniques for reliability analysis during the testing and operational phases. In this paper, we develop simulation procedures to assess the impact of individual components on the reliability of an application in the presence of fault detection and repair strategies that may be employed during testing. We also develop simulation procedures to analyze the application reliability for various operational configurations. We illustrate the potential of simulation procedures using several examples. Based on the results of these examples, we provide novel insights into how testing and repair strategies can be tailored depending on the application structure to achieve the desired reliability in a cost-effective manner. We also discuss how the results could be used to explore alternative operational configurations of a software application taking into consideration the application structure so as to cause minimal interruption in the field.     

Design and development of a mobile peer-to-peer social networking application

The proliferation of wireless and mobile devices such as personal digital assistants and mobile phones has created a large demand for mobile software applications such as social networking software. In addition, the realization and widespread usage of peer-to-peer (P2P) networking have drastically increased the number of applications utilizing these technologies. The convergence of mobile and P2P networking have generated increasing interest in the mobile peer-to-peer (MP2P) community. In this paper, we describe the design and development of a mobile social software (MoSoSo) based on a P2P network architecture using Juxtapose (JXTA) and Juxtapose for Java MicroEdition (JXME). The MoSoSo application allows users to discover, communicate and share resources with one another. We present three facets of designing the MoSoSo: object-oriented software design, network infrastructure design, and user-interface design. The software has been fully implemented and tested on a variety of mobile devices for use in a campus setting. By studying the design and implementation of the MoSoSo, we hope to benefit the entire mobile application development community by providing common models and insights into developing MP2P software.     

一种基于C#的通用软件安装程序的架构设计与实现

可以说每个商业化软件都必须具备安装工具,使用系统软件自带的打包程序有时很难满足实际需求,为此提出了一种基于C#的通用软件安装程序的架构,给出了实现这一架构的设计方法和关键代码.通过该架构,可以非常容易地实现安装程序的功能扩展和代码维护.     

Android智能手机的云服务应用研究

云计算的应用目标并不仅局限于PC,随着移动互联网的蓬勃发展,基于手机等移动终端的云服务已成为IT行业炙手可热的新业务发展模式。本文基于Openmobster搭建移动云计算环境,并利用Android智能手机作为终端来访问云端服务器资源,以数据传输的事务处理为应用背景,采用c／s模式和B／S模式相结合的方式,建立了云服务下移动智能终端信息采集和处理的基础架构,并根据此架构初步实现了追踪定位的功能。该方法通过无线网络连接,利用服务器端与手机客户端的即时通信,实现了为Android智能手机提供云推送和云同步的服务。     

NDIS驱动程序MSI安装包的研究与实现

通过对NDIS驱动程序和Windows安装服务的研究，提出了实现驱动程序MSI安装包的方法。介绍了Windows安装服务、网络驱动程序接口规范及该规范支持的驱动程序，重点阐述了NDIS驱动程序安装的关键技术及MSI安装包的实现。     

Learning to detect misaligned point clouds

Matching and merging overlapping point clouds is a common procedure in many applications, including mobile robotics, three‐dimensional mapping, and object visualization. However, fully automatic point‐cloud matching, without manual verification, is still not possible because no matching algorithms exist today that can provide any certain methods for detecting misaligned point clouds. In this article, we make a comparative evaluation of geometric consistency methods for classifying aligned and nonaligned point‐cloud pairs. We also propose a method that combines the results of the evaluated methods to further improve the classification of the point clouds. We compare a range of methods on two data sets from different environments related to mobile robotics and mapping. The results show that methods based on a Normal Distributions Transform representation of the point clouds perform best under the circumstances presented herein.     

基于CPLD和多处理器结构的控制网络节点设计

节点是控制网络系统的基本构成单元。论文提出了一种基于CPLD和多处理器结构的控制网络节点设计方法。它能够提高单节点的并行处理能力,其模块化结构增强了节点的可靠性;不同处理器之间的连接形式可以通过VHDL等软件在线改变,使得节点柔性与扩展性提高。同时,其软件可按照不同处理器模块分步开发,软件结构也得以简化,有利于节点的调试。遵循该方法,成功开发出一种多功能LonWorks控制网络节点。     

多数据集深度学习模型的修图处理识别

图像处理软件的飞速发展,带动了移动应用领域一大批修图、美化应用的兴起。但是修图、美化软件的快速发展和普及也带来了一些社会问题和安全问题,如网恋对象严重失真,摄影作品造假等。针对手机中的修图处理APP软件,提出一种基于多数据集特征学习的神经网络模型,并给出其网络拓扑结构。区别于传统的多个神经网络并行操作,提出的网络模型具有共享模型参数的特征,能同时对多个特征数据集进行深度学习,使检测程序具备多特征识别能力。此外,还提出了一种针对多任务网络模型的损失函数,以增强深度特征学习的能力。实验结果表明,提出方法的准确率较传统方法有较大提升,同时泛化性能优越,能识别出经过多种美图、修图软件修复过的图像。