一次性求解多个SAT问题

在实际应用中通常需要求解对应CNF（ConjunctiveNormalForm）公式之间仅相差几个子句的一系列SAT（SatisfiabilityProblem）问题,但目前绝大多数SAT求解算法都是针对单一SAT问题设计的。为此,基于DPLL提出了nDPLL算法,并在随机问题上对该算法的效率进行测试。实验结果表明,nDPLL算法能一次性求解多个SAT问题,对于特定范围的CNF公式集具有较高的效率,CNF公式集的规模越大、相近因子越高、子句数和变量数的比值越大,则nDPLL算法的效率越高。     

SAPMAC法蓝宝石单晶的生长、检测与超声震动加工

分析SAPMAC法生长大尺寸蓝宝石晶体的工艺技术,并对制备的晶体质量进行了检测与分析.研究结果表明:采用SAPMAC法生长的蓝宝石晶体结构完整,FHWM值很小,只有11arcsec;缺陷密度在102/cm2水平,纯度高于99.995%,常温下晶体在3～5μm波段红外透过率高于85%;用超声振动加工技术对大尺寸蓝宝石单晶进行加工,设计了专用金刚石磨削复合刀具,提高了加工效率.     

基于VTK的虚拟心脏切面交互式可视化方法

为解决传统医学影像技术方向性单一的问题,满足临床医学从不同方位从整体或切面等多角度对器官组织进行观察分析的需求,提出了心脏核磁共振成像(MRI)数据的体可视化和任意角度切面的可视化方法.基于可视化工具包VTK,在VC6.0开发环境中,运用光线投射算法设计并实现了MRI羊心脏切片数据的三维体绘制,横断、冠状、矢状位置的标准切片、切面以及任意角度、任意位置切面的绘制技术.通过简单的鼠标操作就可以实时的对切面进行移动、旋转、缩放等交互操作.实验结果表明:该方法有助于医生从多个方位观察整体器官组织和切面形态.在疾病预防、医疗诊断、手术方案制定以及术后评价中具有较大的实用价值.     

三维编织复合材料编织工艺过程仿真研究

总结了四步编织工艺的运动规律。对纱线的空间坐标进行三次B样条曲线拟合得到拟合坐标;设计实现了纱线实体的静态模型算法,根据拟合坐标得到纱线空间网格坐标并建立了纱线实体的静态模型;实现了纱线轨迹的动态展示以及实体生成过程的动态展示;构建了GUI界面并编译成了可脱离Matlab环境的独立运行程序。     

供配电系统无功补偿方案的选择

介绍无功补偿的作用、方法及原则,分析炼钢供配电系统负荷性质及无功补偿的必要性,并提出各供配电系统的无功补偿方案。     

高效脱漆剂的研制

根据环氧改性的有机硅树脂涂层在有机脱漆剂中的溶胀时间和脱落时间,确定了最佳的脱漆剂配方组成,研究了脱漆剂中各成分对脱漆剂性能的影响。     

基于傅里叶分析方法的钢琴音色识别与电子合成系统研究

基于傅里叶分析法设计钢琴音色识别与电子合成系统,详细分析系统功能模块,就音色而言,音色识别是系统关键环节,以数字化识别法提取音色特征矩阵,获取音色倍频点,同时通过包络函数提取,健全音色识别的电子合成,函数可表征音强与时间变化关联性,以此识别钢琴音色。通过系统测试分析,结果表明,基于傅里叶分析法的钢琴音色识别与电子合成系统在600-2100Hz频率时,保持在稳定状态,性能良好;音色识别正确率高,说明系统设计完美度较高。     

双层微梁结构谐振器中波动温度场的研究

针对两端固定双层微梁结构谐振器,利用格林函数,求解了一维热传导时梁中的波动温度场分布函数.通过解析模型计算结果与有限元数值模型计算结果的比较,验证了所得解析模型的有效性,并讨论两种模型的优缺点.研究结果表明:波动温度的幅值仅为平衡温度的0.06％左右,由于波动温度场产生的热应变也非常小;激振频率对波动温度场的影响非常大;微梁的总长度与材料比对温度场也有影响.     

基于多核学习卷积神经网络的稀疏数据推荐

针对当前稀疏数据推荐准确率低的问题,提出一种基于多核学习卷积神经网络的稀疏数据推荐算法.将项目的辅助信息送入卷积神经网络学习特征,将向量在可再生核希尔伯特空间组合,利用多核学习技术增强卷积神经网络的特征学习能力;基于学习的卷积特征集初始化非负矩阵模型,通过非负矩阵模型实现对缺失评分的预测.实验结果表明,该算法有效提高了稀疏数据集的推荐性能,验证了多核学习卷积神经网络的有效性.