形式定义 meaning in English
formal definition
Examples
- Workflow management coalition ( wfmc ) dedicates on the research on workflow management system , and defines the architecture of workflow management system in its literature , as well as design of the function of interface between different parts
工作流管理联盟wfmc对工作流管理系统进行了研究,并以文献标准的形式定义了工作流管理系统的体系结构,各部分之间接口功能设计。 - We have proved that the properties of convex risk measures can be characterized by that of the acceptable set . further more , as a case study , we considered convex measures of risk defined by the notion of bounded shortfall risk
结果证明凸性风险测度和与其相伴随的可接受集之间可相互表出的关系，进一步，作为例证研究，本文考察了以有界亏空风险的形式定义的凸性风险测度。 - In this part , the author mainly discusses the following issues respectively : object of bearing punishment , active object , pattern of possession , and conduct category of possession , sphere of possessory offences . chapter 4 discusses whether the crime of huge unidentified property belongs to possessory offences
本文仅论述本罪是否属于持有型犯罪，作者认为虽符合持有型犯罪的形式定义，也与立法中的其他持有型犯罪有颇多不同，但仍应属持有型犯罪的研究范围。 - In the second chapter , some relative basic theories in wavelet analyse is first proposed in brief , involving the cause of develop - ment of wavelet theory ( that means its good ) , the definition of continuous wavelet , discrete wavelet and dyadic wavelet and the multiresolution analysis for constructing orthogonal wavelet . then the biorthogonal wavelet and method of its application for image compression is discussed . based on the research of genetic algorithm for the constructing method of wavelet filters , the method of con - structing optimal wavelet filters for the specific image compression is put forward , so the problem about image optimal compression is solved successfully with the combination of genetic algorithm and wavelet used in image compression
在第二章首先简述与图像压缩相关的小波分析基础理论知识，涉及到小波得到发展的原因及其优点，连续小波，离散小波，二进小波具体形式定义，以及构造在正交小波的多分辨分析。然后阐述了紧支撑双正交小波及其在图像压缩具体应用方法之后，基于遗传算法对小波滤波器的构造方法进行的研究，提出了解决对任意特定图像进行压缩处理所需要的最优小波滤波器的构造问题，从而将遗传算法与小波压缩有机结合起来实现了图像的最优压缩。