可分析性

The effective prediction space concept is established, On the base of these, this paper deduces two representations' evaluating equation, one evaluates the prediction error and the other evaluates the prediction error in limited space. First, the error transfer characteristic among subsystems at different space locations is analyzed, and the direct transfer characteristic from discrete standard measure space to the workpiece measure space under measured in measure system is proven. Second, the error reconstruction condition and method of mapping from discrete standard measurement system to continuous standard measurespace are analyzed.

分析了不同空间位置子系统间的误差传递特性，证明了在测量系统中离散标准量值空间向被测量工件量值空间的直接传递性；分析了离散标准量系统向连续量值空间映射的误差重构条件和方法；基于测量样本的有限距离的平稳性，证明了预报模型对动态测量误差的有限收敛性和预报误差的可测度性，进而证明了以离散标准量值系统对被测工件预报修正的可行性和合理性。

Then this paper analyzes schedulability of the task, shows the limitation of traditional scheduling algorithm, a hierarchal scheduling algorithm of real-time tasks is provided to analyze the scheduabiltity of the system.

然后对系统任务的可调度性进行分析，提出传统调度算法的局限，通过运用层次调度这种混合调度算法，分析了系统的可调度性。

Then this paper analyzes schedulablility of the task, shows the limitation of traditional scheduling algorithm, a hierarchal scheduling algorithm of real-time tasks is provided to analyzes the scheduabiltity of the system.

然后对系统任务的可调度性进行分析，提出传统调度算法的局限，通过运用层次调度这种混合调度算法，分析了系统的可调度性。

This paper proposes a new model and measurement for software testability based on program slicing. In contrast to most traditional ones, it is designed to analyze the testability of a module, rather than that of program locations.

提出了一种利用程序切片技术分析软件可测试性的模型和度量方法，与已有其它方法的最大不同在于它是模块级而不是语句级的可测试性分析。

Adaptive condition and existing problems of various methods of coalbed methane recoverability evaluation are discussed in the paper.

文章对常规煤层气可采性研究方法进行了研究，分析了各种方法适用的条件以及存在的问题，指出煤层气的可采性需要在地质因素综合分析的基础上，研究主要控制性地质因素及其有效配置。

The main findings of the empirical analysis include: 1 The decisions concern the choices of auto ownership, mode to work, and auto use were made simultaneously and interrelatedly. 2 The decline in correlation between the choices of auto ownership and use as the number of vehicle increase indicated that to own multi-vehicles in not necessary due to the demand for auto use. 3 Both price elasticity and income elasticity for auto ownership are low. This evidence implies that auto has become a kind of necessity for household. Therefore, the effect of decreasing the tendency of auto growth by means of increasing the cost of owning auto would not be significant. The price elasticities of auto use are between -0.48 and -0.78. 4 There are same underlying factors influencing auto ownership, mode to work, and auto use including: parking time at residential location, accessibilities to work location by auto and transit, auto use unit cost, and the percentage of auto use for work. These factors indicate a direction for the formatting of future automobile policies.

本研究以台湾地区之家户个体资料从事实证分析，实证分析之主要结论如下：1小汽车持有数量、工作者工作运具选择、与小汽车使用量等选择间确有相关与联立性存在；2小汽车持有数量选择与小汽车使用量选择间之相关性会随小汽车持有数量的增加而降低，显示选择持有多部小汽车并非完全基於小汽车使用之需要；3小汽车持有之价格弹性与所得弹性均偏低，显示小汽车已成为民生必需品，欲以提高小汽车持有成本之价格手段来抑制小汽车持有，并无法竟其功，小汽车使用需求之价格弹性则在-0.48与-0.78间；4影响小汽车持有数量、工作者工作运具、与小汽车使用量等选择主要之相关或共同因素包括：家户附近停车状况、私人运具与大众运输工具之工作可及性、小汽车单位使用成本、与小汽车工作使用比率等，以上这些影响因素可为日后小汽车相关政策的研拟提供一方向。

Concerning this problem, we put forward a kind of Stochastic Colored Petri Net, analyzed the limitary and reachable, and proved that SCPN is same as a continuous time Markov chain.

分析了它的有界性和可达性，证明了它同构于一个一维连续时间的马尔可夫链；同时，也分析了随机着色Petri网用于建模和系统性能定量分析的方法。

An Kalman filter positioning algorithm applied in "BeiDou" and INS integrated navigation system is proposed. then, the observability、controllability and stability of it is ratiocinated and analyzed. The observability of every state is analyzed.

针对北斗卫星定位系统和惯性导航系统设计组合导航卡尔曼滤波定位算法，接着对算法的可控性和可观性进行了分析，并分析了各个状态的可观测性；从稳定性的定义出发提出并推导了分析卡尔曼滤波器稳定性的方法，并用来分析了本文算法的稳定性和渐进稳定性。

Based on demonstrative analyses of the characteristics of a translator's creative treasons in his Chinese-English translating of a short text, the paper aims to study the interaction of the textual features and their internal constraints with the translator's subjectivity in his translating. It also endeavors to show the relationships between the subjectivity and objective constraints of both internal and external factors, so as to achieve referential, verifiable and descriptive theoretic representations.

内容提要：本文从实证分析出发，通过对一篇中译英所体现出的译者主体艺术&创造性叛逆&特征的个案研究，探讨中文文本特征及其内在规约性与主体性之间的互动关系，并对二者之间的内在与外在联系作出阐释和论证，以其形成可参照性、可印证性、可描写性的理论表征。

The following problems were resolved in this thesis. In order to implement the updatability and extensively on system, advisable design and architecture must be adopted. Design feasible data structure to transform and process logs. Analyze, optimize and implement related rule algorithm. Adopt the feasible design patterns to promote the running efficiency as well as performance of system, and save space in memory. Display the result which has already been classified and analyzed, in the form of table or picture. At the same time, consolidate the interactive communication function between human and computer.

该论文主要解决了下列问题，通过合理设计系统的体系架构，实现系统功能的可升级性与可扩充性；构建合理的数据结构，提高日志格式的转化及处理效率；分析、优化与实施关联规则算法；采用恰当的设计模式，实现内存空间的高效利用，同时提高系统的运行效率和性能；将统计、分析之后的结果用直观的各种报表与图形显示，同时加强人机交互操作功能。

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.

也许他们将在壶穴里消失