混合过程控制系统基于广义对象的形式化开发

许多过程控制系统可以看作混合控制系统。为使设计的控制器满足整个系统一定的过程需求,对象的信息是不可缺少的。本文为这类系统的开发提出了广义对象的形式化模型。基于这样的模型,可以从目标要求中直接提取系统需求,控制器也可以根据基于对象的形式化方法进行设计。我们以一个工业过程控制的实例来说明我们的方法和模型,采用时段演算来描述系统的特性并进行控制器的开发。     

EIS在高层管理中的作用探讨

本文概述了高层管理信息系统（ＥＩＳ）的基础概念、功能以及一般结构模式。在此基础上,从支持高层管理者信息获取,提高高层管理者有效性、对高层管理者决策过程支持三个方面,分析了ＥＩＳＡ在辅助高层管理者工作中的作用。     

松嫩平原海伦农区种植业与草食动物兼营规模及效益分析

根据松嫩平原农区特点,运用经济分析的方法,对国家农业攻关和重大项目海伦试验基地基点村－胜利村的种植业怀草食动物兼营户的经济效益、规模进行评估分析。在目前生产力水平下,松嫩平原农区兼户的经济效益普遍高于单一种植业户,其生产规模：种植业２ｈｍ＾２－４ｈｍ＾２养牛４－６头 。     

基于反馈线性化的船舶自动舵模糊滑模控制

针对船舶航向自动舵控制系统的非线性数学模型,应用基于微分几何的反馈线性化方法,将原非线性系统等价为完全可控型线性化模型,然后设计了滑模变结构控制器,并利用模糊控制器实现了滑模趋近律的参数自整定,设计方法简单可行。仿真结果表明,所设计的模糊滑模控制器能够快速准确地跟踪设定航向,并对参数摄动和外界风浪干扰具有很强的鲁棒性,同时消除了系统的抖振现象,优于传统的滑模控制。

Abstract：

According to the nonlinear model of ship autopilot system and using the feedback linearization procedure of differential geometry,an equivalent,fully controllable and linear model was derived via a homomorphism transformation and a fuzzy reaching law sliding mode controller was designed.The simulation results show that the controller designed here,which is superior to traditional sliding mode control,can track a desired course fast and accurately.It also exhibits strong robustness peculiarity to system uncertainties and avoiding chatting phenomenon.     

河南省大豆品种灰色布局决策研究

运用作物灰色育种学原理,对1996～1997年河南省大豆品种区域试验资料进行了品种中心灰靶布局分析。在此基础上,提出了河南省不同生态类型区大豆品种灰色布局决策,并对品种区域试验中应当引起重视的问题进行了讨论。表2,参5。     

基于面向方面技术的HLA联邦成员开发方法

高层体系结构的联邦成员中存在大量的横切关注点,直接影响了联邦成员的开发和性能。利用面向方面的编程技术,能够有效地解决邦员的横切问题。介绍了联邦成员横切关注点的确定和方面的分离,面向方面的邦员实现,用扩展的UML表示面向方面的邦员建模,结合一个恒温供热仿真系统邦员的开发实例,详细阐述了面向方面的联邦成员开发方法。     

基于位置关系约束的SAR图像与光学图像匹配

SAR图像与光学图像有较大差异,为实现SAR图像与光学图像的匹配,提出了一种新的多子区SAR景象匹配算法。算法依据SAR图像噪声特性,提出了用于SAR图像边缘提取的基于小波包变换的改进断面检测法。匹配中将实时图分为多个子区,由子区灰度标准差和频谱直方图判别其可匹配性,用各子区位置分布关系约束匹配结果。匹配搜索策略为基于提升小波的金字塔分层搜索。用SPOT-5卫星光学基准图进行了大样本实验,实验结果表明了该方法是一种有效的图像匹配方法,具有鲁棒性,并且与中心点匹配方法相比,能为飞行器定位提供更多有效信息。     

高级Petri网：基于ISO/IEC15909的理解

ISO/IEC15909从构成角度给出了高级Petri网的定义,对其的理解分为结点、扩展、关联矩阵和初始标识四个层次。高级Petri网的本质特征是扩展域D和扩展映射Type,二者的不同取值衍生了着色Petri网、谓词/变迁网和时间Petri网等类型。高级Petri网实际上是＂高层Petri网＂。高级Petri网图形是对库所/变迁网图形的折叠,具体方法是减少图元数量而增加图元信息。高级Petri网图形的结构可概括为＂三类图元及其注释＂。