A polynomial dynamic system approach to software design for attractivity requirement

Because of the widespread increasing application of Web services and autonomic computing, self-adaptive software is an area gaining increasing importance. Control theory provides a theoretical foundation for self-adaptive software. In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems. This paper focuses in particular on design of software with an attractivity requirement. It studies this problem using the polynomial dynamic system (PDS) model of DEDS. A necessary and sufficient condition for software existence and two algorithms for such software design are presented.     

单粒子效应对航天器的威胁及空间飞行试验评论（二）

列举了若干航天器因单粒子效应而出现的异常或故障。阐述了单粒子效应空间飞行试验方法和预估方法。总结了多颗航天器单粒子效应空间飞行试验结果。依据空间飞行试验结果，对静止卫星、低太阳同步轨道卫星和椭圆轨道卫星在太阳宁静和太阳耀斑期间单粒子效应作了比较。     

State observability and condition observability for a class of interacting discrete event systems

This paper introduces the concepts of state observability and condition observability for condition systems, a class of systems composed of discrete state components which interact via discrete binary signals called conditions. Given a set of externally observed conditions, state observability implies that the state of the system can be determined from the observations, and condition observability implies that all unobserved input and output conditions of the system can be determined from the observations. In this paper, we present a class of systems which is state observable and condition observable. We present a method to synthesize an observer system to provide state and condition signal estimates for a single component subsystem.     

程控交换机收号系统模拟的研究

本文提出了一种模拟程控交换机收号系统的有效方法,采用消息驱动收号事件表的思想,运用并发控制技术,实现了在没有话路硬设备的条件下多用户同时拨号在线模拟收号控制的功能。本文提出的收号系统模拟方案已成功应用于某国产中大容量程控交换机的呼叫模拟系统中。     

RFID复杂事件处理关键技术的研究与改进

RFID复杂事件处理是一个新兴的技术领域,它用来处理大量的简单事件,并从中整理出有价值的事件。RFID事件和传统的事件相比较具有海量性、空间性和时间性、数据不准确性等特征。文中在分析RFID数据特点的基础上,对RFID复杂事件处理的关键技术进行研究和改进,主要介绍RFID数据的清洗和事件检测技术。对于RFID数据清洗部分,提出了多层次过滤的方法使得到的数据更接近真实情况,而事件检测方面则提出了局部检测和全局检测相结合的方法对相关数据进行检测以得到更有意义的数据供上层应用使用。最后,对RFID复杂事件处理的发展趋势做出展望。     

MicroPort: A general simulation platform for seaport container terminals

Seaport container terminals are essential nodes in sea cargo transportation networks. As such, the operational efficiency of container terminals in handling containers passing through them plays a critical role in a globalized world economy. Many models and algorithms have been developed to address various decision problems in container terminals to help improve operational efficiency. These decision support tools are usually used separately for specific purposes. However, the problems they are trying to tackle are often interrelated. Therefore, in this regard, an evaluation tool which can capture as many operational conditions as possible for different decision problems is necessary. This paper introduces a general simulation platform, named MicroPort, which aims to provide an integrated and flexible modeling system for evaluating the operational capability and efficiency of different designs of seaport container terminals. The software structure of MicroPort comprises three programming layers: (1) the Functions layer; (2) the Applications layer; and (3) the Extensions layer. Different layers are bound by Application Programming Interfaces (APIs). Basic functions built in the Functions layer support the Applications layer in which major operation processes can be modeled by an agent-based method. External modules and decision support tools in the Extensions layer then use APIs to adjust the system to produce suitable simulation models for specific purposes.     

D-2-DenseNet噪音鲁棒的城市音频分类模型

为了提高噪音环境下城市音频分类系统的鲁棒性,提出了一种双特征2阶密集卷积神经网络（D-2-DenseNet）噪音鲁棒的城市音频分类模型.首先介绍了噪音添加和噪音鲁棒处理,阐述了一种双特征互补偿的算法;然后结合2阶密集卷积神经网络与自适应机制提出了一种噪音鲁棒音频分类模型：双特征2阶密集卷积神经网络.模型采用双特征互补偿自适应算法,可在特征提取与模型训练中更有针对性地提取有效音频信息,降低噪音干扰,以提高噪音鲁棒性.最后,基于Dcase2016数据集开展噪音环境下城市音频分类测试.实验结果表明,模型分类准确率分别可达77.12%、75.52%,与基线模型相比,平均分类准确率分别提高了8.51%和10.38%,验证了模型良好的噪音鲁棒性.