一个包含Smarandache Ceil函数的对偶函数的方程

利用初等方法研究了一个包含Smarandache Ceil函数Sk(n)的对偶函数-Sk(n),给出了当k=6时方程-S6(1)+-S6(2)+…+-S6(n)=6Ω(n)的具体正整数解。     

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     

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

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

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

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

广义正定矩阵的分析与应用

分析了广义正定矩阵,导出了矩阵广义正定的若干新判定准则,并以应用实例研究了其在神经网络中的应用.     

关于正值函数无穷积分收敛性判别法的讨论

文 [1 ]给出了非负函数无穷积分收敛性的几个判别法 ,本文给出了比文 [1 ]判别法更精细的一个判别法 ,同时 ,通过与文 [1 ]中判别法的比较 ,说明它比文 [1 ]中的判别法都强 .     

三峡库区移民区曲溪小流域能源利用分析

通过分析小流域的能源资源现状、不同时期能源需求变化对生态环境的影响、秸秆利用对坡耕地生产力的影响、经济发展对生物质能需求影响、节能及替代能源对生物质能需求的影响等,提出了解决能源问题,促进生态环境持续改善的对策.     

浅析西部地区文献信息资源的重组

阐述了西部地区文献信息资源重组应遵循的原则以及文献信息资源重组的条件，并提出了文献信息资源重组的措施。     

具有强迫项的一阶中立型非线性微分方程的振动性

中立型微分方程广泛应用在细胞中酶反应动力学、遗传问题、控制工程等领域,本文讨论具有强迫项的一阶中立型非线性微分方程的振动性:[x(t)-P(t)x(t-て)]' m∑i=1Q(t)fi(x(t-σi))=e(t).推广了无强迫项的中立型微分方程的情形,获得了方程振动的充分性判定准则,为中立型泛函微分方程的振动性研究提供了一个新的理论判据.     

广义正定矩阵的特殊乘积

设H_n={A|A∈C~(n×n),A~*=A,且对所有的0≠x∈C~n,(x,Ax)=x~*Ax>0}。C_n={A|A∈C~(h×n),且对所有0≠x∈C~n,(x,Ax)= x~*Ax>0}。本文证明了下面事实:如果A∈H_n,B∈G_n,那么A(?)B,B(?)A和A·B∈G_n,同时我们有反例来说明如果A,B∈G_n,那么A(?)B,A·B∈G_n是不正确的。