浅谈"馆人合一"的图书馆建筑设计理念

从人文精神的体现、服务功能人性化的体现、美学属性和绿色生态理念的体现等方面,分析了“馆人合一”的意义。     

关于AC函数的合一问题

本文考虑在自动定理证明中,一类特殊项的合一问题,给出一个简单的充分必要条件,用以判断满足结合律、交换律的两函数的可合一性,其时间复杂性几乎是线性的,且能较快地给出两AC函数的一个合一式.同样,此法可推广使用.     

追求生命的永恒与愉悦——道教对中国古代文人的人生哲学与生活情趣的影响

道家的哲学思想是为了阐发一种处世哲学。“道“是其基本理论范畴,因此,人们应师法“道“,以“道““自 然“为楷模,应“清静无为““顺其自然“。人们只有像超凡者一样,忘掉个人的功名厉害,“见素抱朴,少私寡欲“, 才可与世界之本体“道“融通一体,才不为世俗所累,才可达到一种逍遥自在的境界。这些道家精华深受中国古 代文人的青睐,他们把这种思想当做自己灵魂的避风港。     

多元统计分析课程中实践教学向理论教学的渗透

鉴于多元统计分析课程具有理论要求高、应用性强的特点,提出了实践教学向理论教学渗透的教学方法,促使理论教学与实践教学深入融合,同时列举两个教学案例加以说明,并给出三点建议.     

北京城市规划研究——世界城市及城乡一体化下的多规融合

本文从北京建设“世界城市”的宏伟目标出发,分析北京朝阳区的城市“四规合一”下的土地、空间、产业和人口规划的历史及成因。对各规划（空间、产业、人口、土地）的时间、部门、适用范围、实施主体等进行了分析。并从城市复杂系统角度出发,研究了世界城市、城乡一体化的定义,并对相关的研究进行了综述,本研究还提出了“四规合一”的逻辑框架图。最后,选取北京朝阳区作为典型进行了样本分析。     

“学做合一”实践教学体系的构建与实践

"学做合一"就是要学习者以应用为目的去学,在实践过程中去学。秉承"学做合一"的思想,本文概要阐述了"学做合一"的实践教学体系的构建、保障措施,实践效果。     

浅析税务改革对企业税务筹划的影响

企业集团的税收筹划是指企业集团基于法制规范,通过对集团内部各成员企业的融资、投资以及收益实现的进度、结构等的合理安排,尽可能减少不必要的纳税支出,以谋求最大的纳税利益,实现税后利润的最大化或税负最小化目的的活动。就企业集团而言,税收筹划是企业集团财务管理决策的重点之一,是集团发挥资源一体化整合优势与管理协同优势,实现整体资源配置的秩序化与高效性的重要保证。于2008年1月1日起生效的中国新税法将对各类企业在经营业务模式、投资架构和地点以及资本结构等方面的决策产生影响,本文就这些影响做出了分析。     

"体教研合一"体育后备人才培养模式的可行性研究

运用文献资料法、访谈法、问卷法和逻辑论证法对"体教研合一"体育后备人才培养模式的可行性进行了分析、论证.从分析目前我国体育后备人才培养的现状,及我国体育后备人才未来发展规律出发,提出了解决目前普遍存在的"学-训"矛盾的设想,及加强运动员的科学研究能力,实现可持续发展的人才培养目标.     

基于数字电视系统的数字业务广播平台

数字业务将广泛地渗透到数字电视广播系统中．为了使各种数字业务可以有公共的运作环境，提出了数字业务广播平台的概念，并介绍了实现的模型、功能、结构、接口及关键技术．最后阐述了该平台与三网合一的技术趋势的关系．     

带量词的合一算法

Ｒｏｂｉｎｓｏｎ于 １９６５年提出了归结原理，其主要工作是 Ｕｎｉｆｉｃａｔｉｏｎ算法。这个算法只能处理不带量词的子句公式，它不能用来发现定理的自然演绎证明。本文的算法能处理量词，它能用在基于自然演绎的定理证明系统上。文中给出合一定理的证明，基于此算法的自动自然演绎系统已实现，用它证明了Ａｎｄｒｅｗｓ；Ｂｌｅｄｓｏｅ和Ｐｅｌｌｏｔｉｅｒ挑战性问题。