中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

基于微分图象噪声估计的主动型边界检测方法

提出一种简单的主动型边界检测方法。它首先通过噪声估计捕捉图象中可能存在边界的邻域，然后获取邻域中有关边界的空间参数，由此选择最佳微分滤波算子对相应邻域进行滤波，以获取边界点。该方法具有很强的处理针对性，因此它运算速度快、精度高、一次即可获取单象素宽的边界。     

A REAL-VALUED GENETIC ALGORITHM FOR OPTIMIZATION PROBLEM WITH CONTINUOUS VARIABLES

提出一种用于连续变量函数优化的遗传算法。它由一种简单、适应面广的动态刻度适应值和选择算子、杂交与变异算子，以及这些算子相应的自适应概率组成。该算法经两个常用函数检验，并在图象识别的神经网络权值训练中得到应用。实验结果表明，该算法是一种快速有效的全局优化算法。     

一种高性能24通道模入数据采集控制卡的设计

介绍了一种基于A／D转换芯片MAXl97的高性能数据采集控制卡的设计方案，列出了它的主要性能参数，并给出了它的具体应用实例。     

作为一种方式--看荷译的新画

作为一种方式，荷译的画不仅仅在画廊或艺术馆、或现在最火的艺术家工作室展出．他也选择最新的画在酒吧中办个展。这样一种随心随意地处理作品的方式，是艺术家很少使用的——他们大多数更关心艺术馆的档次、级别、条件。荷译并非对自己的作品不加善待，只是这其中包含了他对艺术品的自在态度“一个小型沙龙展与在现代的展厅里展出的效果会不一样，因它没有现代展厅的那种巨大的空间而让人感到冷漠。它或许会使人与画的距离贴得更近，更自然，更亲切，更生活化，说不定会有一种特殊的效果。”     

弱暴——罗发辉个展在K空间展出

近日，由K空间主办的“弱暴——罗发辉个展”在K空间拉开帷幕。 之所以用“弱暴”作为展览标题，在策展人鲁明军看来．正是因为罗发辉的作品很好的体现了暴力美学的悖论——“看上去是美丽的，但本身还是一种暴力，所以本身它并不弱，恰恰是一种强大的东西，     

山之巅——珠穆朗玛峰大地雄心

有人说：“如果将地球比作一座屋宇，雪山就是它的屋脊，如果将地球比作一个巨人，雪山就是他的头颅。”在中国西部，一座座雪山拔地而起，一座座冰峰直插九霄，这里拥有世上最高大、最壮丽的雪山群，这些冰清玉洁的山峰为地球装点出一种圣洁的美丽。     

银孤清者的容颜

喜欢银，它是宽容的，无论商贾豪绅还是平民百姓都能轻易地拥有。银是一种有时间纵横感的金属，它拥有自己的历史以及未来。而那些熔炼而成的各式银饰轻易地跨越了古典与时尚，装饰着贤淑．动感．粗犷．感一伤的各类知性男女。     

基于混合维云模型定性推理的调距桨螺距控制

云模型是采用期望值Ex，熵En和超熵He来描述定性概念的一种数学方法，它将定性概念所具有的模糊性、随机性有机地结合在一起，是实现定量与定性相互转换的一种新途径。文中阐述了定性概念的一维和二维云模型数学描述，提出了基于混合维云模型的混合推理方法、复杂控制规则的简化方法，设计了一种新型的智能控制器——云控制器，并将其应用于调距桨螺距控制过程中。仿真结果表明，该控制器简易、直观、控制性能良好、鲁棒性强，较常规模糊控制具有更好的控制品质。     

超声检漏系统的研究

本文介绍了一种新型窄频带超声检漏系统，它能明显地区分环境干扰噪声与泄漏信号，其性能明显优于宽频带系统，在泄漏检测中更具实用价值。