竹材丙酮法木质素高效分离技术研究

在一定的温度、压力条件下,利用丙酮提取竹材中的木质素,丙酮通过蒸馏回收后,可以反复利用;而通过蒸馏,得到的高纯度的木质素是重要的化工原料,整个过程形成一个封闭循环系统,基本上无三废排放;研究结果表明:当丙酮浓度为80%,液固比为10∶1,在最高反应温度160℃下保温3h,降解木质素的效果最佳;为解决制浆造纸行业废水对环境的污染问题提出了一条新的途径。     

普钙产品转化率的数值计算方法

对影响普钙产品转化率的各种因素进行了分析,利用MATLAB 软件包得到了转化率的计算公式,提出了确定未分解磷矿的比例和由倍半氧化物引起的有效磷退化幅度的方法,为生产系统的预测和调整提供了一种途径。     

HT-730改性酚醛-丁腈胶粘剂的研制

对酚醛-丁腈胶粘剂进行改性，添加5．0％的硅烷偶联剂，改善了酚醛-丁腈胶粘剂的工艺性能，提高了粘接强度，特别是降低了酚醛-丁腈胶对环境湿度的敏感性。研制的HT-730胶在环境湿度90％时仍有很高的粘接强度，同时老化性能和适用期并没有受到影响。     

基于KPCA-PSO-SVM的径流预测研究

为提高径流预测模型的准确性与稳定性,对KPCA-PSO-SVM的径流预测方法进行了研究。在分析径流影响因素的基础上,利用核主成分分析(KPCA)法对径流影响因子进行非线性特征提取,获得主成分作为支持向量机(SVM)的输入变量,建立了径流预测SVM模型,其中模型参数通过粒子群算法(PSO)进行优化。模型建立后,以新疆伊犁河雅马渡站中长期径流预测为例进行分析。预测分析结果表明,在拟合和检验阶段模型的平均相对误差分别为0.77%和7.64%,与其他预测模型比较,基于KPCA-PSO-SVM方法建立的径流预测模型有较好的预测和泛化能力,是一种行之有效的中长期径流预测方法。     

流域规划时空数据管理关键技术研究

针对流域规划工作中存在专业模型计算数据格式众多、时空数据分离、包含时间和空间信息的多方案对比不直观等问题,对流域规划中数据管理关键技术进行了研究。利用水资源分区和行政区划组合出了"流域-子流域-计算分区"不同层次的空间尺度,运用历史年月统计数据、长时间日观测系列数据,预测计算出了从规划基准年到近、远期规划水平年间不同时间粒度的成果,按照"数据集-对象图层-要素"的组织形式存储于关系型数据库中,用以构建厄瓜多尔流域规划时空数据库,实现了多格式数据集成化管理、不同尺度时空数据的整合以及多方案成果的直观表达,增加了流域规划工作中数据多样化分析的应用方式,提升了数据分析及其应用的自动化程度,通过对时空数据变化的直观模拟,提升了对比分析的工作效率。     

基于梯度投影法与随机优化算法的约束优化方法

针对带有线性等式和不等式约束的无确定函数形式的约束优化问题,提出一种利用梯度投影法与遗传算法、同时扰动随机逼近等随机算法相结合的优化方法。该方法利用遗传算法进行全局搜索,利用同时扰动随机逼近算法进行局部搜索,算法在每次进化时根据线性约束计算父个体处的梯度投影方向,以产生新个体,从而能够严格保证新个体满足全部约束条件。将上述约束优化算法应用于典型约束优化问题,其仿真结果表明了所提出算法的可行性和收敛性。     

面向个性化云服务的动态信任模型

为更好地实践云计算为用户提供廉价按需服务的宗旨,满足服务请求者的个性化需求,提出一种面向个性化云服务的动态信任模型。基于细粒度服务思想定义个性化云服务,通过引入时间衰减因子和建立高效激励机制修正直接信任值,以灰色系统理论为基础计算实体间的评价相似度,并将评价相似度和推荐者的推荐可信度作为合成推荐信任值的重要因素,同时提出一种基于评价相似度的自信因子赋值方法,以提高合成综合信任值的准确性。实验结果表明,与GM-Trust模型及CCIDTM模型相比,该模型的交互成功率分别平均提高了4%和11%。     

基于普通Petri网的梯形图中接通延时定时器的建模方法

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。     

复杂光照下的缩微道路车道线检测方法

为了解决复杂光照下的缩微道路车道线检测问题,提出了一种适用于复杂光照下的缩微道路车道线检测方法。首先运用朴素贝叶斯对不同光照下的车道图像进行分类,然后对分类后的车道图像采取相应的图像处理方法,最后运用改进的大津法和改进概率霍夫变换来检测车道线。对多段不同光照模式下的车道图像进行的仿真实验表明,该方法对缩微道路车道线检测的成功率达到95.5%,具有很强的鲁棒性和抗干扰能力。     

Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。