program的例句大全

The program offers a three-unit, ABA-accredited course entitled "International Business Transactions with Chinese Characteristics".

中美欧法律暑期学院提供经美国律师协会认可的，以“国际商事交易法律与实践”为专题的课程。

互联网摘选

Linear program method is the classical method for solving finite zero game problem.

解有限零和博弈问题的经典方法是线性规划方法.

互联网摘选

The primary construction and its implementation of multidimensional asynchronous pattern classifier were presented. On line optimization of classification threshold can be finished by a learning program based on Bayes minimum error law or Bayes minimum risk law.

介绍了异步多维模式分类器的基本结构和实现方法，根据Bayes最小错误分类原则或Bayes最小风险分类原则，可通过学习程序实现分类阈值的在线寻优。

互联网摘选

BlackBox Technology: These technologies are developed through our unique BlackBox Racing program.

黑盒技术：这些技术是通过我们独特的黑箱赛车项目开发。

互联网摘选

Realizing Tracking of The Program's Process by Use of ListBox Control

VB.NET中ListBox控件实现流程跟踪

互联网摘选

Food Borne Pathogen Modeling Program and Its Application in the Food Safety Field

食源性病原菌预报模型库及其在食品安全领域的应用

互联网摘选

Moreover, the proof of semantic equivalence of the program is often difficult to understand and to read.

此外，程序的语义等价性证明也往往是难以理解和阅读的。

互联网摘选

On Program Semantics of Dynamic Data Structures

论动态数据结构的程序语义

互联网摘选

So, this paper addresses how to define program semantics on dynamic data structures.

本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。

互联网摘选

We then present the partial strongest post-condition, which represents the over-approximated program semantics.

基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。

互联网摘选

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。

互联网摘选

Programs have appeared as O_expressions ( expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.

程序以操作表达式的形式呈现，而其语义则以公理的形式给出。

互联网摘选

Prior to his current role, Walid was a Research Staff Member at the IBM Zurich Research Lab in Switzerland where he established and led a new research program focused on database security and privacy.

在此之前，他是位于瑞士的IBM苏黎世研究实验室的一名研究人员，他在那里建立并领导了一个新的研究项目，主要研究数据库安全性和隐私性。

互联网摘选

The Research and Implementation of Database Backup Program Based on Oracle

基于Oracle生产数据库备份方案研究部署

互联网摘选

The Action of Application Program Process Tracker Track Activity in Solution Explorer

过程跟踪器在信息管理系统中的应用跟踪解决方案资源管理器中的活动

互联网摘选

The U.S. Department of the Interior announced on Tuesday that it suspended all activities related to the controversial oil and gas leasing program in the Arctic National Wildlife Refuge amid environmental concerns.

美国内政部周二宣布，由于环境问题，其已暂停所有在北极国家野生动物保护区进行的与存在争议的石油和天然气租约计划有关的活动。该部门将启动一项环境分析，审查租约计划的潜在影响。

互联网摘选

Density functional ( B3LYP/ SDD) method with Relativistic Effective Core Potential ( RECP) is used to optimize the molecular structures of PdO_2 and YO_2 in Gaussian 98 program.

在相对论有效原子实势（RECP）近似下，用密度泛函（B3LYP/SDD）方法计算得到了PdO2和YO2分子的结构参数和光谱性质。

互联网摘选

Anaheim Union High School District in California ran a six-week pilot program in 2011 to stop truancy among seventh and eighth graders.

为了解决七年级和八年级学生的逃课问题，加利福尼亚州的阿纳海姆联合高中学区在2011年推出一项为期六周的GPS跟踪计划。

互联网摘选

Once you pass, don't boast about the CFA program. That's one of the most stupidest things to do.

即使通过了，也不要吹嘘；因为参加CFA考试是脑残行为之一。

互联网摘选

The program gronks every time I start to run.

我每次一开机,程序就会出毛病.

互联网摘选