查询词典 library program

W1 '3 \3 ~ C* E2 Y In 2005 the University of Guadalajara and the Municipality of Zapopan Jalisco, through the University of Guadalajara's Cultural Center Trust announced the International ideas and Conceptual Architectural Project for a Library Competition, a public library for 3,600 users and 2′000,000 volumes.

2005年，瓜达拉哈拉大学和市萨波潘哈利斯科，通过瓜达拉哈拉大学的文化中心信托宣布的国际建筑设计思想和概念图书馆项目的竞争，公共图书馆为3600用户和2'000 ， 000卷。

The program adopts method of modularization design, take full advantage of existing program of laboratory, design and categorize the new augmentative function reasonable, come into being a series of and new function module, guarantee expansibility of the program, increase maintainability of it.

整个软件采用模块化设计，充分利用了课题组现有的程序功能，对新增加的功能进行合理的分类和设计，形成了一系列新的功能模块，保证了软件的可扩展性，提高了软件的可维护性。

Biot's consolidation theory was used to serve as a frame working with the nonlinear elastic model or with elasto-plastic model in the program. Nonlinear elastic model includes Duncan-Zhang model, Gong Xiannan Ko consolidation model and the model proposed in chapter 2. Elasto-plastic model in the program includes Mohr-Coulomb model, Drucker-Prager model and the bounding surface model developed in chapter 3. The program can be used in cases of plane problem and axisymmtric problem.

FOR，针对软土地基的变形特点，该程序以Biot固结理论为框架，可以进行线弹性，非线性弹性和弹塑性的有限元计算，在非线性弹性模型中包括了Duncan—Chang模型、龚晓南Ko固结模型和本文建立的非线性模型，弹塑性模型中包拓了Mohr—Coulomb模型，Drucker—Prager模型以及本文中建立的边界面模型，该程序可以考虑平面问题也可以考虑轴对称问题。

As splitting program is a kind of brainwork with high strength, it is necessary to design a kind of program which can split program automatically.

若切片变量的值错误，则出错范围必在其切片内，这样可以缩小定位错误的范围，提高调试效率。

Oriental jubilation designed a variety of type programs 6 years, had had large TV song to meet " when red do not let ", star interview program " the chickling catchs eagle ", beneficial of put together art wisdom program " differ greatly today ", recreation takes off a beautiful column " super visit ", affection investigates a program " affection equation ",.

东方欢腾6年来制作了多种类型节目，已经拥有大型电视歌会《当红不让》、明星访谈节目《小鸡捉老鹰》、综艺益智节目《今天大不同》、娱乐脱口秀栏目《超级访问》、情感调查节目《情感方程式》、娱乐脱口秀节目《娱乐麻辣烫》、中国第一档演播室大型时尚节目《漂亮俏佳人》、时尚健康生活节目《爱生活》等。

The network monitor program includes inner core program and user analysis program.

进行网络监听的程序包括内核程序和用户分析程序两部分。

A kind of visual prediction and analysis framework of the execution time of real-time software based on program flowchart is proposed in the paper. The key issues of implementing the framework are discussed in detail, including creating the mapping between intermediate code segment and statement line of source code, retrieving the time of any given program segment from the perspective of CPU cycles of goal machine instruct, calculating CPU cycles of statement lines of source code, point-to-point WCETC (worst case execution time calculated) analysis algorithm based on program flowchart, and transforming CPU cycle into physical time.

提出了一种基于控制流程图的程序执行时间的可视化分析框架，研究了中间代码段与源程序中语句的对应关系的自动分析、源程序语句行的CPU周期数的提取和计算方法、基于控制流程图的点到点最大时间分析算法和CPU周期的绝对时间估计方法。

This paper described the concept of Aspect Oriented Programming and its advantages of solving crosscutting concerns, discussed its application in the field of program condition visualization and presented an example of program condition visualization in the program of Evaluation of Expression by using AOP technology.

论述了面向方面的编程概念及其在处理横切关注点方面的优势，研究了其在程序状态可视化方面的应用，并利用AOP技术实现了一个表达式求值时的程序状态可视化的实例。

When the program is not in use, the program interface will change to a small clock showing the current time and the program icon will automatic appear in the Windows taskbar.

当程序不使用的程序界面会变成一个小时钟显示当前时间和程序图标会自动显示在Windows任务栏。

If a program contains a violation of any diagnosable rule, a conforming implementation shall issue a least one diagnostic message, except that If a program contains a violation of a rule for which no diagnostic is required, this International Standard places no requirement on implementations with respect to that program.

如果程序违反了任何可诊断规则，符合标准的实现应该给出至少一条诊断消息，除非如果程序违反了无需诊断的规则，对于这个程序本国际标准将不要求实现实施任何规格。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。