排序方式: 共有10条查询结果,搜索用时 15 毫秒
1
1.
2.
讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n〉3).给出了G3的真值表,它是G2值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较. 相似文献
3.
4.
海口作为我国唯一的热带滨海省会城市,具有一定的特殊性,在国家推动海南国际旅游岛建设的整体战略下角色突出、地位重要。研究从海口的独特性和中心地位出发,结合国际旅游岛的建设要求,探讨了新时期海口城市功能体系完善和空间结构调整的路径与重点。海口城市功能体系的构建应围绕"国际旅游岛中心城市"和"最精最美省会城市"两个目标展开,并带动区域、市域和主城区三个层次的空间调整。区域层面的重点是协调海口与周边市县的关系,增强海口的中心地位,打造"省会经济圈";市域层面的重点是客观识别市域南北空间发展的差异性,分别加以引导,同步推进城乡统筹发展;主城区层面的重点在于有针对性地调整和完善功能布局。 相似文献
5.
一、现状区域锅炉房供暖,一般有间歇供暖与连续供暖两种方式。过去习惯采用的间歇供暖是民用蒸汽供暖方式的沿用。蒸汽供暖的特性,决定了它的非连续性。而热水供暖则不同,它从设计本身就要求其连续供热。采用间歇供暖的方式,开炉次数少,停炉时间较长。一般情况是,每天早、晚开炉两次,最多中间再加一、二次,供暖时间是 相似文献
6.
随着中国各主要城市新城开发渐趋饱和、外延式扩张逐步收紧,城市发展和土地利用的焦点正在回到旧城,因而最近10年城市更新也成为中国城市管理中一个日益重要的公共政策领域。从管治的角度,对城市更新的概念和内涵做了重新审视,指出现代城市更新并不仅仅是一种物质层面的重建活动,而是一个在全球化社会经济大变革背景之下地方层面发生的动态的政治过程,须从"过程、价值及体制"三大要素认识其本质特征。同时,亦尝试从宏观管治环境、管治结构、管治理念/议题、管治机制、管治效能等方面入手,建立一个初步的城市更新研究框架,作为深入理解城市更新管治体系或进行跨城市比较研究的分析工具。 相似文献
7.
结合我校的实际情况,对信息与计算科学专业建设模式进行了探讨,并运用全面质量管理体系(TQM)框架,搭建具有我校特色的信息与计算科学专业建设平台.建立起以社会和用人单位需求为导向的新型学科专业建设模式,并运用PDCA循环工作程序对专业建设进行持续改进,使专业建设质量得到了良好的保证. 相似文献
8.
9.
我国各地积极推进的智慧城市建设,纷纷陷入建设方案水土不服、建设措施难以落地的困境。数字孪生城市理念的提出为智慧城市实践带来一种最为可行的尝试。重点分析了数字孪生城市作为物理世界的数据闭环赋能系统的内涵和四方面特征,以系统论和生态系统理论为理论基础,提出基于立体感知的数字孪生城市构建方式,重点研究了三大支柱和三方面建设框架,以实现针对城市这一开放的复杂巨系统的可视化、智能化管理。 相似文献
10.
为了有效地实现振源方位估计,设计了由三个加速度传感器组成的三角形阵列时延系统;分别推导了基于单三角形阵列的定向算法及基于双三角形阵列的定距算法,并且分析了单三角形阵列时延系统的定向精度,从而探讨了单三角形阵列的定向精度与双三角形阵列的定距精度之间的关系;最后通过实验,验证了单三角形阵列对振源方位估计及双三角形阵列对振源距离估计的有效性。 相似文献
1