基于颜色Petri网的交通信息网格系统建模与分析

交通信息网格系统以高性能计算网格环境为支撑平台,综合运用网格及Web服务技术提供交通信息服务。系统请求响应过程复杂且有功能复用,为了确保系统各响应流程设计的正确性,建立了基于颜色Petri网的分层描述模型,在模型基础上利用形式化方法验证了系统设计的正确性。     

浅谈水资源与城市建设

水资源短缺已成为国民经济持续、健康发展的制约因素,加强水资源管理,对其合理利用,提倡全民节水已势在必行。本文从如何解决水资源合理利用和城市与节水关系;开源节流;提倡全民节水以利国民经济高速持续发展。     

基于第二代小波的增强边缘的图像去噪

传统的一些去噪技术往往是以牺牲图像的边缘和细节为代价的。为了去掉图像的噪声,同时又能够很好地保留图像的边缘和纹理细节,在介绍第二代小波变换的原理的基础上,提出使用边缘检测的方法检测出图像的边缘和纹理细节,将它和该图像进行融合,用第二代小波对含噪图像进行分解,对图像高频进行自适应去噪。由于图像在去噪前融合了边缘信息,因此边缘和细节部分得到了增强。仿真结果表明：该去噪方法优于传统小波阈值去噪方法。     

中碳锰铁冶炼过程的热平衡

能源是人类赖以生存的物质基础,从六十年代以来,节能问题已越来越引起世界各国的重视。我国的能源增长速度虽然较快,但是仍远远满足不了生产增长和消费的需要,其重要原因之一就是工业企业能源利用率低,消耗高,浪费大,并且我国的新能源有限。因     

数据挖掘理论与技术

对数据挖掘的概念及所要达到的目标进行了深入剖析。介绍了数据挖掘的核心技术：人工神经网络、决策树、遗传算法、近邻算法等。对数据挖掘的应用前景进行了展望。     

Deferiprone对染铝小鼠肾脏ATP酶、黄嘌呤氧化酶的影响

目的 探讨1,2-二甲基-3-羟基-4-吡啶酮(DFP)对AlCl3染毒小鼠肾脏三磷酸腺苷酶(ATPase)、黄嘌呤氧化酶(xanthine oxidase,XO)的影响.方法 50只健康昆明种小鼠,按体重随机分为5组:阴性对照组、铝染毒组、DFP低、中、高剂量组.小鼠经三氯化铝水溶液[200 mg/(kg·d)]灌胃...     

Web服务组合时间限制一致性研究

随着Web服务技术的发展,使得利用Web服务组合来满足应用的需求成为可能。通过扩展Web服务的OWLS描述模型——加入Web服务可用时间段描述信息,使检测组合服务时间限制冲突成为可能,并给出了Web服务组合时间限制一致性检查算法,能有效地去除了存在时间限制冲突的服务组合方案,减少了因执行不合理的服务组合方案所造成的Web服务资源的浪费。     

植物模式标本的考证与数字化：以中国国家植物标本馆为例

模式标本是最重要的植物标本,是确定植物学名的依据,是植物分类学家从事植物系统分类研究必不可少的科学材料,也是开展专科专属研究、编写国家或地方植物志、进行植物区系调查研究、开发利用和保护植物资源的重要基本资料。但模式标本的人为和自然毁损难以避免,模式标本及其标签信息的数字化使得模式标本的形态、地理分布、采集等主要信息得到最大限度的永久保存,可以极大地方便模式标本信息的共享,可以为科学研究人员或相关人员提供植物形态、地理分布、历史变迁等多方面的信息。本文以中国科学院植物研究所国家植物标本馆维管束植物模式标本数字化建设为例,详细介绍了规范化整理模式标本的方法、模式标本数字化的操作流程,并通过大量实例介绍了模式标本考订的过程、常见问题的处理方法等,以期为其他单位开展模式标本数字化建设提供经验。     

影响灰铸铁组织检测评判的常见因素

从样品制备过程和检测观察过程2方面识别了灰铸铁组织评判的一些干扰因素,避免了灰铸铁组织的误判,通过灰铸铁组织的分布情况来分析铸造过程中孕育处理的优劣,得出以下结论:C型石墨是过共晶铸铁的产物,又粗又直,对于亚共晶灰铸铁中的块状石墨主要是磨抛质量不好,理解C型石墨生成机理就不会对其误判,对于铁素体、磷共晶和碳化物,也是需要理解三者的生成机理,才能做到准确评判。     

网络化制造资源优化配置系统的分析与实现

资源优化配置是网络化制造系统中的一个重点也是一个难点问题,结合成、德、绵区域网络化制造系统的开发实践,先对资源优化配置系统的总体结构进行分析,再对总体结构下的各个部分进行了详细分析和探讨,并进一步提出了各个部分的实现策略。最后给出实现的实例。