视觉搜索中图标布局的影响机理

采用视觉搜索范式，研究图标视觉特征及数量变化对图标布局认知绩效的影响.实验表明，当图标数量N=6时，仅图标视觉特征主效应显著，布局方式对搜索速度无显著影响，图标视觉特征是认知绩效的主要影响因素;当图标数量N=15时，仅图标布局方式主效应显著，横向排列搜索速度最快.通过图标数量的连续性变化实验发现，图标数量超过10个，横向排列反应时显著低于纵向排列，两者错误率无显著差异;随着图形面板 L_○长度 / S_○宽度比值的降低，两者平均反应时差距逐渐缩小，趋于一致.研究表明，图标数量的变化对布局方式和视觉特征的认知绩效产生显著影响.     

Revalidation of Obidosus Roewer, 1913 and description of two new cave-dwelling species of Protimesius Roewer, 1913 from Brazil (Opiliones: Stygnidae)

The penial and tarsal morphology of Protimesius is studied and morphological data support the revalidation of Obidosus with the subsequent new combinations (20 species) and restored combinations (two species). Emended diagnoses are proposed for both genera, and two cave-dwelling new species of Protimesius are described and illustrated: P. lucifer sp. nov. (Pará state) and P. orcus sp. nov. (Ceará state). An identification key to the species of Protimesius and distributional maps of Obidosus and Protimesius are provided.

http://www.zoobank.org/urn:lsid:zoobank.org:pub:C4E9C04D-A646-41E4-AE59-B6D0C951DEAB     

定逆序数的n元数码置换个数的一种方法

一个确定的n元数码的排列,其道序数是不难求得的;反之,“已知逆序数,求有多少个n元置换”的问题要复杂得多。从最小数码的位置着手,充分利用逆序数是定数,给出一种解决此问题的新方法——最小数码定位法。此法通俗易懂,由此得到了逆序数为k(k=1,2,3……c_n~2)的n元数码的置换个数的一个递推公式:q_k(n)=1+q_1(n-l)+q_2(n-1)+q_3(n-1)+…+q_k(n-1)。     

4一致C-超图的最小边数问题

研究了上色数为3的4一致C-超图的最小边数问题，并给出了上色数为3的4一致C-超图的最小边数的一个上界．     

梯度网络平稳点集合的Hopfield稳定性与吸引域

给出梯度神经网络模型的电路实现 ,证明了网络平稳点集合的全局 Hopfield稳定性。对各个平稳点吸引域的几何估计得到了相关结果 ,这为网络初始输入的数量与方向判定提供了基本的量度参数准则。     

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

顶凌覆盖节水增产技术研究

通过1998年、2000年的试验研究，系统分析了顶凌覆盖技术在高寒区节水增温保温、增产增收的机理及其应用效果。提出该技术可以缓解低温干旱特别是春旱对农业生产的困扰，是一项可以抗旱保春播增产增收的实用技术，在高寒地区具有较高的推广价值。     

伞花木染色体核型的研究

本文首次报道了国家二级保护植物伴花木（无患子科）的染色体数目，并对其核型进行了分析，结果表明：该种染色体的核型公式为：Ｋ（２ｎ）＝２２＝１６ｍ＋６ｓｍ，染色体属较对称的“２Ｂ”型。     

科学创新思维中实在和虚拟范畴的流动和转化

实在思维是指科学认识活动中保持真实性的思维活动;虚拟思维是指在思维过程中的一种设想或虚构活动.它们共同构成了科学创新思维的两极.在它们之间的流动和转化中,科学创新得以实现.     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.