摘要：限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,已经被证明是缓解状态空间爆炸问题的有力技术.文中遵循限界模型检测的思想,对马尔可夫决策过程提出一种限界模型检测技术,从而避免构建多端二叉图时空间的快速增长.具有非确定选择刻画能力是马尔可夫决策过程最大的特性,针对该特性首先定义概率计算树逻辑的限界语义,并证明其正确性;然后基于不同界下所计算概率度量序列的演化趋势,设计了限界检测过程终止的判断准则;最后将限界模型检测过程转换为线性方程组的求解问题.实验结果说明限界模型检测技术在证据较短的情况下,所需内存空间少于无界模型检测算法.

摘要：应不应记忆?能不能记忆?愿不愿记忆?让不让记忆?记忆存在于真实前行的生活,是活着的,不是死去的;记忆不是唯精英权贵,草根民众记忆亦弥足珍贵;珍视记忆中蕴含的历史文脉,但记忆的保护不等同于遗产的保护,亦应正视记忆与现代发展存在的某些不相容;记忆不是虚幻之谈,而是文化自信、城乡复兴的源泉。时间之河不会回淌,改变了的城乡空间再也无法回到从前,今天对城乡未来的反思本质上就是对社会发展的反思。结合国际研究的比较,针对中国当下的语境,就城乡记忆的演变机制和空间逻辑,地理、规划、建筑、文物、旅游等领域的理论和实践讨论在此交汇。伴随着城乡社会的不断变化,记忆和乡愁的保存和发展是为了展现过去的历史,适宜今天的生活,愉悦未来的创造。

摘要：黄河流域由于自然环境、地理区位的特殊性,其人居环境处于不断变化的复杂过程中,并且始终面临着严峻挑战。而人居环境空间与自然、社会各要素的耦合过程,源于人地关系变化进程中呈现出的动态、综合、系统性的适应机制。因而揭示系统适应性机制是解决黄河流域人居环境困境的关键。为此,本文以"地方性与适应性"为视角,邀请来自黄河流域青海、甘肃、宁夏、内蒙古、陕西、山西、河南、山东等省区的专家学者,从自然地理、社会经济、城乡发展、遗产保护等视角解读黄河流域的人居环境特征,并为适应中国新型城镇化路径寻找可持续策略。核心观点如下:总体而言,黄河流域的人居环境适应性具有多尺度空间关联性和历史地理依赖性;黄河流域承担着重要的生态功能,但不同区段的自然环境面临着土地盐碱化、水土流失、环境污染等问题,需要推动人地耦合关系的绿色化;黄河流域特别是上游沿线聚落具有鲜明的开放性、民族文化多样性和交融性特色,多民族协同共荣发展是必由之路;黄河中上游因复杂的自然环境形成了窑洞等特殊的聚落空间,在快速城镇化进程中面临着转变和消失,留住传统聚落的文化基因,亟需分级分类推进其演化进程;黄河流域城市群的内外辐射带动是流域全境高质量发展的基础,城市结构的优化提升是推动高质量发展的重要途径,实现可持续发展还需要科技创新和产业结构转型升级。

摘要：近 2 0年来 ,拍卖理论已经迅速发展成为经济学中最成功也最活跃的重要分支之一。在国内 ,政府与私人部门正与日俱增地通过拍卖机制采购或销售商品与权利。但拍卖从业界和经济学界对拍卖理论仍然相当陌生。为此 ,本文以基准拍卖模型和收入等价定理为起点 ,紧密围绕拍卖机制的绩效比较与最优拍卖机制设计问题 ,系统地介绍了近半个世纪以来国际拍卖理论的主要进展 ,同时展望其未来的发展轮廓并对这一前沿理论予以简要评述。

摘要：液压缸驱动的机械臂,由于自身重量较大,举升过程中会累积很大的重力势能,在下降过程经过液压阀的节流作用转换为热能耗散掉,不仅浪费能源,还需要额外的冷却装置进行散热,进一步增加系统的能耗和成本,解决方法是高效率地回收和利用这部分能量。对重力势能电气回收利用方式和液压回收利用方式的国内外研究现状进行全面的分析对比,根据重力势能回收和再利用过程能量的转换方式与传递路径,分析电气回收利用、蓄能器直接回收利用、闭式泵控与蓄能器组合回收利用、机械臂重力蓄能器预充压平衡四种方法的优点和不足。最后,对全新的能量转换次数少、传递路径短、各环节效率高的液压和电气混合驱动机械臂工作原理、能效特性做分析,并给出试验测试结果,研究成果对设计和推广应用高能效液压缸驱动的机械臂具有重要的指导意义。

摘要：讨论一种基于Ｎ－Ｓ方程、欧拉和速势方程加混合附面层修正的跨音速流动准确控制方程逆解法，及其在跨音速翼型和机翼设计中的应用。分析了两种紊流模型对分离的适应性，探讨了Ｎ－Ｓ和欧拉方法的阻力估算精度问题，列举了若干超临界和层流翼型及机翼的设计实例以及软件验证。

摘要：为实现水电开发和生态保护的和谐发展,科学、定量、高效地分析水电站运行对河流生态的影响,已成为当前水利科学研究的热点。本文将基于Godunov格式有限体积法求解的水动力模型与栖息地适宜模型相耦合,并引入GPU加速技术,建立高效高精度栖息地适宜模型。以野狐峡下游为研究河段,花斑裸鲤为目标鱼类,对不同流量下河段产卵生境进行模拟,以确定电站建成后适宜目标鱼类产卵的生态流量。结果表明:流量在87.5~139m^(3)/s和338~562.5 m^(3)/s时,适宜花斑裸鲤繁殖的有效栖息地面积占其最大值的90.0%以上。为保障产卵栖息地状态良好,建议生态流量在499.2 m^(3)/s附近。该成果对保护黄河上游土著鱼类栖息地具有重要的生态意义,也可为评价水利工程对水生生物的影响提供科学支持。

摘要：设计了一套具有高线性度的二维无耦合纳米压电位移系统。提出了一种多个压电陶瓷同步线性操作的电荷控制方案,设计采用基于非线性反馈控制和相似控制相结合的具有接地配置功能的压电控制器。控制器中引入了T型电阻网络,使电容较小的压电致动器能够进行低频线性操作。并对压电陶瓷驱动的位移平台进行了机械结构设计,平台采用嵌套式串联结构来避免耦合位移。通过解析法和ANSYS Workbench有限元仿真两方面对位移平台进行了刚度及位移分析。搭建了一套干涉位移测量系统,对压电位移台的位移、耦合误差及线性度进行了验证测试。实验结果表明:系统满行程内二维位移台的耦合误差最大仅为0.098%,可以将迟滞不对称引起的剩余轨迹偏差减小到0.79%,两个压电陶瓷间的最大轨迹偏差仅为行程范围的0.23%,理论分析和实验验证了所设计多压电电荷控制器的可行性,且系统可有效抑制耦合位移并使定位精度得到明显提高。

摘要：触觉二维图像可以辅助视觉受损人群,将视觉信息转化为触觉信息,从而感知外部世界。触觉二维图像的识别可能是通过触觉信息在大脑中进行"视觉转化"的方式而完成,并且会受到图形的几何特征、视角与透视、视觉经验、视觉表象能力、触觉探索过程、训练以及年龄的影响。探索触觉二维图像识别的认知神经机制,对于触觉二维图像设计的改进和可用性的提高,具有重要意义。

摘要：具有嵌入式视觉的仿生机器鱼的摄像头往往安装在头部,为了获取稳定的图像数据,研究了游动过程中头部的平稳性控制问题.首先,基于牛顿-欧拉方法对仿生机器鱼的水动力学进行建模.然后,基于动力学模型,比较了两种鱼体波模型下的机器鱼头部摆动情况.进一步地采用遗传算法对输入到运动关节的参数进行优化,实现机器鱼头部的最小摆动.最后,在自主设计的具有嵌入式视觉的仿生机器鱼上进行了实验.结果表明,在平稳性控制后,头部的摆动幅度明显减小,采集到的图像的稳定性与连续性有较大改进,但游动速度有所降低.该方法为基于嵌入式视觉的运动控制与任务执行提供了有效保障.