智能优化控制:概述与展望

从模糊优化控制、神经网络优化控制、模糊神经网络优化控制、基于智能优化方法的优化控制等角度, 对国内外与智能优化控制(Intelligent optimized control, IOC)密切相关的研究进行了综述, 在此基础上对智能优化控制的相关概念进行了深入分析, 并对智能优化控制方法进行了分类, 最后, 对与智能优化控制有关的一些重要问题进行了讨论, 并展望了智能优化控制研究未来的发展.     

滑模变结构控制理论及其算法研究与进展

针对近年来滑模变结构控制的发展状况,将滑模变结构控制分为18个研究方向,即滑模控制的消除抖振问题、准滑动模态控制、基于趋近律的滑模控制、离散系统滑模控制、自适应滑模控制、非匹配不确定性系统滑模控制、时滞系统滑模控制、非线性系统滑模控制、Terminal滑模控制、全鲁棒滑模控制、滑模观测器、神经网络滑模控制、模糊滑模控制、动态滑模控制、积分滑模控制和随机系统的滑模控制等.对每个方向的研究状况进行了分析和说明.最后对滑模控制的未来发展作了几点展望.     

基于Agent的离散事件仿真系统的控制功能框架研究

在研究基于Agent的离散事件仿真技术的基础上,提出了一个基于Agent的离散事件仿真系统的控制功能框架(ADESCF)。该框架包括了输入接口控制、输出接口控制、模型结构控制、仿真时钟控制、实验数据控制、仿真实验控制、仿真逻辑控制七个功能元素。分析了各种控制功能的工作原理与机制,并从输入输出连接关系角度分析了多Agent仿真系统层次化与分布式建模的本质,为该类仿真系统的开发提供了可参考的依据。     

自愈控制系统研究的综述、分析与展望

近年来,为了改变依靠紧急停车、人工维护和故障排除的传统的维修方法,在一些技术应用领域中人们提出了自愈控制的思想.本文通过梳理智能电网的自愈控制、飞行控制系统的自愈控制和机器故障自愈调控的相关研究成果,明确了自愈控制的特征和功能并给出了其定义;其次,讨论了自愈控制、自愈系统和容错控制的联系与区别;最后,总结了研究自愈控制...     

空分装置中空压机控制系统的原理与应用

本文详细介绍了空压机的基本控制、不同工况的控制过程、防喘振控制及对电机的控制,进行了控制模式的探讨,分析了空压机运行调试过程中的问题。     

导弹舵机控制实验系统的设计与实现

介绍了一种导弹舵机控制实验系统.对其软、硬件结构进行了设计,将本系统模块化为图形用户界面模块、控制律模块和应用程序模块,主要针对控制律模块进行了详细设计.使同一系统可加载三环、PID、用户自定义等3种控制类型、11种控制方式的控制律.尤其是自定义控制的加载,有益地改善了用户的设计效率.同时,嵌入式设计的引入,有效地增强了系统的实时性.     

中厚板层流冷却基础自动化系统设计

控制冷却技术是生产高质量钢板的有效手段,为满足首钢3500mm中厚板轧机轧后控制冷却设备和工艺的控制要求,采用了基于西门子S7-400PLC的控制冷却基础自动化系统。介绍了首钢3500mm中厚板轧机轧后控制冷却设备及其工艺参数,说明了控制冷却基础自动化系统的功能、采用的测控设备、计算机和现场总线系统配置,阐述了控制冷却系统控制策略、控制方式。运行结果表明,控制冷却系统的冷却能力和控制精度、响应时间等均满足工艺要求。     

基于Profibus的真空自耗电弧炉控制系统

通过对真空自耗电弧炉工艺及控制过程的分析,基于Profibus开发了一套真空自耗电弧炉控制系统;介绍了控制系统软硬件设计方案,提出了电弧炉控制中的关键点和难点,系统分析了真空自耗电弧炉控制原理和各个参数之间的关系以及对控制的影响,提出了一些有助于应对熔炼过程中各种特殊情况的局部策略,如熔速转电流控制、熔滴短路控制、解耦控制等;结合设计中出现的问题,对电弧炉控制中的关键问题—熔速率控制和弧长控制提出了进一步的解决方法。     

IP网络中TCP拥塞控制机制的研究

在当前IP网络中,TCP拥塞控制机制是目前使用最广泛的源端控制机制,并在不断地改进与完善。文章首先探讨了TCP拥塞控制机制、TCP--friendly拥塞控制机制、TCP在无线网络上的拥塞控制,然后对控制理论应用于拥塞控制进行了论述,最后对TCP拥塞控制机制的未来的研究方向进行了展望。     

火电厂球磨机非线性自适应控制

建立了球磨机特征模型,分析了运行调节需求,设计了以给煤量非线性自适应PID控制为主体,多种控制方式相结合的球磨机控制系统。该系统由磨风量控制、磨给煤量控制和风煤协调控制三部分构成,合理组合了非线性自适应PID控制、解耦控制、比值控制和仿人控制算法优势。工程应用表明,该控制系统能够解决球磨机运行优化和控制优化的双重问题,控制系统鲁棒性强,具有工况自适应能力。     

Expert system verification and validation: a survey and tutorial

Assuring the quality of an expert system is critical. A poor quality system may make costly errors resulting in considerable damage to the user or owner of the system, such as financial loss or human suffering. Hence verification and validation, methods and techniques aimed at ensuring quality, are fundamentally important. This paper surveys the issues, methods and techniques for verifying and validating expert systems. Approaches to defining the quality of a system are discussed, drawing upon work in both computing and the model building disciplines, which leads to definitions of verification and validation and the associated concepts of credibility, assessment and evaluation. An approach to verification based upon the detection of anomalies is presented, and related to the concepts of consistency, completeness, correctness and redundancy. Automated tools for expert system verification are reviewed. Considerable attention is then given to the issues in structuring the validation process, particularly the establishment of the criteria by which the system is judged, the need to maintain objectivity, and the concept of reliability. This is followed by a review of validation methods for validating both the components of a system and the system as a whole, and includes examples of some useful statistical methods. Management of the verification and validation process is then considered, and it is seen that the location of methods for verification and validation in the development life-cycle is of prime importance.     

区块链+物联网在农产品溯源中的应用研究

近年来,农产品安全问题日益严峻,传统的农产品追溯体系面临公信力缺失、监管困境和扩展性问题,农产品质量安全追溯迫在眉睫。随着区块链技术不断发展,其具有的分布式、去中心化、不可篡改、可追溯等特性在改善农产品溯源系统数据安全性、透明性等方面发挥着重要作用,并受到了各个行业的广泛关注。在简述可追溯性和追溯系统概念的基础上,介绍物联网和区块链技术,并探讨了当前国内外学者将区块链和物联网框架融合应用到农产品溯源中的一些相关研究,同时阐述了溯源系统在物联网与区块链结合下带来的安全、可靠、透明等好处及面临可扩展性、效率问题、资源浪费等挑战,最后对当前农产品溯源体系建设提出建议以及未来的研究方向。     

元宇宙发展演变及安全风险研究

近期元宇宙热潮席卷全球,主要国家和知名企业纷纷布局以争夺未来数字领域话语权,但目前关于元宇宙并没有形成较为统一的标准定义和终极形态描述。我国在促进电子信息产业高质量发展、保障网络空间安全的需求下,亟需科学认识元宇宙的本质特征、演变趋势及安全风险。运用文献调研和情报分析相结合的研究方法,首先基于技术应用迭代、经济商业模式、社会关系作用等核心理念归纳提出了元宇宙的基本概念,根据空间范畴、时空维度、关键技术、虚实交互等演进程度,将元宇宙发展演变依次划分为数据创生、数字仿生、虚拟镜生、虚实共生4个阶段并阐述了各阶段特征及对应形态;接着从创新应用需求、虚拟生活转变、商业价值驱动、政治力量推动等角度,分析了元宇宙广受关注的主要原因;然后针对挑战国家治理体系、冲击主流意识形态、操纵收割资本市场、引发诸多社会问题、误导技术产业布局等方面,重点研判了元宇宙浪潮带来的政治、文化、经济、社会和技术等多重安全风险和威胁。研究建议,目前元宇宙尚处于概念完善和产品探索阶段,应理性把握元宇宙发展机遇,立足我国电子信息产业现状,提前做好风险应对准备,构建数字治理监管体系,激发产业创新开放发展,夯实网络信息安全支撑,营...     

联邦开发过程中的校核、验证与确认（VV＆A）

对联邦的VV＆A不仅能够使每一步的工作得到跟踪和衡量,还使每一步能够减少多余的工作量,巩固需要加强的工作,明确开发人员的角色和职责,从而使人力、时间、资金等资源得到更加有效率的利用,仿真的结果变得更加可预测和准确,在很大程度上减少了编程的风险.联邦成员描述了仿真模型的各对象类、交互类、相关的属性、参数等信息,而联邦是各联邦成员的有机集成,构成具有特定功能的仿真系统.因此,联邦成员的正确性是联邦正确性的前提,决定了仿真系统的成败.在VV＆A的过程中,最好采用一些自动化工具以便于工作,同时要根据具体仿真系统的实际情况来确定VV＆A所需要作的工作.     

功能-行为-结构(FBS)模型方法研究综述

功能-行为-结构(FBS)模型通过引入行为变量(Behavior),丰富了传统功能-结构(FS)模型,目前已被广泛应用于设计领域。对FBS模型的发展和应用进行综述。首先,从FBS模型的定义、相关变量概念的提出和发展、及优化和完善等方面对FBS模型进行介绍;其次,通过对国内外相关文献的分析,对FBS模型的研究及应用进行分类,总结现有主要研究集中于：FBS模型自身的发展、基于FBS模型的方法集成和映射机制的应用等方面;最后,提出FBS模型目前仍存在的问题,并给出研究建议,为FBS模型的研究和应用提供参考。     

视盘和视杯分割在计算机辅助青光眼诊断中的应用综述

青光眼是以视神经损伤、特征性视野损伤为特点的一类眼病,在早期很难诊断,尽早发现可更好地遏制青光眼病症的恶化,降低致盲率。视盘和视杯的比值是评价青光眼诊断中的重要指标之一,视盘和视杯的分割是青光眼诊断的关键步骤。但眼底彩照中的渗出物、不均匀照明区域等特征使其可能出现相似的亮度区域,导致视盘和视杯的分割非常困难。因此本文对现有眼底彩照中视盘和视杯的分割方法进行了总结,并将其分为5大类:水平集法、模态法、能量泛函法、划分法以及基于机器学习的混合法。系统地梳理了各类算法的代表性方法,以及基本思想、理论基础、关键技术、框架流程和优缺点等。同时,概括了适用于青光眼诊断的各种数据集,包括数据集的名称、来源以及详细内容,并总结了在各种数据集中不同视盘和视杯分割结果和诊断青光眼的量化指标及其相关结果。在现有的视盘和视杯分割方法中,许多图像处理和机器学习技术得到广泛应用。通过对该领域研究算法进行综述,清晰直观地总结了各类算法之间的特点及联系,有助于推动视盘和视杯分割在青光眼疾病临床诊断中的应用。可以在很大程度上提高临床医生的工作效率,为临床诊断青光眼提供了重要的理论研究意义和价值。     

Calibration of the SLEUTH urban growth model for Lisbon and Porto, Portugal

The SLEUTH model (slope, landuse, exclusion, urban extent, transportation and hillshade), formerly called the Clarke Cellular Automaton Urban Growth Model, was developed for and tested on various cities in North America, including Washington, DC, and San Francisco. In contrast, this research calibrated the SLEUTH model for two European cities, the Portuguese metropolitan areas of Lisbon and Porto. The SLEUTH model is a cellular automaton model, developed with predefined growth rules applied spatially to gridded maps of the cities in a set of nested loops, and was designed to be both scaleable and universally applicable. Urban expansion is modeled in a modified two-dimensional regular grid. Maps of topographic slope, land use, exclusions, urban extents, road transportation, and a graphic hillshade layer form the model input. This paper examines differences in the model's behavior when the obviously different environment of a European city is captured in the data and modeled. Calibration results are included and interpreted in the context of the two cities, and an evaluation of the model's portability and universality of application is made. Questions such as scalability, sequential multistage optimization by automated exploration of model parameter space, the problem of equifinality, and parameter sensitivity to local conditions are explored. The metropolitan areas present very different spatial and developmental characteristics. The Lisbon Metropolitan Area (the capital of Portugal) has a mix of north Atlantic and south Mediterranean influences. Property is organized in large patches of extensive farmland comprised of olive and cork orchards. The urban pattern of Lisbon and its environs is characterized by rapid urban sprawl, focused in the urban centers of Lisbon, Oeiras, Cascais Setúbal, and Almada, and by intense urbanization along the main road and train lines radiating from the major urban centers. The Porto Metropolitan Area is characterized by a coastal Atlantic landscape. The urban pattern is concentrated among the main nuclei (Porto and Vila Nova de Gaia) and scattered among many small rural towns and villages. There are very small isolated patches of intensive agriculture and pine forests in a topography of steep slopes. These endogenous territorial characteristics go back in time to the formation of Portugal — with a “Roman-Visigod North” and an “Arabic South” [Firmino, 1999 (Firmino, A., 1999. Agriculture and landscape in portugal. Landscape and Urban planning, 46, 83–91); Ribeiro, Lautensach, & Daveau, 1991 (Ribeiro, O., Lautensach, H., & Daveau, S., 1991. Geografia de portugal (4 Vols., published between 1986 and 1991). Lisbon, Portugal: João Sá de Costa)]. The SLEUTH model calibration captured these city characteristics, and using the standard documented calibration procedures, seems to have adapted itself well to the European context. Useful predictions of growth to 2025, and investigation of the impact of planning and transportation construction can be investigated as a consequence of the successful calibration. Further application and testing of the SLEUTH model in non-Western environments may prove it to be the elusive universal model of urban growth, the antithesis of the special case urban models of the 1960s and 1970s.     

基于CiteSpace的AGV路径规划研究热点分析

AGV路径规划对于提升物料搬运效率起到了重要作用,随着技术的发展与AGV应用范围的逐步扩大,路径规划问题得到了许多学者的研究与关注。本文利用文献统计分析法与可视化工具CiteSpace软件,以中国知网与Web of Science为对象,对中外文文献分析。首先通过关键词词频与中心性排序得出研究热点,中文文献研究热点包含：路径规划算法、AGV调度、时间窗、激光导航;外文文献研究热点包含：flexible manufacturing system、material handling system、layout、AGV system、algorithm,接着对热点逐一述评。然后将中外文文献进行对比,分析异同之处。最后对AGV路径规划的研究进行展望,明确未来的研究将朝着以下几点展开：算法的组合优化、应用场景的针对性建模、相关问题的协同研究。     

伦理智能体及其设计:现状和展望

智能体一直是人工智能的主要研究领域之一,任何独立的能够同环境交互并自主决策的实体都可以抽象为智能体.随着人工智能从计算智能到感知智能,再到认知智能的发展,智能体已逐步渗透到无人驾驶、服务机器人、智能家居、智慧医疗、战争武器等人类生活密切相关的领域.这些应用中,智能体与环境、尤其是与人类和社会的交互愈来愈突出,其中的伦理...