查询词典 mathematical

Based on mathematical mechanization method and computer symbolic processing technique this paper carried out a solution by symbolic method for position analysis of robot with octahedral and decahedral variable greometry truss.

基于数学机械化方法和计算机符号处理技术，对八面体及十面体变几何桁架机器人的位置分析进行了符号法求解，成功地将非线性位置约束方程组化简为等价的三角化方程组，分别导出了单变量的16次和48次代数方程，并给出一个数字实例说明这种方法。

UNIFAC method was applied to the mathematical simulation of methanol distillation to calculate the equilibrium data of five component systems which include methanol, water, decane, isobutanol and ethanol.

将UNIFAC法应用于甲醇精馏过程数学模拟，计算甲醇-水-癸烷-异丁醇-乙醇五组分体系的汽液平衡数据，从理论上成功地解释了在甲醇精馏过程中加水萃取精馏的原理。

According to the kinetics of decarburization reactionand the theory of mass conservation,the mathematical model of RH decarburizationprocess has been established.

根据脱碳反应动力学和质量守恒原理建立了RH-MFB 脱碳数学模型。

New mathematical theory and Windows operation system character are adopted in the rock NMR decay curve's relaxation spectroscopy analysis software system. It is more useful in rock NMR analysis than the analysis software supplied with RiNMR system when rock samples are often measured in laboratory.

原MARAN-2随机的谱分析软件由于没提供源代码，许多参数的设置带有相当的经验性，而使用自己研究编制的软件对处理参数设置则有确切的理解，且增加了地质参数拟合软件包，更贴近于实验室面向岩样分析的特点和油田实际用户的要求。

This paper analyses the "hardware system"and"software system"of ancient Chinese mathematicalmechanization from the standpoint of Modern computer technique,putting stress on analysing that counting rod is thematerial base of ancient Chinese mathematical mechanization.S-uperior computting tool and decimal number system supply themathematical mechanization with particularly favourable n

论文关键词算筹/筹算/算法/数学机械化counting rod/rod—arithmetic/algorithm/mathematicalmechanization，论文来源大自然探索5，论文单位重庆，点击次数 27，论文页数 117～121页1998年1998月论文网 http：//www.lw23.com/paper_104518381/本文从现代计算机技术的角度来分析中国传统数学机械化的"硬件系统"和"软件系统"。

The proposed software combined the mathematical model and a geographic information system to largely improve the function of the decision support system.

软件把数学模型和地理信息技术相结合，大大增强了决策支持系统的功能。

His approach is to create what he calls a "multidimensional mathematical decision space of possible behaviour actions".

他的方法是建立一个他称为的"可能行为行动上的多维数学决断空间"。

In order to construct the spectral decomposition of the Frobenius-Perron operator for a general Chebyshev maps We define a suitable dual pairs or rigged Hilbert space, which provides mathematical meaning for the spectral decomposition.

为了构建广义Chebyshev映射在Frobenius-Perron算子下的一种谱分解。

Frege's thought of philosophy of logic is the theoretical support ofhis thought system.A new logical system created by Frege is the support of his thoughtof philosophy of logic.As a tool of proof and a deductive method,it is used not only tosolve the mathematical problems but also used as a tool to remould philosophy.

弗雷格的逻辑哲学思想是他的思想体系的理论支撑，他创造的一种新的逻辑体系是其逻辑哲学思想的支撑，作为论证工具、推论方法，不仅去解决数学问题，又把它作为改造哲学的有力工具。

Unifying themes in mathematical logic include the expressive power of formal logics and the deductive power of formal proof systems.

数理逻辑和电脑科学有许多重合之处，这是因为许多电脑科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵，邱奇等。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。