查询词典 simplified

Finally,a simplified case of BOFL,i.e.Boolean Operator Propositional Logicestablished on a Boolean algebra,is further discussed.A complete algorithmfor finding the true level and false level of a formula in BOPL,which subsumes the re-lated work by Wang H.in the propositional logic,is also provided.

对布尔算子模糊逻辑的简化情形一布尔算子命题逻辑作了进一步讨论，放宽了对真值域的要求，将布尔算子命题逻辑建立在布尔代数上，并推广了命题逻辑中的王浩算法，给出了一个完备的求给定公式恒真水平和恒假水平的机械推导算法。

The formal deductive systenm for Fuzzy propositional calculus, R0-algebras and BR0-algebras have been studied. The concepts of WBR0-algebras are proposed, the relationship between it and BR0-algebras has been investigated, the definition of basis BR0-algebras is simplified. Based on discussing the relationship between regular FI-algebras and regular residual lattice, the relationship between FI-algebras and basis R0-algebras has been investigated.

研究了王国俊教授建立的模糊命题演算的形式演绎系统L和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L系统，提出了WBR0-代数的观点，讨论了它与BR0-代数的关系，简化了BR0-代数的定义，在讨论正则FI-代数与正则剩余格之间关系的基础上，讨论了BR0-代数与FI-代数的相互关系。

We study the properties of BR0-algebra and the total complication triple I method on complete BR0-algebra, and we apply the results to R0-Unite interval W. Not only we have simplified the proof of the results of R0-type triple I method on R0-Unite interval W, but also we make the proof to combine with the formal deductive system for fuzzy propositional calculus. This work also explains that the R0-type triple I method is a matching fuzzy inference with B?

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法，对—般蕴涵算子给出了三I算法解存在的—个充分条件，并将结果应用于R0-单位区间W，不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明，而且使其证明过程与相应的模糊命题演算系统结合起来，说明了R0-型三I算法是与B？

A kind of calculus method that is used to determine the truth-values of propositional logic formulae by means of the dynamic neural networks is proposed. It is not necessary that the formulae be simplified into normal form.

提出一种利用神经逻辑单元动态地构造神经网络的算法来对一些逻辑系统中的逻辑公式的真值进行计算。

In the aspect of software, a set of simplified TCP/IP protocol stack is designed for the purpose of network communication.

在软件上，为了满足网络通信的需要，编写了精简的TCP/IP协议栈。

The non-sensitive loss function is replaced by quadratic loss function and the inequality constraints are replaced by equality constraints. Consequently, quadratic programming problem is simplified as the problem of solving linear equation groups.

用二次损失函数取代支持向量机中的不敏感损失函数，将不等式约束条件变为等式约束，从而将二次规划问题转变为线性方程组的求解。

It has been shown that the calculation resultS Of the two methods,the simplified integral and quadratic interpolation methods used in 1 D modelling of CSAMT(Controlled Source Audio frequency Magnetotellurics )method differs from each other significantly.

研究发现，两种目前比较常用的可控源音频磁大地电流法的正演计算方法，即简化积分法和二次插值法之间计算结果差异较大。

Research refers to a simplified velocity measurement algorithm based on microprocessorsystem using photoelectric encoder and quadruplicate frequency circuit.

研究基于光电编码器和四倍频电路的单片机速度测量系统的简化算法。

The preparation process of modified quicklime are studied. The advantage of process is that milling cost reduces, the fine of phosphorus gypsum increases, construction is simplified, environment waste falls.

本文研究了改性生石灰的配制工艺，认为此工艺的优点在于不仅可以降低粉磨能耗，提高磷石膏的细度，激发其活性，而且还能简化施工工艺流程，降低环境污染。

A easy to use betting room and simplified racing form make for easy selections for up to four players in normal mode.

一种简易使用博彩室及简化赛车形式，让您轻松选择多达四名球员在正常模式。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。