着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.     

2.5维直流电法正演中Fourier逆变换离散波数的最优化选取

从优化模型和计算方法2方面改进点源2.5维直流电法正演中Fourier逆变换离散波数的最优化选取方法.首先利用均匀半空间点源电位的精确解,基于最小二乘法给出计算离散波数的改进非线性最优化问题;然后,利用差分进化(DE)算法进行求解;最后,研究参与计算的电极距数对模拟精度的影响.对具有解析解的典型地电模型,通过与已有文献计算结果进行比较,验证方法的可行性.研究结果表明:增加参与计算的电极距数可有效提高视电阻率曲线近源处的计算精度,并能保证较大电性差异情形下的计算精度;与现有离散波数相比,本文方法得到的波数具有更高的精度和更大的适用范围.     

一类分数阶微分方程积分三点边值问题的正解

研究了一类非线性分数阶微分方程的积分三点边值问题。利用Krasnoselskii不动点理论,获得了该问题至少存在一个正解的两个充分条件。这推广了整数阶微分方程的相应结果。     

基于单片机的多点定时温度采集与图形显示

本系统是基于STC单片机和单总线温度传感器DS18B20组成的多点定时温度采集系统,并将采集的温度数据以图形和表格相结合的方式显示在液晶屏上。该系统结构简单、性能可靠、操作简便,是主要针对需要定时采集温度数据与观察温度变化曲线的热学实验而设计的。     

二级公路建设工程质量整体管理研究

结合了笔者2007年12月至2010年7月在国道213线（西宁至景洪）云南省普洱市澜沧县至惠民段二级公路建设指挥部具体的项目管理经验,详细阐述对二级公路建设工程进行整体的动态的研究,并提出科学合理的项目管理方法。     

亚太地区逐渐成为高新技术领域创新的中心区域——对《2012年度创新报告》的分析

2013年3月,全球知名智能信息服务提供商一一汤森路透集团（Thomson Reuters）发布了《2012年度创新报告》,基于德温特世界专利索引数据库（DWPI）,展示了12个关键技术领域的创新现状,本期软科学对《报告》内容进行了简要分析。     

改性活性炭吸附去除氟硅酸中砷的研究

在本实验中,采用正交实验方法组织实验,并进一步研究确定活性炭的活化所用的酸、碱浓度及活性炭的活化时间对砷的去除率的影响.实验研究结果表明,利用一定浓度的盐酸活化改性活性炭后对砷的去除率有一定的影响,氢氧化钠改性的活性炭对砷的去除率的影响不大.而活性炭在酸碱活化剂中的活化时间对砷的去除率有一定的影响,砷的去除率随着活性炭的活化时间的增长而逐渐增加,然后趋于平衡.     

基于CDIO模式的低年级学生专业导师制

CDIO模式是工科高等教育领域经典的教育模式,注重学生创新能力、动手能力和工程实践能力的培养,在CDIO模式的基础上开展教学和教育体制改革研究是提高我国本科应用型、实用型人才培养质量的有效途径.从低年级开始为学生配备专业导师可以有效促进学生尽早适应大学专业教育,培养学生的动手能力和创新实践能力,促进学生就业,深化高校教育教学体制改革,提高学生培养质量.     

应用Maple仿真模拟光学干涉实验

Maple作为一种计算机代数系统,具有其它计算软件所不具备的显著优点.基于光波的叠加原理,利用Maple软件实现了双缝、牛顿环和迈克尔逊等典型光学干涉实验的计算机仿真,绘制了干涉图样和光强分布曲线,并分析了各种实验参数对干涉图样的影响,与实际实验结果一致.这为数字化仿真现代光学实验提供了一种好的手段.     

基于经验模态分解的大地电磁资料人文噪声处理

将经验模态分解(Empiricalmodedecomposition,EMD)方法应用到大地电磁资料的人文噪声处理中,根据人文噪声的不同来源和特征,提出基于EMD的时空滤波器或硬(软)阈值对噪声进行抑制的方法。给出经验模态分解去噪方法的原理和步骤,并对实测大地电磁信号中常见的脉冲干扰、矩形干扰和周期正弦噪声等人文干扰进行消噪处理。研究结果表明：本文提出的噪声改正方法是有效的,突出了有用信号的信息,改善了受干扰大地电磁数据的质量。