论文部分内容阅读
改进的全蕴涵推理方法及其性质的研究
【机 构】
：
浙江理工大学
【出 处】
：
浙江理工大学
【发表日期】
：
2019年01期
其他文献
环上的广义多项式恒等式理论是环论中的一个新兴而又重要的分支，在近代代数学中占有重要地位．自从1957年Posner关于素环上导子的两个著名定理问世以来，素环上导子、广义导子、对
本文在现有文献基础上，对不确定非线性时滞系统的自适应控制做了一些工作． 首先，考虑了一类不确定非线性时滞系统．运用Backstepping方法，构造了自适应控制器．通过巧妙的选取Lyap
凸体几何是现代几何学的一个重要分支，而凸体的Brunn-Minkowski理论则是凸体几何学的核心内容。本文探讨了Brunn-Minkowski理论中几个问题，分别是表面积测度理论的几个应用，投影
摘要：随着社会经济的高速发展，城市化进程的大力推进，使得我国建筑行业迅猛发展起来，产生了巨大的社会经济效益。但是建筑业的建造活动对我国生态环境的造成了严重破坏:1986年至1996年,耕地平均每年净减少近50万公顷；每年因生产建筑材料而消耗的各种矿物资源多达50亿吨；大量的砂石采集、矿石采掘造成河床、植被、土壤破坏和水土流失……因此建设生态建筑是中国建筑的发展目标,生态节能已经成为21世纪设计界的
期刊
摘要：随着我国经济的持续快速发展，建筑能耗迅速增长，已占全国总能耗的近30%。在建筑能耗中采暖和空调的能耗又占到了55%左右，目前国内兴建的采用中央空调的住宅建筑普遍存在着高能耗的问题，因此解决空调高能耗问题是十分必要和迫切的。 关键词：住宅建筑；节能技术；暖通空调 中图分类号：F287.8 文献标识码： A 文章编号： 引言 近几年伴随着我国城市化步伐的加快，在各类建筑物中越来越多的广泛
期刊
本文主要研究了拟格序群上的Toeplitz算子代数的诱导理想，共分为四章．在第一章中，我们介绍了拟格序群，可传定向集，群的归纳极限等与本文有关的一些数学概念，并且研究了拟格序群的归
宇宙中恶劣的辐射环境是航天事业发展所面临的一个尖锐而复杂的问题。如何进行有效的辐射防护完全地依赖于对于辐射环境的计算机模拟，依赖于模拟所得的一些关键的能量沉积剂量
排序是运筹学的一个比较活跃的分支，并广泛应用于现代工业中。随着经济的发展和社会的进步，排序问题也不断涌现出新的模型以便满足实际所需。本文讨论了关于选择性维修和固定维