ASIC验证技术

描述ＡＳＩＣ验证方法和过程，有助于ＡＳＩＣ设计者对验证的认识。模拟是验证ＡＳＩＣ并产生测试矢量的唯一途径，设计者可以对ＡＳＩＣ芯片或者在ＡＳＩＣ应用系统中进行功能和时序模拟。     

Application of multi-layer perceptron neural networks to vision problems

This paper discusses the application of a class of feed-forward Artificial Neural Networks (ANNs) known as Multi-Layer Perceptrons(MLPs) to two vision problems: recognition and pose estimation of 3D objects from a single 2D perspective view; and handwritten digit recognition. In both cases, a multi-MLP classification scheme is developed that combines the decisions of several classifiers. These classifiers operate on the same feature set for the 3D recognition problem whereas different feature types are used for the handwritten digit recognition. The backpropagationlearning rule is used to train the MLPs. Application of the MLP architecture to other vision problems is also briefly discussed.     

一类积分加权时滞型非线性微分包含的稳定性

采用多面体Lyapunov函数分析微分包含的稳定性，即通过建立一类内积型Lyapunov—Krasovskii泛函，分析一类积分加权时滞型非线性微分包含的零解渐近稳定性。得到了一些关于零解渐近稳定性和B—鲁棒渐近稳定性的充分条件，这些充分条件在计算上是简洁实用的。     

Evaluation of Linguistic Features for Word Sense Disambiguation with Self-Organized Document Maps

Word sense disambiguation automatically determines the appropriate senses of a word in context. We have previously shown that self-organized document maps have properties similar to a large-scale semantic structure that is useful for word sense disambiguation. This work evaluates the impact of different linguistic features on self-organized document maps for word sense disambiguation. The features evaluated are various qualitative features, e.g. part-of-speech and syntactic labels, and quantitative features, e.g. cut-off levels for word frequency. It is shown that linguistic features help make contextual information explicit. If the training corpus is large even contextually weak features, such as base forms, will act in concert to produce sense distinctions in a statistically significant way. However, the most important features are syntactic dependency relations and base forms annotated with part of speech or syntactic labels. We achieve 62.9% ± 0.73% correct results on the fine grained lexical task of the English SENSEVAL-2 data. On the 96.7% of the test cases which need no back-off to the most frequent sense we achieve 65.7% correct results.     

基于FLANN的动态称重法

根据“逆模型”的思想 ,利用神经元网络良好的逼近能力 ,基于函数联接型神经网络 ( FLANN)的传感器动态补偿方法和最小二乘法 ,提出了一种车辆动态称重解决新方法     

论先进生产力的判断标准与本质特征

先进生产力的判断标准应该是经济效率标准、具体时空标准、人民利益标准、可持续发展标准的统一。先进生产力的三个本质特征：先进生产力是一个诸种先进生产要素综合作用的系统；先进生产力以先进的科学技术为载体；先进生产力具有量态和质态两种属性。     

H_2S·HO_2氢键配合物的量子化学研究

用B3LYP/6 31 1 + +G 方法研究了H2 S与HO2 自由基之间的氢键。发现了三个能量极小点。同时做了H2 S·HO2 的振动频率分析。计算预测了能量整体最小点的构型为带有 2个扭曲的氢键的五元环结构     

Capturing Attention When Attention "Blinks".

Four experiments addressed the question of whether attention may be captured when the visual system is in the midst of an attentional blink (AB). Participants identified 2 target letters embedded among distractor letters in a rapid serial visual presentation sequence. In some trials, a square frame was inserted between the targets; as the only geometric object in the sequence, it constituted a singleton. Capture effects obtained when the AB was most severe and when it was over were compared. There were 3 main results. First, capture occurred even when the AB was crippling, suggesting that a singleton exogenously engaged attention even when processing of a previous target was continuing apace. Second, when the singleton contained the key target feature, capture effects were clearly manifest. Third, even when the singleton did not possess the key target feature, it still succeeded in capturing attention, although the effects were both feeble and fleeting. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

DESIGN OF REDUCED‐ORDER FUNCTIONAL OBSERVERS FOR LINEAR SYSTEMS WITH UNKNOWN INPUTS

This brief paper presents new conditions for the existence and design of reduced‐order linear functional state observers for linear systems with unknown inputs. Systematic procedures for the synthesis of reduced‐order functional observers are given. Numerical examples are given to illustrate the attractiveness and simplicity of the new design procedures.     

四阶泛函微分方程周期解的存在性和全局吸引性

研究四阶泛函微分方程x^（4）（t）＋a1x^′′′（t）＋a2x^′′（t）＋a3x^′（t）＋a4x（t）＋g（t,x（t—τ））=p（t）的周期解问题．首先将该方程转变为四维的拟线性微分方程（组）,得到该方程存在唯一周期解的充分条件;然后通过选取适当的李雅普诺夫函数,推导方程任一解的全局吸引性,并进一步得到方程周期解的全局吸引性．最后,通过实例证实了本文结果的正确性．