检验实时系统的有序时段性质

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术。实时系统的性质包括瞬间性质和时段性质，显然后的检验要比前复杂得多。介绍了一类新的时段性质——有序时段性质，并检验了时间正则表达式的有序时段性质，最后分析了算法的复杂度，和相关工作进行了比较，并探讨了今后的工作方向。     

电锅炉蓄能供暖系统的节能分析

通过对一住宅小区电锅炉蓄能供暖系统的具体设计及运行经济分析 ,阐述了住宅小区使用电锅炉蓄能供暖系统的可行性及节能意义     

基于超标倍数法的属性识别模型在空气质量评价中的应用

指标权重确定的合理性对多指标综合评价模型的成功应用十分重要.属性识别模型在空气环境质量评价的应用研究中,指标确定权重分配的方法多为熵权法.本研究采用超标倍数赋权法,同时建立更加符合实际情况的分类标准评价矩阵,以构建基于超标倍数赋权的属性识别模型.经实例验证不但能使评价结果更加符合客观实际,而且可以对未实行分级的标准体系...     

警惕瓷砖放射性对人的危害

今年．国家质检总局公布了陶瓷砖产品的抽查结果，合格率为75．8％，主要质量问题集中在放射性核素含量超标严重。有关室内环境专家提醒消费者。建材中的一些放射性物质会对人的造血系统、神经系统、生殖系统和消化系统造成损伤．并引发类似白血病的慢性放射病。因此，在购买和使用陶瓷砖时都要注意。     

自然物获得权利的曲折之路

2005年11月13日,吉林石化工厂爆炸,100吨苯污染松花江。事隔仅一个月,广东韶关冶炼厂又因设备检修超标排放含镉废水,污染了粤北北江流域。2005年12月15日,环保部门在北江高桥断面监测,发现镉超标近10倍。自然物也有权利造成我国日趋严重的环境污染的原因除了责任不清、赏罚不明     

隔夜食物有“委屈”

"隔夜菜引发胃癌,隔夜茶、隔夜水有毒,隔夜木耳不能吃……"关于隔夜食品有害健康的传言似乎一直没有间断过,只需在搜索引擎中输入"隔夜食品"四个字,电脑屏幕上便会弹出成千上万对于隔夜食物有毒或致癌的页面。事实真的如此吗?我们一起来听听专家的意见。     

北京西三环路分时段车流量分析

采用实测调查的方法,在花园村观测点对北京三环主路南北双向车流量进行了分时段连续观测．获得了交通流量数据,并运用简单的数学方法深入分析了三环路现有交通状态．在此基础上指出目前三环路存在的问题,并力求给出解决途径．     

六盘水市双桥水库锰超标原因分析及处理措施

我国水库水中锰含量超标问题普遍存在,特别是饮用水源地,探索如何解决水库锰含量超标问题显得尤为重要。本文主要利用现场调查、取样检测等方法进行分析,查找双桥水库锰含量超标的原因,并提出解决水源地锰含量超标问题的处理措施,为解决水源地锰超标问题提供参考依据。     

呼唤史学传统责任的回归——《历史学宣言》的真谛

《历史学宣言》的出版在史学界引起强烈的反响,其核心内容是批判当今史学研究和编纂的"短期主义",主张"长时段"研究的回归。作者通过这一"破"一"立",倡导史学观念变革,寻求史学突破的路径。该书还阐析了近代史学转型带来的弊端及其原因,揭示了当前史学"危机"的根源。其主旨是呼唤史学传统责任的回归,在现实社会决策和公共文化中发挥积极的作用。该书集中体现百余年来史界对近代史学传统的反思,值得史学从业者在探寻史学未来发展之路时参考。     

利用低温等离子体技术脱除甲醛的研究

利用低温等离子体技术对脱除甲醛进行实验研究.设计了介质阻挡放电和电晕放电反应器,并分别加以高频交流高压和交直流叠加高压.比较了在不同工作参数下甲醛的脱除效果.实验结果表明,用介质阻挡放电脱除甲醛的脱除率及能量效率都比电晕放电的高,在低体积分数(10-5下)其脱除率可达99%以上,在高体积分数(2×10-4左右)其脱除率可达90%以上.这说明在甲醛体积分数相对于室内空气甲醛含量超标100倍内时,可利用介质阻挡放电脱除甲醛.