单片模糊控制器与智PID的实现

模糊逻辑是处理非精确输入与系统非线的强有力处理方法，便于迅速开发鲁棒性控制系统。本文介绍隶属函数、模糊变量、模糊逻辑规则等基本概念，以及单片模糊逻辑控制器的原理与结构，然后以实现智能ＰＩＤ控制为例，系统地叙述了单片模糊逻辑控制器的应用与优点。     

一种可演化的查表式模糊逻辑控制器设计与实现

常规的模糊控制器主要通过计算机软件或单片机实现,但模糊控制器是一个高度并行的系统,实时性、自适应性要求较高,这种实现方式不能满足现代模糊控制器的设计要求.要解决这个问题必须从算法和器件结构入手.根据多值逻辑和PLA理论,提出了一种可演化的查表式模糊逻辑控制器.根据模糊逻辑控制器查询表的对称性和单调性特点,提出了一种查询表的简单生成算法.利用J门和PLA设计查询表硬件电路.以典型二阶系统模糊控制为例进行仿真实验,其结果表明了这个可演化的模糊逻辑控制器结构的可行性.     

一种基于PFLC的可演化模糊逻辑控制器设计与实现

常规的模糊控制器主要通过计算机软件或单片机实现，但模糊控制器是一个高度并行的系统，实时性、自适应性要求较高，这种实现方式不能满足现代模糊控制器的设计要求。要解决这个问题必须从算法和器件结构入手。本文提出以可编程模糊逻辑控制器芯片（PFLC）作为可演化的部件，利用遗传算法优化生成模糊规则的演化硬件结构。模糊规则的自适应性是通过引入可调整因子，根据环境的变化自寻优获得。以典型二阶系统模糊控制为例进行仿真实验，其结果表明了这个可演化的模糊逻辑控制器结构的可行性。     

基于FlouLib的模糊控制系统的仿真

本文详细介绍了FlouLib(模糊库)的使用方法,将FlouLib与Matlab/Simulink结合使用,可以很容易设计模糊控制器,并对模糊控制系统进行仿真.通过使用FlouLib,用户可以更清楚地了解模糊控制器的结构,还可以在不进行解模糊的情况下,将两个Mamdani模糊逻辑控制器相连接.     

单片模糊控制器与智能PID的实现

模糊逻辑是处理非精确输入与非线性的强有力处理方法，便于迅速开发鲁棒性控制系统，本文介绍隶属函数，模糊变量，模糊逻辑规则等基本概念，介绍单片模糊逻辑控制器的原理与结构，最后以实现智能ＰＩＤ控制为例子，系统地叙述了单片模糊逻辑控制器的应用与优点。     

一种模糊支持向量机控制器的研究

将支持向量机与模糊逻辑相结合,设计了一种模糊支持向量机控制器,并分析了控制器的结构和学习算法.学习过程分为离线学习支持向量机和在线整定模糊比例因子两部分.与模糊神经网络控制器相比,模糊支持向量机控制器适应小样本学习,泛化能力强,解决了过学习、结构设计依赖经验等问题.仿真研究表明,所设计的控制器具有较优的控制性能.     

基于LabVIEW的模糊控制器设计与仿真

以LabVIEW编程软件为基础,介绍了其中控制模块中模糊逻辑工具包(Fuzzy LogicToolkit)中的子程序(VI),并应用其中模糊逻辑控制器设计VI构建模糊控制器的方法。设置隶属度函数,建立模糊控制规则,创建模糊推理关系,实现对模糊控制器设计的具体步骤,并结合电液伺服模糊控制系统实例,利用模糊逻辑(Fuzzy logic)模块及LabVIEW提供的仿真模块(Simulation Module)建立系统仿真框图。通过仿真曲线,分析模糊控制器控制效果及其影响因素,从而大大缩短模糊控制器的设计周期,具有较大的工程实用价值。     

PCR温度控制技术的研究进展

首先简述了PCR的基本原理,接着综述了几种常用的用于PCR的温度控制器,包括常规PID控制器、改进的PID控制器和模糊逻辑控制器,最后,将模糊逻辑应用于PID控制,提出了简练的模糊逻辑规则,设计了一套用于PCR的参数自整定模糊逻辑PID温控系统,得到了令人满意的温度控制效果.     

多变量模糊系统控制设计及其在并行混合电动汽车中的应用

利用矩阵半张量积方法研究了多变量模糊系统模糊逻辑控制器的设计,并得到了若干新的结果.首先给出了模糊规则新的表示形式,基于该表示形式,构造了模糊逻辑控制器的结构矩阵,将复杂的模糊推理转变成了简单的代数等式.然后当模糊控制规则不完全时,建立了最小入度控制算法;当模糊控制规则不一致时,给出了相应的处理方法.最后将得到的结果应用到并行混合电动汽车(PHEV)能量管理和控制策略的模糊控制器设计.     

基于自组织模糊神经网络电力系统稳定器的设计

采用一种自组织模糊神经网络设计电力系统稳定器,该稳定器能通过结构和参数的学习,克服传统模糊控制器设计过程吕存在的盲目性及拚养伤性,避免模糊控制器中模糊逻辑规则的冗余成欠缺。仿夫表明该电力系统稳定器具有良好控制性能。     

一种基于SURF与地理格网模型的增强现实方法

图像识别与匹配是增强现实领域研究与应用的基础和关键,针对户外场景的广域性和随机性,以及目标纹理结构相似性等问题,提出一种基于SURF与地理格网模型的增强现实方法。该方法根据目标场景与地理位置的相关性,检测图像特征点并生成Location-SURF图像特征描述,基于地理格网模型构建空间四叉树索引,建成静态特征样本库。将视频帧、位置和角度信息生成特征图像,上传至服务端解析运算并与样本库训练匹配。选取宁波环球航运广场约0.376km2的区域,采集270余幅图像数据构建样本库并开展试验,通过现场图像的实时采集和计算,能够实现特征点的在线匹配,在此基础上通过调整点位距离比例的阈值,能够提升匹配的准确程度。基于该算法开发移动增强现实系统,运用四层技术架构实现了终端采集显示和服务端分析计算的并行化,达到真实场景与虚拟信息的融合显示效果。系统应用结果表明：该算法可以解决复杂环境下场景图像识别匹配率不高的问题,可快速地完成特征点的检测和提取,能够有效地进行样本训练和匹配,对户外移动增强现实进行了有益尝试并提供一种有效的途径。     

基于属性优先关系的多用户Skyline查询处理算法#br#

Skyline查询为多目标决策等问题提供了解决方案。每个用户对数据属性的优先关系的需求不同,传统算法无法有效解决多用户场景下的偏好Skyline查询。针对该问题,提出一种基于属性优先关系的多用户偏好Skyline查询算法--MUPS算法。该算法基于属性权重对原始Skyline结果集通过新的σ-支配方式进行剪枝;同时,通过交互动态修正属性的权重大小,使最终结果更符合用户群的真实偏好需求。最后,在模拟和真实数据上验证MUPS算法的有效性和良好的交互性能。     

Book Reviews

Books reviewed:
Maeda, John. Design by Numbers
Knuth, Donald E. Digital Typography
Farin, G., Bieri, H., Brunnet, G. and Derose, T. (Editors). Geometric Modelling
Knudson, Jonathan. Java 2D Graphics
Hege, H.-C. and Polthier, K. (Editors). Mathematical Visualization
Pickover, Clifford (Editor). Chaos and Fractals: A Computer Graphical Journey
Flake, Gary William. The Computational Beauty of Nature: Computer Explorations of Fractals, Chaos, Complex Systems and Adaptation
Strothotte, Thomas. Computational Visualization, Graphics, Abstraction and Interactivity
Russ, John C. The Image Processing Handbook (3rd edition)     

社会Agent的BDO模型

目前MAS中思维状态的研究趋势是在个体模型中加入社会思维属性,研究社会承诺、依赖、联合意图的推理关系。在BDI模型中,以意图为中心的观点不描述社会Agent。该文分析了以竭力为中心的Agent思维状态研究存在的问题,提出MAS的分层模型,并提出以信念、愿望和义务作为基本思维属性（简称BDO）来描述Agent的思维状态和社会属性,给出了BDO逻辑和语义模型,考虑了奖励、惩罚、承诺和承诺解除问题,并对队、组织、组织意图等现象给出了描述。该文力图更自然地描述社会性Agent的思维状态和群体概念,是对Rao和Georgeff提出的BDI模型的改进。最后通过一个例子说明了BDO的表达能力。进一步的工作包括建立更为完善的语义模型、结合各个思维属性的动态修正语义给出BDO Agent的动态模型以及给出基于BDO逻辑框架的Agent／MAS实现结构。     

基于大数据技术和特征推荐的就业信息管理平台的设计

就业工作是职业院校的一项重要工作,就业信息管理平台是学校就业指导、管理和服务的重要手段。就业信息管理平台应用效果的关键是招聘职位的数量和质量,其核心是能根据学生的就业期望,实现职位的有效推荐,同时,构建政府、企业、学校、学生之间快速沟通的渠道,提高就业指导和服务水平,提供就业调查反馈和就业统计分析功能,为专业人才培养的优化提供支撑。本文对就业信息管理平台的功能进行分析,利用软件工程的思想和统一建模工具,使用Web技术、爬虫技术、数据库技术、大数据处理技术和推荐算法对就业信息管理平台进行了设计与实现,实践表明,该平台能有效满足个性化就业需求,提高就业管理的质量和服务水平。     

Teaching mineral prospecting by computer-assisted simulation techniques

The simulation game, which involves the interaction of a geological model, a set of rules, and teaching materials, is used to teach students and professional people attending refresher courses the techniques of mineral exploration. Using geochemical and geophysical measurements, including detailed borehole logs, the students plan an exploration strategy, control the exploration budget, discover the structure and geology of the area represented by the model, outline probable mineralizations, and evaluate the ore reserves. They choose the borehole locations, the type of drilling machine, and the drilling depth, taking continually into consideration the financial aspects.The model is multidisciplinary, involving stratigraphy, sedimentology, structural geology, tectonics, climatic conditions, metallogeny, mineralogy, and petrology. Certain of these characteristics are expressed as complex mathematical functions, which are solved by the program. The computer program also prints out the detailed borehole logs, controls the budget and drilling equipment, and enforces the rules of the game.     

社交网络技术在科研教学环境中的应用研究

随着互联网产业的发展、用户规模的扩张和用户行为的变化,以Web2.0为特征的相关需求应运而生。SNS,Social Networking Services,专指旨在帮助人们建立社会性网络的互联网应用服务。依赖其开放性,即时性,互动性,不受时间地点约束等特点获得青睐,很多社交网站如twitter,Facebook,人人网,微博在流量、用户数和市值都有引人瞩目的成绩。社交网络的特性适用于知识的共享,将SNS和E-learning结合产生的面向知识管理的社交网络KMOS系统既使学生在社交网络服务中获取到知识,又打破传统教学受时间、地点的束缚,开放共享知识,一对多的高效传播模式。设计和实现的面向知识管理的社交网络服务拥有的上述优点。使用列表和群组控制多媒体资源的传播范围。分层和插件式设计使系统灵活应对需求改变。使用社交网络技术提高教学质量。     

The Algebraic Framework for Object-Oriented Systems

Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object can be represented as an algebra. A collection of algebras with morphisms form a category if they satisfy some conditions. After a brief introduction of categorical concepts which are needed to formulate the framework for object-oriented systems, they are explicated in terms of objects. Then some system design methodologies such as SADT, JSD, MASCOT 3, OOD, HOOD, MOON, ADM 3, and Petri nets are examined in the categorical framework and classified into four groups: functional, process-based, object-oriented, and net-based. Combining theoretical and practical results, the interactive system design tool OBJ-NET is briefly introduced.     

Real-time pinch detection algorithm: Robust to impulsive noise

A robust pinch detection algorithm which can be implemented in a cheap microprocessor is proposed for the development of a safety feature in the automotive power window system. To solve the problems caused by the performance degradation of a Hall sensor or real driving situations, the proposed algorithm makes use of the H _∞ state estimation technique. The motivation of this approach comes from the advantage that the H _∞ filter can minimize or bound the worst-case estimation error energy for all bounded energy disturbances. Herein, the pinch torque rate estimator is derived from applying the steady-state H _∞ filter to the augmented model, which includes the motor dynamics and an additional torque rate state. Then, to redesign an appropriate estimator for real-time implementation, the torque rate estimate can be calculated more efficiently than the previous method [1]. Experimental results verify that, with a small amount of computation, the proposed pinch detection algorithm provides fast pinch detection performance superior to the existing method. Furthermore, it guarantees robustness against the worst-case measurement noises. Recommended by Editorial Board member Young Soo Suh under the direction of Editor Young Il Lee. Jung-Hoon Park received the B.E. degree in Electronic Engineering in 1996, and the M.S. degree in Electrical and Electronic Engineering from Yonsei University, Seoul, Korea, in 2002. He worked with Samsung Electronics as an Engineer from 1996 to 1999. He is currently pursuing his doctoral degree at Yonsei University. His research interests include robust control and filtering theory, robot vision, and its applications. Won-Sang Ra received the B.E., M.S., and Ph.D. degrees in Electrical and Electronics Engineering from Yonsei University, Seoul, Korea, in 1998, 2000, and 2009, respectively. From March 2000 to February 2009, he was with the Guidance and Control Department of Agency for Defense Development, Daejeon, as a Senior Researcher. Since March 2009, he has been with the School of Mechanical and Control Engineering, Handong Global University, where he is currently a Full-Time Instructor. His main research topic includes the robust filtering theory and its applications to autonomous vehicle guidance and control. Tae-Sung Yoon received the B.E., M.S., and Ph.D. degrees, in Electrical Engineering from Yonsei University, Seoul, Korea, in 1978, 1980, and 1988, respectively. He worked with the Department of Electrical Engineering at the 2nd Naval Academy, Jinhae, Korea, as a member of the teaching staff from 1980 to 1983. He worked with the Department of Electrical Engineering at Vanderbilt University, Nashville, as a Visiting Assistant Professor from 1994 to 1995. Since 1989, he has been with the Department of Electrical Engineering, Changwon National University, Changwon, Korea where he is currently a Professor. His research interests include robust filtering, mobile robotics, and time-frequency signal processing in instrumentation. Jin-Bae Park received the B.E. degree in Electrical Engineering from Yonsei University, Seoul, Korea, in 1977, and the M.S. and Ph.D. degrees in Electrical Engineering from Kansas State University, Manhattan, in 1985, and 1990, respectively. Since 1992, he has been with the Department of Electrical and Electronic Engineering, Yonsei University, where he is currently a Professor. His research interests include robust control and filtering, nonlinear control, mobile robotics, fuzzy logic control, neural networks, genetic algorithms, and Hadamard-transform spectroscopy. He has served as the Director for the Transactions of the Korean Institute of Electrical Engineers (1998–2003) and the Institute of Control, Automation, and Systems Engineers (1999–2003). He is currently the Editor-in-Chief for the International Journal of Control, Automation, and Systems.     

Toward a Meta-Model for Computational Engineering

Geometric modeling and finite element analysis have matured in recent decades. Both methods are used extensively in engineering design. However, the link between geometric modeling, physical modeling and finite element analysis is currently cumbersome, error-prone, and ad-hoc. Topological domain modeling provides the missing link. In this paper, we propose a combined topological modeling and finite element modeling method that allows not only topological modeling, but also promotes geometric and physical modeling, by providing a topological base space for the definition of finite element meshes, fields, and the definition and solution of boundary value problems. We call the method the Constructive Topological Domain Method (CTDM). In this method, Primitive Topological Domains (PTDs), each possessing a natural coordinate space, are combined in multiple n-dimensional Cartesian coordinate spaces, called charts, using generalizations of Boolean set operations, to create Constructed Topological Domains (CTDs) capable of acting as the base spaces of fiber bundles. The charts are glued together to create an atlas, within which the CTD is defined. The fiber of the bundle may describe, in addition to geometry, physical fields like density, stress, and temperature. Finite element meshes may be defined upon each of the PTDs from which the CTD is constructed, enabling the definition and solution of boundary value problems, thus avoiding the difficult and messy problem of creating a single finite element mesh to represent the entire CTD. A modified finite element method, to handle the individually meshed PTDs, is described. The boundary conditions may be specified as analytical or as finite element-based fields upon each of the PTDs. The CTDM appears to be a promising approach to robust mathematical and computational modeling of physical objects. Simple examples are presented. ID="A1"Correspondance and offprint requests to: W. Gerstle, Department of Civil Engineering, University of New Mexico, Albuquerque, NM 87131, USA. E-mail: gerstle@unm.edu