本文设计了BSK内核消息系统的构造方法，并形式化地构造了过滤规则和访问控制规则。
This thesis gives the design of BSK kernel message system, and construct filter rules and acess control rules formally.
采用形式化方法对社区卫生服务系统进行设计，能够得到一致的、精确的、简明的和无歧义的规格说明。
When designing with formal approach, the consistent, accurate, concise and unambiguous specification can be obtained for the community health service system.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
The type system is a formal method and tool for designing and studying programming languages.
本文主要介绍一种以记帐凭证核算形式为依据的电算化帐务处理系统设计模型，并提出解决其通用性等问题的一些具体方法。
With the introduction of a kind of model of EDP accounting handling system according to the paper suggests some concrete methods of resolving problems such as the generality of this model.
系统以工程形式来管理一个产品的设计过程，能够创建和管理功能方法树、产品结构树，建立设计矩阵，结构化存储设计数据。
The system manage design process of a product with project mode, and can establish and manage function-means tree, product tree and design matrixes to store structurized design data.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
本文讨论了广义系统的干扰解耦状态观测器的结构形式、存在条件和设计方法。
Concerning the state observer decoupling disturbance for singular systems, we study its existence conditions, its structure and the design methods.
基于变结构控制原理，本文提出了一种变结构控制系统的设计方法，它允许多种形式的参考输入。
Based on the principles of a variable structure system a design method for the variable structure control system with a variety of reference inputs is proposed in this paper.
系统采用混合工艺设计的方法，即综合运用典型、变异和交互式设计，以产品结构树的形式进行工艺管理。
A mixed way with type, variation and mutual has been adopted to design product in the system and the process is managed by the tree structure of product.
该方法先考虑输入具有饱和非线性的线性系统一般形式，再通过构造低增益部分、高增益非线性部分及复合非线性控制律三步完成设计。
The normal form of the linear systems with input saturation was considered; and then the control law was designed by constructing low-gain, high-gain and CNF gradually.
严格建模是嵌入式实时系统设计的核心技术，通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。
Rigorous Modeling is a core technology in embedded realtime system design and the combination of UML and formal methods would provide a better tool support to it.
针对多体系统符号或数值形式运动方程的推导，给出了一种简单灵活的MAPLE程序设计方法。
A simple and flexible method for MAPLE programming is introduced to generate symbolic or numeric motion's equations in a multi rigid body system.
经过多年的工程实践，人们普遍认识到形式化方法是设计实现高可信并发系统的重要途径。
After many years of engineering practice, it is realized that formal method is important for high confidence concurrent systems.
本文探讨了一种基于校园网的多媒体网络教学系统的设计和直播课堂与在线学习两种形式的多媒体网络课件的制作方法。
In this paper, a multi-media network education system based on campus network and design of streaming media courseware and on-line learning courseware is discussed.
离散变结构系统趋近律设计方法的研究：（1） 由连续变结构系统的趋近律得到离散趋近律的三种基本形式；
The investigation of DVSC asymptotic law designing method includes:(1) Three basic types of discrete asymptotic law derivate from asymptotic law of CVSC.
研究广义分布参数系统的控制综合问题，给出了直接控制形式和分布控制形式的变结构控制设计的方法，并结合例子说明了控制的设计过程。
This paper considers the synthesis problem of control of singular distributed parameter systems, the design methods of variable structure control for direct control or distributed control are given.
形式化验证方法运用数学方法表达系统的规范或系统的性质，并且根据数学理论来证明设计的系统满足设计的规范或具有所期望的性质。
With these approaches, the behaviors and requirements of the system are described mathematically, and formal proof is used to verify that the behaviors behaves according to the requirements.
给出了能使系统鲁棒镇定的切换面设计方法和相应的控制律的形式。
The method of switching surface designing and the control law are given.
以数学方法给出了工作流过程定义模型的形式化描述，并提出一种工作流自动化的实现模型，包括系统体系结构和数据库的设计。
The paper gives mathematical definitions of process defining model and an implementing model of workflow automation, including the system architecture and database design.
滤波器采用无限冲激响应滤波器的形式，并以系统辨识的方法直接在时域进行设计。
Suppose that the measuring system is a linear and time invariant SISO system, the digital compensation filter in the form of infinite impulse response is in series with it.
在基于步进化伺服系统输入信号的实际需求，结合传统伺服系统输入形式，采用曲线拟合的方法，提出一种既便于计算机实现，又可灵活调整的输入信号设计方法，并给出相关的证明。
This paper gives a design method of servo systems input signal, which is based on exact requires of stepping servo systems and combining of traditional form of input signal.
在分析ert系统电极结构的基础上，对电极传感器提出了新的设计方法，包括电极的安装方法、多层电极的排列形式等。
Based on the analysis of the electrode structure in ERT system, a new scheme for electrode sensor is proposed, including electrode installation method, the array of multi-plane electrodes, etc.
本文提出了工作在电流断续状态下可逆传动系统结构形式的选择与数字调节器的设计方法；同时配以仿真研究结果。
A selection method of the structure of reversible transmission system with pulse electric current and a design oJ digital regulator are put forward and the results of emulating study are also given.
本文在全面分析已有资料的基础上，提出深海大型资料浮标锚旋系统的形式选择、系统布置和各部件设计方法。
On the basis of fully study of existing facts, the form selection, arrangement of the system and the design method of each component for the mooring system of deep sea data buoy were posed.
本文是在总结前人研究成果的基础上，对服务区设计系统进行细化研究，主要探讨设计中切实可用的手段、形式，方法等。
Based on previous studies, this thesis aims at meticulous research from a systematic point, discussing the practical means, forms, methods.
该方法针对目前航空电子系统的系统设计与验证中的“V”型流程进行建模，并对其进行形式化的描述，以供计算机分析、识别。
With this met hod V-type process in current avionics system design and verification is modeled and formally described for computer analysis and identification.
通过理论分析和工程实际应用的对比，阐述了多楼层集中送风空调形式的技术特点；总结并介绍了该种系统形式在设计、应用方面的具体方法和要点。
Based on the theoretical and practical analysis of multi-floor air distribution system, put forward the technical characteristic of the system, and gave some advice for design and application.
接着，分析研究了利用常规设计方法进行城市地下空间设计时，应该引起重视的若干特殊问题：地铁建筑空调系统形式的选择；
In this paper, we also discuss the special problems we should be attention to when the common design methods used in urban underground space:air conditioning system forms selection of subways;
接着，分析研究了利用常规设计方法进行城市地下空间设计时，应该引起重视的若干特殊问题：地铁建筑空调系统形式的选择；
In this paper, we also discuss the special problems we should be attention to when the common design methods used in urban underground space:air conditioning system forms selection of subways;
应用推荐