可计算的

In the analysis of the frequent spectrum and the reflection coefficients, based on Godas two-points method which fit to the normal incident wave, a modified two-points method is derived that can be used to calculate the frequent spectrum and reflection coefficient of the oblique waves from which the frequent spectra of incident waves and reflected waves incoming in arbitrary angular, the bulk reflection coefficient and the frequent spectrum of reflection coefficient could be computed, also from which in theory the waves could be measured in two wave gauges which is disposed at any direction.

为了分析单向不规则波入射波的频率谱和反射系数，本文在Goda用于分析正向不规则波的两点法的基础上，提出了可用于斜向不规则波频谱分离及其反射系数计算的改进两点法，该方法可用于计算任意波浪入射角的入、反射波谱、总体反射系数和反射系数的频率谱，并且测量波浪过程的两浪高仪可在较广的方向范围内布置。

In the analysis of the frequent spectrum and the reflection coefficients, based on Goda's two-points method which fit to the normal incident wave, a modified two-points method is derived that can be used to calculate the frequent spectrum and reflection coefficient of the oblique waves from which the frequent spectra of incident waves and reflected waves incoming in arbitrary angular, the bulk reflection coefficient and the frequent spectrum of reflection coefficient could be computed, also from which in theory the waves could be measured in two wave gauges which is disposed at any direction.

为了分析单向不规则波入射波的频率谱和反射系数，本文在Goda用于分析正向不规则波的两点法的基础上，提出了可用于斜向不规则波频谱分离及其反射系数计算的改进两点法，该方法可用于计算任意波浪入射角的入、反射波谱、总体反射系数和反射系数的频率谱，并且测量波浪过程的两浪高仪可在较广的方向范围内布置。

Firstly, some basic concepts about ECC are introduced;then the scalar multiplication under affine coordinate is discussed, we make a research and analysis of the side channel attack of scalar multiplication used in portable device, give out a new scalar multiplication algorithm which has the advantage of efficiency over other protected algorithm; and an improvement of the standard scalar multiplication algorithm proposed by IEEE1363 is made with the efficiency increasing by about 10%; at last, we deal with the using of complex multiplication in scalar multiplication algorithm, we generalize the methods and deduce a complete computing procedure, with proposing a new method which used several different fast endomorphism ,we give out an approach to boost the scalar multiplication with fast endomorphism.

本文首先介绍了椭圆曲线密码的有关基本概念；其次介绍了椭圆曲线上点的标量乘法在仿射坐标下的计算，对一般便携设备上的椭圆曲线点的标量乘法的边信道攻击做了研究与分析，给出了一种在效率上优于其它可抵抗边信道攻击的标量乘法的新算法，并对IEEE P1363 标准给出的标量乘法做了改进，使得标量乘法的运算效率提高了近10%；最后介绍了利用复乘计算标量乘法的方法，对已有的方法进行总结归纳，得出完整的计算过程，并针对两类超奇异椭圆曲线给出了一种利用多个可快速计算的复乘的标量乘法，得出一类普遍的结果，并给出了进一步用复乘加快标量乘法的思路。

That field which is concerned with decidability and solvability of problems is referred to as computability theory or theory of computation, although some computer scientists advocate the inclusion of the current field of algorithms as part of the discipline.

我们把问题的可判定性和可解性的研究领域称为可计算性理论或者计算理论，虽然一些计算机科学家主张把现代算法领域包括到这门学科当中去。

The main contributions of this dissertation are In chapter 2, we propose a scientific visualization system modal which is based on large-format display technology and Client-Commware-Server structure. In chapter 3 and chapter 4, we accomplish two large-scale scientific visualization systems. In chapter 5 and chapter 6, we propose HFFT on hexagon and parallel dodecahedron domains, and reduce the computational complexity from O and O to O and O . Lastly, we propose a parallel HFFT on distributed memory computers.

本文的主要贡献如下：提出了使用大屏幕显示技术、适用于大规模科学计算可视化系统的Client-Commware-Server模型；实现了油藏数值模拟和分子模拟两个大规模科学计算的可视化系统；给出了二维三方向六边形区域、三维四方向十二面体区域上的HFFT算法，将变换的计算复杂度分别从直接计算的O和O量级降到了快速算法的O和O量级；最后，本文给出了一种基于分布式存储的并行HFFT算法，并对影响、提高并行算法的若干因素进行了分析。

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

Based on the Saint-venant equations describing the channel flow movement, the nonlinear algebraic equations derived by the use of Preissmann weighted implicit four-point scheme are solved with the Netwon-Raphson method. A combined Gauss main-element elimination method with compress-storage technique is proposed. The relaxation iterative method for solving branch river networks is extended, which can turn the problem of any complex river networks into the problem of a series of single rivers. The coupling of hydraulic model with water quality model is built up. The combined model was applied to a large complicated river networks with numerical hydraulic structure which influenced by strong tide, storm and heave rain. Visualization of computational results is realized by means of MapInfo, which displays the computational results in fast, convenient and accurate way.

水力模型以描述河道洪水波运动的Saint-Venant方程组为基础，用Newton-Raphson方法直接求解按Preissmann加权四点格式进行离散所得的非线性代数方程组，提出了压缩存贮形式的Gauss列主元消去法并对数值解的收敛性进行了讨论；将支流流量的松弛迭代方法从树状河系推广到了环状河网，使任意复杂河网水力计算的问题都可化为一系列的单一河道的水力计算问题；建立了水力模型与水质模型的联接，初步应用于既有洪水、暴雨、强潮等综合影响，又存在多种水工建筑物及水力调度问题的大型复杂河网中的非恒定流水力、水质计算问题；利用MapInfo对计算结果的可视化进行了研究，有利于决策者快速、方便、准确地作出决策。

For the ill conditioned load flow caused by the error produced in the transformation from electricity quantities to average power, direct current load flow and sensitivity vector are presented to find out the ill node, then by adjusting the load curve and generation curve in a certain principle, which is shown in detail with several flow charts, a new operation mode is reestablished to ensure the convergence of the calculation. Optimal multiplier method is proposed to work out the least square solution according to ill conditioned structural power network. The electricity quantities flow method enhances the reliability and accuracy of the calculation of the power transmission losses.

该方法可根据当前输电网中各个变电站24小时的电量记录，利用电量潮流计算对输电网总线损和各条线路损耗进行计算，使计算的精度满足降损措施分析和指标考核的要求；并且对于由负荷出力曲线转化成平均功率计算潮流时引入的误差，进而导致潮流计算不收敛的情况，采用直流潮流法，依据相角对有功功率的灵敏度向量判断出"网络异常点"，并且给出了解决此种情况的方法流程图；针对结构病态的电力系统潮流计算不收敛的情况，运用非线性约束优化方法中的最优乘子法求解潮流方程的最小二乘解，从而解决了电量潮流法计算理论线损时的收敛性问题，增强了该方法的适用性。

Strip limit minimum rollable gauge and minimum rollable gauge considering productivity are analyzed and derived using new rolling pressure model, work roll surface temperature rise formulae is derived on the basis of mill stand thermal balance. The affecting factors of work roll surface temperature and the influences on the choice of roll size are discussed.

本文从轧机结构设计、力能参数计算、强度设计计算等方面综合论述了辊系参数设计计算的基本理论，在理论上提出了采用考虑粘着摩擦的混合摩擦模型和考虑轧件的弹性变形计算冷轧薄板轧制压力的方法，推导并以冷轧机实测轧制压力验证了轧制压力新模型；应用新的轧制压力模型分析并推导了轧件极限最小可轧厚度和考虑生产率的最小可轧厚度公式；根据工作机座热量平衡原理推导了工作辊温升公式，分析了工作辊温度的影响因素，研究了工作辊温升对轧辊参数选择的影响。

Then, according to phase space reconstruct technique from one-dimensional and multi-dimensional time series, the quantitative criterion and rule of system chaos which combine neural network, analyses, computations and sort are conducted on EEG signals of five kinds of human consciousness activities. The author finds that statistic results of the determinism computation in time series indicate that chaos characteristic may lie in human consciousness activities, and central tendency measure is consistent with phase graph, so it may become one division way of attractor; approximate entropy of different subjects exists discrepancy; correlation dimension and Lyapunov exponent of different consciousness activities indicate that attractors of human activities are all fractional; nonlinear quantitative criterion and rule, which unites neural network, can distinguish different styles of consciousness activity in principle, and the result of sortation takes on that consciousness activity type of arithmetic is distinguished more easily than that of abstract.

采用一维与多维时间序列相空间重构技术和系统混沌的定量判据准则，结合神经网络，对五种思维作业方式的脑电信号进行了分析、计算与分类，发现确定性计算的统计结果表明人类的意识活动中可能蕴含混沌特性，中心趋向测量(Central Tendency Measure，CTM)与相图吻合较好，可作为EEG吸引子的区分方法之一；功率谱分析反映出单个受试者的各种意识形态的差异很小，但是不同意识活动谱中的活跃频段还是略有差异的；个体之间的近似熵存在差异，同种状态下近似熵大的人可能具有更好的创新性；关联维数和Lyapunov指数的计算结果表明大脑的运动落在具有分维的奇怪吸引子上；非线性量化方法与神经网络相结合，可对人脑思维活动进行较好的分类，并且从分类结果来看数理计算类思维活动较抽象类思维活动有着更好的区分度。

What are your goals and strategies for growth?

你的成长目标和策略是什么？

And unto the angel of the church in Sardis write; These things saith he that hath the seven irits of God, and the seven star I know thy works, that thou hast a name that thou livest, and art dead.

3：1 你要写信给撒狄教会的使者，说，那有神的七灵和七星的，说，我知道你的行为，按名你是活的，其实是死的。