一种子句重构的增强Tableau算法

利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记,并设计一组推理规则以构建这样的完整树/图,从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上,空间性能有明显提高.此外,虽然文中只提供针对SI语言的规则和证明,可是这种处理思路同样适用于其它描述逻辑语言,因而具有一定的推广价值.     

基于用户模型匹配的水情信息可视化研究与实现

水利信息化平台发展迅速,但水情信息具有来源广泛、类型丰富的特点,用户难以在多而复杂的水情信息中快速找到自己想要的水情信息。通过水情信息可视化的方法,将水情数据转化为用户可以直观理解的视觉形式,定制个性化的地图、设计不同用户界面风格。为解决大量水情信息可视化产生的视觉混淆问题,采用基于用户模型匹配的推荐算法分别对水情站点进行推荐、实现水情信息的过滤,对推荐站点重点可视化。同时,为了增强个性化展示的效果,还采用基于概率的用户模型匹配算法为不同的用户匹配个性化水情信息可视化界面。     

江蓠漂白液清洗方法对提取琼胶的影响研究

针对江蓠琼胶加工过程中漂白液清洗不当造成的质量不稳定问题,探讨了清洗方式与江蓠、提胶率和凝胶强度的因应关系,提出了反冲和喷淋相结合的清洗方法,研究结果表明,采用这一方法,在其他工艺条件相同的情况下,可以显著提高提胶率和产品凝胶强度。     

基于时域积分的泄漏声波信号增强方法

在管道泄漏检测中,泄漏信号的信噪比是影响误报和漏报的主要因素。传统的小波去噪和EMD分解方法受小波基选择、分解尺度选择和重构分量选择的影响难以保证稳定、有效的信号增强效果。通过分析动态压力变送器的传递函数,发现动态压力变送器的输出信号中缺失了反映声波信号低频响应特性的积分项,提出了基于时域积分的、增益可调的泄漏声波信号增强方法,现场实测数据的测试结果表明:基于时域积分的泄漏信号增强方法具有稳定显著的信号增强效果和定位精度,无需复杂的参数寻优,为微小泄漏的检测以及减少误报和漏报提供了有效的技术支持。     

"青岛软控"研制出轮胎动平衡试验机

前不久，由青岛高校软控股份有限公司自行研制的“QLP-系列轮胎动平衡试验机”通过技术鉴定，该试验机适用于轿车、轻卡胎及载重子午胎的动平衡试验，其主要性能指标已达到国际先进水平，可替代进口产品。     

神经性贝类毒素免疫亲和柱的制备与应用

通过纯化PbTX-2单克隆抗体,以琼脂糖凝胶(sepharose 4B)为载体制备神经性贝类毒素(NSP)免疫亲和柱,并建立NSP的免疫亲和柱净化—液相色谱—串联质谱分析方法。样品以含80%甲醇水溶液提取,PBS缓冲液稀释,经过NSP免疫亲和柱净化和富集后进行LCMS/MS测试分析。同时对上样液、淋洗液、洗脱液等亲和柱参数进行优化。结果表明:NSP免疫亲和柱对贝类样品有很好的净化作用,降低了贝类基质中脂肪、蛋白质、色素、分泌黏液等杂质干扰,提高了样品回收率。在40～800μg/kg范围内样品加标平均回收率为82.95%～112.95%,相对标准偏差为1.27%～2.94%。该NSP免疫亲和柱净化效果强、灵敏度高且受基质干扰小,适用于贝类中神经性贝类毒素的分析测定。     

60Co-γ射线及微波辐照双重作用下淀粉的结构表征

通过60Co-γ射线及微波双重辐照制备辐射变性淀粉,测试辐射变性淀粉的糊化温度及溶解度.同玉米原淀粉和H2O2氧化淀粉相比,γ辐射、微波改性亦能提高淀粉的糊化温度和溶解度,降低淀粉黏度;采用丁醇沉降法分别测定其直链、支链淀粉含量,得出辐射变性淀粉的直链淀粉含量高达58.9%,相比玉米原淀粉,辐射变性淀粉的支链淀粉的降解...     

中国橡胶工业协会技术经济委员会首次工作会议在青岛隆重召开

20 0 4年5月1 0～1 1日,中国橡胶工业协会技术经济委员会首次工作会议在青岛隆重召开,来自中国橡胶工业协会技术经济委员会的30余位资深专家出席了会议。会上总结了技术经济委员会成立以来的工作,确定了技术经济委员会工作的发展方向,并编制了“中国橡胶工业发展战略研究”的工     

光栅尺原理与故障检修

本文以KA-300B光栅尺为例介绍了数控检测系统的构图及原理.给出了KA-300B光栅尺结构图以及电路原理图,重点分析了光栅尺读数原理。简述了光栅尺的故障现象,并详细叙述了光栅尺故障检修过程与步骤。     

捆绑式望远镜中间块对镜筒指向误差的影响分析

运用SolidWorks软件的静态分析模块,将捆绑式望远镜中间块的动态分析转化为0°~90°范围内,均匀分布的18个位置的静态分析。中间块每转动5°,对其上基面的镜筒连接圈的位移变化进行数据采集一次,计算出各镜筒之间的夹角变化值并进行对比,最终得到镜筒之间的最大指向误差。此方法为解决同类问题提供了参考价值。