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     

冷轧带钢局部高点卷取过程起筋控制的建模与仿真

为了研究带钢局部高点卷取起筋的控制方法，利用三维弹塑性变形基本理论，并引入带钢塑性流动因子，建立了弹塑性卷取应力和起筋量模型.基于应力函数假设、S. Timoshenko最小功原理和伽辽金虚位移法建立了起筋带钢的应力场分布和可用于在线计算的起筋临界卷取张力设定模型.仿真结果表明：局部高点在径向累积叠加所引起的带钢张力不均匀分布和轴向压应力是导致带钢起筋的主要原因；起筋量随局部高点高度、卷径和卷取张力增加而增大，薄带钢比厚带钢起筋量增幅明显；临界卷取张力随卷径、带钢厚度和局部高点高度增大而减小.     

刚-柔性桩复合地基设计理论探讨

刚-柔性桩复合地基设计理论的发展明显地落后于工程实践,基于工程实践成果以及计算机仿真分析结果对刚-柔性桩复合地基设计理论进行了研究,根据不同的基础形式对刚-柔性桩复合地基进行分类,分析了不同型式复合地基的适用性,提出了具体的设计步骤,探讨了承载力与变形等相关问题.此外,还提出了刚-柔性桩复合地基优化设计的建议,并通过工程实例对上述设计理论进行验证.     

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

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

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

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

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

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

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

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

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

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

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.