大规模无线传感器网络覆盖优化算法

为了增强三峡库区水环境监测的大规模无线传感器网络（WSNs）覆盖效果和延长大规模WSNs生存时间,采用混沌人工鱼群算法。首先以最大化网络覆盖率作为优化目标,建立WSNs覆盖模型,将具有遍历性特点的混沌系统引入到人工鱼群算法中,能够有效避免算法长时间位于局部极值附近。仿真结果表明：改进的人工鱼群算法提高了网络的覆盖率,有效减低了网络的成本。     

溶解氧预报模型及误差校正

针对污水处理过程中,由于溶氧仪表面生成生物氧化膜,产生“钝化”现象,造成了溶氧值测量误差,以至影响生产;又因为需要频繁地清理溶氧仪,造成了人力、物力、财力的浪费,降低生产效率等问题,利用人工神经元网络建立了溶解氧预报模型。基于此模型,给出了传感器误差校正的具体方法。当误差超出给定界限时,给出故障报警。现场应用表明,该方法在一定程度上延长了溶氧仪清理的间隔时间,节约了生产成本,提高了生产效率,收到了较好的预报效果。     

基于多源数据的阿勒泰地区雪深反演研究

利用阿勒泰地区 2010~2012年冬季(11月~次年2月)3类积雪数据:风云三号微波成像仪(FY\|3/MWRI)反演的雪深数据、美国人机交互式多仪器冰雪制图系统(IMS)积雪面积数据、阿勒泰及周边地区实测雪深数据,进行积雪深度的反演研究。通过结合3类积雪数据的各自优势,建立修正模型,最终得到较准确的研究区雪深数据。同时通过编程实现了相应模型的操作平台,为今后研究区积雪业务化监测做好准备。结果表明:模型提高了FY\|3/MWRI数据反演阿勒泰地区积雪深度的准确性,改善了FY\|3/MWRI数据在阿勒泰地区雪深反演偏低的缺点,使微波与实测平均雪深误差由修正前的21.7~12.1 cm缩小为修正后的3.7~1.5 cm。     

Towards the Semantics and Verification of BPEL4WS

In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition and orchestration. We propose a language μ-BPEL that includes most primitive and structured activities of BPEL4WS, and define its semantics. As the Timed Automata (TA) is powerful in designing real-time models with multiple clocks and has well developed automatic tool support, we define a map from μ-BPEL into composable TA. Therefore, the properties we want to check can be verified in TA network correspondingly. Furthermore, we prove that the mapping from μ-BPEL to TA is a simulation, which means that the TA network simulates correctly the corresponding μ-BPEL specification. The case study with model checker Uppaal shows that our method is effective, and a Java supporting tool based on Uppaal model checker engine has been developed.     

高效软硬件划分算法及其提升技术

软硬件划分是软硬件协同设计的关键环节,它决定系统中哪些组件由软件实现,哪些由硬件实现。软硬件划分问题已被证明是NP完全问题。将一类软硬件划分问题看作变异的0-1背包问题,在求解背包问题的算法基础上构造出软硬件划分问题的优质启发解。此外,采用禁忌搜索(Tabu Search)算法对求得的启发解进行改进,在软件开销和通信开销满足一定约束的条件下,使得硬件开销尽可能小。实验结果证明,所提算法对当前最新算法的改进最大可达到28%。     

基于ε-Connections的旅游领域本体构建

针对传统本体构建方法的局限性,提出一种基于ε-Connections 理论构建旅游领域模块化本体库的方法,基于改进的Tableau 算法,利用Pellet 推理机实现对多个本体的联合推理.实验结果证明,该模块化构建方法可以有效降低本体构建的复杂度,有利于本体的维护和更新,提高本体重用模块抽取效率.     

基于CORBA网络信息管理的研究

本文通过运用CORBA技术对网络信息管理进行研究，提出了一个基于CORBA的网络信息管理架构模型，并对网络信息管理的实现技术进行了分析。     

基于批次图像化的卷积自编码故障监测方法

针对间歇过程的非线性、多阶段性等特点及其三维数据形式,提出基于批次图像化的卷积自编码故障监测方法.首先,将每个批次数据看作一个灰度图,每个批次中数据变化可以看作图片的纹理变化,利用卷积自编码器(convolutional autoencoder,CAE)直接对间歇过程三维数据进行特征提取,避免三维数据展开成二维时导致的信息丢失,无需分阶段充分考虑批次全局信息,有效提取过程变量相关关系的动态变化;同时,利用卷积操作提取局部特征信息,自编码网络可以解决非线性问题,实现特征的无监督学习;然后,使用一类支持向量机(one-class support vector method, OCSVM)描述特征分布,构造新的统计量,确定控制限,实现故障监测;最后,通过将该方法应用到Pensim仿真平台及重组人粒细胞集落刺激因子发酵的实际生产数据,验证所提方法的准确性和有效性.     

基于IntelPXA270平台的嵌入式流媒体播放器设计

随着车载导航系统的飞速发展,具有视频播放能力的车载终端逐渐成为新的热点.本文根据这一需求设计了一种嵌入式流媒体播放器,方案基于Intel PXA270的硬件平台及嵌入式Linux的软件平台,采用无线上网方式,可支持ASF、RM格式的流文件解压,能够播放常见的MP1、MP2、MP3、WAV音频和先进的MPEG-4视频,并可通过软件升级加入对其它格式的支持.     

锂离子电池正极材料硫化聚丙烯腈的研究进展

用单质硫和聚丙烯腈进行硫化,可以制备具有电化学活性的导电高分子材料硫化聚丙烯腈.这种材料用作锂离子电池正极活性材料,可以获得较高的比容量和较长的循环寿命.本文综述了硫化聚丙烯腈的研究进展和可能的储锂机理,并提出了进一步改进性能的方法.