摘要：提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。

摘要：以走滑断层为边界的隆升剥蚀区和山前沉积区组合是盆山体系的重要类型之一。由于走滑断层两盘不断发生相对滑动,因此走滑断层两侧的源区和沉积区之间的空间关系随走滑运动不断发生变化。走滑断层两侧的源-汇系统之间的耦合机制是一个有待研究的问题。针对这一问题,本文设计了一个简化的构造地貌砂箱实验,用来揭示源区特定母岩的沉积物分布特征以及两者之间的时空关系。实验结果表明,特定母岩在沉积区的沉积信号分布范围受包括山前洪积扇形态、岩体在流域内的分布等多种因素影响。由于洪积扇向沉积区呈扇状展开的形态特征,沉积信号在离走滑断层更远的位置分布范围更宽。当一个岩体分布在不同流域内时,其沉积物分布在两个洪积扇内,从而使其沉积信号分布范围更宽。相反,规模较小的洪积扇会被相邻较大的洪积扇限制形态从而使得沉积范围变窄。由于上述原因,在利用沉积信号和岩体之间的错开距离计算获得的走滑速率,可能会低估或者高估真实的走滑速率。本文的实验为研究以走滑断层为边界的盆山耦合系统及其源-汇体系提供了重要的模型参考。

摘要：通过轴对称缺口圆柱试件设计,消除了端面摩擦对金属(特别是延性金属)试件压缩变形行为的影响。基于压缩过程中外力功与试件内能之间的能量守恒原理,推导了压缩流动应力的近似修正公式,并给出了相应的迭代修正过程。针对铝合金2024,利用修正后的流动应力-应变关系对压缩过程中试件的最小横截面直径和内能进行了预测,并与实验结果进行了比较。研究结果表明:在整个压缩过程中,试件的最小横截面直径的预测值与实验值吻合,且试件内能与实验外力功始终保持一致,从而验证了该修正方法的有效性。

摘要：归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。

摘要：以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math.介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的StripS算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机.以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法.当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.

摘要：榫卯节点是木构建筑、木构家具基本的连接方式之一,历史悠久,延续至今。本文试从工具演变的角度,分析榫卯节点的发展变化,归纳出人、工具、榫卯节点三者之间关系的发展趋势。当今在数字建造领域,建筑师及设计者无需具体娴熟地掌握木工技法,而是依托数字化木作工具平台,即可全过程实现木构榫卯节点的设计与加工。榫卯节点的数字化设计与加工拓展了建筑与家具形式,也对设计者的能力提出了新的要求。

摘要：针对智慧矿山建设和现代煤矿安全生产的要求,在分析现有技术后提出了煤矿井下移动目标定位跟踪的新方案。通过在巷道内铺设有源RFID位置标签,利用矿工携带的便携式带有阅读器、环境传感器、矿灯、Zig Bee无线传输模块、一键救援的新设备(多功能阅读器)跟踪定位矿工的移动。在多功能阅读器上通过RFID中间件完成矿工位置计算,然后将环境传感器的监测数据和阅读器的位置信息通过无线传感器网络传输到井上应用服务器。在实验环境下验证了系统的设计思路,并完成了相应的系统软件设计。该软件能够完成井下人员移动位置跟踪和周围工作环境的监测等功能。该系统不但可以独立使用,还可以为应急救援提供有价值的矿工位置信息支持。

摘要：计算机软件和算法为建筑师带来了非线性建筑形式,由此产生了非线性建筑建造工程的需求。本文使用机械臂混凝土加工系统提高了建筑构件加工的效率,针对非线性建筑构件加工难度大、安装难度大等特点,通过上海智慧弯步行桥工程进行应用探索,总结了一套使用机械臂混凝土加工系统建造建筑的工程应用流程及工艺,展示了机械臂混凝土加工系统在建筑建造中的优势,对未来更多相关建筑工程有示范意义。

摘要：基于金属橡胶减振器实际服役场景,设计了金属橡胶减振器横向和轴向准静态加载夹具,获取了5种型号共175个金属减振器横向和轴向准静态力学性能数据。借助数据分析软件对试验数据进行高阶多项式拟合,成功确定了5种金属橡胶减振器的横向和轴向载荷-位移曲线平均值和性能边界。结果表明:减振器横向和轴向载荷-位移曲线分散性并不服从常见的高斯概率分布规律,且难以同时兼顾,轴向加载时MR2型减振器分散性最小,MR3型减振器分散性最大,而横向加载时MR3分散性最小,MR2分散性最大。相关性能边界可为金属橡胶减振器的选型和安全性、可靠性评定提供重要支撑。基于μCT三维断层扫描分析设备,亦建立了金属减振器中金属丝组件的三维编织形貌,并成功确定了不同高度区域金属丝体积。

摘要：通过对丽江古城河道复杂、风貌多变的特点描述,对古城河道原真性、趣味性、多样性的整治风格和整体性、提升性、因地制宜的整治艺术特色的概括,从中得出3点启示:动态发展,地缘发展,"三本"发展,旨在为我国历史文化名城发展提供有价值的参考.