基于钢结构有限元软件的地铁隔断门门扇结构分析

地下铁道防护密隔断装装置应用于地下铁道，它能在战时把地下铁道空间隔断，并形成大型人防工程，具有明显的战备效益和经济效益，门扇是该装置中最重要的部件之一，应用钢结构有限元软件SAP91建立了地铁防护密闭隔断门门扇的结构模型，并对其进行有限元分析，通过门扇的应力分布及各点位移的结果确定门扇的结构，解决了该装置中直接受力件的结构和强度问题。     

基于动态分段技术的城市管网空间数据库

针对传统的孤段－结点拓扑关系模型在建立线形要素空间数据库中存在的问题，利用动态分段技术提出了建立城市管网空间数据库的技术方案。详细介绍了动态分段技术的3个基本概念即路径、度量和事件，系统地分析了城市管网的空间数据模型。最后将动态分段技术与城市管网模型结合，提出了实用性强的城市管网空间数据库逻辑设计方法，该数据库具有数据冗余低，数据维护方便、高效、简便的特点。     

从先民的美学意识看汉字的构形

:汉字作为传播语言信息的符号系统 ,从产生开始 ,就具有实用价值和艺术审美价值。汉字的艺术审美价值体现在 :汉字的造字构形思维来源于人类先天的审美要求、汉字的构形方式是人类后天美感形成的必然、汉字的构形体现了审美活动本体生成的特征等三个方面 ,人类的审美意识与汉字构形之间具有密不可分的联系     

邻水县的两栖爬行动物调查

两次对邻水县的两栖爬行类进行了调查，结果表明：邻水县有两栖动物15种（隶属2目7科8属），爬行动物21种（隶属2目8科15属）。动物地理分布型为：热带亚热带型6种，占16.7％；全北型1种，占2.8％；南中国型19种，占52.8％；季风型8种，占22.2％；喜马拉雅-横断山型2种，占5.56％。区系组成：属东洋界有：华中区物种17种，占47.2％，华中华南区物种6种，占16.7％，东洋界广布种4种，占11.1％，属东洋、古北两界广布种的有9种，占总物种数的25％。     

关于对师专学生“理想、成才、前途”问题的调查与思考

最近,党中央提出来要在全国加强思想政治教育工作,这说明在新形势下思想政治教育工作不仅不能削弱而且要进一步加强,那么师范院校的“两课”教师如何提高思想教育工作的效率呢?摸清学生思想实际是其中很关键的一环,笔者就现阶段与学生密切相关的“理想、成才、前途”问题进行了调查与思考。     

系统动力学的研究与发展综述

在综合研究国内外大量有关文献的基础上,该文综合论述系统科学的边缘学科——系统动力学产生的理论背景、该学科在各个领域中的应用以及方法理论上的最新研究成果。     

灰色关联度分析在矿井水防治中的应用

本文应用灰色关联度分析方法,定量地评价矿井充水水源,并讨论了灰色关联度分析的基本原理,分析了子序列与参考序列的关系;并通过工程实例介绍了均值处理及关联系数的计算方法。     

地籍信息采集及内外业编码设计和转换

结合城镇地籍工作实际,设计了分别适用于采集和管理两套编码,并在系统中实现了两套码的自动转换,为地籍测量信息采集和管理带来了一定的方便。     

俯伪斜采煤法防治急斜煤层煤与瓦斯突出的研究

对急倾斜煤层俯伪斜分段密集支柱采煤法和直线长壁采煤法的采场矿压显现规律和煤与瓦斯突出预测指标进行了现场观测和模拟实验研究,其研究结果表明：俯伪斜采煤工作面的周期来压步距为１８．５ｍ,约为直线长壁工作面周期来压步距１０ｍ的两倍,周期来压时采面上部的最大能量动载系数为２．０３,比直线长壁工作面小０．５３．煤壁前方支承压力集中系数为１．６７,比直线长壁工作面大０．２～０．２５,而支承压力峰值距煤壁距离为６～１０ｍ,较直线长壁工作面大０．５～１ｍ．即俯伪斜分段密集支柱采煤法通过降低回采工作面前方煤体支承压力系数和增大回采工作面前方煤体的安全煤柱宽度,来提高采场煤与瓦斯突出防治能力。     

Homotopy Structures for Algebras over a Monad

Let T be a monad over a category A. Then a homotopy structure for A, defined by a cocylinder P : A A, or path-endofunctor, can be lifted to the category A ^T of Eilenberg–Moore algebras over T, provided that P is consistent with T in a natural sense, i.e. equipped with a natural transformation : T P P T satisfying some obvious axioms. In this way, homotopy can be lifted from well-known, basic situations to various categories of algebras for instance, from topological spaces to topological semigroups, or spaces over a fixed space (fibrewise homotopy), or actions of a fixed topological group (equivariant homotopy); from categories to strict monoidal categories; from chain complexes to associative chain algebras. The interest is given by the possibility of lifting the homotopy operations (as faces, degeneracy, connections, reversion, interchange, vertical composition, etc.) and their axioms from A to A ^T , just by verifying the consistency between these operations and : T P P T. When this holds, the structure we obtain on our category of algebras is sufficiently powerful to ensure the main general properties of homotopy.