逻辑

The physicialism of logical positivism was essentially epistemic and logical, claiming that all predicates can be reduced to physical predicates.

逻辑实证主义的物理主义实质上是认识和逻辑上的。它声称所有的谓项都可以还原为物理谓项。

Support of decimal, binary and hexadecimal numberformat, logical and bit-wise operators, shift operators, trigonometric functions, string and list manipulating, syntax coloring, result history and complete online help.

支持十进制，二进制，十六进制数字格式，逻辑和位逻辑运算符，切换操作符，三角函数，字符串和列表操作，语法彩色显示，运算结果历史记录和完善的在线帮助。

It holds that graphic simplification method is still practically applicable for simplifying high variable logical function.

本文观点与此不同，认为图形法对于高变量逻辑函数的化简仍然具有实用价值，同时提出了用图形法化简高变量逻辑函数的具体方法。

Besides, this paper puts forward three concrete methods for simplifying high variable logical function using graphic method.

提出并证明了一个定理，该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义。

The logical function which has a variable quantity greater than 6 can be refered to as high variable logical function.

变量个数大于 6的逻辑函数可以称为高变量逻辑函数。

In this algorithm, the solving space of logical variables is reduced by logical constraints, and the computational complexity is not raised exponentially when the logical variable number is raised. The scale of the NLP sub-problems is also reduced. The global optimal solution will be obtained, and the local optimal problem of nonlinear system is avoided.

算法的特点为：利用逻辑变量的物理意义来缩小求解空间，避免了计算量随逻辑变量数目呈指数型上升的问题；NLP子问题的规模大大缩小，加快了求解速度；可以得到严格的全局最优解，避免了非线性模型可能带来的局部极值问题。

In order to assist Boost converter design, the working process of the converter at discontinuous current mode was analyzed and a nonlinear mathematical model was estabilished as well. Case study on Matlab/ Simulink was performed with binary logical variable used, the simulation result was consistent with the theoretical analysis which proveed the validitd and feasibility of the proposed model. The model could be used to assist Boost circuit design effectively and supplie a basis for parameter optimization.

为了辅助升压变换器在应用中的设计，分析了电流断续状态下Boost变换器的工作过程，建立了这种状态下的Boost变换器非线性数学模型，在结合二进制逻辑变量，建立了Simulink模块下的变换器仿真模型，研究表明仿真结果与理论分析结果一致，证实了模型的准确性和可行性，这种逻辑与模拟结合的简明通用的模型可以高效辅助Boost电路设计并为参数优选打下了基础。

This thesis makes an exposition of the mathematics logicism thought of Russell ,the great mathematician and logician in phytogeny of logic.

本文对伟大的数学家和逻辑学家伯特兰·罗素的数学逻辑主义思想进行了研究和探讨。

He worked as a scientist.However he claimed that his research into various sciences is for the purpose of logic,and he would like to describe himself as a logician.

他以科学家作为职业，却常常又声称科学研究是为了逻辑目的，喜欢把自己塑造为逻辑学家。

But it is not a whole failure. Russell' contribution lies in his study of mathematics logicism promoting the development of mathematics logic.

但这种失败只是部分失败，其成功之处在于，罗素的数学逻辑主义研究对数理逻辑的发展作出了重要的贡献。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。