演算

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。

After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.

通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

We present an adaptive deblocking filter algorithm to reduce blocking effect and reduce coding times than the JM10.2 by about 10%.

经由实验的结果显示，我们所提出的演算法可以提升重建的视讯品质与降低方块效应，在处理动态成分较多的影像时，比H.264/AVC JM10.2 所提供的去方块效应演算法减少约10%的编码时间。

This thesis proposed two methods of particle swarm optimization and genetic algorithm to optimal reactive power dispatch of transmission systems, respectively. The advantage of these methods is to achieve near optimal solution for discrete nonlinear optimization problem. So this thesis simulates the proposed method for IEEE 30-bus power system and a practical Taipower system.

本论文提出应用粒子群优法演算法和基因演算法，并使用电力潮流分析，调度输电系统中的无效功率，而粒子群优演算法和基因演算法，在求解非线性的离散解时，均能达到可能的最佳解，因此本文应用此两种方法对输电系统作最佳无效功率调度，并且使用IEEE 30-bus系统与实际台电系统作测试，比较此两种方法的调度结果。

We used the modeling tool: Evolver with underlining genetic algorithm to solve the problem and analyzed the modeling results.

本研究设定单期及多期两种生产期间，分别建构完全接单后生产、推迟生产、混合预测性生产与推迟等三种生产策略之数学规划模式，采用基因演算法求解，分别比较演算结果并进行分析。

The proposed HAGA method considerably improves the execution efficiency by accessing the fitness values of the searched solutions saved a priori in a hashing table during the optimization process.

本文所提出之杂凑基因演算法能够在最佳化搜寻过程中，将已搜寻过的解之适应值预先储存於杂凑表中以提供后续演化过程中资料之存取，因而大幅地改善基因演算法之执行效能。

In the combined approach, the HAGA determines the optimal displacement ratios and number of fictitious charges used in CSM, and then obtains the optimal contour design of support insulators to minimize and uniform the tangential electric field along the dielectric boundary.

在此复合式方法中，杂凑基因演算法先用来决定电荷模拟法中之假想电荷与配置比之最佳值；然后再用杂凑基因演算法来获得支持碍子之最佳化外型，以便能够将支持碍子介质边界上之切线电场强度分布均匀化且最小化。

On the background of mobile computing, distributed system, agent system and ontology, the author explores the mobile computing in limited environment at three levels, i.e., mobile computing formal model, mobile ontology and application model. Some targets of the research works include the dynamic ambients calculus, robust ambients calculus and mobile ontology. Some innovative contributions of the dissertation are enumerated as: 1、Proposing a mobile computing dynamic ambients calculus.

论文研究工作基于陕西省十五科技攻关课题&移动嵌入式电子商务平台及关键技术研究&，以移动计算、分布式系统、Agent系统、本体论等相关领域技术为背景，从移动计算形式模型、移动本体论、应用模型三个层次研究了面向受限设备的移动计算技术，内容主要涉及移动计算形式模型中的动态环境演算、抗干扰鲁棒环境演算以及面向移动领域的移动本体论等，研究工作取得了如下创新性成果： 1、提出了跨平台、跨网络的动态环境演算。

In contrast to conventional optimization algorithms whose iterates are computed and analyzed deterministically, randomized methods rely on stochastic processes and random number/vector generation as part of the algorithm and/or its analysis.

传统的最佳化演算法中迭代的计算和分析具有确定性，与之相比，随机方法依靠随机过程和乱数字/向量的生成作为演算法和演算法分析的一部分。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了