无线传感器网络的系统化自适应建模

无线传感器网络的系统能耗制约着全网络的综合应用能力,其中节点有限的能量从根本上影响着传感器网络效能。针对无线传感器网络的全局能耗问题,提出了基于径向基函数神经网络以及状态空间表达的系统化建模方法。考虑到无线传感器网络的拓扑结构与分级关系, 采用径向基函数神经网络自适应实时规划系统。鉴于各传感器节点对数据的不同处理方式与能耗密切相关, 对全系统能耗建立系统化矩阵模型。仿真分析表明该模型可根据实际应用背景调整设置完成全局优化。     

A Lyapunov‐based small‐gain approach on design of triggering conditions in event‐triggered control systems

This paper studies a Lyapunov‐based small‐gain approach on design of triggering conditions in event‐triggered control systems. The event‐triggered control closed‐loop system is formulated as a hybrid system model. Firstly, by viewing the event‐triggered control closed‐loop system as a feedback connection of two smaller hybrid subsystems, the Lyapunov‐based small‐gain theorems for hybrid systems are applied to design triggering conditions. Then, a new class of triggering condition, the safe, adjustable‐type triggering condition, is proposed to tune the parameters of triggering conditions by practical regulations. This is conducive to break the restriction of the conservation of theoretical results and improve the practicability of event‐triggered control strategy. Finally, a numerical example is given to illustrate the efficiency and the feasibility of the proposed results. Copyright © 2015 John Wiley & Sons, Ltd.     

The design and test of dual/triple‐mode bandpass filter based on temporal coupled‐mode theory

In this article, the design and test of both a K‐band dual‐mode bandpass filter (BPF) pair and a K‐band triple‐mode BPF are presented based on N‐mode temporal coupled‐mode theory (CMT). The expressions of transmission and reflection responses are analytically derived. All the parameters in the expressions have clear physical meanings and are easily optimized to reach the required filter performance. Aided by eigenmode simulations, concrete structures of the three integrated BPFs are designed and optimized to approach the calculated physical parameters. After the fabrications and measurements of the three BPFs, extended upper/lower stopband with high stopband rejections are achieved, and by increasing the number of resonant modes, improved frequency selectivity and better passband flatness are obtained. The analytical analysis well predicts the simulation and measurement results, which provides an efficient way for BPF designs. © 2016 Wiley Periodicals, Inc. Int J RF and Microwave CAE 26:609–622, 2016.     

A fuzzy framework to evaluate service quality in the healthcare industry: An empirical case of public hospital service evaluation in Sicily

A novel fuzzy evaluation framework is applied in this study to evaluate service quality in the public healthcare sector. In particular, the proposed framework is based on the ServQual disconfirmation paradigm and incorporates the Analytic Hierarchy Process (AHP) method to elicit reliable estimations of service quality expectations. Moreover, degrees of uncertainty, subjectivity and vagueness on the part of stakeholders are addressed via linguistic evaluation scales parameterized by triangular fuzzy numbers. With reference to nine relevant public hospitals in the Sicilian Region (Italy), a detailed case study evaluating four core service criteria and 15 fundamental service items is conducted so as to discern dissatisfying aspects regarding the public healthcare service in the Region. Dissatisfaction reasons with the provided service are identified in the analysis as well, further demonstrating the effectiveness of the proposed approach.     

基于改进的无量纲指标信息融合故障诊断方法

针对无量纲指标信息的不确定会产生冲突证据的问题,提出一种基于改进证据理论的无量纲指标信息融合故障诊断方法.采用人工免疫算法构建原始证据;通过计算无量纲免疫检测器证据之间的相似度找出相似证据和冲突证据.保留相似证据,并利用可信度修正冲突证据,从而降低冲突证据对证据理论合成结果的影响.组合式旋转机械故障诊断试验验证本文方法有效.该方法能够明显提高故障诊断准确率.     

一种反应釜温度模糊控制器的设计与实现

反应釜是化工生产过程中的关键设备,准确控制反应釜内温度是提高化工产品的质量和产量,实现优质、稳定和节能生产的有效途径.本文基于模糊控制理论,设计一种反应釜内温度模糊控制器,研究模糊控制器输入和输出变量的确定、精确量的模糊化、模糊控制规则的设计、输出量的模糊判决和基于规则修改的模糊控制方法.以STM32F103RB单片机为核心搭建硬件平台,采用单线数字温度传感器DSl8B20实现多点温度采集,并实现了基于单片机的反应釜温度智能控制硬件系统.     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

模糊专家理论在炮兵指挥控制系统中的运用

针对炮兵指挥控制系统在作战训练中遇到的问题,在科学地分析了影响效果和相关因素的基础上,依据模糊专家理论的方法和原理,设计了相关的运用决策框架,并提出了运用规则。     

Game‐Based Valley‐Fill Charging Coordination for Large‐Population Plug‐in Electric Vehicles

Charging coordination of large‐population autonomous plug‐in electric vehicles (PEVs) in the power grid can be formulated as a class of constrained optimization problems. To overcome the computational complexity, a game‐based method is proposed for the charging problems of the PEV population, which is composed of homogeneous subpopulations, such that individuals update their best charging strategies simultaneously with respect to a common electricity price determined by the total demand. To mitigate the oscillation behavior caused by the greedy behavior for the cheap electricity by individuals, a deviation cost is introduced to penalize against the deviation of the individual strategy from the average value of the homogeneous subpopulation. By adopting a proper deviation cost and following a best strategy update mechanism, the game systems may converge to the socially optimal valley‐fill Nash equilibrium. Simulation examples are studied to illustrate the results.     

基于贝叶斯的服务通告改装经济性决策方法

改装类服务通告的经济性决策是航空维修企业工程人员的一项重要工作内容。设计了改装类服务通告经济性决策程序;通过服务通告对飞机运营的经济性影响分析构建了成本分解结构,并对不同的成本项目建立了成本评估模型;针对模型的成本影响参数MTBUR和MTBF的估计采用了贝叶斯方法以解决小样本问题;通过投资回收期方法获得评价指标以决定是否进行服务通告改装投资。最后通过实例对决策方法的应用进行说明。此方法能够为航空企业的维修改装决策提供有效的技术支持。