摘要：针对现有计算机辅助教学模式中普遍存在的信息利用率差,智能性、个性化较低等问题,设计一种基于数据挖掘的计算机辅助课堂教学系统。该系统模块设计采用三层B/S结构。利用信息收集模块实现学生信息数据的收集与存储;用户信息预处理模块将信息数据进行预处理后,作为个性化数据分析模块中个性化数据源的数据。通过个性化数据分析模型,采用数据挖掘并行化技术,通过K-means聚类算法和Map Reduce并行计算框架更新数据聚类中心,将聚类性能指标最小化,对个性化数据源内的数据进行有效挖掘分析,对分析后的结论进行规则化生成教学规则,通过人机交互呈现给学生,以提升教学系统的智能化与个性化。实验结果表明,该系统能够有效提升学生学习效率,资源占用率降低32.4%以上。

摘要：#SMT问题是SMT问题的扩展,它需要计算一阶逻辑公式F所有可满足解的个数.目前,该问题已被广泛应用于编译器优化、硬件设计、软件验证和自动化推理等领域.随着#SMT问题的广泛应用,设计可以求解较大规模#SMT实例的求解器亟待解决.基于以上原因,设计了一种求解较大规模#SMT实例的近似求解器——Vol Compute With Local Search.它在现有的#SMT精确求解算法的基础上加入差分进化算法,通过调用体积计算工具qhull,进而给出#SMT问题的近似解.算法采用群体规则减少体积计算的次数,差分进化方法快速地枚举各个有解的区域.另外,从理论上证明了Vol Compute With Local Search求解器可以得到精确解的下界,使其可以应用在软件测试等只需要知道问题下界的领域.实验结果表明:Vol Compute With Local Search求解器是稳定的、具有快速的求解能力,并在高维问题上具有很好的表现.

摘要：提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagation algorithm for solving QBF)系统.它将Survey Propagation信息传递方法应用到QBF求解问题中.利用Survey Propagation作为启发式引导DPLL(Davis,Putnam,Logemann and Loveland)算法,选择合适的变量进行分支,从而可以减小搜索空间,并减少算法回退的次数.在分支处理过程中,HSPQBF系统结合了单元传播、冲突学习和满足蕴涵学习等一些优秀的QBF求解技术,从而能够提高QBF问题的求解效率.实验结果表明,HSPQBF无论在随机问题上还是在QBF标准测试问题上都有很好的表现,验证了调查传播技术在QBF问题求解中的实际价值.

摘要：针对当前电子技术基础课程是要教学工作中存在的问题,结合在电子技术基础课程的实验教学中的体会,探讨了实验手段的改进及实验考核举措的加强。提出将加强学生实验基本技能的训练,培养学生设计能力与实际动手能力作为目标,并进行考核,从而更好地为实验教学服务。

摘要：应用Boson Netsim仿真软件,提出交换机上基于VLAN划分生成树的虚拟通信方案。介绍了生成树协议STP的工作原理和技术要点,设计了模拟拓扑结构图,分析了VLAN和STP的配置命令。使用虚拟主机对通信网络进行了仿真测试,结果表明STP的配置是有效的。

摘要：以鸡骨为原料,采用植物乳杆菌、木糖葡萄球菌和鲁氏酵母作为发酵剂,对鸡骨泥酶解基料进行混菌发酵,旨在最大化利用鸡骨中的营养物质。通过单因素试验和正交试验,确定混菌发酵鸡骨泥酶解基料的最佳工艺条件为:在酶解基料中分别加入5%的Na Cl和1%的葡萄糖,灭菌冷却后接种6%的混菌发酵剂(植物乳杆菌、木糖葡萄球菌和鲁氏酵母比例为1:1:1),然后于35℃生化培养箱中发酵4 d,在此条件下鸡骨泥的风味评分最佳。与酶解基料相比,发酵产物中多肽、氨基酸态氮、总酸和I+G含量分别提高了19.3%、43.7%、167.9%和33.3%,表明酶解-发酵联用技术可以作为提高鸡骨蛋白质利用率、增强风味的方法和手段。

摘要：根据高铁轨道静态检测的测量需求,设计了一种利用定位定向技术的0级轨检仪,详细阐述了其构成和工作原理,介绍了其特点。通过对比性分析论证,优选了一种测量精度高、操作方法简单且可大幅度提高测量效率的设计方案。理论仿真表明,本系统测量精度能够达到优于1.3mm/km水平。根据理论仿真结果搭建了原理简易验证设备,结合高铁测控网的测量基准,在一段高铁的弯道铁轨上进行了验证测试。从测试结果看,样机测量精度的重复性可以到达1mm/500m(1σ)的水平,10次测量效率优于500m/2h,表明采用定位定向技术的0级轨检仪具备实际工程化的潜力,以及提高测量效率和精度的能力。

摘要：为研究不同低聚糖对小龙虾饲料品质的影响,分别将低聚异麦芽糖和低聚木糖以不同添加量添加至饲料中,混匀制粒后测定饲料的含粉率、质量体积、硬度、黏弹性、沉降速度、吸水性、稳定性等物理指标,在此基础上进行体外模拟消化试验。试验结果表明,较低添加量下低聚异麦芽糖饲料的含粉率、硬度和黏弹性高于低聚木糖,较高添加量下则相反;低聚木糖饲料的质量体积普遍高于低聚异麦芽糖,且可使饲料的沉降速度下降、水中稳定性提高,但同时饲料的水分吸附能力增加。体外消化试验结果表明,随着低聚异麦芽糖添加量的增加,饲料干物质消化率、氨基酸和还原糖含量均呈上升趋势。综上表明,在饲料中添加一定比例的低聚糖不仅可有效地改变饲料的物理特性,提升饲料的加工质量,也可促进饲料中营养物质的吸收和利用。