THE ANALYSIS OF THE SEPARATED LAYERS ALGORITHM BY DOMAIN DECOMPOSITION METHOD

From the principle of of the Domain Decomposition Method (DDM), we analyse the 2nd-order linear elliptic partial differential problems and link the Separated-Layers Algorithm (SLA) with DDM. The mathematical properties of SLA and numerical example are presented to obtain satisfactory computation results. For general linear differential ones, also are the structure of SLA and its characteristics discussed.     

具有厚大断面的大型球墨铸铁铸件的生产

首先通过电炉—LF精炼炉—VD精炼炉—包内球化的工艺路线获得了足够的优质铁液,然后通过选取合适的分型面、设置合理的浇注系统、设计专用的冷铁、安放足够大的保温冒口和上表面加大加工余量来去除夹渣等措施,成功生产了具有厚大断面的大型球墨铸铁铸件。     

Automated Support for Building and Extending Expert Models

Building a knowledge-based system is like developing a scientific theory. Although a knowledge base does not constitute a theory of some natural phenomenon, it does represent a theory of how a class of professionals approaches an application task. As when scientists develop a natural theory, builders of expert systems first must formulate a model of the behavior that they wish to understand and then must corroborate and extend that model with the aid of specific examples. Thus there are two interrelated phases of knowledge-base construction: (1) model building and (2) model extension. Computer-based tools can assist developers with both phases of the knowledge-acquisition process. Workers in the area of knowledge acquisition have developed computer-based tools that emphasize either the building of new models or the extension of existing models. The PROTÉGÉ knowledge-acquisition system addresses these two activities individually and facilitates the construction of expert systems when the same general model can be applied to a variety of application tasks.     

试验模态分析技术的进展

本文对试验模态分析技术的进展,特别是80年代发展起来的有关新技术进行了综合评述。主要内容有:试验激振技术、频响函数估计方法、试验测试设备、以及各种模态识别方法,包括单输入/多输出和多输入/多输出识别的时域和频域方法。文中强调了试验模态分析技术各环节之间的相互联系、相互影响,对于80年代已成为模态识别主流的多输入/多输出各种方法(包括作者发展的几种方法),用统一方法作了描述。最后提出了若干值得进一步研究的方向。     

Stability analysis and antiwindup design of uncertain discrete-time switched linear systems subject to actuator saturation

This paper investigates the stability analysis and antiwindup design problem for a class of discrete-time switched linear systems with time-varying norm-bounded uncertainties and saturating actuators by using the switched Lyapunov function approach.Supposing that a set of linear dynamic output controllers have been designed to stabilize the switched system without considering its input saturation,we design antiwindup compensation gains in order to enlarge the domain of attraction of the closed-loop system in the presence of saturation.Then,in terms of a sector condition,the antiwindup compensation gains which aim to maximize the estimation of domain of attraction of the closed-loop system are presented by solving a convex optimization problem with linear matrix inequality(LMI)constraints.A numerical example is given to demonstrate the effectiveness of the proposed design method.     

根据客户网络应答的DNS服务器设计与实现

为了解决网络互连带宽"瓶颈"问题,很多单位的WWW服务器或邮件服务器同时申请不同网络的IP。若这些服务器所申请的不同网络IP对应不同的域名,即通过不同域名来区分不同的访问线路,会给用户访问服务器时带来不便。而一种能根据客户源IP地址所归属网络,把同一个域名解析成不同IP地址的DNS服务器的实现,既解决带宽"瓶颈"问题又方便网民。在Windows平台下,设计和实现了具有根据客户所归属网络应答功能的DNS服务器。     

模型驱动下的Web应用系统自动生成

为了提高Web应用系统开发效率,提出了模型驱动下的Web应用系统自动生成方法。这种生成方法是以Me—taEdit＋作为元建模工具,首先创建Web应用系统元模型、定制DSL,进而建立Web应用系统领域模型,然后通过MetaEdit＋提供的生成器定义语言MERL,软件开发人员可以很方便地设计出Web应用系统所需的JSP生成器、Servlet生成器、Jayabeans生成器和数据库生成器,从Web应用系统图形模型直接生成整个Web应用系统。最后通过一个WebShopping实例详细介绍了模型驱动下的Web应用系统生成方法及生成过程。经测试,所生成的Web应用系统可以在Windows操作系统中的Web应用服务器上正确运行。     

中医方剂与图集的转换方法

中药复方数据挖掘研究是将我国丰富的中药信息资源和现代最新信息技术相结合的重要内容,它意味着基于中医理论,利用知识发现技术,对传统中药新药、中医组方理论及规律、中药作用机制、有效成分构效关系等多个方面进行全面、系统的研究。图作为一种经典的数据结构,被广泛用于复杂数据结构分析与建模。文章探讨了图建模技术并实现了中医方剂与图集的转换。     

基于等级保护的网络改造方法及异常情况分析与处理

本文介绍了在电力企业信息网中基于等级保护的网络安全防护改造方法。在具体案例中,针对网络改造过程中遇到的网络异常情况,技术人员通过逐一分析、排查,最终恢复正常网络,达到企业信息网络二级域改造的目的。网络安全防护改造方法以及异常情况分析排查案例对同类型企业在网络改造及异常排查工作中具有一定借鉴和指导意义。     

用Word邮件合并功能套打固定格式的毕业证书

邮件合并是Word提供的一种非常重要的实用功能,如能巧妙应用将大大减轻工作量。本文通过毕业证书的套打,根据Word邮件合并功能和Excel函数域功能,以解决问题的思路为顺序,论述了毕业证书套打设计工作的方法和步骤,详细介绍了邮件合并的使用,对实现批量打印非常有用。