矿山生产技术协同平台研发与应用

矿山生产技术的数字化、信息化和智能化发展,伴生着缺少数据标准、数据难以共享、缺少流程规范和存在系统壁垒等问题。通过对矿山生产技术现状进行分析,提出了构建一个业务数据标准化、工作流程规范化的矿山开采全生命周期业务管理平台,为矿山生产技术和管理提供统一的数字化作业环境。平台研发成果成功应用于新疆某地下铜矿,包含矿山地质、测量和采矿等133个业务数据的标准化和39项业务流程的规范化。平台上线后业务数据通过数据中心统一存取,业务审批从人工推进转变为流程驱动,业务处理前的数据准备时间极大缩短,实现了矿山生产技术数据的高效流转和共享,提高了技术管理和团队协作效率。矿山生产技术协同平台的研发与应用对矿山全业务流程协同、大数据分析和智能管控系统建设等方面的研究与落地均具有重要的借鉴意义。     

业务关联的多产业链协作网络模型

针对业务关联的多产业链协作模式,提出了业务关联的多产业链协作网络,并建立了数学模型;分析了业务关联的多产业链协作网络特征,基于复杂网络理论,综合考虑了节点的群落特性、节点间双向择优选择机制及节点间协作关系消亡等因素,提出了业务关联的多产业链协作网络加权演化模型,给出了演化模型算法。研究结果表明,业务关联的多产业链协作网络的节点强度分布符合幂律分布。以汽车零部件产业链协作网络为例,验证了模型的有效性。     

协作环境下的人机距离建模与最小距离迭代算法

为了使机器人适应更广泛、更复杂的任务需求,实现人与机器人的协作与共融,精确并实时地计算人与机器人之间的相对距离成为了不可避免的问题.针对该问题,提出了一种协作环境下的人机距离建模方法以及计算人机间最小距离的迭代算法.首先,利用机器人的3D模型构建机器人结构特征,并通过3D视觉传感器提取人体骨骼特征,将以上2组特征映射到同一坐标空间中建立协作环境下的人机距离模型.然后,在此模型的基础上迭代计算人与机器人间的最小距离并给出对应的空间位置点.最后以ABB公司的YuMi机器人为测试对象进行人机最小距离测量实验,实验结果表明该方法降低了建模难度、实现了计算的实时性,验证了该建模方法与迭代算法的有效性和实用性.     

An Enthusiastic Sceptic

Nat Oppenheimer , principal of structural engineers Robert Silman Associates, is a dissenting voice among the advocates of building information modelling (BIM) - an enthusiastic sceptic. Could the quest for integration be leading towards oversimplification rather than customisation and differentiation? Even towards the sort of standardisation adopted with LEED ratings in the quest for sustainability? Copyright © 2009 John Wiley & Sons, Ltd.     

Industrial Greening of the Dongting Lake Eco-economic Zone

Extensive industrial development is a major challenge to ecological civilization construction. Industrial energy consumption and environmental pollution reduction are desperately needed. The Dongting Lake district, located in Wuhan and the Changsha-Zhuzhou-Xiangtan(CZT)pilot zone, bears the responsibility to ensure national food security and watershed ecological security, and it is an urgent need for the Dongting Lake district to accept the ecological transition of industries. On the analysis of the industrial development status and problems of the Dongting Lake district, some proposals based on the characteristics and reality of the district are pointed out, such as industrial cooperation, proper space layout, ecological innovation, industrial structure upgrading, building of ecological parks, clean production, elimination of backward production capacity, heavy metals governance and so on, as to develop the industrial ecology of the Dongting Lake district.     

A high order collaboration and real time formal model for automatic testing of safety critical systems

The need for safety critical systems (SCS) is both important and urgent, and their evaluation and verification are test-dependent. SCS are usually complex and very large, so manual testing of SCS are infeasible in practice, and developing automatic test approaches for SCS has become an important trend. This paper defines a formal semantics model for automatic test of SCS, called AutTMSCS, which describes behaviors in SCS testing. The model accommodates the high order collaboration in real time and temporariness of SCS testing. Testing tasks, test equipment and products under test are abstracted and architected in three layers, and a method for automatic testing is given. Based on extended label transition system (LTS), the convergency and correctness of the model are proved to demonstrate the computability of the model, indicating that the testing process of SCS can be automatic.     

单人/多人虚拟维修训练开发平台

目前舰员级维修培训存在实装少、故障设置困难、训练手段单一等不足。针对此问题,文中根据舰员级维修工作的需求,构建了适应基层部队需要的虚拟维修训练开发平台。平台采用包围盒和几何约束相结合的方法解决穿越问题,运用关键帧技术进行虚拟人运动控制,构建了基于Agent的网络通信机制,建立了多角色协作机制,采取了复合的并发冲突控制方案解决多人协作中的冲突问题。平台满足了实时计算的要求,场景设计、维修流程设计、维修动作行为设计、操作指示等相关工作设置简单、快捷,不同类型装备应用证明本平台具有较好的通用性,可用于多种虚拟维修训练系统的快速开发。     

面向系统集成领域的多Agent智能协作模型

提出了一种多Agent智能协作模型．首先根据用户的需求,采用多Agent协作的服务流程定制模型制定服务之间的关系．在系统集成框架ASIF的支撑下,多Agent间采用智能协作模型进行协作,在控制集成Agent的统一控制下完成服务流程中的一系列服务,此过程无须人工参与,增加了Agent间协作的智能性,提高了系统集成的灵活性．将该模型应用于基于Agent的系统集成工具,成功地集成了边海防仿真系统中的各个模块,从而验证了该模型在进行系统集成时的高效性．     

The Role of Collaborative Reflection on Shaping Engineering Faculty Teaching Approaches

Over the last several years, engineering faculty and learning scientists from four universities worked in collaboration to develop educational materials to improve the quality of faculty teaching and student learning. Guided by the How People Learn (HPL) framework, engineering faculty worked in collaboration with learning scientists to develop learner‐centered, student‐focused instructional methods. In consultation with learning scientists, engineering faculty carried out educational inquiry in their classrooms aimed at investigating student learning and enhancing instruction. In this paper we discuss the extent to which faculty engaged in these collaborative endeavors and how their teaching approaches differed as a result of their level of engagement. Study findings reveal the role that collaborative reflection plays in shaping teaching approaches. Results from this study provide insights for researchers and other practitioners in engineering and higher education interested in implementing engineering faculty development programs to optimize the impact on teaching.     

RBAC模型的扩充及其应用

RBAC（Role Based Access Control）是一种被广泛认可的信息系统访问安全规范管理模型,但RBAC访问安全规范模型如何与组织系统的业务过程规范模型融合,从而更有效地服务于可信业务协同系统的开发实践还值得进一步研究改进。在RBAC模型的基础上,融合协同业务规范中的义务及奖惩元素,提出RBAO（Role Based Access and Obligation）模型。RBAO模型不仅能描述角色在组织中可拥有的访问权力,还能描述角色在组织中可能要承担的义务及义务违反时将受到的处罚。这使得RBAO模型更适合用于组织可信规范业务协同系统的管理建模与开发。以具体实例说明了基于RBAO模型的可信业务协同系统管理的分析与建模方法。