不确的

For certain type of investment, the expected rate of return is relatively constant; therefore the price is determined under a defined investment environment.

对于同一类投资，它的投资回收率是相对稳定不变的，因而当投资环境确定时，价格也是明确的。

ATPG is widely used in testing, and in terms of branch-and-bound searching, it is equivalent to a SAT solver. ATPG has two attractive features: It uses structural information of the circuit in decision making, and it handles X states more easily than a SAT solver. This report focus on fast ATPG engine specifically applied to PreImage computing in Unbounded Model Checking.

自动测试激励生成是测试领域的概念，它本身的求解过程是一个等同于可满足性问题的分支限界搜索，它的优点在于可以很好的利用电路的结构信息进行启发式搜索，同时可以灵活的处理不确定位。

I still remembered when Sui Zhengwei,Xu jing and I standed on the top of dam,looking the land under,how a horrent feeling,and teammates' cheers also gave us much stress. But only in a few seconds,we achieved.

我还记得隋正伟，许赟靖和我三人最先站在大坝顶上时，看着35米下的陆地，确有毛骨悚然的感觉，下面队友们的阵阵加油声，也给我们不小的压力，可在几秒内，我们就完成了挑战。

The theoretical innovation is that endogenous uncertaintytheory is first introduced to explain the abnormal volatility of Chinese stock markethence making the analysis of abnormal volatility more reasonable. The econometricalinnovation is that state space model is introduced to improve the classical test modelmaking the econometric test more practical and more convictive.

在中国股市异常波动性成因的理论分析中，首次将内生不确定性作为其中的一个重要因素，使得对中国股市异常波动成因的分析更为合理；在内生不确性的实证研究中，根据股市的实际情况，引入状态空间模型，对经典的检验模型进行改进，使得实证检验结果更具说服力。

Neural network is a branch of intelligent control,the control problems of complex nonlinear system,uncertainty system and unascertained system are solved.

神经元网络是智能控制的一个新的分支，为解决复杂的非线性、不确定性、不确知系统的控制问题开辟了一条新途径。

People of course expect us, as well, to eventually part and to become normal people, to have an individual life, but we find that being twins insulates us quite nicely from the demands of reality.

人们当然会希望我们最后应该分开，同时变回「一个」正常人，有著独立自主的生活；然而，我们也发现，在身为双胞胎这一点上，的的确确的将我们从许多现实的压力中隔绝出来，这也不是坏事。

However,one theory or method alone can not work elfectively.On account of the thought of integrative prediction,three modelings are combined to forecast the annual runoff.

近年来，在反演建模的基础上发展了基于时间序列的数据机理—自记忆模型理论[1]，自忆性原理是将决定论和不确定论两种方法融合在数学上的实现。

Demoralised by such expeditions, I found it tempting to settle for the quasi-wilderness of Central Park or the uncertain pleasures of the urban beach, at the Rockaways or Coney Island.

被这样的远征影响了情绪，我发现满足于中央公园的&准荒野&，或者是Rockaways或Coney Island休闲娱乐公园都市海滩那种不确然的乐趣，还是蛮吸引人的。

The paper presents a simulation-based visual analysis method for project-schedule, which successfully overcomes the limitation of PERT.

提出了基于仿真的复杂建筑群施工总进度可视化分析方法SimCPM，克服了时间不确定型网络中PERT分析的一些局限。

In after modernism, has vanished about past this kind of depth perception, we only exist in the present, does not have the history; The history only was pile of texts, the file, the recording is firmly already the event or the time which did not exist, stayed behind only is some papers, the dispatch case.

在后现代主义中，关于过去的这种深度感消失了，我们只存在于现时，没有历史；历史只是一堆文本、档案，记录的是确已不存在的事件或时代，留下的只是一些纸、文件袋。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。