查询词典 constructions

This is an graduate introduction to Programming Theory, Logic of Programming, and Computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself.

这是一篇介绍研究程序理论、程序和运算逻辑，关于电脑程序语言惯于用的明确性的运算结构，就像自学对象。

844 Is a graduate introduction to programming theory, logic of programming, and computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself.

6.844是一份研究介绍程序理论、程序逻辑和运算逻辑，程序语言计划可以明确性的表达运算结构，也成为了学生学习程序语言计划的目标。

In this paper, based on the perspective of multinational companies including intellectual property protection, technological innovation and the international transfer of technology (FDI, export trade and Technology concessionaire), constructions model for the analysis of the developing countries to strengthen IPRs for technological innovation and transfer of technology.

本文结合中国的实际情况，基于技术进步研究了知识产权保护对经济增长的影响，从跨国公司的视角构建了一个包含知识产权保护、技术创新和国际技术转移(FDI、出口贸易和技术特许三种策略)的模型，分析了发展中国家加强知识产权保护对于技术创新和技术转移的影响，论证了知识产权保护为自主创新良性循环提供了有力的保障，从而保障了技术的持续进步和经济的持续增长。

Under the guidance of city planning, the spatial contexture of the streets should continue the historical unity and coherence in writing and show the traditional structure and also solute contradiction appropriately between the modernizational constructions and inheriting traditions.

在城市规划的指导下，城市街道的空间布局应延续其历史文脉，突出其传统格局，彰显其空间气韵，妥善解决现代化建设和继承传统的矛盾，环境创造中应充分体现西安的地域性、文化性和时代性的特征。

Firstly, we give out the definitions of L-graph and partial L-subgraph, and we ob-tain some properties of partial L-subgraphs. Secondly, continuous mapping is intro-duced respectively between L-graphs and between L-cotowers, and the relationshipbetween the category L-FG of L-graphs and the category FG_L~C of L-cotowers isstudied. At last, we study the finite topological property of the category L-FG, andgive out the concrete constructions of finite product and finite coproduct.

本章首先给出了L-图和部分L-子图的概念，得到了部分L-子图的若干性质；其次，给出了L-余塔的概念，在L-图之间和L-余塔之间分别引入连续映射，研究了L-图范畴L-FG和L-余塔范畴FG_L~G之间的联系；最后，研究了L-图范畴L-FG的有限拓扑性质，给出了L-图范畴L-FG的有限积和有限余积的具体构造。

As a result, we will take a reference on the supervisions and information disclosure overseas, and cumulate experiences in the process of market constructions.

不过在发展过程中，我们将在监管和信息披露方面积极借鉴国外现有的经验，不断摸索。

Fourth, the leadership of Chengdu Metro Company is constituted of 6 persons, and 3 of them have doctor's degree and 2 of them have in master's degree. But modesty and curiousness are their target and pursuance. With a study and modest attitude, Leadership actively absorbed the domestic and overseas constructions′ experience, which lays a strong foundation for Chengdu metro to get good integrated benefits.

第四，成都地铁有限责任公司领导班子共由6人组成，其中3人具有博士学位、2人具有硕士学位，但虚心好学是他们的宗旨和追求，对于国内外同行中的建设经验，公司领导层都是以一种学习、谦虚的态度来积极消化吸收，这为成都地铁能够达到比较好的综合效益奠定了坚实的基础。

In the last part,with the analysis of correlative examples and law constructions in our country,some suggestions are made for the legislation of our country on the jurisdiction in Cyber Space.

在文章的最后，作者结合我国网络管辖权的司法实践及有关司法解释，提出了对我国网络管辖权立法的建议。

Another part of our work begins with definition of multioutput generalized bent functions. We show their spectral characteristics and give equivalence definition using generalized first order Chrestenson cyclic spectrum. Also we calculate rate of accordance between multioutput generalized bent functions and multioutput m-valued affine functions. Then we define multioutput m-valued perfect nonlinear functions and show relationship between them and multioutput generalized bent functions. Finally we give two ways of constructions of multioutput generalized bent functions.

第三章中首先给出了剩余类环上的多输出广义Bent函数的定义，得到了多输出广义Bent函数的广义一阶Chrestenson谱特征，然后计算了多输出广义Bent函数与多输出m值仿射函数的符合率；接着定义了多输出m值完全非线性函数，讨论了多输出m值完全非线性函数与多输出广义Bent函数之间的关系；最后给出了两种构造多输出广义Bent函数的方法。

This research conducted two experiments on English-speaking learners of Chinese to explore the acquisition of the Chinese double object dative constructions and the function of the bootstrapping procedure in SLA.

本文以UG通达理论以及母语习得的自推理论为指导，通过两个实验，分别考察了母语为英语的汉语学习者对两类汉语双宾与格的习得情况以及学习者在第二语言习得中进行自推的能力。

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万英镑骗了个精光。