一类受控Petri网的反馈控制

受控Petri网是离散事件动态系统(DEDS)的一种控制理论模型.通过模型来研究实现 禁止状态避免的最大允许反馈控制是DEDS控制理论中的一个重要课题.文中对受控Petri网 的一个子类(非受控变迁子集的外延子网为TC网)讨论控制综合问题,给出求这类受控网中实 现禁止状态避免的最大允许反馈控制的一个算法.     

离散事件系统的协调反馈控制

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法。由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具有最大自由度。     

基于可达标识列计时Petri网的时态特征及可控性研究

应用时态逻辑提出计量Ｐｅｔｒｉ网的形式化分析方法,基于可达标识列研究受控系统的时态特征及其可控性与控制不变性,给出控制逻辑存在的充要条件,提出了时态公式分解方法,并讨论了禁止状态避免问题。     

何谓三态电路

所谓三态,是指一个电路的输出端除了可以出现高电平、低电平两种状态外,还可以出现第三种状态——高阻抗状态(或称禁止状态)。输出端具有三种状态的电路称为三态电路。     

离散加工系统反馈控制的代数综合方法

本文研究离散加工系统中异步并发活动的控制与协调问题．系统采用具有外部输入位置的受控标识图描述．通过对外部输入位置中令牌数目的控制，使系统不进入禁止状态集，同时具有最大限度的柔性．系统的逻辑行为用极小代数描述，并由此得到一步允许无冗余控制策略．     

位置互连Petri网的分散与协调控制

本文引入位置互连Petri网,对能用位置互连Petri网描述的离散事件系统提出了一种分散与协调控制框架,在这个框架下,我们讨论了一类常见的禁止状态控制问题,给出了综合其量小约束协调控制的一种有效算法。     

一类离散事件系统的一步极大允许无冗余控制*

本文考虑用一般标识图模型描述的一类离散事件系统的禁止状态问题。在文［１］基础上，分析了允许控制策略对观测和控制时延的鲁棒性；给出了一步极大允许无冗余反馈控制策略的判据和搜索方法；导出了系统在一个并发活动序列发射后仍保持极大允许性的条件，即对应的并发活动序列的特征。     

一类受控Petri网的控制器设计

通过挖掘Petri网的内在的结构特性, 获得了一种新的解决禁止状态避免问题的控制器设计方法. 这种设计方法适用于一类具有特殊结构的受控Petri网 (即所有前向路径子网是状态机 )的状态反馈控制器设计. 在非并发的假设条件下, 所综合的控制器是最大允许.     

Petri网的一类禁止状态问题的混合型监控器算法设计

针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,并将存在不可控变迁的问题简化为相当于变迁全部可控的问题,这有效地解决了不可控变迁带来的计算复杂性问题.最后,利用一个地铁交通调度示例验证和说明该监控器设计方法.     

让IIS6.0支持ASP

A S P脚本在网页开发方面使用很广泛,但W i n d o w s2003中自带的IIS6.0默认情况下不支持ASP脚本,却可以运行a s p x程序,这给运行和调试A S P代码带了不便。其实,在Windows2003的Internet信息管理器中稍加调整,就可以解决这一问题。点击“开始/程序/管理工具/Internet信息管理器”,在I I S管理器窗口中,在窗口左侧面板选中“W e b服务扩展”,在窗口右侧的属性列表中点击“A c t i v eServerPages”项,可以在状态栏看到该项处于禁止状态(如图1),点击“允许”按钮将该项状态设为允许。此外,在网站列表中选中网站名,右键菜单上选择…     

A non-linear system controller

A method is given for finding a feedback controller that forces the response of a given non-linear system to follow the response of a predetermined linear system. A test is provided that gives sufficient conditions for the existence of such a control. Algorithms are given that allow implementation on a digital computer. Possible solutions to some of the difficulties encountered in using this method are also investigated. Both the deterministic and stochastic cases are examined.     

正定二次最优控制问题的最优值的估计

众多实际应用中,人们常用正定二次规划方法对正定二次最优控制问题的最优值进行逼近估计.为简化计算和加快计算速度,本文设计了一种新的算法,利用线性规划代替二次规划.先用最优控制方法构造一个线性规划,使其最优值与给定二次规划相差一个容易确定的常数.由于线性规划具有形式简单和算法成熟等特点,本文的方法就简化了正定二次最优控制问题的最优值的估计,并加快了计算速度.文中给出一个例子说明这一计算过程,并讨论了计算速度.同时,本文的最后部分,利用参数规划,给出了一个供实际应用的具体算法.     

一种基于继承性的类分解方法

在并机群系统上进行分布对象计算出的过程中，若采有代理技术处理继承关系，通信开销会增大，难以提高运行效率，针对这一问题，作者提出了一种基于继承性的类分解方法，本方法经在ＰａｒＣＬＯＳ环境下测试，表明各采用这种方法编程，可以减少通信开销，使程序执行效率得到较大提高。     

图同构中的一类顶点细分方法

提出一种顶点细分方法.基于顶点之间具有一定长度的路径数等信息,定义了一类顶点不变函数.将该方法与已有的一些顶点细分方法进行了比较.分析表明,基于路径数的顶点不变函数的细分效果,至少不差于基于顶点的度、距离等方法;而一些实例则表明前者要优于后者.基于路径数的顶点分类方法可以有效地用于图同构算法,能够降低所需比较的顶点数,达到快速搜索的效果.     

求解半线性椭圆问题的牛顿-瀑布型两层网格法

选取一对合适的步长使用中心差分格式离散半线性椭圆问题形成粗网格和细网格,使用三次样条插值算子将粗网格上高精度近似解插值到细网格为其提供初始值,结合牛顿法提出了牛顿-瀑布型两层网格法．数值实验表明该算法具有稳健性强、计算效率高的优点．     

多传感器数据的统计融合方法

在多传感数据融合过程中 ,各传感器的可靠程度的确定是至关重要的。利用统计方法理论 ,将各传感器的可靠程度模糊化 ,进而给出各传感器的综合支持程度指标 ,并在此指标基础上给出多传感器数据的融合结果。该方法计算简便 ,其结论较为稳定     

循环的一种静态分析方法

本文提出了循环的一种静态分析方法,即左模拟执行前,对网络中存在的循环进行静态分析,进而把对循环的处理转化为对网络线初始相位的确定,简化了对循环的处理。文中所用的算法都是基于文献中所描述的数据结构,本文还提出了对循环进行静态分析所用到的几个定理及其证明。模拟器LOSIM中使用了静态分析方法,使得LOSIM可对组合网络,同步时序网络、异步对序网络和在给定的初始条件下就己存左振荡的网络进行模拟。同时,也提高了模拟器运行的效率。     

A recurrence formula for the direct solution of singular integral equations

An iterative method for the solution of singular integral equations is given in this paper by developing a recurrence formula. Discretizing the above formula, by using appropriate quadrature rules, the solution of the singular integral equation is given in an extremely simple form. The number of numerical operations required for such a solution is considerably reduced, when compared to the number of operations required for a classical type of solution. Illustrative examples are given, indicating the efficiency of the method. It is shown that the number of operations in this procedure is only half the number of the operations for a typical numerical method. The convergence of the method is studied in the space of Hölder continuous functions. In the particular case of plane elasticity more efficient bounds are given. In the same case it is proved that the procedure is equivalent to the Schwarz's alternating method and convergence is assured [18].     

A direct computation of state deadbeat feedback gains

A method for computing a feedback gain that achieves state deadbeat control is given. From systems given in the staircase form, this method derives the deadbeat gain in a numerically reliable way. It is shown that the gain turns out to be LQ optimal for some weightings     

高g值加速度传感器灵敏度标定研究

本文进行了高g值加速度传感器灵敏度的标定研究。采用轴向冲击Hopkinson杆,杆上产生的应力波作为标定加速度传感器的冲击脉冲。通过实验验证、理论分析和计算表明,这种标定方法是可行的,并给出了系统的标定误差和分析误差的方法。