查询词典 modularized program

Using abstract programming language, such as Apia, the specification and derivation of the algorithmic program in six typical trees, graph problem is described. The standard proof and formal derivation is implemented by two above new strategies for developing loop invariants. The algorithm in Apia is transformed into corresponding program in Delphi and C++ by the automated algorithmic transformation system that Partition-and-Recur method provided and correct result is received. These improve reliability and developing efficiency of the kind of complex algorithm.

利用抽象程序设计语言Apla精确描述了6个典型树、图等问题的程序规约和求解算法程序，用上述提出的两种新策略开发了循环不变式，实现了严格的形式化推导或证明，并用PAR方法提供的算法程序自动转换系统将得到的Apla算法程序转换成对应的Delphi和C~程序，均得到了正确的运行结果，大幅度地提高了这类复杂算法程序的可靠性和开发效率。

Homas himself therapeutic feeding programs for their confidence, she thought that their diet program can completely replace the take medicine program, is currently the Technical University of Bloemfontein, South Africa, the food is of such conduct in-depth study with a view to give a scientific explanation .

细胞释放淋巴因子，具备细胞毒性，与靶细胞特异性结合，破坏靶细胞膜，直接杀伤靶细胞，不产生抗体，使免疫效应扩大和增强。

Fortunately, then China Central Academy of Fine Arts started a training program in the charge of Bencas with France Art Academy with respect of classic painting materials and skills. Guo enjoyed the full technical process of the European classic oil painting for the first time in his life from this training program and began to realize his previous errors and understood that what was popular in the Chinese painting at that time as just the original feature of the "Alla Prima" from the Soviet Union.

而尤其幸运的是，当时中央美术学院正在开办由来自法国美术学院的古典油画材料与技法专家宾卡斯主持的训练班，这个班的课，使郭润文第一次亲眼目睹和实践了欧洲古典油画的整个技术过程，开始明白从前所学到的谬误，明白了弥漫在中国油画界的原来只是一种来自前苏联的被称之为&一次性画法&的本来面目。

Hiroko is a graduate of Tisch School of the Arts' Film Program at New York University and of the MFA Program in Multi Media Design and Technology at Parsons School of Design, N.Y., where she focused on physical computing. She is the artistic director of post theater production "Heavenly Bento" which was shown at Biennale Bonn (2004) and invited to the Singapore Arts Festival (2005). She showed her second solo exhibition "Delicious Moves", a visual and culinary experience of legendary bento boxes, at Zagreus Projekt in Berlin (2004) and Museum for Design in Zurich.

纽约大学电影电视学士，随后在帕森设计学院多媒体设计所拿到硕士学位，主修互动介面技术，她是后剧场制作《天堂便当》的艺术总监，这出表演已经受邀於波昂双年展和新加坡艺术节呈现，另外她的个人展览《美味行动》以视觉和烹饪经验来展现高级便当盒，在德国的 Zagreus计画和苏黎世的设计博物馆中参展。

Report : Programming Environment : Newton MATLAB7 K polynomial interpolation procedures to achieve Romberg of Quadrature program Gaussian out PCA Elimination of the program.

详细说明：计算方法实验报告：编程环境：MATLAB7.0 牛顿K次插值多项式的程序实现龙贝格求积公式的程序实现高斯列主元消去法的程序实现。

It is embodied in the three research programs of modern physics:(1) According to the program of geometrization of physics, the essence of the Curved Space in gravitational field needs to be explicated by Riemannian geometry, differential geometry, tensor analysis;(2)According to the program of quantum field theory, the generation and annihilation operator can represen...

它分别体现在现代物理学的三大研究纲领中：(1)根据物理学的几何化纲领，引力场弯曲空间的奥秘需要通过黎曼几何、微分几何与张量分析来解读；(2)根据量子场论纲领，场理论的&产生和湮灭&算符，能方便而精确地表征和重构相关的微观作用机制；&场的本体论&和&生成辩证法&同时得到体现。

We call it the 'Pribilof Islands Program,' but it's just me handling the management end and Rolf and his bunch from the lab doing the research, says Dave Cormany, who administers the program from Anchorage with long visits to St. Paul.

我们称它' Pribilof 海岛节目，'仅它是正义的我处理管理末端并且Rolf 和他的束从实验室做研究， Cormany 说戴维，执行节目从安克雷奇以长的参观对圣保罗。

Humber's program provides the advanced concepts, skills and knowledge that those currently working in the field, or who are graduates of an information technology or computer studies program, need to increase their employment opportunities in the field of enterprise software development .

亨伯的程序提供了先进的理念，技能和知识，这些目前在外地工作，或谁的毕业生的信息技术或计算机研究项目，需要增加其就业机会领域的企业软件开发。

The two-year program is similar to the Master of Laws program offered to Chinese students and contains one year school curriculum and one year dissertation writing. All of the LL.M.

该两学年制的项目类似于向中国学生提供的法学硕士项目，它包含一个学期的课程教学以及另一个学期的论文写作。

Workshop is ventilated the optimal program that drop in temperature: Below torrid weather, because heat is conducted, heat radiation, did not adopt drop in temperature the indoor temperature of measure wants 10C -20C of prep above outside, manufacturing activity cannot on the rails.

车间透风降冷的最好方法：在酷热气侯下，因为热传达、热辐射、未实行降冷行动的房内温度要高于外面10C-20C，制造项目沒法正常施行。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。