查询词典 effectively computable function

Chapter one is "Introduction". On the basis of summarizing the history of the study of the pictophonetic characters, we suppose some theoretical principle, such as the principle of the correspondence between the form and the meaning of the individual graph of Chinese characters, the principle of the total graphs of Chinese characters being a character-formation system, and the principle of the optimum development of the character -formation system in the history, and som analytic methods, such as the methods of structrue-function analysis, form-position analysis and meaning factor analysis, in the study of the pictophonetic characters. Chapter two is titled"General knwledge of the pictophonetic character." We discuss their origins, nature and some standards of distingnishing them, introduce the knowledge about the editions of SHUO WEN JIE ZI, analyse the functions of the modules of pictophonetic characters in detail, discuss concretely the function of phonetic graphs showing origins and pronunciations, the function of meaning graphs showing meanings and analogies, and the function of distinguishment when the two kinds of graphs are conbined. Chapter three is"The system of meaning graphs of Xiao Zhuan system."After we describe the structure of the meaning graph system, the relations between meaning graphs, the distributions of the function of meaning graphs showing meanings, and the frequency of all this kind of graphs, we get a table of all meaning graphs, a table of the frequency. Chapter four is"The system of phonetic graphs of Xiao Zhuan system."We describe the structure of the phonetic graph system, the relations between phonetic graphs, and between their function showing origins and their function showing pronunciations, and their frequency, then we get ageneral table of phonetic graphs and table of their frequency. Chapter five is "conclusion". We think that systematical methodology is useful in describing and analysing the formation system of Chinese characters. The methodology is adaptable in describing the formation system of modern Chinese characters as well as the historical character systems, adaptable in describing horizontally as well as comparing vertically. Only when we finish the systematical vertical compare on the base of systematical horizontal decription, could we know the true history of the system of Chinese characters, recover the rule of the system's development, and supply the theoretical supports for the scientifical arrangement of modern Chinese characters.

第一部分—绪论，在总结形声字研究历史状况的基础上，提出了研究形声系统的理论原则和分析方法，即汉字个体字符形义统一的思想，汉字字符集合构形系统的思想，汉字构形系统历史演变系统优化的思想等三项理论原则和结构功能分析法，形位分析法，义素分析法等三种分析方法，还扼要地介绍了具体的工作程序和论文的主要内容；第二部分—形声字概述，论述了形声字的来源、性质和鉴别标准，介绍了对《说文解字》正篆形声字说解中的传抄讹误，版本异文，说解错误校勘和考证的经过，详细分析了形声字构件的功能，具体讨论了声符的示源功能与示音功能，义符的示意功能与类化功能以及声符与义符组合中的相互区别功能；第三部分—小篆字系的义符系统，从义符系统的构成、义符间的相互关系，义符示意功能的分布及义符的构字频度等不同侧面，对义符系统进行了全面的描写，产生了义符总表、义符间意义关系总表和义符构字频度总表；第四部分—小篆字系形声字的声符系统，从声符系统的构成、声符间的相互关系，声符的示源功能与示音功能的关系以及声符的构字频度等不同侧面，对声符系统进行了全面描写，产生了声符总表和声符构字频度总表；第五部分—结束语，在全面测查小篆字系形声字的基础上，对研究汉字的方法和现代汉字发展方向的问题提出了一些看法，认为系统论的方法是描写和分析汉字构形系统行之有效的方法，系统论方法，不仅适用于历史上文字系统的描写，也适用于现代汉字构形系统的描写，不仅适用了断代描写，也适用于历史比较，只有在对汉字断代系统描写的基础上进行系统的历史比较，才能认清汉字系统历史演变的真相，揭示汉字系统发展的客观规律，为科学地整理现代汉字提供理论上的依据。

On the basis of extending the concepts of the derived function, primitive function and integration of interval-valued function to complex interval-valued function and using the descomposition theorem of complex fuzzy set, the derived function, primitive function and integration of complex fuzzy set-valued function and some properties of them are proved.

2在国际上最先引入了复模糊集合与复模糊数的基本概念，证明了它们的基本代数运算的封闭性，并且其运算可通过α水平复集合的相应运算来进行

The total of these two sorts of functions is called S-functions The indicial function, sinusoidal function, cosinusoidal function, hyperbolic sinusoidal function, hyperbolic cosinusoidal function, trigonometric function of n-order and hyperbolic function of n-order etch are all belong to S-functions.

指数函数、正弦函数、余弦函数、双曲正弦、双曲余弦、n阶三角函数和n阶双曲函数等。都是S－函数的特殊形式。文中证明了关于S－函数及其各阶导数的性质的三个定理。

Knife-type valve: Features 1, ultra-structure length, saving materials, piping systems can greatly reduce the overall weight of 2, the effective space occupied by small, can effectively support the strength of pipelines can reduce the possibility of pipeline vibration 3, flashboard selected austenitic stainless steel, Corrosion performance greatly improved, which can effectively prevent the corrosion caused by gate leakage sealing diarrhea 4, on the use of flexible packing seal PTFE, sealing reliable, flexible and lightweight 5, the gate with Knife function, can effectively break the gates of all types of media objects

刀型闸阀：产品特点 1、超短结构长度，节省材料，可使管路系统整体重量大大减轻 2、占用有效空间小，能有效支持管道的强度，可减少管道振动的可能性 3、闸板选用奥氏体不锈钢，耐腐性能大大提高，可有效的防止由于闸板腐蚀引起的密封泻漏 4、上密封填料采用柔性 PTFE ，密封可靠、操作轻便灵活 5、闸板具有闸刀的功能，能有效的闸断介质中各类杂物

The calculus can be used to cleanly define what a computable function is.

Lambda演算可以用来清晰的定义什么是一个可计算的函数。

According to the parameters, 3D model is generated. The system can compute the space clearance by the volume computable function of the Pro/E.

利用Pro／Engineer Wildfire 1.0自带的开发工具Pro／TOOLKIT与开发语言VC++6.0进行编程，实现对设计参数的检索、修改和根据新的设计参数的值来重新生成新的模型。

Just as λ-calcu-lus allows you to construct and reason about every possible computable function, there were high hopes that π-calculus would play similar role for concurrency.

本文提出了一个方法，据此可以把自然数和函数描述为进程，从而证明了π演算有足够的能力描述所有的可计算函数，同时还说明了与λ演算相比，π演算有着更高的计算效率。

Nonlinear wave system; Exact solution; Approximate solution; Soliton; Riccati equation method; Turing machine; Computable function

非线性波系统；精确解；近似解；孤立波； Riccati方程方法；图灵机；可计算函数

The universal and not computable randomness test function defined by Kolmogorov is approximated using the Lagrangian coefficients of common support vector machine in the light of their physical meanings.

在一些高风险和重要的应用场合，如个人身份认证、医疗信号诊断以及金融分析决策等，置信判断显得更为重要和实用。

MVFK8vP7Ge+Uu0 Nonlinear wave system; Exact solution; Approximate solution; Soliton; Riccati equation method; Turing machine; Computable function

非线性波系统；精确解；近似解；孤立波； Riccati方程方法；图灵机；可计算函数

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。