基于政策的自配置系统的形式建模与分析

计算机系统的复杂性不仅使其分析与开发困难,而且同样使其安装配置面临挑战。为解决复杂系统配置面临的问题,具有一定程度智能性的自配置系统正成为研究热点。本文针对基于政策的自配置系统框架,提出该类系统的形式化描述模型,在该系统模型的基础上可将系统的自配置行为描述为系统内部的状态转移过程,从而能对自配置系统的性质进行分析与验证。最后通过配置实例对提出的自配置系统进行分析,验证系统具备的性质。     

策略驱动的自配置系统形式化建模及分析验证

使计算机系统具有自主配置的能力,可以解决复杂系统面临配置管理难度高和强度大的问题。本文针对策略驱动的自配置系统的配置问题,提出采用CPN建模技术对该类系统进行建模、分析与验证,保证系统自配置过程的正确性;分析了策略驱动自配置系统的基本结构,构造出该类系统的CPN模型,引入CTL的扩展--ASK-CTL描述系统配置过程中具备的性质;最后用CPN Tools2．2．0进行仿真与验证。     

软件运行时配置研究综述

运行时配置为用户使用软件提供了灵活性和可定制性,但其巨大的规模和复杂的机制也带来了巨大的挑战.大量学者和研究机构针对软件运行时配置展开了研究,以提升软件系统在复杂外部环境中的可用性和适应性.建立运行时配置研究分析框架,从配置分析与理解、配置缺陷检测与故障诊断、配置应用3个阶段对现有研究工作进行归类和分析,总结归纳现有研究的不足和面临的挑战,并对未来的研究趋势进行展望,对下一步研究具有一定的指导意义.     

互联网自动配置研究

互联网越来越复杂,网络设备支持的功能和服务越来越多,导致配置错误多发.配置错误已成为网络中断和异常产生的主要原因之一.互联网配置问题引起众多研究者的兴趣和重视,成为网络管理领域的一个重要研究课题.自2002年以来,研究者先后从不同角度对互联网配置问题进行了大量的研究,这些研究极大地促进了网络自动配置技术的发展.首先对互联网自动配置及配置案例进行概述;然后,按照配置自动生成、配置验证、配置自动实现这3个方面对互联网自动配置研究进行分类总结和分析评价;最后,总结了当前研究中存在的问题,并对未来研究发展趋势进行展望,希望能为该领域的研究者提供一些有益的启示.     

#br# 一种面向枚举类型的配置约束提取方法

有研究表明软件配置故障已成为导致计算机系统异常和崩溃的一个重要因素。配置故障是由于用户无法充分地获取配置约束的信息进行误配置造成的,由于用户缺乏软件领域知识,配置故障难以避免。因此,如何对软件配置项的约束条件进行精确的分析和提取,从而为软件配置的故障诊断与修复提供依据,具有重要的研究意义。具体而言,枚举类型作为软件系统的常用类型,其取值空间的限制经常导致系统软件配置故障。基于此系统调研了6款常用的C/C++开源软件,包括Apache Httpd、Nginx、Postfix、MySQL、Redis和PostgreSQL的枚举类型配置约束特性,并针对已有方法存在枚举类型配置项取值空间漏报的问题,基于程序分析的方法设计和实现了面向枚举类型配置的自动化配置约束提取方法,大幅提高了针对以上开源软件的配置约束提取准确率,提升了软件配置的可用性和配置故障诊断能力。     

双率系统极点配置自校正控制算法

针对控制输入频率是输出采样频率整数倍的双率系统,研究了极点配置自校正控制方法.由于双率采样数据系统存在未知的采样间输出(即损失输出),所以传统输入输出等周期单率系统极点配置自校正控制方法不适用于双率系统.为了解决这一困难,本文直接利用双率输入输出数据估算系统模型参数和采样间输出,进一步把估计的模型参数代入极点配置方程,通过求解多项式Diophantine方程.推导了被控系统控制律,给出了双率极点配置自校正控制算法.一个仿真例子说明双率系统极点配置算法的控制效果.     

复杂自组织系统的研究综述

自组织系统是一类复杂系统,它通常驻留在开放的环境中,并且可以根据外部环境和内部状态的变化,通过系统成分之间的自主交互,对系统进行动态调整,从而更好地满足设计目标。近年来,随着计算机技术和Internet的不断发展,越来越多的计算机系统呈现出自组织的特征,有关自组织系统方面的研究变得非常活跃,受到学术界和工业界的广泛关注和重视。本文在深入分析自组织系统概念和特点的基础上,从理论模型、核心机制、关键技术、支撑平台四个方面对自组织系统的研究现状进行了综述和分析,介绍了其应用,讨论了自组织系统研究面临的问题和挑战,并展望了进一步研究方向。     

软件配置错误诊断与修复技术研究

软件的多样性、复杂性、灵活性和高度可定制性对系统的正确配置提出了挑战,配置错误已经成为影响应用服务质量的关键问题之一.很多学者和研究机构致力于配置错误的检测、诊断和故障修复的相关技术和方法研究,以提高复杂应用系统的可用性和可靠性.为系统了解软件配置错误相关的研究现状和进展,建立了一种多方面、多角度的分析框架对该领域的主要研究工作进行分类总结和分析评价,该分析框架覆盖了方法类型、方式和适用范围这3个方面的多个角度.基于该分析框架的分析结果,总结了当前软件配置错误相关研究中存在的问题,并针对今后该领域的研究趋势进行了展望,对继续和深入研究具有一定的指导意义.     

单磁悬浮系统的纵向解耦控制研究

磁悬浮系统是复杂的强耦合系统,研究中未充分考虑轨道的弹性形变,会造成磁浮列车和轨道之间产生耦合振动的现象,而考虑这一因素对系统的影响无疑增加了研究的难度;为了便于问题的求解,采用非线性系统理论解耦的方法,对单电磁铁悬浮系统进行纵向解耦控制,并对解耦后的子系统进行极点配置使其满足要求的性能指标;仿真结果表明该方法有效地使复杂问题简单化,并且能够实现系统的全局稳定和良好的动态性能.     

多输入的二阶广义分布参数系统的控制综合问题

广义分布参数系统具有广泛的实际背景.如复合材料中的温度分布,电缆中的信号传播,电磁耦合超导线路中的电压分布,飞行器姿态控制等问题研究中都会出现这样的系统.极点配置与反馈稳定性是这类系统研究的重要方面.本文应用泛函分析及算子理论讨论了Hilbert空间中多输入的二阶广义分布参数系统的极点配置与反馈稳定性问题,获得了这类系统极点可配置与可镇定的一些充分条件,并利用复分析、复级数、有界线性算子的广义逆等方法建立了反馈控制律的构造性表达式.本文结论不仅具有重要的实际意义,而且对广义分布参数系统的控制综合问题研究具有重要的理论价值.     

U-Boot引导程序可视化配置

针对U-Boot引导程序移植过程配置复杂、不直观的问题,提出了一个U-Boot引导程序可视化配置方案.在深入分析U-Boot移植过程和Linux内核图形配置系统原理的基础上,对U-Boot配置过程进行归纳优化,将Linux内核图形配置系统移植到U-Boot中,实现了U-Boot配置过程的可视化、配置选项的动态关联以及开发板头文件的自动生成,在降低配置难度的同时提高了配置效率和配置正确率.通过在MagicARM2410目标板上的运行,结果表明该方案具有可行性.     

基于策略的分布式入侵检测系统的动态配置

在分布式入侵检测系统中，随着使用的传感器数量的增加，手工配置组件的复杂度和费用也在不断提高，为解决这一问题，提出了一种基于策略的IDS组件配置方法，该方法使用了来自资源管理数据库和自学习传感器的额外信息，简化了策略设计，实现了分布式入侵检测系统的动态重配置。     

线性奇异摄动系统的特征结构配置

本文利用奇异摄动系统快、慢时间尺度特性和组合控制方法,将线性定常奇异摄动系统的 特征结构配置问题等价地转化为由慢、快变子系统各自的特征结构配置问题来解决、并在各阶 精度上进行了近似结果的研究.     

ARM-Linux嵌入式系统BootLoader的配置与移植

嵌入式系统BootLoader的配置及移植是解决嵌入式系统的启动、初始化、操作系统内核的固化和引导等问题的关键.分析了ARM-Linux嵌入式系统的组成,介绍了BootLosder的概念及移植、修改需要注意的问题.并以S3C44B0处理器为例,实现了其在Linux系统下的配置与移植,通过引导程序BootLoader的装入,成功解决了嵌入式系统的启动、初始化、操作系统内核的固化和引导等问题.     

分布式可重配置航空测控系统设计与实现

通用化、小型化、高可靠性、使用便捷是对大型军用复杂武器装备外场保障设备的通用要求;近年来,随着网络技术、嵌入式计算机技术特别是"可重构计算"技术的发展,可重配置的嵌入式测控系统开发技术成为当前研究的一个热点;文章对该项技术进行了深入研究,并结合飞机子系统外场测试的实际情况,提出并设计实现了一种分布式可重配置航空测控系统;与传统的集中控制测试系统相比较,该系统的体积小、重量轻,使用方便,通过可重配置技术使得测控系统可适应不同的测试需求;该系统的设计实现对军用复杂武器装备外场检测设备设计具有很好的借鉴意义。     

一种极点配置自校正导弹控制器的设计方法

根据导弹的非线性时变的特点,以及自适应控制的优点,结合计算机技术与现代控制理论,设计了一种极点配置自校正导弹控制器.该文为滚转通道建立了二阶离散传递函数模型,给出了模型参数的在线辨识方法,研究了极点配置自校正控制器的设计方法,给出了控制量的计算公式和仿真结果.仿真的结果表明,该控制器对非线性时变的控制对象具有满意的控制效果.     

一种实用的自校正PID控制器设计与仿真研究

针对多功能除湿机的温度控制问题,设计了一种极点配置自校正PID控制器,给出了系统的CARMA模型,引入带遗忘因子的最小二乘实时参数估计算法和带数字滤波器的增量式PID控制器算法,同时给出了极点配置自校正PID的整定方法过程,建立PID参数与系统参数及控制性能指标之间的关系式,并进行了MATLAB仿真.仿真结果表明,自校正PID控制系统能够实时估计被控对象的参数,实时整定控制器参数,自适应被控过程的变化,具有较强的实时参数估计和自校正能力,该PID控制器在多功能除湿机的温度控制中得到成功应用.     

一种热连轧活套多变量控制方法及仿真分析

针对双输入双输出耦合活套控制系统,提出了一种新的多变量控制方法。该方法将活套控制问题视为双输入双输出随动系统渐近跟踪问题,通过建立活套控制系统状态空间模型,采用多变量极点配置方法配置活套控制系统的期望闭环极点,以实现期望性能指标。该方法计算简单,物理概念清晰,克服了常规解耦控制器设计复杂,计算繁琐的弱点。仿真结果表明,系统不仅具有较好的动态性能和稳态性能,而且有很强的鲁棒稳定性。     

浅析windows2003的优化和安全配置

Windows2003系统具有了比以前版本更多的功能，加强安全性配置和系统优化配置，可以将Windows2003系统的功能更好的发挥得淋漓尽致。本文将具体使用到注册表和组策略工具进行研究。     

浅析windows 2003的优化和安全配置

Windows2003系统具有了比以前版本更多的功能,加强安全性配置和系统优化配置,可以将Windows2003系统的功能更好的发挥得淋漓尽致。本文将具体使用到注册表和组策略工具进行研究。