可构造的

It constructs system around dealing with " course" of function , and the change of user s needs is for the function mostly. So the software use this technological development is poor in stability, alterability and getting reusable.

它是围绕实现处理功能的"过程"来构造系统，而用户需求的变化大部分是针对功能的，因此，用这种技术开发出来的软件，其稳定性、可修改性和可重用性都比较差。

In this paper,the B-spline curve is supposed as boundary curves,when they are in two paralled plane and two arbitrary plane,the condition about the control vertex of characteristic polygon when the ruled surface is developable are gained,solved the designing problem of degree and degree B-spline curve .Throughing (2,3) degree and (2,2) degree B-spline ,we haveproved the validity and utility of this method.

本文用两条B样条曲线作边界曲线，当它们位于两平行平面上和两任意平面上时，研究得到了由它们形成的直纹面为可展面时它们的特征多边形顶点满足的条件，解决了(n，n+1)次和次可展B样条曲面的设计问题，然后以(2，3)次和(2，2)次B样条曲面为构造实例，证明了该算法的正确性和实用性。

By means of scientifically determining the membership function of each factor and establishing the weight of each factor by constructing the judging matrix through binary taxis, the optimal one was selected from nine schemes made up of different combination of room structural parameters, which could ensure not only safety production but also better economic profit.

通过合理确定评价指标的隶属度函数和利用二元排序法构造判断矩阵确定各评价指标的权重，对9种方案进行了综合评判，确定了最优方案，选出了合理的矿房结构参数，既可保证矿山的安全生产，又可保证矿山经济效益。

The result is important from both theoretical and engineering viewpoints because of its generality and constructiveness, so that from it we can chose many kinds of decoupling control law which can meet many other requirements such as stability and robustness for the closed-loop system.

此结果之所以在理论上，特别在工程上是重要的，在于它的构造性和一般性，因为它可扩大解耦控制律的选择范围，可使闭环系统在解耦的同时，更容易找到满足其它一些要求的解耦控制律，如稳定性、鲁棒性等。

First, we introduce the concept of polarizable Carnot group and give some new properties of its homogeneous norm. Then we construct a class of non-divergence equations as well as their nontrivial solutions. The failure of corresponding A-B-P type estimate and uniqueness to the Dirichlet problems in space~ follow.

首先引入可极化Carnot群的概念，给出了可极化Carnot群上齐次模的若干性质，然后构造了一类非散度型次椭圆方程及其非平凡解，由此证明此类方程Dirichlet问题的解在函数空间L~中不唯一，进而证明相应的Alexandrov-Bakelman-Pucci型估计不成立。

Ythagorean hodograph curves enjoy a number of remarkable properties, such as, its offset curves have exact rational representations; the arc length function of a Pythagorean hodograph curve is simply a polynomial function of the curve parameter; and the lower degree Pythagorean hodograph curves have intuitive geometrical interpretation.

H曲线具有诸如有精确的有理 Offset、弧长函数可由多项式函数表示以及几何解释优美等一系列优良性质。基于复分析方法，避免了实分析讨论中出现的复杂表示及繁琐计算，构造了满足给定 C1 Hermite插值条件且以C1拼接连续的三次 PH曲线偶。该曲线偶可灵活处理拐点，从而克服了一般三次 PH曲线因恒凸而无法处理拐点的缺陷。

In Chapter 4 we discuss the solvable theorem of adaptive inverse optimal control problems, and proceed with controller designs of global asymptotic stability in probability, adaptive inverse optimal stabilization in probability and output-feedback adaptive inverse optimal stabilization in probability for strict-feedback stochastic nonlinear continuous systems with additive standard Wiener noises and constant unknown parameters using It〓's differentiation rule and an adaptive backstepping algorithm. Control laws and adaptive laws can be obtained at one time by this design scheme. Many simulations have been performed to validate the properties of the proposed adaptive control scheme.

在第4章中，针对具有标准Wiener噪声扰动和未知定常参数的不确定随机非线性系统，提出并证明了自适应逆最优控制问题可解定理，构造了适当形式的四次型随机控制Lvapunov函数，基于It〓微分规则和自适应Backstepping算法，系统地设计了全局依概率渐近稳定控制器、自适应逆最优控制器、输出反馈逆最优控制器以及在设计中如何处理二阶Hessian矩阵函数的方法，这种方法可同时获得控制律和自适应律，通过实例仿真，表明该控制算法是有效性的。

In this paper,we construct the transitive signature scheme based on bilinear pairings over elliptic curves or super elliptic curves,If one-more CDH problem is hard and standard signature scheme is unforgeable under adaptive chosen-message attack,our scheme is transitively unforgeable under adaptive chosen-message attack.

构造了基于椭圆曲线或超椭圆曲线上双线性对的可传递签名方案，并且证明了在one—more CDH问题是难的和标准签名方案是自适应选择信息攻击下不可伪造的条件下，该文的可传递签名是在自适应选择信息攻击下不可伪造的。

Taking the development trend of modern software and the traditional development technique based on OOP as the background,this paper researched authentication and authorization system based on JASS,analyzed advantage and disadvantage of traditional method,designed authentication and authorization system based on AOP and constructed the system prototype.

文章首先以现代软件的发展趋势以及传统基于OOP的开发技术为背景研究了JASS认证和授权系统，并分析了传统方法的优缺点，设计了基于AOP的认证授权系统，并构造了系统原型，该系统具有良好的可重用性和可维护性。

In this thesis, we will refer to the BPK model and its variants as general public-key models. Unfortunately, up to now we do not know how to construct concurrent/resettable zero-knowledge with concurrent verifier security i.

在本学位论文中我们将统称秃公钥模型及其变体为广义公钥模型）不幸的是，至今我们不知道如何对非平凡的语言在秃公钥模型下构造具有并发验证者安全（即：并发可靠性及并发证据可提取性）的并发及可重置的零知识系统。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐