可构造性

Using"Simulation Software Bus "to realize a composable mode of simulation software component to construct DIS system, to promote the interoperability and reusability of DIS systems, and to increase the flexibility and scalability of constructing DIS systems.

使用"仿真软件总线"来实现以仿真构件组合模式来构造分布交互仿真系统，提高仿真系统的互操作性和可重用性，增加系统构造的灵活性和可量测性。

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.

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

Combinatorics and discrete mathematics are the most important mathematics foundation in science and technology of computer.

以离散数学和组合数学为代表的可构造性数学是计算机科学与技术学科的最重要的数学基础。

The measurement system error model analysis is introduced into power system real time network state analysis as an important part for the first time, which can improve on the state estimation quality and provide the capability to monitor the operation of the measurement system; 2. The theory and algorithm of the on-line estimation and update of measurement noise variance based on the relation between the residual variance and noise variance. The statistic properties of the sample variance are discussed and the relation between the estimation precision and sample size under given confidence level is derived; 3. The theory and algorithm of detection and identification of measurement bias are presented, which is based on the relation between residual mean and noise mean. The statistic properties of sample mean are discussed and the relation between estimation precision and sample size is derived; 4. The Givens orthogonal transformation algorithm is selected to be the essential algorithm of state estimation, the fast orthogonal transformation algorithm with damp factor and the algorithm which can handle the zero injection measurements efficiently are presented; 5. The quantity analysis theory of bad data detectivity and identifibility are presented, which describes the relation between the elements in matrix W〓 and bad data amplitude and can provide the theory base for measurement system design and valuation.

一、首次将量测系统误差模型分析做为一个环节引入电力系统实时网络状态分析中，为EMS系统增加了实时监视系统运行、修正量测系统误差模型的新功能，进一步发挥了实时网络状态分析应用软件的潜力；二、首次提出了应用样本方差在线估计与修正量测系统误差方差的基本理论，讨论了样本方差的统计性质和概率分布，推导出了样本容量、估计精度和置信度之间的关系，给出了在线估计与修正量测系统误差方差的算法；三、首次提出了应用样本均值在线检测与辨识量测偏差的基本理论，讨论了样本均值的统计性质，推导了样本容量、估计精度和置信度之间的基本关系，给出了在线检测与辨识量测偏差的算法；四、在状态估计算法设计中，以Givens变换算法做为基本算法，提出了快速正交变换阻尼因子法和可以有效地处理零注入量测的混合法，并对实时应用中的一些问题进行了讨论；五、提出了不良数据可检测性与可辨识性的定量分析理论，揭示了描述量测系统配置、网络结构与参数的残差灵敏度矩阵中的元素与不良数据的幅值在可检测、可辨识能力上的定量关系，为量测系统配置设计与评价提供了理论基础；六、综合国内外最新研究成果，采用自适应自回归预测技术和稀疏矢量技术，构造了较完善的不良数据检测与辨识算法。

The scheme not only fulfilled the common security requirements, such as the anonymity of bidders, robustness, non-repudiation of the winner and public verifiability, but also had some other characteristics: compendiary steps, convenient construction, low cost of communications and computation, etc.

该方案除满足投标者的匿名性、健壮性、中标者的不可抵赖性和公开可验证性等一般安全性要求外，还具有步骤简略、构造方便、通信量和计算量小等特点。

In this paper,suitable approaches and measures for the robustness,repairability, examinability and waterproofing performance of bridges are discussed to ensure the durability of concrete bridges.

本文从桥梁的整体性、可修性、可检性、防水性能等角度探讨了如何在结构设计和构造细节方面采取合适的原则和措施，以便有效地保证桥梁的耐久性能。

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的认证授权系统，并构造了系统原型，该系统具有良好的可重用性和可维护性。

Chapter 5 and 6 are concentrated on the fundamental problem how to con-struct finite-dimensional and infinite-dimensional Liouville integrable Hamiltonsystem.Starting from two isospectral problems,Tu's scheme is applied to gen-erate the corresponding CKdV hierarohy and coupled Burgers hievachy,andthey are shown to be Liouville integrable Hamilton systems.Two spectral prob-lems,which contain three and four potentials respectively,are also studied byTu's scheme.Two new Liouville integrable Hamilton hierarchy are estab-lished.A new general approach using Lenard's gradient sequence is presentedto obtain Lax integrable hierarchy and their zero curvature representation,andsome examples are given.The nonlinearization procedure is applied to theeigenvalue problem of coupled Burgerrs hierarchy.It is shown that underBargmann constraint,the spatial part of the Lax pairs is nonlimearized to be afinite-dimensional Liouville completeiy integrable Hamilton system.

第五、六章研究如何从一个谱问题出发构造可积发展方程族及其零曲率表示、Hamilton结构和判断Liouville可积性：通过对二类具有2个位势的等谱问题直接研究，利用屠格式生成了耦合KdV族和耦合Burgers族，并证明它们均为Liouville可积的广义Hamilton方程族；而通过分别具有3个和4个位势的等谱问题，遵循屠格式构造了二族新的Liouville可积的广义Hamilton方程族；给出了利用Lenard梯度递推序列产生发展方程族及其零曲率表示的一种方法，作为应用，讨论了CKdV族，BPT族及耦合Burgers族的产生及其零曲率表示；应用非线性化技巧，证明了在Bargmann约束下，耦合Burgers族的Lax组可被线性化为Liou-ville完全可积的Hamilton系统。

Aiming at the actual need of impeach work, and on the basis of analyzing, concluding, summarizing and informing against the systematic current situation at present, the article structure the new model of electronic impeaching system, adopt group signature and bit commitment technology to realize each functions of the system respectively, and guarantee the security of accuser, such as anonymity, unforgeability, undeniable, unlinkability,traceability,etc.

论文针对检举工作的实际需要，在分析、归纳、总结了当前检举系统现状的基础上，构造了新型电子检举系统的模型，并分别采用群签名和比特承诺技术实现了系统的各项功能，保证了匿名性、不可伪造性、不可否认性、不相关性和可追踪性等安全性。

The analysis model of grouped-metadata may construct based on coupling information of variables and methods inside component. According to formal component couping testing criteria description, coupling relationship among methods inside component is decribed using component methods coupling graph. And DU table is further constructed, which includes definition and definition information of component method. Then observation mechanism based on observation–points is introduced in order to increase the observability of component. An implementation framework of testable component is constructed bansed on coupling information.

分层描述性元数据中的分析模型基于构件内变量和方法之间的耦合信息来构造，根据形式化的构件耦合测试准则描述，使用构件方法耦合图的概念描述构件中方法之间的耦合关系，进而构造包含构件内定义和使用信息的DU表，并引入旨在提高构件可观察性的基于观察点的监控机制，构造一个基于构件耦合信息的可测试构件的总体实现框架。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。