演算

We study the properties of $BR_0$-algebra and the total complication triple I method on complete $BR_0$-algebra, and we apply the results to $R_0$-Unite interval $\overline{W}$. Not only we have simplified the proof of the results of $R_0$-type triple I method on $R_0$-Unite interval $\overline{W}$, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the $R_0$-type triple I method is a matching fuzzy inference with $B{\cal L}^*$ system.

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法，对一般蕴涵算子给出了三I算法解存在的一个充分条件，并将结果应用于$R_0$-单位区间$\overline{W}$，不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法。

This paper considers the pricing model of options under illiquidity. A new numerical procedure for solving the nonlinear parabolic partial differential equation is explored and the Thomas algorithm is used to improving the efficiency of the numerical scheme.

本篇论文提出一个在市场流动性不足情况发生时的选择权订价模型，并且发展一个新的数值方法来求解一个非线性抛物线型态的偏微分方程式，同时利用汤马斯演算法来提升数值运算的效率。

This course will introduce the basic theory of parallel computing, teach how to identify problems that are parallelizable, and demonstrate how to apply the principles of parallel computing to civil engineering problems. Students will have opportunities to obtain hands-on experience by developing their own parallel programs. The prerequisite of this course is computer programming. It is suitable for graduate students to choose as an elective.

在本课程中将介绍平行运算的原理（Concurrency and Synchronization），分辨可平行化和不可平行化的问题，探讨平行运算的演算法和可计算性，以及介绍将程式平行化的实用技术，并分析程式容错性和可靠度（Fault Tolerance and Reliability），以帮助学生将平行运算应用在土木工程和学术研究中，学生将有机会使用平行化程式语言开发应用程式，本课程先修课程为程式设计，建议研究所同学选修。

This paper presents a tabu search algorithm for constructing evolutionary trees based on maximum likelihood and parsimony criterion.

摘要 这篇论文当中提出一个以禁忌搜寻演算法来建构最大概率条件的演化树与吝啬法的演化树。

The assertion language can describe the most distinct characters of the Pointer Logic in a compact and pellucid way.

设计了指针逻辑的断言语言和相应的断言演算。

We will show our algorithms could obtain better performance and more efficient than pervious algorithms.

最后，我们所提出的两个方法，与过去所提出的演算法相比，能够得到更好的效能，且所需要的运算时间大幅减少。

In order to judge the grade of pimento, some parameters are extracted from two-dimensional image of pimento. These extracted parameters consist of length, width, perimeter, projected area, projected area to squared perimeter ratio, and width to length ratio. The extracted parameters and grade of pimento judged by experienced workers are used as input and desired patterns to estimate the connection weights of neural network. In this paper, a three-layer feed-forward neural network and back-propagation learning algorithm are suggested for the shape and size grading of pimento.

本文以青椒为对象，首先利用数位影像处理技术从人工分级后的各等级产品的影像中萃取出周长、投影面积、长度、宽度、投影面积对周长平方比与宽度对长度比等可作为判断青椒等级的分级准则，再利用多层前馈式类神经网路来模拟农产品的分级作业，并采用反向传递演算法学习各项分级准则与等级判断结果间的关系，以量化了解各项分级准则对等级判断结果的影响程度。

One kind of such information is the geometry about an object in the space. The algorithm to extract such a kind of information usually includes an important procedure called "camera calibration." The purpose of camera calibration is to construct the relationship between the image plane of the camera and the coordinates system of the object space. The relationship is usually represented by a "mathematical function."

此类应用之演算法则中一般包含一重要之程序称为"摄影机校准"，其目的是在建立影像平面与物体空间座标系统间之对应关系，此对应关系以"数学函数"表示，并在校准后得到一组参数，用以代表此摄影机在物体空间座标系统中之"特性"表现。

The discharge calculation coefficient k,x can be used to the discharge calculation under the condition of fixed numerical value,solves some special demands in water power planning and design and similar calculation of unsteady flow in the pondage water power station.

马斯京根法流量演进系数K，x，在数值不变的条件下应用于河段短时段的流量演算，解决了水利水电工程规划设计中的一些特殊要求和水电站日调节不稳定流演进的近似计算问题。

In order to match the predicate calculus,the relational database model was selected as the basic data model.

为与谓词演算相配合，关系数据库模型被选作基本数据模型。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。