查询词典 partially computable function

To solve the third problem, the definition of T-revision function and RT-computation model are proposed, and it is proved that with the increase of revision time, T-revision function converges to revision function and T-revision function is computable.

作为对第3个问题的解决，作者提出了T-修正函数的定义和RT-计算模型，证明了随修正时间的增长，T-修正函数逼近修正函数，且T-修正函数是可计算的。

To solve the third problem, we present the definition of T-revision function and RT-computation model, prove that T-revision function converges to revision function with the increase of revision time and Trevision function is computable.

作为对第3个问题的解决，作者提出了T－修正函数的定义和RT－计算模型，证明了随修正时间的增长，T－修正函数逼近修正函数，且T－修正函数是可计算的。

Though comparing Canny operator and center B spline dyadic wavelet, the following conclusion is proven in this dissertation: a Center B spline function has tight support and Canny operator hasn't. b Center B spline function asymptotic convergence to Gaussian function and the derivative of Center B spline function asymptotic convergence to Canny operator. c The derivative of fourth order center spline B function is more suitable as a optimal edge detector than Canny operator. d Center B spline function can balance the smoothing and approximation of original data, and the fourth center B spline function is the only optimal solution of two order smoothing problem. e The error between the valve of time-frequency uncertainty of the fourth center B spline function and the lower bound of time-frequency uncertainty does not exceed 0.143% of the lower bound. f The derivative of center spline B function can construct a stability dyadic wavelet and can give a fast algorithm for multiscale edge detection, but Canny operator can do neither.

作者给出了Canny算子与中心B样条二进小波严格的比较证明，得出如下结论：a中心B样条函数具有紧支集，Canny算子不具有紧支集。b中心B样条函数的极限收敛于高斯函数，中心B样条函数的导数收敛于Canny算子。c四阶中心B样条函数的导数比Canny算子更接近最佳边缘检测滤波器。d中心B样条函数比高斯函数更能兼顾对原函数平滑和逼近的折中要求，并且四阶中心B样条函数是二阶逼近问题的唯一最优解。e四阶中心B样条函数的时频测不准关系值与时频测不准关系下界的逼近误差不超过0.143％。f中心B样条函数的导数可以构成稳定的二进小波，存在快速的多尺度算法；而Canny算子不构成稳定的二进小波，无法给出快速的多尺度算法。

The problem of multi-objective usually meet many conflict each other and can not use the objective of the same standard unit, then to employ membership function of fuzzy theory,at first each objective function to change fuzzy set and express with membership function, membership function include the maximum constraint, minimum constraint, the decrease function of monotonic property, to become optimal of the multi-objective function, but still to scanty of weighting value with regard to adjustment of objective function, thus this thesis proposes the method of combine orthogonal arrays and particle swarm optimization to solve the problem of multi-objective optimal power flow, each objective function separately add weighting value, to setting each weighting value of objective function in order to the result of anticipating.

多目标最佳化的问题通常会面临到许多互相冲突且不能用同ㄧ标准单位的目标，於是利用模糊理论中的归属函数，首先将各目标函数转换成模糊集合并以归属函数表示，归属函数包含了最大限制值、最小限制值、单调的递减函数所组成，将各目标函数利用归属函数表示，形成单一目标函数的最佳化，但是仍缺乏权重值对於目标函数的调整，於是本篇论文提出ㄧ种权重值设定与粒子群优演算法的方法去解决多目标最佳电力潮流的问题，将各目标函上分别加上权重值设定各目标函数的权重值，得到预期的效果。

Along with the time development, the computer technology more and more thorough various trades and occupations, have provided thorougher and a convenient service for the general users In order to realize raises department's working efficiency, uses the resources fully, reduces the nonessential manpower, physical resource and financial resource goals and so on disbursement, presented various information management system The paper will design university student's dormitory information management system's Web and realizes using the solution The university student's dormitory information management system is one safe and the highly effective proprietory system, designs specially for the information engineering institute This system has used many technologies, for instance JSP, JDBC, Web service and so on The proprietory system use's database is SQL the Server 2000 databases The university student's dormitory information management system's major function includes: May realize to the student's dormitory information inquiry function, including fast inquiry function and classified inquiry function; To the student's dormitory information's input function, the revision function, deletes the function and the statistical function Realizes the dormitory Control section through the system above function regarding the student's dormitory information current management, namely facilitates the dormitory administrative personnels to keep abreast of the student lodging situation and the billeting situation comprehensively promptly; Has provided some simple data inquiry for the user and outputs each kind of information and so on

随着时代的发展，计算机技术越来越深入各行各业，为广大的用户提供了更为周到和便捷的服务。为了实现提高部门的工作效率，充分利用资源，减少不必要的人力，物力和财力的支出等目的，出现了各种各样的信息管理系统。论文将设计一个高校学生公寓信息管理系统的Web应用解决方案并予以实现。高校学生公寓信息管理系统是一个安全和高效的专用系统，专为信息工程学院设计。这个系统使用了很多技术，比如JSP，JDBC ，Web服务等。专用系统使用的数据库是SQL Server 2000 数据库。高校学生公寓信息管理系统的主要功能包括：可以实现对学生公寓信息的查询功能，包括快速查询功能和分类查询功能；对学生公寓信息的录入功能，修改功能，删除功能和统计功能。通过系统上述功能实现公寓管理部门对于学生公寓信息的日常管理，即方便公寓管理人员及时全面地掌握学生住宿情况及公寓分配情况；为用户提供了一些简单的数据查询并输出各种信息等。

In order to study the grating diffractive field's characteristics of the partially polarized and coherent beams, an analytic expression of polarization degree and angular correlation of partially ploarized and coherent beams through polarized gratings is derived based on the beam coherentce-polarization matrix approach of partially coherent beams.

为了研究部分偏振部分相干光光栅衍射场的衍射特性，利用部分偏振部分相干光的光束相干-偏振矩阵，推导出了部分偏振部分相干光通过任意偏振光栅后，衍射场的偏振度及场中衍射级次角相关的一般解析表达式。

Finite rank functions of closure spaces on partially ordered set ;2. Applying theory of partially ordered set s to study data envelopment analysis;3. Using theory of partially ordered set s to study data envelopment analysis

首先应用偏序空间理论，提出了井下测量对象的数据库论域命题，并论证了该命题的成立；然后提供了井下测量对象的NF2嵌套数据模型和测量对象的存储数据结构。

In this paper,we discuss the Walsh spectral characteristics of partially-bent functions over ring Znq(q=p1*p2,p1、p2 are primes),propose two new concepts―nonzero factor variant-permanently linear structure and zero divisor variant―permanently linear structure,classify the variant-permanently linear structure of partially-bent functions and show their correlation,obtain several new equivalent conditions of partially-bent functions on ring Znq,finally,point out the correlations among balance, linear structure and points taking nonzero spectrum.

本文在环Znq上讨论了部分bent函数的谱特征(q=p1*p2，p1，p2是素数)，得到了Znq上部分bent函数的几个新的刻划，揭示了部分bent函数的平衡性、线性结构点及非零谱值点之间的相互关系，并对部分bent函数的恒变线性结构点进行了分类，指出了它们之间的相互关系，提出了零因子恒变线性结构点和非零因子恒变线性结构两个新概念。

The results of its intrinsic fluorescence spectroscopy and fluorescence phase diagram showed that when the guanidine hydrochloride concentration in denaturation solution was about 1.0 mol/L, there existed a partially folded intermediate of Bacillus amyloliquefaciens a-amylase during its unfolding procedure, which followed a three-state model; the result of its fluorescence probe showed that when the guanidine hydrochloride concentration in denaturation solution was about 1.0 mol/L, there existed some stable hydrophobic regions, which could interact with a hydrophobic reagent 8-anilino-1-naphthalene sulfonic acid, in the partially folded intermediate of Bacillus amyloliquefaciens a-amylase; and the results of fluorescence quenching using acrylamide and potassium iodide as quenchers showed the distribution of Trp residues in Bacillus amyloliquefaciens a-amylase in different denaturation solution, with the maximum number (8) of tryptophan residues in a partially folded intermediate Bacillus amyloliquefaciens a-amylase molecule could be quenched by potassium iodide; and the results of their protein electrophoresis and SEC showed that no aggregate or aggregate precipitation of Bacillus amyloliquefaciens a-amylase formed during the whole unfolding procedure of Bacillus amyloliquefaciens a-amylase induced by guanidine hydrochloride.

内源荧光光谱和荧光相图结果表明，当变性液中盐酸胍浓度约为1.0 mol/L时，芽孢杆菌a-淀粉酶的去折叠过程中出现一个部分折叠中间体，其去折叠过程符合&三态模型&；荧光探针结果表明，在溶液中盐酸胍浓度约为1.0 mol/L时，中间态芽孢杆菌a-淀粉酶分子中存在着能够与探针分子1-苯胺基-8-萘磺酸结合的稳定的疏水区域；荧光猝灭研究给出了不同程度变性的淀粉液化芽孢杆菌a-淀粉酶中的Trp的分布情况，结果表明中间态芽孢杆菌a-淀粉酶分子中能够被碘化钾猝灭的位于分子表面的色氨酸残基数目达到最大的8个；蛋白电泳和体积排阻色谱结果表明，在盐酸胍诱导的芽孢杆菌a-淀粉酶分子的整个去折叠过程中，不会以共价键或非共价键形式形成芽孢杆菌a-淀粉酶分子之间的集聚体或集聚体沉淀。

The program is divided into five blocks: the main function, contracting keys function, numbers and decimal memory function, processing function, the value function, display function,rest function and positive and negative function.

将程序分为五个模块：主函数、判键函数、数字和小数点存储函数、运算处理函数、求值函数、显示函数、正负和清零处理函数。

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.

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