可计算的

Computability is one of the most interesting and fundamental concepts in mathematics, philosophy and computer science, and it would be more than natural to ask what logic it induces. This is where computability logic comes in.

可计算性在数学、哲学和计算机科学领域是最有趣和最基础的概念之一，人们很自然地会问，从可计算性得出的是什么逻辑，这就是报告人新近提出的可计算性逻辑。

The objective of the program is to provide students with the capability to apply mathematical models and methods to study various problems that arise in industry and business, with an emphasis on developing computable solutions that can be implemented.

该计划的目的是让学生有能力运用数学模型和方法，研究各种问题，出现的行业和业务，对发展中国家是可以实现可计算的解决方案的重视。

Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows:①reviewed entirely the origin and evolvement of the concept "sustainable development", stated and commented the study status in queue on"sustainable development"around national and international range, thorough discussed the science connotation about the concept "sustainable development";②looked back and commented across-the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings;③expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory;④thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the MATLAB software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the B-J method and Morte-Carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources;⑤synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming, mathematical statistics, random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality;⑥analyzed the inside condition and outside condition to assure the sustainable and optimum exploitation of groundwater resources, the inside conditions are the follows: correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows: the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water-saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology;⑦scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy;⑧point out the more directions on groundwater resources.

它将为制定水资源的可持续发展目标和战略决策提供科学依据，为制定社会、经济可持续发展战略提供理论基础。基于以上考虑，论文主要从以下几方面对地下水资源可持续开发问题进行了比较深入的探讨：①全面回顾了"可持续发展"概念的由来与演变，对国内外"可持续发展"的研究现状进行了述评，并对"可持续发展"概念的科学内涵进行了深入探讨；②对涉及地下水资源的一些最基本的概念和命题进行了全面的回顾和评述，对目前仍然存在的一些错误观点和混乱认识提出了自己的见解；③全面阐述了地下水资源变值系统理论的内容和意义，并与传统的地下水资源计算评价方法进行了对比分析，结合实例具体说明了方法的应用；④深入分析了地下水资源预测预报工作的极端重要性和复杂性，对传统的地下水资源动态预测方法进行了全面的评述，指出了各类预测预报方法的特点及适用条件，对最近二十多年刚发展起来的小波分析技术的主要思想和方法及其应用范围，以及号称第五代计算机语言的MATLAB软件和附带的小波分析工具箱进行了介绍，并应用于地下水动态过程线的分析，采用时间序列中的B-J法，蒙特卡罗方法，与地下水资源变值系统理论相结合，探讨了地下水动态资料分析和地下水资源预测预报的新思路；⑤综合分析了现今各类地下水管理模型的特点及缺陷，将数学规划、数理统计、随机过程等与地下水变值系统理论相结合进行地表水地下水或多水源的联合优化调度，使模型更准确、更实用；⑥对保证地下水资源可持续开发的内部条件和外部条件进行了分析，内部条件主要是正确的资源观，科学的资源计算与评价方法，可靠的资源预测预报技术，可操作的资源管理措施，外部条件主要是高层发展思路、管理体制的变革、配套的政策法规、经济杠杆的调节、人文素质的提高、节水意识的增强及具体节水措施、人口增长的控制、水体污染的防治、生态的恢复和重建等；⑦从宇宙科学、地球系统科学及哲学的高度审视地下水资源的可持续开发；⑧指出了地下水资源可持续开发的进一步研究方向。

The Winklhofer method is an exact method.But Winklhofer method cannot calculate centerdistance of a roller chain drive whose length of chain is an odd number of chain pitches.Involute function method is anapproximative method.

W ink lhofer方法是准确的计算方法，但只能用于链条总长是链节的偶数倍时的链传动，而渐开线法是近似法，不能精确地计算链传动中心距；而二分法是一种数值法，它可精确地计算链传动中心距，并且适用于链条总长是任意值的链传动，可计算出链传动中心距最大值和最小值。

Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

包括的领域包括： provability的逻辑，对生物学，心理学，物理学，化学，经济学和其他基础科学的computability 理论的应用； computability 理论和可计算的模型；逻辑学和空间时间几何学；混合法；逻辑和基于地区的空间的理论。

In Chapter 7, we prove the resolvent operator of compound KDV equation is computable via the operator method, contraction mapping principle and TTE theory.

第五章应用Backlund变换得到了变系数组合KdV-Burgers方程的N-类孤子解；第六章应用F展开法及其扩展形式得到了变系数组合KdV方程和(n+1)维Sine-Gordon方程的孤立波解；第七章运用算子方法、压缩映象原理和TTE理论，证明了组合KdV方程的解算子是可计算的；最后对全文进行了总结，并对未来的研究方向作了展望。

The broken sea line only cut off the physical connection with other part of the world. Such cut off is temporary and the damage can be measured.

断掉的海缆，只是断开了我们跟部分世界的物理连接，这种断开，在时间上是有限的，在损失上也是可计算的。

Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows:①reviewed entirely the origin and evolvement of the concept "sustainable development", stated and commented the study status in queue on"sustainable development"around national and international range, thorough discussed the science connotation about the concept "sustainable development";②looked back and commented across-the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings;③expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory;④thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the MATLAB software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the B-J method and Morte-Carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources;⑤synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming, mathematical statistics, random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality;⑥analyzed the inside condition and outside condition to assure the sustainable and optimum exploitation of groundwater resources, the inside conditions are the follows: correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows: the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water-saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology;⑦scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy;⑧point out the more directions on groundwater resources.

它将为制定水资源的可持续发展目标和战略决策提供科学依据，为制定社会、经济可持续发展战略提供理论基础。基于以上考虑，论文主要从以下几方面对地下水资源可持续开发问题进行了比较深入的探讨：①全面回顾了&可持续发展&概念的由来与演变，对国内外&可持续发展&的研究现状进行了述评，并对&可持续发展&概念的科学内涵进行了深入探讨；②对涉及地下水资源的一些最基本的概念和命题进行了全面的回顾和评述，对目前仍然存在的一些错误观点和混乱认识提出了自己的见解；③全面阐述了地下水资源变值系统理论的内容和意义，并与传统的地下水资源计算评价方法进行了对比分析，结合实例具体说明了方法的应用；④深入分析了地下水资源预测预报工作的极端重要性和复杂性，对传统的地下水资源动态预测方法进行了全面的评述，指出了各类预测预报方法的特点及适用条件，对最近二十多年刚发展起来的小波分析技术的主要思想和方法及其应用范围，以及号称第五代计算机语言的MATLAB软件和附带的小波分析工具箱进行了介绍，并应用于地下水动态过程线的分析，采用时间序列中的B-J法，蒙特卡罗方法，与地下水资源变值系统理论相结合，探讨了地下水动态资料分析和地下水资源预测预报的新思路；⑤综合分析了现今各类地下水管理模型的特点及缺陷，将数学规划、数理统计、随机过程等与地下水变值系统理论相结合进行地表水地下水或多水源的联合优化调度，使模型更准确、更实用；⑥对保证地下水资源可持续开发的内部条件和外部条件进行了分析，内部条件主要是正确的资源观，科学的资源计算与评价方法，可靠的资源预测预报技术，可操作的资源管理措施，外部条件主要是高层发展思路、管理体制的变革、配套的政策法规、经济杠杆的调节、人文素质的提高、节水意识的增强及具体节水措施、人口增长的控制、水体污染的防治、生态的恢复和重建等；⑦从宇宙科学、地球系统科学及哲学的高度审视地下水资源的可持续开发；⑧指出了地下水资源可持续开发的进一步研究方向。

Other methods can only give approximate values. The presented method can be used in any roller chain drive where the two sides of the chain are straight.

非线性方程法可用于参数是任何值的链传动，可计算出链轮在任何位置时的链传动中心距，且可计算链传动中心距的最大值和最小值，是精确计算链传动中心距的方法之一。

The complex cylinder was divided into several substructures, and the cylinder casing expansion was calculated by expansion reference temperature.

将结构复杂的汽缸分解成可计算的有限子结构，根据子结构的温度场求得汽缸的膨胀特征温度，进而求解其膨胀量。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。