一类积分不等式的机器判定

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.     

Control allocation for a V/STOL aircraft based on robust fuzzy control

This study addresses the design of an output-feedback H-infinity and fuzzy mixed controller for an advanced vertical and/or short take-off and landing aircraft that exhibits satisfactory global stability criteria. A fuzzy logic based optimization approach is employed to solve autonomously the constrained control allocation problem by suitably adjusting the components of the output vector and finding a proper vector in the attainable moment set. Simulations show that the designed fuzzy controller is better s...     

AutoProc: An automatic proactive replication scheme for P2P storage

Due to the prevalence of peer departures, P2P storage systems need to constantly generate replicas for high durability. However, few existing systems are able to select the right replication rate that balances replication cost and durability, e.g., minimizing replication cost without threatening the durability target. In this paper, we propose a method called AutoProc to automate the replication process in P2P storage systems. AutoProc employs two key techniques to enable cost-effective replication: correct...     

An eigenstructure-based 2D DOA estimation method using dual-size spatial invariance array

A sparse planar array vertically placed in y-z plane is proposed to improve the angle estimation accuracy of sources in low angle region with reflection multipath.With two sizes of spatial invariances along both dimensions,the array estimates the azimuth and elevation angles using unitary ESPRIT(estimation of signal parameters via rotational invariance techniques).The first spatial invariance with a displacement of half-wavelength yields unambiguous coarse estimates of high-variance,while the second spatial...     

On the design of compensator for quantization-caused input-output deviation

This paper considers the design of compensators for systems with quantized inputs in order to reduce the influence of quantization.For systems with (vector) relative degrees,we propose a kind of compensators which can compensate for the accumulated output deviation completely caused by quantization.The proposed compensators are capable of keeping the differences of the input-output responses between the systems with quantized inputs and the original systems without considering quantization within certain sm...     

Optimizing write operation on replica in data grid

Replication technique can improve access performance and data availability of data grid systems. So far,most related work on data replication in data grid systems focuses on read-only dataset.Though write operations have been widely used in practice,its optimization problem has not been suciently studied.In this paper,we show that write requests from users can be processed by a nearest site,regardless of the location of latest written replicas.The policy of write nearby instead of write to the latest replic...     

基于继电保护测试仪的数据存储设计

为解决便携式继电保护测试仪在数据处理及存储方面的相关问题,提出基于USB芯片CH375的解决方案。通过分析CH375的命令集和工作时序,编写了MSP430处理器与U盘的数据通信应用程序。使用结果表明,由此构建的USB接口能够与各种U盘进行数据高速传输和存储。     

伺服进给系统仿真中的加速度模型辨识

为了运动控制的平稳性,实际运动控制系统中存在控制指令的加减速处理,而仿真建模中大部分没有这一环节,导致仿真结果与实际伺服系统存在很大差别。提出通过辨识方法获取加速度模型方法,并对仿真结果与实测值进行对比。试验结果表明,加减速辨识模型的仿真结果与实际控制系统的输出结果非常吻合,明显提高了仿真模型的精度。     

多中继通信系统中量化误差补偿的MMSE中继预编码方案

为了补偿量化误差造成的系统性能的降级,文中提出将Grassmannian码本量化误差的统计特性引入多中继系统有限反馈中继预编码的设计,首先在QoS要求下的完全反馈中继预编码与接收均衡MMSE两步优化算法的基础上,给出了有限反馈下量化误差补偿的中继预编码与接收均衡MMSE两步优化方案,进而文中在中继和功率约束下,提出了一种有限反馈下量化误差补偿的中继预编码与接收均衡MMSE联合优化方案,并给出了中继预编码矩阵设计的闭合表达式.计算机仿真表明,文中提出的中继和功率约束下量化误差补偿的MMSE联合优化方案的系统性能优于QoS要求下量化误差补偿的MMSE两步优化方案,而且相比没有采用量化误差补偿的MMSE联合优化方案可以获得更低的误码率性能.     

S7-200无线PPI通信在污水处理厂的应用

采用实时无线PPI通信模块SY-S72,通过OPC软件PC Access上位机的组态软件,实现了多个提升、排海泵站和中控室的实时通信。研究了PPI协议的通信时间开销,并和现有的其他方案进行比较。