共关系的基本性质

共关系(corelation)是关系的对偶概念。共关系理论可为共代数行为等价及共等式规范的研究提供一条新的途径。文章使用范畴理论研究共关系的基本性质,讨论共关系与关系之间的对应,以及等价共关系、共等价共关系等。特别地,还探讨了集合范畴中共关系的性质。     

松花江哈尔滨段水生生物监测与评价

为了解松花江哈尔滨市段水生生物群落状况,与地表水化学监测结果相互比较印证,从不同角度反映松花江哈尔滨市段的水质状况,更加全面地评价水环境质量,该文收集和整理了哈尔滨市环境监测站"十一五"期间水生生物样品监测数据10519个,从4个断面检测的5门38属、38属、24属的着生藻类群落、着生原生动物群落和底栖生物群落的指标进行分析,运用藻类污染指数、均匀度指数(e)和生物学污染指数(BPI)研究等方法对松花江哈尔滨段河流水生生物进行监测和评价,以此作为水环境污染评价的重要参考.研究得出:1"十一五"期间哈尔滨水质有所好转;2从检测结果分析得出水生生物对水质质量变化更为敏感.     

共代数方法:研究状态和观察的数学理论

作为代数的对偶概念，共代数概念在20世纪90年代中后期以来在国际上得到了理论计算机学界的广泛关注。对于计算机科学而言，代数从构造的角度考察数据类型的性质，而共代数则从观察的角度考察基于状态的系统的行为。本文以一个简单的例子介绍共代数方法这一理论计算机前沿领域的基本概念，并试图阐述该方法的意义和远景。     

“十一五”期间大庆市空气质量及变化趋势分析

根据大庆市环境质量状况公报,2006~2010年的城市空气监测数据,以空气质量标准(GB3095-1996)为标准,利用spearman秩相关系数法,根据"十一五"期间空气质量监测数据,对大庆市空气主要污染物进行分析,得出以下结论:(1)从年际变化看,大庆市空气质量不断改善,空气质量达标天数不断提高;(2)大庆市监测的主要污染物SO2、可吸入颗粒物(PM10)、NO2和降尘,2010年年平均浓度均呈下降,变化趋势不显著;(3)在各种主要污染物中,降尘治理取得良好的效果.     

编译原理教学改革实践初探

编译原理是计算机科学与技术专业众多专业课程中理论与实践相结合的典范,但长期以来该课程的教学与实验内容陈旧,难以跟上软件技术迅速发展的步伐。根据作者近年的教学实践经验,提出在该课程的教学活动中应贯穿一种新的指导思想,即强调"语言也是求解问题的一种有效途径"。阐述了这一教学改革的新思路,并以此为基础重新设计了该课程的实验环节。     

类型系统λωX≤

为研究高阶子类型的范畴论语义模型,区分了带高阶子类型的类型系统中的各种上下文,并简化其中的受限全称量词类型引入规则,而提出了类型系统λωX≤,文章介绍该类型系统有关类别（Kind)算子（Operator),项（Term）的规则,及其与建立范畴论语义模型有关的结构性质。