The Logarithmic Image Processing Model: Connections with Human Brightness Perception and Contrast Estimators

The logarithmic image processing (LIP) model is amathematical framework based on abstract linear mathematicswhich provides a set of specific algebraic and functionaloperations that can be applied to the processing of intensityimages valued in a bounded range. The LIP model has been provedto be physically justified in the setting of transmitted lightand to be consistent with several laws and characteristics ofthe human visual system. Successful application examples havealso been reported in several image processing areas, e.g.,image enhancement, image restoration, three-dimensional imagereconstruction, edge detection and image segmentation.The aim of this article is to show that the LIP model is atractable mathematical framework for image processing which isconsistent with several laws and characteristics of humanbrightness perception. This is a survey article in the sensethat it presents (almost) previously published results in arevised, refined and self-contained form. First, an introductionto the LIP model is exposed. Emphasis will be especially placedon the initial motivation and goal, and on the scope of themodel. Then, an introductory summary of mathematicalfundamentals of the LIP model is detailed. Next, the articleaims at surveying the connections of the LIP model with severallaws and characteristics of human brightness perception, namelythe brightness scale inversion, saturation characteristic, Weber'sand Fechner's laws, and the psychophysical contrast notion. Finally,it is shown that the LIP model is a powerful and tractable framework for handling the contrast notion. This is done througha survey of several LIP-model-based contrast estimators associated with special subparts (point, pair of points,boundary, region) of intensity images, that are justified bothfrom a physical and mathematical point of view.     

异构数据的管理方法及异构数据源的集成研究

工程应用中软件工具的多样性和设计活动的分散性形成了大量异构数据。本文分析了传统的异构数据管理方法的不足，提出使用数据库系统的文件系统结合的管理方法。针对此方法下所形成的异构数据源问题，给出了基于J2EE规范的数据访问对象抽象工厂解决方案。     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

NCFW专家系统的汉语接口

NCFW系统是适合于花岗岩与变质岩地区的勘探地下水专家系统，系统的人机交互既可用菜单（亦称项目单）方式，亦可用汉语对话方式。这两种方式既可混合使用亦能灵活切换。本文着重描述了汉语接口的设计思想、实现中采用关键技术以及系统运行实例。     

撰写科技论文的要素

本文讨论了撰写科技论文时,包括论文的题目、前言、推导、实例、结论、提要和关键词等各种要素的作用和正确的撰写方法,列举一些写得比较好的范例和一些不很恰当的例子。同时也分析了在岩土工程科技论文写作中出现的一些如泛泛而谈、钻牛角尖、大而无当、背离工程实际、结论与前提不符等值得注意的倾向,指出了产生的原因并提出了解决的方法。     

Global practical tracking of a class of nonlinear systems by output feedback

In this paper we address the practical tracking problem for a class of nonlinear systems by dynamic output feedback control. Unlike most of the existing results where the unmeasurable states in the nonlinear vector field can only grow linearly, we allow higher-order growth of unmeasurable states. The proposed controller makes the tracking error arbitrarily small and demonstrates nice properties such as robustness to disturbances and universal property to reference signals.     

A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001     

An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development.In this paper,a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages.Fro...