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

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

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

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

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

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

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

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

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

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

电液比例方向节流阀数字控制放大器

在广大的工程应用领域，以比例阀替代昂贵的伺服阀是一种趋势，本文提出了电液比例方向节流阀数字控制放大器，它以ＩＮＴＥＬ８０９８单片机系统为硬件核心，控制放大器的硬件系统和软件系统，与阀控系统融为一体．以它取代传统的专用的模拟比例控制放大器，不仅在结构上简化了系统，提高了系统的可靠性，而且提高了系统的经济性和应用的灵活性，为比例阀推广使用，奠定了良好的基础。本文给出了它的软件、硬件结构及试验结果。     

磁致伸缩作动器的设计及其动态特性研究

磁至伸缩材料是一种特殊的智能材料，置于磁场中会发生物理变形。本文利用它的一特性，设计研制了一种用于试验的磁致伸缩作动器。此作动器具有变形大，承载力强和响应速度快等特点。     

渗透液性能测试仪的研制

本文介绍一种渗透液闭口闪点测量仪器的研制，它是一种数码显示的电子温度计，采用成熟的电子技术。仪器体积小，测量范围在４０－１２０℃，精度可达到０．２℃，完成可满足闭口闪点温度的测量要求，可望在实际工作中得到推广应用。     

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

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

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

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