多视点模糊图像复原方法研究

提出了基于多视点图像模糊核估计的复原方法.先给出了一种基于正则化保PSF路径的模糊核估计算法,将各向异性正则化方法引入模糊核估计的迭代过程中,在此基础上,为了降低噪声和保护图像边缘,又给出了基于保边缘的最大似然估计多视点去模糊方法.建立了多视点图像PSF路径之间的关系模型,确保多视点图像特征点对应关系.估计了两视点图像的PSF路径后,利用PSF路径对应关系,计算了其它视点图像的PSF路径.当获得所有视点图像的PSF路径和模糊核后,利用最大似然估计去模糊方法,得到了多视点去模糊图像.实验结果表明:该方法对多视点图像复原效果好,提高了三维重建精度.     

多Agent系统中组织适应的形式化方法

多Agent系统(MAS)中的组织在调节Agent社会方面已被证明是成功的。然而,Agent的行为或动态环境的改变可能导致系统意图的不良执行,所以整个组织需要通过改变来适应新的环境。多Agent系统中从组织的社会结构、社会协定、目标到组织如何适应,提出了一种形式化描述方法,此方法为以后研究多Agent系统的组织适应奠定了理论基础。     

软件开发的形式化方法在程序测试中的应用

《软件开发的形式化方法》课程内容抽象且缺少简单、易懂的软件开发的形式化方法的实例.为了提高学生的学习兴趣,增强学生对软件开发的形式化方法的感性认识,从而达到掌握软件开发的形式化方法的目的,该文以软件测试的形式化方法为例,探讨了基于有限状态机的软件测试原理,开发了非确定有限状态机测试用例生成工具,并通过C程序测试例子说明基于有限状态机的程序测试方法.     

关于软件形式化方法

简要回顾了形式化方法的发展历程，阐述了形式化方法的定义，重要性及主要研究内容，着重讨论了形式规约语言和方法，以及演绎证明和模型检测等形式验证方法。     

多视点标定图像的交替迭代度量重建方法

提出了一种针对相机内部参数已标定的多视点图像交替迭代度量重建方法.该方法以目标空间中重建的3D点到匹配特征点的反投影线间的距离作为重建误差的测度,使误差函数形式上更简洁且具有明确的几何意义.重建过程通过对相机外部参数中的旋转矩阵、平移量和3D重建点交替迭代完成,其中平移量和3D点一起估计,避免了它们与旋转矩阵中的元素间的尺度差异引起的数值偏差.利用合成数据和真实图像的计算分析均表明本文方法有较高的重建精度,具有实用性.     

UML多视点建模机制应用研究

论述了UML支持软件工程全过程的多视点、可视化建立开发系统模型的优势和适用性。并针对一个小型图书管理系统,通过建立的静态模型（用例图、包图、配置图）和动态模型（状态图、顺序图、合作图）,展示了UML多视点建模实例,说明了应用UML建立富有弹性的、可扩充的软件开发模型的过程框架和机制。     

PEARL语言在实时系统开发模式中的应用研究

通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.     

基于UML需求建模的一种形式化分析方法及其应用

UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性.     

实时调度问题的形式化描述及分析

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并,大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。     

运动仿真在重型复杂机构多工位有限元建模中的应用

针对有限元分析软件的现有功能及其对重型复杂机构多工位建模工作量大的特点,本文将多刚体系统运动仿真理论和方法运用到结构有限元建模中,并结合实例说明了多刚体系统运动仿真与结构有限元分析相结合的方法及该方法的有效性。     

微机仿真系统中形式化方法的应用

Z语言是一种广泛应用的形式化语言，适合于仿真实时软件系统的需求规格说明．通过微机系统仿真软件的Z规格说明，讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作同时序关系的描述．     

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

多Agent系统的形式化开放混合体系结构模型研究

为了有效建立并统一多Ａｇｅｎｔ系统（ＭＡＳ）的理论与方法体系,提供ＭＡＳ的有效设计与实现途径,重点讨论并建立了基于开放环境的ＭＡＳ形式化开放混合体系结构模型,首先,采用面向Ａｇｅｎｔ的程序设计（ＡＯＰ）风范并基于开放环境与组合技术,对Ａｇｅｎｔ的ＢＤＩ模型进行形式细化处理,引入开放混合结构模式的自治、交互Ａｇｅｎｔ形式定义,在此基础上给出开放环境下的自治、交互ＭＡＳ的形式化开放混合体系结构模型,并     

连续法研究进展及其应用

非线性问题在许多应用学科中存在，由于其难以求解而限制了诸学科的发展，因此寻求一种有效的非线性方程求解方法具有重要意义。介绍了在复数域内求多项式方程组全部解的连续法和在实数域内求任意非线性方程组多组实数解的实数连续法，讨论了两种方法的应用情况，通过实例比较了两种方法的计算效率，为工程中非线性问题的求解提供了有效的途径。     

基于实时多任务操作系统的智能脱扣器系统软件设计

为了克服传统的顺序软件结构导致软件代码结构复杂、可移植性和可扩展性差的缺点，提出了基于实时多任务操作系统--IR-OS的智能脱扣器系统的设计方法，并得到实际应用。IR-OS采用了抢占优先级调度方式，内核代码简洁，并为用户提供开发接口，实际应用证明，采用实时多任务操作系统作为智能脱扣器开发和运行平台，具有很好的运行稳定性、可靠性和实时性。     

基于Linux的多进程MDSL研究与设计

针对Windows下MDSL(多通道同步数字记录仪)系统耦合度高,稳定性和实时性不够理想的缺陷,本文提出了新的系统架构和设计.该设计基于Linux操作系统(2.6内核),采用了多进程方式降低系统耦合度,提高系统可靠性,并采用双机冗余和守护进程等设计保证系统稳定性,同时采用了多线程管理方式实现远程控制单元.实践表明,新系统拥有更好的可靠性以及可维护性.     

计量逻辑学中的形式化推演方法

基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.     

高速实时数据记录的一种方法研究

本文提出使用实时操作系统中中断编程实现高速实时数据记录的一种方法，根据该方法实现的数据记录软件在某发电厂３３０ＭＷ发电机故障录波装置上获得成功应用     

Linux在嵌入式操作系统中的应用

分析了Linux作为嵌入式系统开发平台的优越性,讨论了改进Linux实时化的以及实时任务与内核通信的问题,并提出了压缩系统规模的具体措施。