查询词典 partially computable function

In Section 3, we study the relation between subsets and filters of partially ordered set 〓. We also obtain some basic results on dependence.

第3节研究了偏序集的子集和滤子之间的关系，我们得到了一些基本的结论，这些都是为后面的主要结论做准备。

Task scheduling aims at scheduling a set of partially ordered computational tasks onto a multiprocessor system by a given strategy in order to obtain a better system performance.

任务调度问题是指根据一定的调度策略，把一组并行处理的任务按规定的时序分配到系统的多个处理机节点上，以期获得较好的系统执行性能。

The directed graph or transitive graph is constructed by transitivity of partially ordered set.

研究铁路车站作业计划编制过程中，如何编制调机运用计划的关键问题。

The model is based on a collection of a divisional terrain data defined as simplicial complexes arranged into a partially ordered set by time and space.

模型把子区域地形几何数据定义为单纯复合形集，按地形变化时间顺序和空间关系组织成一个偏序集。

Firstly,different control strategies for sensor management are modeled by the real language measure. The legal behavior of control strategy modeled by FSA can generate a partially ordered set of controlled languages. Then an identification method of the language measure parameters based on an FSA model is proposed. The language measure creates a total ordering on the performance of the controlled languages.

首先，建立传感器管理控制策略的有限状态自动机模型，通过对可控制事件的非使能设定，描述不同控制策略；提出语言测度参数的递归估计方法与停止规则，并根据有限状态自动机模型产生语言的测度获得各种传感器控制策略的性能指标。

For detail,we studied the Incidence Algebra I defined by finite Partially Ordered Set X,and sheaf F based on the topology T_x defined by the partial order;By studying the relation between finite module category mod I and the sheaf category Sh_x A,we proved that they are equivalent.

特别的，对给定的有限偏序集X确定的Incidence代数Ⅰ，及由X的序关系定义的拓扑结构T_X上的层F，通过考查有限模范畴modⅠ与层范畴Sh_XA之间的关系，证明了Incidence代数上的模范畴与层范畴的等价性。

The free vibration of a nonlinear elastic rectangular plate is explored, considering influence of material nonlinearity and static-load in plane on its dynamic characteristics. Exact solution to free vibration of each mode of the rectangular plate is obtained according to the fixed point theory of partially ordered space. So the whole process of free vibration is described.

对非线性弹性矩形板的自由振动进行了研究，考虑了材料非线性和面内静载对板动力特性的影响，并根据半序空间的不动点理论求得该矩形板在自由振动时各阶模态的精确解，描绘了其自由振动的全过程。

In chapter 4, in the frame of partially ordered F-type topological space, we research the existence of the solution of a nonlinear operator equation Lx = Nx, and the convergence of the iterative sequence {u_n} which satisfies Lu_(n+1)= Nu_n for a solution of the equation. Then, we give the conditions for multiplicity of the solutions of this operator equation.

第四章，在半序F-型拓扑空间框架下研究一类非线性算子方程Lx=Nx解的存在性，以及满足Lu_(n+1)=Nu_n的迭代序列{u_n}对于方程解的收敛性，并给出这类算子方程具有多解性的条件。

Five signatures were defined based on polarization synthesis technique, then target optimum polarization could be obtained to partially polarized wave by searching on the signature space.

该方法特别适用于部分极化波的情况，并且它避免了异常繁琐和复杂的数学推导，具有计算简单、操作方便等特点。

All above laid a foundation for the research of polarimetric information processing and application. Then, target optimum polarization and polarimetric synthesis technique were studied. By constraining polarimetric states of transmitting and receiving antennas, co-polarized and cross-polarized signatures were obtained. Because the received wave was partially polarized, completely polarized, completely unpolarized, and total available power signatures were defined based on the power of the return wave.

接着，论文深入研究了目标最佳极化和极化合成技术，通过约束收发天线的极化状态可以得到共极化特征图和交叉极化特征图，由于雷达接收的电磁波通常是部分极化的，根据接收波的平均功率密度可以得到未极化特征图、完全极化特征图和匹配极化特征图，在极化特征图空间中搜索可以很容易地获得目标的最佳极化，这些目标最佳极化可以作为极化目标识别和分类的极化特征。

For the head-teacher of the class said that I had seriously broken the school rules,which led me to a three-day suspend class.

为什么呢？因为我的班主任说我严重的违反了校规，于是让我停课三天。

Many of them believe that the conversion of thousands of working-class folk in England spared that nation from the mass carnage and the tyranny that came with the revolution in France.

他们之中有许多人相信，在英国数以千计的劳工阶级之悔改信主使英国免於遭受如法国大革命所造成的大屠杀和专制暴政。