摘要：法律推理是一种说理的艺术。法律推理的难题是在不可能讲理的情况 下讲理、与“不讲理的人”讲理；既要法官能动地审理案件，又要防止法官专横审理。法律 推理的目的是寻求以法律为根据的正当理由。演绎推理、归纳推理、辩证推理是法律推 理的基本方法；它们按照不同的思维路径与规则寻求推理结论，但都面临其自身无法解 决的问题。法律价值在解决这些问题中具有主导性、基础性的作用。法官的法律价值判 断行为非常重要，从人类学的角度看这是一种四维框架中的判断行为。规范说理的艺术 可以防止法官在法律推理中的任意、专断，其方法包括培养法律感觉、进行法律价值判断 的合理化作业，养成法律惯例和法律信念，完善法律推理的制度与规则保证等，最终，法 律推理应当以人为本。

摘要：信息物理融合系统(Cyber Physical System,CPS)组件的可替换性为CPS故障处理和系统升级提供了重要保障。采用面向服务的方法设计CPS体系结构,将CPS组件可替换性判定等价为CPS服务的可替换性判定。该文针对CPS的时空特性,在经典π-演算理论的基础上,引入时间和空间算子,提出时空π-演算理论,用于CPS服务的形式化建模。从服务可替换性和兼容性的关系入手,提出CPS服务可替换性判定定理。最后通过一个实际案例,展示了如何判定CPS组件的可替换性。

摘要：霜降已过冬将至,气温日渐降低,但位于上海徐汇区的'朵云轩'艺术馆却人声鼎沸,好不热闹。10月26日上午,来自福州、临安、青田、巴林四座城市的国石雕刻艺术家、从业者们以及来自全国各地的国石雕刻艺术爱好者、收藏家汇聚一堂,'匠心天成·国石大典'——第十四届四大国石雕刻艺术展,在一片友好、热烈的气氛中盛大开幕。

摘要：社会在不断发展,计算机技术不断升级,多媒体的应用越来越广泛。虚拟现实技术同样发生了巨大的转变,它将是促进未来世界发展的一个重要的工具。虚拟现实技术是计算机科学的范畴,是各学科综合运用的产物。其中包括了计算机、光学、信息学、动力学等学科,也加入了传感器技术、人机交互、人工智能、图形学等科学技术的综合应用。

摘要：本文介绍了一台基于微控制器控制的三轮机器人。选用霍尔传感器控制无刷直流电机作为驱动轮。该三轮机器人具有优异的调速性能,可以作为工业机器人在设定好的路线上搬运货物,也可以远程访问世界一流大学的实验室。该项目开发的主要阶段包括:设计机器人的机械结构,驱动轮控制系统的设计,外围设备和传感器的选择,设计上下层控制印刷电路板,以及通过Wi-Fi进行远程控制调试等。

摘要：针对煤矿安全管理相关系统以对单对象的数值监控、分析为主,未从整体角度对数据进行综合分析,且各类系统间缺乏有效整合的问题,以物联网技术为基础,探讨了一种新的煤矿安全管理平台,介绍了该平台的整体框架及各层的设计方案。该平台通过整合安全管理相关系统,综合分析各类煤矿数据,可实现对煤矿生产过程中的违规行为巡查、灾害预警以及风险分析。

摘要：针对传统的煤矿现场应急演练受环境限制、成本高、存在安全隐患,现有煤矿应急演练系统未考虑多人协同等问题,结合多人协同在煤矿应急演练中的应用需求,从表示层、服务层、存储层3层架构设计了一种煤矿多人协同应急演练系统。该系统通过模拟再现真实的矿井环境、灾害事故场景,组织多部门多人员在同一空间和时间维度下进行协同演练。测试结果表明,该系统可满足煤矿近百人同时在线协同应急演练,有效提高了参演人员应对灾害的处置能力和协同配合能力。

摘要：林沧池台湾篆刻家协会理事、中国书法家协会会员、台湾印社社员、篆刻教师、明宗奖评审。台湾美术展'金牌奖',并连续三年前三名最高荣誉奖'免审查奖'、'第十一届全国书法篆刻展'获提名奖、'西泠印社大型国际篆刻'选拔赛获奖。谭文选毕业于中国美院,中国艺术研究院访问学者。中国书协会员、广东省青年书协篆刻委员会主任,现任广州美院书法篆刻专业教师。

摘要：对于直埋地下的管道,由于环境热阻比较复杂,其传热计算方法尚不统一。文章通过对国内外的几种传热计算方法进行分析对比,并结合多年管道保温工作的实践经验,就直埋保温管道环境热阻率的计算、保温厚度的计算、热影响范围的计算提出建议,与同行探讨。