共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

工程演化论的研究内容、范畴、方法与意义

工程演化论是工程哲学研究的新领域,它是探索工程演化进程机理和规律的理论。本文讨论了工程演化论研究的缘起、研究对象与内容,提出了工程演化论的基本范畴和研究方法,指出工程演化论研究具有重要的理论意义和现实意义。     

土地利用类型变化对城市大气边界层特征影响的数值模拟

利用ENVI和IDL,GIS以及上海市航片,将ARW-WRF中尺度模式中的下垫面土地利用类型数据中上海市部分做了修正:对照模式中24种土地类型分类,将原本定义为农作物耕地和草场,草地,灌木丛,以及沙土和淤泥的部分,根据实际情况改为城区和在建城区,扩大了城市的范围,获取城市建筑物高度信息以得到更精确地粗糙度数据,使其与实...     

安全事故电视新闻语言探讨

以安全事故电视新闻语言应当具备的基本要求为基础,结合当前的实际状况,探讨了安全事故电视新闻画面语言的发展趋势,明确了其意义和目的所在.     

第一类Baire函数连续点集的一个注记

利用集合论的方法,证明了欧氏空间Rn上第一类Baire函数的连续点构成的集合是Rn空间中的第二纲集.     

公路交通事故黑点总体特征分析

采用改进的事故频数法选取了江苏、安徽两省部分二级以上公路事故黑点,运用事故数及致死事故率2个指标对事故黑点数据进行统计分析.得出了公路事故黑点总体特征表明:公路事故黑点所占里程短、事故数集中,事故致死率略大于一般路段;各等级公路事故黑点在事故时间分布、季节及气候影响、事故的道路线形分布等特征方面具有相似性,在事故类型分布、事故形态分布、事故空间分布等方面又具有不同特征.     

我国特别重大事故发生规律及特征分析

基于对我国2000～2008年发生的118起特别重大事故的统计分析,归纳总结出特别重大事故发生规律和特征：时间分布上存在月份、季度、小时和年度差异性;行业分布上存在不均衡性、不确定性和集中性;地域分布的不均衡性;事故后果的严重性和事故原因具有的共性等。针对特别重大事故的发生规律和特征,给出了相应的事故预防措施建议。研究结果对特剐重大事故的有效预防具有重要参考价值。     

群与模范畴中的积和余积

积和余积是范畴学中的一对对偶概念,作为范畴学的一对基本概念自然在其具体对象中就会有所体现,以群,模为对象来讨论它们的积和余积。     

钻孔灌注桩施工质量事故防范

钻孔灌注桩是工程中常用的基础形式,其成桩质量对工程安全有着至关重要的影响。文章简要阐述了钻孔灌注桩施工过程中容易出现的几种质量事故以及相应的防范措施。     

蒙古族哲学范畴论

提出并论述了研究蒙古族哲学范畴的几个基本理论问题:一是蒙古族哲学范畴研究的现状;二是蒙古族哲学范畴系统构想;三是蒙古族哲学范畴的真实与解释;四是蒙古族哲学范畴史考察;五是蒙古族哲学范畴发展史特点。