Uncertainty measures for rough formulae in rough logic: An axiomatic approach

Rough set theory, initiated by Pawlak, is a mathematical tool in dealing with inexact and incomplete information. Various types of uncertainty measure such as accuracy measure, roughness measure, etc, which aim to quantify the imprecision of a rough set caused by its boundary region, have been extensively studied in the existing literatures. However, a few of these uncertainty measures are explored from the viewpoint of formal rough set theory, which, however, help to develop a kind of graded reasoning model in the framework of rough logic. To solve such a problem, a framework of uncertainty measure for formulae in rough logic is presented in this paper. Unlike the existing literatures, we adopt an axiomatic approach to study the uncertainty measure in rough logic, concretely, we define the notion of rough truth degree by some axioms, such a notion is demonstrated to be adequate for measuring the extent to which any formula is roughly true. Then based on this fundamental notion, the notions of rough accuracy degree, roughness degree for any formula, and rough inclusion degree, rough similarity degree between any two formulae are also proposed. In addition, their properties are investigated in detail. These obtained results will be used to develop an approximate reasoning model in the framework of rough logic from the axiomatic viewpoint.     

Design of a modified repetitive-control system based on a continuous–discrete 2D model

This paper concerns the problem of designing a modified repetitive-control system for a class of strictly proper plants. Repetitive control involves two types of actions: control and learning; but the insertion of a low-pass filter in a modified repetitive controller, which is employed to guarantee the stability of the system, mixes the two actions together. In this paper, a continuous–discrete two-dimensional model is first constructed. Next, the continuity of repetitive control and Lyapunov stability theory are applied to the model to establish two linear-matrix-inequality (LMI) based sufficient stability conditions, one for the design of the cutoff angular frequency and one for the design of the feedback gains. The features of these conditions are exploited to develop an iterative algorithm that searches for the best combination of the maximum cutoff angular frequency of the low-pass filter and the feedback gains. A numerical example illustrates the design procedure and demonstrates the validity of the method.     

液滴在热液相介质中上升汽化时的传热与传质

本文分析了液滴在不互溶的液相介质中上升汽化时的传热和传质,导出了数模,进行了数值求解,获知在泡滴与液相接触的汽液边界处温度下降和浓度升高,存在着溶液的过冷(或过饱和)边界层。实验结果与数模计算结果表明,该模型能够较好地预測液滴汽化的整体特性。     

基于小波包的多载波调制系统的峰均比分析与消减

介绍了以小波包函数为载波的多载波调制系统,分析了WPM信号符号周期内峰值功率的互补累积分布函数(CCDF)及其对PAPR性能的有效描述;并对不同小波滤波器组的PAPR性能进行了比较,提出了一种能有效减小WPM系统的峰均比的压缩扩展算法。仿真实验证明了该算法的有效性和可行性。     

Development of Virtual Simulation System for Remote Collaborative Surface Machining

1 Introduction Many parts of aerospace ,automobile and mold industries are high precision and complex-shaped. There-fore ,it needs multi-axis machining. Multi-axis machining has advantages of i mproving efficiency and surfaceprecision,reducing production expense and shortening ti me to market . Although there are many advantages inmulti-axis machining,there are many steps on process planningfor complexsurface .And every step needs engi-neers to make appropriate decisions by their professional…     

Matrix Factorizations for Parallel Integer Transformation

Integer mapping is critical for lossless source coding and has been used for multicomponent image compression in the new international image compression standard JPEG 2000. In this paper, starting from block factorizations for any nonsingular transform matrix, we introduce two types of parallel elementary reversible matrix (PERM) factorizations which are helpful for the parallelization of perfectly reversible integer transforms. With improved degree of parallelism and parallel performance, the cost of multiplications and additions can be, respectively, reduced to O(logN) and O(log²N) for an N by N transform matrix. These make PERM factorizations an effective means of developing parallel integer transforms for large matrices. We also present a scheme to block the matrix and allocate the load of processors for efficient transformation     

基于CRT的低成本RSA芯片设计

提出了一种基于改进的Montgomery算法和中国剩余定理(CRT)的RSA签名芯片的VLSI实现.由于采用了新颖的调度算法,实现了用576b的模乘单元来完成1152b的RSA模幂运算,从而大大降低了芯片面积;此外,CRT的引入使得整个系统的数据吞吐率与传统的1024bRSA系统相当.实验结果显示:芯片完成一次1024b的模幂运算需要约1.2M个时钟周期,而芯片规模在54K个等效门以下;如果系统时钟频率选取40MHz,系统签名速率可以达到30Kbps.     

永磁电机直接驱动变速恒频风力发电控制技术

本文采用永磁同步电机，通过带有中间直流环节的IGBT转换器将电机发出的变频变幅交流电转换成可用的交流电，通过控制整流器电流来控制发电机转速从而控制风力机。     

在"中国青年咨询工程师论坛成立大会暨首届青年论坛"开幕式上的讲话

今天，我们召开“中国青年咨询工程师论坛”成立大会暨首届论坛会，我感到非常高兴。历时1年多的筹备工作就要画上一个圆满的句号，而“青年论坛”的发展即将掀开崭新的一页。在筹备过程中，各有关单位和许多同志给予我们协会积极配合和大力支持，特别是上海投资咨询公司的彭厚安董事长、梁玉源总经理(也是我们协会的副会长)以及周荣生同志为此做了大量的工作，付出了艰辛的劳动。     

基于V/T变换的电容传感器新型电容测量电路

提出了一种基于V／T变换的用于电容传感器的电容测量电路。它将被测微小电容变化量转换成时间信号并由单片机进行处理，电路结构简单，电路中没有影响测量稳定性和产生零点漂移的元器件，大幅度地降低了测量过程中的噪声。