检索结果-内蒙古大学图书馆

A model checking approach for solving epistemic riddles

Jisuanji Xuebao/Chinese Journal of Computers 2010年第3期33卷 406-413页

作者： Luo, Xiang-Yu Su, Kai-Le Gu, Ming Key Laboratory of Security for Information System of Ministry of Education School of Software Tsinghua University Beijing 100084 China School of Computer and Control Guilin University of Electronic Technology Guilin Guangxi 541004 China School of Electronics Engineering and Computer Science Peking University Beijing 100871 China

This paper aims to model and solve the Sum and Product Riddle in public announcement logic. A dynamic epistemic model is proposed, that is the linear temporal combination of the epistemic model of environment and the epistemic models after each announcement, such that the authors' model checking technique for temporal epistemic logic can be extended to support the modeling and verification of public announcement logic. This model checking method not only can help to find all solutions, but also verify related temporal epistemic properties. Such characteristic is not fully supported by the current version of MCK, MCMAS and DEMO. The authors implemented the proposed method in the symbolic model checker MCTK via OBDD and verified the sum and product riddle. The experimental results show that the proposed method is correct and efficient.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Simulation and test of backscattering from nonspherical soot particles swarm using laser

Simulation and test of backscattering from nonspherical soot...

引用

Russian-Chinese Symposium on Laser Physics and Laser Technologies (RCSLPLT) and Academic Symposium on Optoelectronics Technology (ASOT)

作者： Xing Jian Zhao Jiaqun Liu Yang Sun Xiaogang Insititute of Automatic Detecting and Process Control System Harbin Institute of Technology Harbin China State Key Laboratory of Tunable Laser Technology Harbin Institute of Technology Harbin China College of Science Harbin Engineering University Harbin China

When the backscattering method is adopted to test the concentration and the size of soot, it's very important to analyze the backscattering characteristics of soot to determine the optimal light source, detector and detection angle. In this paper, the backscattering characteristics of nonspherical soot particles swarm are investigated. The size and shape of soot particles are determined by microscopic measurement. According to the micrograph, both Ellipsoid model and generalized Chebyshev models are selected to imitate soot particles. With the Monte-Carlo method, a random oriented particles swarm is created, and backscattering relative intensity is calculated by T-matrix method with different parameters. A simple backscattering test system was established, in which the light source and detector are selected based on the calculation results. The numerical and experimental results show that the combination of the Monte-Carlo method and the T-matrix calculation can be successfully applied to simulate the backscattering of the nonspherical particles swarm, and the experimental system has higher backscattering intensity according to simulation result. It provides a reference for improving the measurement accuracy of particles size and concentration.

关键词： Backscatter Scattering Particle measurements Atmospheric measurements Detectors Light sources Simulation

来源：评论

学校读者我要写书评

暂无评论

Improved multidisciplinary multiobjective collaborative optimization technique based on nsga-ii algorithm

Improved multidisciplinary multiobjective collaborative opti...

引用

IFAC International Workshop on "Supplemental Ways for Improving International Stability", SWIIS 2010 - Proceedings

作者： Li, H. Jing, Y. Zhang, S. Ojleska, V. Kolemisevska, T. Dimirovski, G.M. Key Laboratory of Integrated Automation of Process Industry Northeastern University Ministry of Education Shenyang 110004 China School of Information Science and Engineering Northeastern University 110004 Shenyang China Institute of ASE School FEIT SS Cyril and Methodius University Karpos II BB MK-1000 Skopje Macedonia Computer Eng. and Control Eng. Departments Dogus University TR-34722 Istanbul Turkey

ISBN: (纸本)9783902661920

The multiobjective collaborative optimization (MCO) has been widely adopted in concurrent engineering design as a good multiobjective optimization approach provided the problem of optimization results converging often to a local extremum has been taken care of. It has been demonstrated to yield useful solutions to a wide range of optimization problems under concurrent condition both technical and non-technical ones. A solution strategy for MCO that overcomes this drawback is proposed here on the grounds of genetic NSGA-II algorithm. It is an adaptive heuristic search technique that controls the distances between the individual and system's feasible region during genetic evolution. In the evolving NSGA-II based non-dominated sorting, the individual threshold of infeasibility degree is reduced gradually via genetic evolution and the individual's feasibility capacity is determined by its infeasibility degree and the threshold. It has been applied to a benchmark example of speed reducer design, and the obtained results demonstrate the proposed technique is comparably more efficient and may offer substantial advantages over the gradient-based optimization methods. © 2010 IFAC.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Fault Detection Filter Design for Linear Polytopic Uncertain Continuous-time systems

引用

Acta Automatica Sinica 2010年第5期36卷 742-750页

作者： Heng WANG He-Hua JU Guang-Hong YANG College of Electronic Information and Control Engineering Beijing University of Technology Beijing 100124 P. R. China Key Laboratory of Integrated Automation for the Process Industry Ministry of Education Shenyang 110004 P. R. China College of Information Science and Engineering Northeastern University Shenyang 110004 P. R. China

The paper studies the problem of fault detection filter design for uncertain linear continuous-time systems. A design procedure dealing with parameter uncertainties is proposed for residual generation, the sensitivity to fault and the robustness against disturbances are both enhanced on residual outputs through satisfying some performance indexes. By the aid of the generalized Kalman-Yakubovich-Popov (GKYP) lemma, the fault sensitivity performance index can be dealt with in the given frequency range directly, which avoids approximations associated with frequency weights of the existing techniques. An iterative algorithm based on linear matrix inequality (LMI) is given to obtain the solutions. A numerical example is given to illustrate the effectiveness of the proposed methods.

关键词： Fault detection polytopic uncertainty Kalman-Yakubovich-Popov (GKYP) lemma linear matrix inequality (LMI)

来源：评论

学校读者我要写书评

暂无评论

Symptom selection of inquiry diagnosis data for coronary heart disease in Traditional Chinese Medicine by using social network techniques

Symptom selection of inquiry diagnosis data for coronary hea...

引用

IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)

作者： Ya-Lei Wang Guo-Zheng Li Wei-Sheng Xu Guo-Ping Liu Yi-Qin Wang The Key Laboratory of Embedded System and Service Computing Department of Control Science & Engineering Ministry of Education University of Tongji Shanghai China Laboratory of Information Access and Synthesis of TCM Four Diagnosis Shanghai University of Traditional Chinese Medicine Shanghai China

Coronary heart disease (CHD) is a common cardiovascular disease in the elderly, which causes high death rate and low cure rate. Therefore, the TCM diagnosis objectification is important. This paper proposes the Relative Associated Density (RAD) method to analyze the data set. RAD results of the symptoms to syndromes are used in performing feature selection, and the prediction results with different classification machines show significant improvements. Compared to other traditional feature selection methods, RAD provides higher Interpretability in the TCM field.

关键词： Heart Medical diagnostic imaging Diseases Blood Social network services Hospitals Lungs

来源：评论

学校读者我要写书评

暂无评论

Minimum entropy filtering for networked control systems via information theoretic learning approach

Minimum entropy filtering for networked control systems via ...

引用

International Conference on Modelling, Identification and control (ICMIC)

作者： Jianhua Zhang Lei Cai Hong Wang Beijing Key Laboratory of Industrial Process Measurement & Control New Technology and System North China Electric Power University Beijing China North China Electric Power University Beijing China University of Manchester Institute of Science and Technology Manchester UK

In this paper, a minimum entropy filter is presented for estimating states in networked control systems with multiple-packet transmission mechanism and non-Gaussian time-delay and noises. The filter is designed for nonlinear NCSs via information theoretic learning approach based on stochastic gradient algorithm. A numerical example is given to illustrate the effectiveness of the proposed scheme.

关键词： Radio access networks Noise

来源：评论

学校读者我要写书评

暂无评论

Modelling of mill load for wet ball mill via GA and SVM based on spectral feature

Modelling of mill load for wet ball mill via GA and SVM base...

引用

International Conference on Bio-Inspired Computing: Theories and Applications, BICTA

作者： Lijie Zhao Jian Tang Wen Yu Heng Yue Tianyou Chai College of Information Engineering Shenyang University of Chemical Technology Shenyang China Key Laboratory of Integrated Automation of Process Industry Northeastern University Shen yang Liaoning China Departamento de Control Automatico CINVESTAV-IPN Mèxico Mexico

The load of wet ball mill is a key parameter for grinding process, which affects the productivity, quality and energy consumption. A new soft sensor approach based on the mill shell vibration signal is proposed in this paper. As the frequency domain signal contains more evidently information than time domain, the power spectral density (PSD) of the vibration signal was obtained via fast Fourier transform (FFT). And then the mass and the central frequency of the small peaks of the spectrum are extracted as the spectral features. At last the support vector machines (SVM) is used to build the soft model. The parameters of SVM, the input variables including the mass and the central frequency of the peaks are selected by Genetic algorithm (GA). Experimental results show that proposed soft sensor model has higher accuracy and better predictive performance than the other normal approaches.

关键词： Support vector machines Genetic algorithms Gallium Irrigation

来源：评论

学校读者我要写书评

暂无评论

Design and Nonlinear control of an Indoor Quadrotor Flying Robot

Design and Nonlinear Control of an Indoor Quadrotor Flying R...

引用

The 8th World Congress on Intelligent control and Automation(第八届智能控制与自动化世界大会 WCICA 2010)

作者： Zheng Fang Xiu-ying Wang Jian Sun Key Laboratory of Integrated Automation of Process Industry Ministry of Education Northeastern Univ College of Information Science and Technology Qingdao University of Science and Technology Qingdao Neusoft Positron Medical System Co. Ltd Neusoft Corporation xzhenyangLiaoning Province China

Micro Vertical Take-off and Landing (VTOL) systems represent a useful class of flying robots because of their strong capabilities for small-area monitoring and building exploration. In this paper, we describe a small quadrotor flying robot for the use of indoor autonomous navigation and exploration. Three-level hardware architecture is developed and a fusion of different sensors is implemented, which enables automatic hovering, control from Remote-controller, localization and navigation in indoor environment. Since the flying robot is a nonlinear underactuated system, an Integral-Backstepping control algorithm is proposed to realize robust attitude and position control. Both simulation and experiment results are presented to validate the performance of the proposed control algorithm.

关键词： Robot sensing systems Attitude control Brushless motors Mathematical model Navigation

来源：评论

学校读者我要写书评

暂无评论

A novel scheme for underwater acoustic mobile communications

A novel scheme for underwater acoustic mobile communications

引用

International Conference on Signal processing Proceedings (ICSP)

作者： Ling Yue Shuhong Fan Huadong Gan Mingzhou Wang College of Marine Engineering Northwestern Polytechnical University Xi'an China National Key Laboratory for Underwater Information Process and Control Xi'an China College of Marine Engineering Northwestern Polytechnical University China Xi'an Precision Mechanics Research Institute Xi'an China

The underwater acoustic channel is a complicated and time-varying multipath channel, especially for the mobile applications in the littoral. To accommodate the execrable channel conditions, a robust communication scheme is proposed, which combines the differential frequency hopping (DFH) and multi-carrier technologies. Also a novel Doppler-shift estimation and synchronization method is presented, which utilizes the doppler-invariant hyperbolic frequency modulation (HFM) signal associating with the doppler-sensitive long single tone pulse. Simulation results demonstrate that the proposed communication scheme performs well for underwater acoustic mobile communications with relative velocity up to 30 knots at data rate about 300bps. Base on these preliminary results, the proposed scheme shows considerable promise for reliable underwater acoustic mobile communications.

关键词： Underwater acoustics Mobile communication Receivers Synchronization Doppler shift Estimation Frequency modulation

来源：评论

学校读者我要写书评

暂无评论

Single Sensor information Fusion for Local Fault Prediction of Large Rotating Machinery

Single Sensor Information Fusion for Local Fault Prediction ...

引用

International Conference on Electrical and control Engineering (ICECE)

作者： Sun Jianghong Zuo Yunbo Xu Xiaoli School of ElectroMechanical Engineering Beijing Information Science and Technology University Beijing China School of Mechanical & Vehicular Engineering Beijing Institute of Technology Beijing China Beijing Key Laboratory Measurement and Control of Mechanical and Electrical System Beijing China

Data process of large rotating machinery is in line with basic features of information fusion. A framework of fault diagnosis and prediction based on sensor information fusion is built. An improved extracting method of features is used to deal with the information fusion of single sensor, which raises the calculation efficiency and precision. The local fault prediction process is presented, and the fault deterioration trend is judged on the basis of dynamic weighted method. Actual example of Beijing Yanshan Petrochemical Co. shows the correction of conclusion.

关键词： Machinery Feature extraction Fault diagnosis Vibrations Accuracy Turbines Monitoring

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：