Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

Weight smoothing to improve network generalization

A weight smoothing algorithm is proposed in this paper to improve a neural network's generalization capability. The algorithm can be used when the data patterns to be classified are presented on an n-dimensional grid (n>/=1) and there exists some correlations among neighboring data points within a pattern. For a fully-interconnected feedforward net, no such correlation information is embedded into the architecture. Consequently, the correlations can only be extracted through sufficient amount of network training. With the proposed algorithm, a smoothing constraint is incorporated into the objective function of backpropagation to reflect the neighborhood correlations and to seek those solutions that have smooth connection weights. Experiments were performed on problems of waveform classification, multifont alphanumeric character recognition, and handwritten numeral recognition. The results indicate that (1) networks trained with the algorithm do have smooth connection weights, and (2) they generalize better.     

利用TM资料测量毛乌素沙地面积的方法和结果

利用1:25万陆地卫星TM资料和地形图，在GIS支持下，建立毛乌素沙地图形数据库，对毛乌素沙地目前流沙分布的范围进行了调查研究。重.资、介绍了利用陆地卫星TM资料对毛乌素沙地的面积进行测童计算的技术和方法，给出了最新测贡得到的毛乌素沙地全区总面积和分布于各旗县的沙地面积数据。     

OO MODELING OF BUSINESS PROCESSES Object-Oriented Systems Analysis

Business reengineering requires new systems analysis tools for process modeling. An object-oriented (OO) approach may be better than the traditional data flow diagram method in modeling business processes. This article explains the development of an OO tool that may potentially benefit IS in reengineering business processes.     

SUN工作站的EEPROM浅析

ＥＥＰＲＯＭ的参数设置控制着系统的基本功能，设置的改变对系统的起动和运行起着重要作用。本文详细地列出了ＥＥＰＲＯＭ的地址分配表，并通过上机实验对那些重要的地址了详细的说明。     

Enkephalinergic innervation of GABAergic neurons in the dorsal raphe nucleus of the rat

The preembedding double immunoreaction method was used to study interrelations of enkephalinergic and GABAergic neuronal elements in the dorsal raphe nucleus of the Wistar albino rat. The enkephalin-like neuronal elements were immunoreacted by the peroxidase-antiperoxidase method and silver-gold intensified, which showed strongly and was specific. The GABA-like immunoreactive neurons were immunoreacted by the peroxidase-antiperoxidase method only. GABA-like neural somata were postsynaptic to both the enkephalin-like immunoreactive and the non-immunoreactive axon terminals. The enkephalin-like immunoreactive axon terminals were also found to synapse GABA-like immunoreactive dendrites. The GABA-like immunoreactive neuronal elements were also found to receive synapses from other non-immunoreactive as well as GABA-like immunoreactive axon terminals. Almost all of the synapses appeared to be asymmetrical. Possible functional activity of interactions among the enkephalinergic, GABAergic, and serotonergic neuronal elements in the dorsal raphe nucleus are discussed.     

Fastmet工艺评述

介绍了Ｆａｓｔｍｅｔ工艺及发展状况，并对工艺特点和指标进行了分析。使用冷固结含碳球团和转底炉使该工艺可直接采用粉矿和提高生产效率，但因硫含量高、铁品位低而产品质量较差。不过投资和生产成本与传统工艺比较却占有较大优势。     

空气压缩机实时监控系统

介绍一种以工业控制机为核心的空气压缩机实时监控系统。为防止电磁干扰，系统采取了有效的隔离保护措施。论述了系统结构、工作原理和硬软件配置。