进程的例句大全

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。

互联网摘选

The structural semantics of architecture models are described within typed category diagrams, and the behavioral semantics are represented by process traces affiliated to the categorical framework, and the mapping relations between component models are formally described by morphisms and functors of category theory.

模型的结构语义由类型范畴图表来指代，行为语义则由范畴附带的进程行为迹来表示，模型间的映射关系用范畴理论中的态射和函子来形式化描述。

互联网摘选

Delay of game is an action in a sports game in which a player or team deliberately stalls the game, usually with the intention of using the delay to its advantage.

拖延比赛是指在比赛中，运动员或球队故意延缓比赛进程，通常是的优势。

互联网摘选

And a cryptic start site of transcription was found, which was located upstream of the internal promoter TATA box and used in the natural infection.

并发现在BFV3026的内部启动子近上游存在神秘转录起始点，该起始点在泡沫病毒的自然感染进程中发挥作用。

互联网摘选

Export data from the current database into a text file. This process will overwrite data if exported to an existing file.

将数据从当前数据库导出到文本文件。如果导出到已经存在的文件，该进程将覆盖已有的数据。

互联网摘选

In the course of the human society development, architecture and culture is closely linked.

指出在人类社会的发展进程中，建筑与文化是密不可分的。

互联网摘选

In this historical process, the old industrial workers experience a great transformation.

处于这场历史变迁的进程中, 传统产业工人也经历了一次巨大的转型.

互联网摘选

Research on the Team Leadership's Abilities of Higher Education in the Process of Socialization Logistics

高校后勤社会化进程中团队管理者领导能力的实证研究

互联网摘选

Objective To clarify the dynamic changes in different courses of diabetic cystopathy in rats.

目的阐明糖尿病膀胱发展的不同进程中膀胱舒张功能的尿动力学改变。

互联网摘选

In common with any other Latin American country, Brazil takes a prudent attitude towards its telecom market liberalization: taking a late and slow step forward while full of care and worries.

巴西对电信市场开放同拉美其它国家一样持谨慎态度。电信改革不仅起步晚、进程慢，而且顾虑重重。

互联网摘选

Stime shows when the command started, and time shows how much CPU time the process has consumed.

stime显示命令的开始时间，time则显示该进程占用了多少CPU时间。

互联网摘选

As you can see, either brk() or mmap() can be used to add additional virtual memory to our processes.

如您所见，brk（）或者mmap（）都可以用来向我们的进程添加额外的虚拟内存。

互联网摘选

Nanjing University in the Process of Higher Educational Modernization

高等教育现代化进程中的南京大学

互联网摘选

On Southeast University s nationalization and its trouble ( 1919-1927);

论东南大学的国立化进程及其困境（1919-1927）

互联网摘选

Influence of University Town to Urbanization Taking Chongqing University Town as an Example

大学城建设对城市化进程的影响&以重庆大学城为例

互联网摘选

The development of domestic food industry advances the modern process of food cold chain.

中国食品工业的发展推动了食品冷链的现代化进程.

互联网摘选

Analysis and Applications of Processes under Windows 95

Windows95下进程的分析及应用

互联网摘选

These relations show mainly at the begining and turning time, still show at superior distribution direction and shifting gradually process of abnormal point.

这种关系主要表现在异常的起始时间与转折时间上，同时还表现在异常点的优势分布方向及其逐渐转移的进程上。

互联网摘选

Cyclin D1 is one of the important proteins in regulating cell cycle progression.

细胞周期蛋白D1是细胞周期进程调节蛋白，其在癌症组织中表达明显的增加。

互联网摘选

League of Legends enables players to observe games in progress in Spectator Mode.

英雄联盟让玩家能够观察游戏任何进程的模式。

互联网摘选