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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

低品质因数谐振筒的谐振频率测量系统

谐振筒式密度计的测量原理为谐振筒的谐振频率会随筒内液体密度的变化而变化,从而通过测量其谐振频率来达到测量其密度的目的。但由于低品质因数谐振筒在谐振频率附近的幅度与其他频率的幅度区分度太小,导致谐振难以实现。因此如何使低品质因数谐振筒达到谐振状态并测得其谐振频率,是谐振筒式燃油密度传感器激励系统的关键问题。激励系统以DSP为主控芯片,运用椭圆拟合的方法解决了低品质因数谐振筒式密度计激励系统的关键技术问题-增益测量和相位测量,运用原位计算节省了DSP大量的内存空间,同时运算量又较小。仿真结果表明,增益测量精度优于0.05%,相位测量精度优于0.05%,高于实际需要。系统在测量并记录了增益、相位差之后,利用相关算法实现了自动增益调节和自动相位调节,并实现了谐振筒的谐振,测得了其谐振频率。     

基于PTS的视频流集群同步显示技术

针对集群大屏拼接显示系统各节点机独立解码、视频流显示不同步的问题,本文分析了集群拼接显示系统的特点,提出了利用PTS信息实现集群内各节点机同步显示视频流的机制,研究了组播接收模块、Ts流拆包模块、视频解码模块和同步控制模块和拼接屏显示模块等视频流同步显示实现技术．研究试验结果证明了基于PTS的视频流集群同步显示技术的有效性．