论追诉时效超期适用程序

分析了设立追诉时效超期适用程序的必要性,论证了该程序适用的条件,并就该程序的内容设计了相应的法律条文,供立法机关将来修改刑事诉讼法时参考。     

四维空间相交定理的几何证明

为解决研究四维空间几何元素相交时思维图象的困难，对四维空间中的相交定理用几何的方法进行了证明，并配以直观图。     

基坑支护中土压力主、被动区的互换分析

以太原市某工程为例，从实际的基坑设计中得出，基坑支护中土压力设计值一般都比实际值偏大；支护桩周围的土压力的主动区、被动区并不是一成不变的。提出用位移分析的土压力模型来区分实际工程中的主、被动区，而后进行土体受力定量的分析。     

卡尔曼滤波过程的稳定性研究

卡尔曼滤波器的稳定性并不能保证实际的滤波器算法具有收敛性,而传统的关于滤波发散的判定方法是基于量测不能出现野值这一严格的假设条件,具有一定局限性;并且通常关于滤波发散只是一种定性的描述,具有一定模糊性。为此,考虑到量测可能出现野值的情况,从滤波发散的具体数学形式出发,提出了卡尔曼滤波过程的稳定性概念,在此基础上给出了滤波发散的判定定理,既消除了通常关于滤波发散描述的模糊性,又降低了通常判定方法的要求。     

模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

关于积分中值函数性质的注记

本文在严格单调的前提下 ,讨论了积分中值函数的严格单调性、连续性和可微性 ,得到了具有一般性的结论。     

试论黄帝文化的形成

黄帝文化是中华民族的宝贵财富，黄帝时期所创造出来的物质财富和精神文化对后世有重大影响。春秋至战国中期，人们对始祖的尊崇使得黄帝文化得以形成并且发扬光大，而道教的兴起和发展以及对黄帝的神化也推动着黄帝文化的形成。黄帝个人的影响在春秋战国时期达到较高的程度，对于黄帝的认识，在战国时期也非常完备清晰。     

理工科院校法学专业走出就业困境之策略探析

经过几年的扩招之后，各理工科院校培养出的法学专业毕业生已经开始陆续走向市场，从各理工科院校所统计的数据来看，法学专业毕业生的就业问题已显得十分突出。突出法学教育在理工科院校的专业特色，多方面强化学生的实践能力是理工科院校法学专业走出就业困境的必由之路。各理工科院校应理性地面对目前的艰难与困境，充分依据各自的资源来追求自己在法学教育上的比较优势。     

试析新中国户籍制度形成的历史背景

新中国户籍制度的形成，既有其深刻的历史渊源，更是中华人民共和国成立后重工业优先发展战略和计划经济体制的必然产物。     

论城市社区体育的大众化

城市社区体育大众化有着深刻的内涵和重要的意义,但也面临着认识偏差、投入不足、人才短缺、中青年居民参与度低等问题,针对这些问题本文提出了提高认识、资金投入、整合现有资源、加紧培养人才、培育体育社团、扶持体育产业等对策.