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

高师院校书刊阅览服务的优化与高素质人才培育

论述了高师图书馆实施综合素质教育的意义和挑战,提出了共建具有专业特色的教育基地、优化整合教育资源、全面推进素质教育等培养高素质人才,落实人才强国战略的新举措。     

在管理信息系统中单据设计的新方法

在分析PowerBuilder中用户对象的基本概念与特点基础上，提出了利用用户对象技术实现MIS(管理信息系统)中单据设计功能的方法，并给出了详细的实现过程。实际应用表明，该方法可使用户按企业的实际需要对单据的录入界面进行自由设计，无需修改软件即可满足不同用户的需求，适合各种管理信息系统的单据设计，具有通用性。     

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

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

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

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

对面向对象分析法进行比较评估的一种新方法

提出一种新的比较框架，其中包含了一系列面向对象分析（OOA）方法共同的基本特性．以5种著名的面向对象分析方法为例，阐述了如何通过它们的特性细节，对面向对象分析方法进行分析、比较和评估．     

欠发达地区实施跨越式技术创新的探讨

文章简述了跨越式技术创新及其在国内外的普遍现象，指明了欠发达的山西实施跨越式技术创新的有利条件及其应采取的措施。     

A data model for regions with indeterminate boundaries

Most of spatial phenomena like natural vegetation units and land use areas constantly change over time and have uncertainty spatial extents. Till now, a considerable number of data models have been proposed for spatial objects with sharp boundaries as well as with indeterminate boundaries. However, they mainly concern space and time or space and fuzziness and not yet integrate them into a single unified framework. This paper introduces a formal definition of the conceptual fuzzy spatiotemporal data model, called FSTDM for fuzzy regions based on fuzzy set theory. We also contribute a method of manipulating queries with the presence of both temporal predicate and fuzzy spatial predicate in the condition clause efficiently. We then implement a prototype system.Through the experimental results, we prove that our work can be used to build a specialized system such as GIS, spatial database, and so on.