摘要：在农业信息化大背景下,文章思考以物联网Iot、传感器、摄像监控、自动化技术,对山羊养舍进行信息化、智能化升级和改造,提出了一种山羊养舍的环境监测和自动化控制系统的设计方案,并进行了初步实践。通过UML建模语言,使用VISIO2013工具设计系统UML用例图、部署图;使用CAD设计羊舍、构件的结构、布局、剖切图。实践中,视频监控选用先进AI训练摄像监控及其系统;选用NH3传感器、温湿度传感器及其云平台软件采集和分析数据。最终实现了羊舍智能化管理,对山羊怀孕检测和看护起到了较好的效果。本研究期望使用物联网技术助力山羊智慧养殖和高繁研究,为智慧农业贡献力量。

摘要：保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。

摘要：热工学是机械、热能类专业普遍开设的专业基础课,教学过程存在理论性强、公式多、课时受压缩等困难。基于32个总学时,分别按照“强化理论基础、突出主要应用、保持框架完整”的思路和“基本概念→基本理论→基本性质→基本应用”的认知逻辑,对热工学国家级精品教材内容进行取舍和模块化编排;基于OBE教学理念设计教学目标、支撑指标及权重,建立教学目标和支撑指标的矩阵关系;利用超星学习通平台完成模块化教学内容线上建设,构建“设计→运行→监督”全程线上闭环考核管理模式,实现了理论基础与工程实践教学内容的有效衔接,明晰了教学成效基本评价体系,保障了过程考核透明化和客观性。

摘要：旅游线路的设计是旅游问题中极其重要的一环,当前研究大多是探讨旅游线路设计的原则或一些注意事项,或者直接转化为组合优化问题进行处理,这些研究均未考虑游客的各种不同需求。由于散客的旅游选择具有更大的自主性与复杂性,综合考虑了旅游线路上交通工具的费用、时间开销及散客对交通工具的满意度,并结合实际研究散客在旅游中途换乘交通工具的时间及费用开销,建立了散客乡村旅游路径选择的多目标数学模型,该模型综合考虑乘车费用、乘车时间及满意度三种目标。为有效求解该多目标模型,设计了一种基于优势排序数的多目标离散粒子群算法,最后用一个实际例子进行验证,结果表明该算法能高效获得众多的Pareto最优解,适合各类散客根据自身情况进行旅游线路及交通工具选择,也可供各旅行社设计旅游线路时参考。