一种新的离散事件系统控制方案

给定离散事件系统（ＤＥＳ）Ｇ及某个规定的最大允许合法语言文明（ＭＰＬＬＳ）Ｋ，监督控制在任务就是寻找一个监控器Ｓ，使得系统在监控下不会突破该ＭＰＬＬＳ，也即满足：Ｌ（Ｓ／Ｇ）包含于Ｋ，传统的实现方法要求给定ＭＰＬＩＳＫ计算其最大可控子语言Ｋ＾↑因此难免显示地构造Ｓ。本文给了一种新的方案可以不必对Ｋ＾↑和Ｓ作显式计算，监控任务是随ＤＥＳＧ的演化结合规定的ＭＰＬＬＳＫ用动态方法实现，该方案在很大程度上     

利用多变量自适应回归样条函数确定ATCS复合分派规则的缩放参数

提出一种利用多变量自适应回归样条函数（ＭＡＲＳ）来确定考虑准备时间的直观延误成本（ＡＴＣＳ）复合分派规则中缩放参数的方法,以优化ＡＴＣＳ分派规则在最小化总加权延误时间（ＴＷＴ）上的效果．通过利用ＭＡＲＳ模型在高维空间上的弹性建模能力,构建调度作业组与缩放参数之间的非线性模型,以便灵活地捕捉更多的局部映射关系．对比实验结果表明,与已有方法相比,该方法可显著地改善ＡＴＣＳ规则在最小化总加权延误时间上的效果,同时降低调度效果的不稳定性．     

不同版本DOS共享硬盘的方法与实现

本文详细介绍了一种在同一硬盘上安装和启动不同版本ＤＯＳ的方法及相关问题，采用该方法，可解决对ＤＯＳ版本有限制的软件使用不便的问题，并能实现一机多用，充分利用机器硬件资源。此方法不借助任何工具软件，仅用ＤＯＳ系统命令，通用性好，适于广大用户使用。     

视频编码器片上系统集成中软硬件协同设计方法的研究

以视频编码器片上系统的设计为实验对象,提出了一种具有较高层次的软硬件协同设计方法。运用该方法着重对视频编码器芯片上ＲＩＳＣ核进行设计,并采用０．３５μｍＣＭＯＳ工艺ＥＤＡ工具上实现。综合结果表明,在系统层次上展开系统芯片的软硬件协同设计,具有具体结构对算的适应性好,设计周期短,系统易于优化等优点。     

一种新的内存优化技术

本文讨论ＤＯＳ内存优化方法，向您介绍一种比ＥＭＭ３８６．ＥＸＥ更好的内存优化软件－－Ｑｅｍｍ３８６．ＳＹＳ。．采用该内存管理程序优化 定程度上保证了ＤＯＳ大型应用程序的正常使用，具有一定的现实意义。     

模拟训练视景系统,三维游戏开发工具RGBGame Builder的设计

探讨了多媒体芯片上的ＲＩＳＣ核的设计方法,研制了一种适合于多媒体应用的ＲＩＳＣ核ＭＲＩ,该芯片核可广泛有竽图象通信,音频编码和视频点播服务等领域,通过原型 方法证明了设计的逻辑正确性。     

基于移位的递归子分割方法

自然景观的计算机三维模拟图形学研究的重要领域之一。本文在分析比较几种自然景观模拟方法之后，提出了一种模拟山水景观的基于移位的递归子分割方法。该方法不仅可以进行景观特征的局部控制，而且克服 景观模拟中的“折痕问题”，我们已用该方法在ＳＧＩＩＲＩＳ４Ｄ／２５图形工作站上实现了山水的三维模拟，得到了满意的效果。     

OpenGL技术在电磁散射理论中的应用

“图形电磁计算（ＧＲＥＣＯ）”技术被认为是目前电磁散射理论界分析高频区复杂目标雷达散射截面（ＲＣＳ）最有效的方法。该方法对计算机图形处理能力的高度要求，使其过去只有在昂贵的工作站平台上才能运行。提出一种在高性能微机上安装图形加速卡，利用ＷｉｎｄｏｗｓＮＴ下三维图形软件标准接口技术ＯｐｅｎＧＬ，从而提高微机的图形处理功能，在微机上实现ＧＲＥＣＯ技术的方法。该方法可在计算机屏幕上实时生成，显示复杂目标彩色图象及ＲＣＳ计算结果。     

SCSI协议的实现

ＳＣＳＩ命令是ＳＣＳＩ协议的具体实现,本文将介绍目前在ＰＣ平台上开发ＳＣＳＩ接口程序中最流行的一种方法ＡＳＰＩ,并且利用此方法,细致地阐述了在ＷＩＮＤＯＷＳ系列操作系统下实现 ＳＣＳＩ命令的实现过程和步骤。     

利用多变量自适应回归样条函数确定ATCS复合分派规则的缩放参数

提出一种利用多变量自适应回归样条函数（ＭＡＲＳ）来确定考虑准备时间的直观延误成本（ＡＴＣＳ）复合分派规则中缩放参数的方法,以优化ＡＴＣＳ分派规则在最小化总加权延误时间（ＴＷＴ）上的效果．通过利用ＭＡＲＳ模型在高维空间上的弹性建模能力,构建调度作业组与缩放参数之间的非线性模型,以便灵活地捕捉更多的局部映射关系．对比实验结果表明,与已有方法相比,该方法可显著地改善ＡＴＣＳ规则在最小化总加权延误时间上的效果,同时降低调度效果的不稳定性．

     

A Subsystem Synthesis Method for Efficient Vehicle Multibody Dynamics

A subsystem synthesis method has been proposed for dynamicanalysis of a vehicle multibody system that consists of severalsubsystems. In this method, each subsystem can be independently analyzedwith a virtual reference body. For overall vehicle system analysis,subsystems can be synthesized to the chassis with effective inertiamatrix and force vector from the virtual reference body of eachsubsystem. Using this matrix and vector, a fixed size (6 × 6) of equationsof motion for a chassis can be formed and independently solved. There after, equations of motion for each subsystem are solved, subsystem bysubsystem. Computational efficiency of the proposed method has been alsoinvestigated theoretically through the operational counting method. Inorder to show the effectiveness of the method, a Short Long Arm (SLA)vehicle suspension subsystem has been analyzed.     

一种基于构件软件仿真的成本估算方法

随着面向对象和软件复用技术的发展。产生了一种新的基于构件的软件开发方法，被广大软件开发人员普遍看好，发展很快。为了解决基于构件的软件开发成本估算的问题。结合构件的复用成本公式。在分析基于构件的软件开发方法特点的基础上提出了一种基于构件仿真的软件成本估算方法。利用分解法的思想，以传统开发方法的成本为基础，将基于构件的软件开发过程分成若干阶段，分别估算各阶段的成本，最终得到估算结果，为基于构件的软件开发成本估算提供了一个较好方法。最后给出了对该估算方法的评价，指出了今后研究的重点。     

基于构件的信息系统形式化需求分析方法的研究

提出了一种基于构件的企业信息系统形式化需求分析方法,可以很好地消除系统的二义性、不一致性和不完整性,大大提高系统需求分析的效率和质量,为后阶段的开发打下了很好的基础。这一方法已得到初步使用,取得了满意的结果。     

一种基于Petri网的虚拟机性能分析方法

虚拟机技术在缓冲区溢出防御方面有着重要的应用,虚拟机系统中加载器的不同设计方案直接影响虚拟机的运行效率。本文提出一种使用Petri网形式化建模的方法,对虚拟机所需要的加载方案实现形式化建模和评估。使用CPN-Tools工具进行验证结果显示,该方法可以有效地分析虚拟机模型的性质,实现各种加载方案的虚拟机系统的时间和空间量化比较。     

一种便于自动生成识别规则的图象基元抽取方法

本文提出了一种便于自动生成识别规则的图象基元抽取方法。并将其用于手写字符的识别。结果表明,用本方法得到的图象基元链(句子)对图象的位置、大小、局部形变不敏感,降低了语言的信息冗余度。因而易于由样本图象直接生成识别规则.     

核电站泄漏监测系统湿度取样时间优化研究

对第三代原子能反应堆核电站泄漏监测系统取样过程进行研究。介绍了当前核电站泄漏监测的现状,对各类泄漏监测方法的原理进行了调查。研究过程采用数值模拟方法,对湿度测量过程中的湿蒸汽取样机理进行研究。湿度取样测量方法相比其他方法,动态特性较差,测量结果显示存在滞后性。研究表明:泄漏监测系统当前采用的湿空气取样时间还有一定的优化空间。通过对湿度取样管线湿空气扩散过程的分析,可以将湿度取样时间适当缩短,从而提高核电站泄漏监测系统的实时性。目前,国内较少采用测量湿度进行泄漏监测的方法,相关的理论研究和改进工作也较少。该研究可以在一定程度上推动该方法在国内相关领域的研究和应用。     

用系统辨识方法估计油田可采储量

本文提出一种与储量有关的产量预报模型,依据这种预报模型,应用系统辨识的理论给出了一种估计油田在一定条件下的可采诸量的方法,实际计算表明,这种方法有较高的应用价值。     

基于小波理论的数据挖掘方法研究

小波理论在信号处理、图象处理、模式识别、计算机礼堂、多传感器信息融合等方面呈现出强劲的发展势头,数据挖掘能从大量的、不完全的、有噪声的、非稳定的、模糊的和随机的数据中,提取人们事先不知道的但又是潜在有用的信息和知识,本文基于国内外的最新研究成果,对小波理论和数据挖掘技术进行了研究,提出了基于小波理论的数据挖掘方法,并通过实验进行了可行性验证,从而为契约技术的广泛应用提供了依据。     

On method statics and dynamics

We view a method as having a static and a dynamic part. The former is concerned with the structure of methods whereas the latter relates to the way in which this structure can be used to build products. Starting with the generic view of a method, the instantiation technique has been used to define a decision-oriented metamodel which, in turn, can be instantiated to yield a representation of a method. These three layers form a comprehensive three-layered architecture for a method representation system. Each layer is composed of its statics and dynamics. The resulting method notation has been used as a basis for building a CASE tool, called Guide, and a CAME tool, called MERU.