函谷关考证——关中要塞研究之二

本就秦函谷关、汉函谷关和东汉函谷关的建关时间、迁关原因、关城位置、关城状态以及发生的重大军事活动等进行考证论述。     

在超凡越圣的伟人眼中无穷大n总≈0——符合实际的全新数学必取代几千年井底蛙数学

近似计算常识n＋1000n≈0＋1000n揭示式中由1→∞的n相比下总≈定量0,其所取各数n相比下全都是可忽略的极小正数,更谈不上n→∞能任意变大取一切非0自然数n。由此可见书上各取正数的无穷大y均相比下≈定量0,相应的1/y→0也有相比下总距0极远的另一面。本文揭示N内暗含有〉＂任给定正数＂M的无穷大自然数n〉M。     

坚持“顶天立地” 为“三农”提供科技支撑

近年来,中国农业大学以科学发展观为指导.抓住国家高度重视"三农"问题和学校进入"211工程"和"985工程"建设等重大发展机遇.将提高科技创新能力和服务"三农"的支撑能力作为建设"世界一流农业大学"的关键和突破口,在发挥特色服务"三农"的同时,加快了自身的建设和发展.     

切实保障大灾之后无大疫

史书中所谓"大疫",是指灾后因传染病和其他原因造成的大量非正常死亡现象。中国预防医学科学院于1998年提出了"大灾之后无大疫"的3条标准:①灾后因传染病死亡的人数要远远低于直接因灾害死亡的人数;②没有重大传染病特别是烈性传染病的流行;     

我校理科科研工作的回顾与思考

总结理科各系在科研队伍组建、科研项目申请及科学研究成果等方面的工作成就。指出目前存在的问题并对中央民族大学理科今后科研工作的发展作出几点思考。     

数字化科研项目信息网络服务系统建设构想

围绕科研项目管理的数字化、网络化发展趋势,针对目前科研项目信息分布分散、获取不便、统计困难等现状,在数字化项目档案的基础上,将各类科研项目信息如:项目申报系统、奖励申报系统、奖励评审系统、奖励推荐系统、项目档案信息系统及历年计划项目、获奖项目等基本信息进行整合、集成,为科研项目的管理和服务提供"一站式"网络平台。     

《科技导报》“科技纵横捭阖”栏目征稿

<正>"科技纵横捭阖"栏目收录对学术热点、前沿,学术争论、争端,科学与文化,科学人物介绍,海外科研、留学经历,科学史,科学渊源,科学决策、学术会议、科学活动,以及科研经费、科研项目申报、考试等方面的杂谈文章。每篇文章约2200字,要求求实、具体,行文深入浅出、言简意赅、逻辑清晰、有理有据、观点鲜明、切中要害,可读性     

重大水利工程建设的区域社会系统及其稳定性研究

本文阐述了重大水利工程建设区域社会系统的特征,视重大水利工程建设项目为外部干扰,将社会系统结构划分为七个子系统,构建出重大水利工程建设区域社会系统的逻辑结构模型,基于ISM解释结构模型技术对重大水利工程建设区域社会系统进行层次化处理,得出社会心理系统是影响重大水利工程区域社会稳定的最终系统,而决定区域社会系统稳定的深层原因是社会保障机制和控制体系的完善程度。     

关于高校科研项目档案的几个问题

从意识、特殊性、收集归档、保密性、开发利用等五个方面提出了高校科研项目档案的若干问题，并探讨了解决这些问题的办法．     

蒙太格语法产生的历史背景

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.其方法是,首先将语句映射为内涵逻辑中的翻译语言,然后给出这种语言的解释.本文主要阐述蒙太格语法产生的历史背景,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统,并将这种传统与语言学中的语义学传统相对照,后者表现出了与蒙太格理论的重大的和富有争议的不同.