可分析性

But as a result of the practical application realizability, the technical maturation and time hastiness, has carried on the theoretically discussion analysis only in this, the following work waits for in continues to study.

但由于实际应用的可实现性、技术成熟性及时间的仓促，在此只进行了理论上的探讨分析，后续工作有待于继续研究。

DOA identifiability issue for such arrays is discussed, and the corresponding Cramer-Rao Bound is derived also.

文中讨论了算法参数可辨识性的必要条件，并分析计算了多参数联合估计的克拉美-罗界。

The paper introduces the transfer matrix to analyze the deadlock problem in Web service combination,and adopt incidence matrix to ensure the accessibility of combination.

采用转移矩阵方法来分析Web服务组合中存在的死锁问题，并采用关联矩阵的方法确认组合的可达性。

This paper analyzes some aspects of economics about catastrophe risk transfer and its insurability,and finds that information asymmetry is the key factor affecting catastrophe insurance.

本文基于风险决策和保险经济理论讨论了巨灾风险的转移机制和可保性，分析了私人部门在巨灾风险转移上的创新及其缺陷。

Along with the evolution of the theory of CIM, the need to intellectualize CIM systems raises. Accordingly, the need to intellectualize enterprise modelling architectures also brings forward. By the research of the 1st chapter, the author discovers that there are three areas in an enterprise modelling architecture can introduce intellectual techniques, viz. modelling framework, modelling method and simulation. Whereas most architectures, such as CIMOSA, ARIS, GIM and PERA, can not satisfy the above-mentioned requirements.

经过第一章研究分析，本文作者发现在企业建模体系结构中的建模框架、建模方法和仿真运行三个方面能够引入智能化方法，即在建模框架中增加通用性维来降低建模难度、缩短建模周期和提高模型的可重用性，在建模方法中全面引入面向对象方法实现建模元素和企业模型两方面的构件化，在模型仿真时应用人工智能领域的成果并提供决策支持。

In this paper,the system is specified in EFSM model.The concept of invertibility is introduced and used to optimize the transition executability analysis method,so that shorter test sequences can be generated and smaller space is needed to generate the TEA tree.

文中以EFSM为协议的描述模型，引入了逆向判定性的概念，并利用这一概念对转换可执行性分析方法进行了改进，缩短了生成的测试序列的长度，并且减小了所需的TEA树扩展空间。

A new observability analysis algorithm for power system state estimation based on reduced network Jacobian matrix is proposed.

提出了一种新的基于降阶网络雅可比矩阵的电力系统状态估计可观测性分析方法。

Firstly, a hybrid system about the start-up process of a leatheroid's DMF recovering plant has been studied, the hierarchical control model of this system was built using timed Petri nets and hybrid Petri nets theory. The monitoring method of start-up process was discussed by studying the coordination layer of this model, and the reachability method was adapted to analyze this model.

论文首先对混杂系统——人造革DMF回收开车过程进行了研究，结合赋时Petri网和混合Petri网建立了其递阶控制模型；通过对其协调层的深入讨论，研究了开车过程的监控问题，采用可达性等方法对模型进行了分析。

In order to increase the reliability and maintainability of painting robot control system,a method for analysis and modeling of the system has been presented in this paper.

为了提高喷涂机器人控制系统的可靠性和可维护性，提出了一种针对喷涂机器人控制系统的分析与建模方法。

And based on the measurability of enterprise yield, an analysis of incentive factor is made.

引入了一系列衡量网络组织稳定性的参数，使模型更加合理；并基于企业收益率可测性对激励系数进行了分析，得出一系列有关激励系数的有益结论。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失