基础

Proposition logic takes the proposition as the fundamental research object mathematization logical system,propo- sition logic is the mathematical logic foundation,also is the theoretical basic of computer science and the technical.

命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统，命题逻辑是数理逻辑的基础，也是计算机科学与技术的理论基础。

Mathieu function is the base of field theory analysis in elliptical cylinder coordinate system. So, firstly, detail investigation has been given about the problem of numerical analysis of Matheiu functions, based on the predecessor's contribution, an improved faster algorithm of numerical analysis and confirmation algorithm of Matheiu functions has been presented.

Mathieu函数是椭圆柱坐标系统下场论分析的基础，因此本文首先对Mathieu函数的数值计算问题进行了详细研究，并在前人基础上完善并进一步改进了目前被认为较为可行的数值算法，并提出了验证算法。

CPL language based on ALGOL 60 close to the hardware, but relatively large scale, it is difficult to achieve. University of Cambridge in 1967 of the Matin Richards made to simplify the language of CPL, the introduction of the BCPL (Basic Combined Programming Language) language. In 1970 the United States Ken Thompson of Bell Labs to the basis of language BCPL, but also further simplified the design of a very simple hardware and is very close to the B language and language with B first UNIX operating system, the PDP-7 to achieve.

CPL语言在ALGOL 60的基础上接近了硬件一些，但规模比较大，难以实现。1967年英国剑桥大学的Matin Richards对 CPL语言作了简化，推出了BCPL（Basic Combined Programming Language）语言。1970年美国贝尔实验室的 Ken Thompson以 BCPL语言为基础，又作了进一步简化，设计出了很简单的而且很接近硬件的 B语言（取 BCPL的第一个字母），并用 B语言写第一个UNIX操作系统，在PDP-7上实现。

A modified design based on the Mauser was considered, but the Model 1922 based on the Gew 98 and using the tangent rear sight of 1916 was put into serial production in 7.92x57mm.

一种改进设计的基础上被认为毛瑟，但1922年的模型基础上Gew 98和使用切表尺1916年正式在7.92x57mm投入批量生产。

To solve the problem of automatic word extraction which is the basis of Chinese information processing, this paper presents two new methods——reverse maximum matching and frequency statistics and bidirectional maximum matching and frequency statistics.

针对作为中文信息处理基础的抽词问题，本文在作者提出的正向串频最大匹配法的基础上，提出了逆向串频最大匹配法及双向串频最大匹配法。

The former three chapters are about theoretical research, and the forth chapter is about empirical research. The theoretical research part generalizes the theoretical basis, theoretical model and the concept of city competitiveness both at home and abroad. According to these theories, the paper introduces the complete and explicit definition of city competitiveness and brings in a new city competitiveness model .The paper emphasizes on empirical research using the data in 2004 as sample, whose objects are ten big cities:Guangzhou, Shenzhen, Tianjin, Shenyang, Dalian, Nanjing, Hangzhou, Wuhan, Chongqing and Chengdu. Firstly, on the basis of mean square deviation method, it finds out both the scores of integrated competitiveness of cities and other factors, based on that analyze the relationship between them. And then the paper computes the scores of competitiveness of cities above by principal component analysis and sorts out them for assessment.

理论研究部分主要是概括的叙述了城市竞争力研究的理论基础和理论模型及国内外城市竞争力的概念，在此基础之上对城市竞争力给出了完整明确的定义，并提出了新的城市竞争力模型；全文的重点在实证分析部分，实证分析是以广州、深圳、天津、沈阳、大连、南京、杭州、武汉、重庆、成都10个城市为研究对象，以其2004年的数据为样本，首先用均方差的方法计算各城市综合竞争力与各要素竞争力的得分，以此来分析综合竞争力与各要素竞争力之间的关系，然后采用因子分析的方法计算2004年各城市综合竞争力的得分并给出排序进行评价。

So, establishing the evaluation and framework of Regional indigenous innovation capability and analyzing the relationship between the formal measurement and other regional development quality is becoming an important and practical task. A conceptual model of regional indigenous innovation capability is set up based on the all kinds of capability development theory from macro perspective and focusing on reform and open policy in China. Through the concrete evaluation of regional indigenous innovation capability, we propose the research hypothesis of relationship between regional economic development quality and regional indigenous innovation capability. In reference of new development theory, the measurable analysis model is set up to further multi-level demonstration and draws corresponding conclusion and policy.

本文在总结目前各种宏观层次上能力发展理论包括国家技术能力、国家创新能力、社会能力、国家吸收能力等的基础上，针对我国改革开放以来的发展实际，建立了我国各地区自主创新能力评价的概念模型，对各地区自主创新能力进行了具体评价，提出了其与地区经济增长质量关系的研究假设；在此基础上，参考新经济增长理论有关成果，建立了分析地区自主创新能力和经济增长质量关系的计量模型，并进行了多层次逐步推进以及考虑主解释变量内生性问题的实证研究，得到了相应的结论和政策启示。

Hold good basis on mechanical designing and drawing. Have basic knowledge of manufacturing and checking of mechanical components.

在机械设计和制图方面具备良好的基础，掌握机械零件制造和检验方面的基础知识。

Contents include: Newtonian mechanics and relativity based, thermal and mechanical vibration, and wave, electromagnetic wave optics and quantum physics foundation etc.

内容包括：牛顿力学及狭义相对论力学基础、热学、电磁学、振动与波动、波动光学和量子物理学基础等。

Meanwhiles with inheriting and profoundly understanding the tradition, the researches on the melioration of fasions are carried.

形成在民族化基础上，突出时代特性的创造革新观念，同时保留传统，研究时尚在深入理解传统的基础上进行改良。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。