智融标识网络基础研究

现有互联网因其原始设计不足已在服务质量、资源利用率、管控能力等诸多方面暴露出严重弊端，难以支撑起"互联网+"新业态高速发展对通信网络与服务日趋复杂化、多元化的需求.因此，如何设计全新的互联网已成为信息领域最为迫切与核心的研究内容之一，受到学术界与产业界的高度重视.本文基于前期"标识网络"与"智慧标识网络"研究，创造性提出"智融标识网络"体系及其关键机制，通过全网多空间、多维度资源的智慧融合，实现个性化服务的按需供给与灵活化组网的有效支撑，为不同行业与用户提供高效的差异化、定制化通信网络服务，以普遍适用于高铁网络、工业互联网、车联网等各类迥异应用情景.     

Student perceptions of model-based estimating

The use of building information modeling (BIM) is well established in architecture, engineering and construction. However, previous studies note a lack of BIM expertise in academia, leading to slow adoption and limited knowledge on which to base BIM-related content. To improve course development, it is important to understand students’ perceptions of BIM-related subject matter. This study exposed estimating students (n = 214) to a model-based quantity takeoff (QTO) tutorial using Revit. Students’ perceptions of a Revit-based BIM’s usefulness for easily providing reliable and accurate material quantities were measured using a pre-test, tutorial and post-test design. Results revealed significant differences in students’ mean levels of agreement that an accurate QTO is completed for an estimator with the click of a button when a design team generated BIM model is available. Results also revealed significant differences in students’ level of agreement that a Revit-based BIM makes performing QTO by hand obsolete. This study provides educators’ insight into students’ perceptions of BIM use in QTO. Understanding student perceptions is paramount for construction management educators when designing a course and attempting to convey the value of foundational estimating skills while acknowledging the existence of more technologically advance estimating methods. Limitations and opportunities for further research are discussed.     

Modeling and Full Decoupling Control of a Grid-Connected Five-Level Diode-Clamped Converter

This paper presents a novel approach to deal with the regulation of the dc-link capacitor voltages and ac-side currents in a grid-connected five-level diode-clamped converter. Due to the controllability problems of this topology, guaranteeing a solid current control and, mainly, a correct dc-link voltage sharing, represents a complex technical challenge. With the purpose of coping with it, an averaged model that describes the system dynamics at both sides of the converter is presented, assuming that a modulation strategy is integrated in the system to generate the switching sequence. In order to derive the proposed model, no restriction concerning the use of only the three nearest vectors to the desired voltage reference is taken into account. Then, several changes of variables are carried out in the model equations to obtain control input decoupling for control purposes, while reducing the complexity of the model as well. Finally, the voltage and current controllers are designed separately using different control inputs in a straightforward way. Neither auxiliary hardware nor complicated mathematical calculations are required to achieve the control objectives. The effectiveness and good performance of the system under the proposed control approach are validated by simulation results, suggesting that the five-level diode-clamped converter can be a solid solution as an interfacing system connected to the utility grid for, e.g., industrial drives or renewable energy applications.     

Novel method for transferring access control list rules to synchronize security protection in a locator/identifier separation protocol environment with cross‐segment host mobility

Extended access control lists (ACLs) are used to filter packets for network security. However, in current network frameworks, ACL rules are not transferred simultaneously with devices that move across network segments. The Internet Engineering Task Force proposed the Locator/Identifier Separation Protocol (LISP), which enables routers (xTRs) to configure ACL rules for blocking immobile endpoint identifiers (EIDs). However, when an EID moves from the original xTR to a new xTR, the ACL rules at the original xTR cannot be transferred with the EID. Thus, the new xTR lacks the corresponding ACL rules to effectively block the EID, resulting in security risks. The highlights of this study are as follows. First, a method is proposed for dynamically transferring ACL rules in LISP environments and frameworks. Second, the map‐register and map‐notify protocols were combined to encapsulate and transfer the ACL rules and thus obviate an additional process required to transfer these rules. Third, the experimental results verified that the proposed method can be used to achieve synchronized security protection in an LISP environment involving cross‐segment EID movements.     

基于UG的采煤机防爆盖板三维标注及数控工艺研究

随着三维CAD技术的发展,产品制造信息在三维模型和二维图纸之间的反复传递,严重影响了产品制造信息的正确、快速传递。基于三维产品制造信息技术,以采煤机防爆盖板为例,在UG NX10.0中建立了防爆盖板的三维模型并进行了三维标注,设计了加工工艺路线,规划了数控加工刀具轨迹,进行了加工仿真,验证了数控加工的正确性,在此基础上完成了采煤机防爆盖板的三维工艺式设计。该研究对基于模型定义的数字化设计与制造研究,实现制造业信息化具有重要意义。     

Automated quantitative model-based fault diagnosistic protocol via Assumption State Differences

This treatment describes the details of a systematic protocol useful for performing optimal automated process fault analysis. This implementation generalizes the underlying Boolean logic version of the Method of Minimal Evidence (MOME) developed previously to a highly comprehensive algorithm for performing model-based fault diagnostics. This generalization allows for a more compact treatment of potential single and multiple fault situations, at all levels of possible diagnostic resolution, with both elegant and efficient uniform sensor validation and proactive fault analysis (SV&PFA) diagnostic rules for diagnosing those situations. This Assumption State Differences (ASD) Protocol version of the MOME algorithm thus automates the diagnostic reasoning necessary to continuously perform optimal process fault analysis so that only the underlying well-formulated models are required to achieve such performance. Using this algorithm consequently directly simplifies the solution of the more complicated problem of automated process fault analysis into the much more tractable, and incrementally solvable, problem of adequately modeling normal process operations.     

变长标识统一接入在一体化网络中的研究和实现

首先描述了一体化网络对变长标识接入的需求,在对一体化网络的体系结构以及映射机制进行深入研究的基础上,设计了变长接入标识在一体化网络中的统一接入映射方案,分析了在此方案中32位标识接入到一体化网络时的处理流程,并对其主要功能进行了结构分析与模块设计;最后按照设计方案进行了该方案主体功能的仿真和测试,测试结果和预期分析处理结果一致。     

集中管控安全文件系统

在分析了集中管控系统中采用国外通用文件系统可能存在的问题的基础上,提出了自主研发国产化安全文件系统的必要性,并探讨了安全文件系统的实现技术,构建了一个从文件格式、文件访问接口、文件存储加密等方面来保护存储信息的安全文件系统体系结构,并采用专用文件浏览器、文件密级标识、文件访问日志等措施来规范和管理对敏感信息的使用,从技术上杜绝病毒、木马等恶意程序在文件系统内部的传播、感染,有效阻止病毒、木马对涉密文件的窃取。     

Integrating symbolic and numerical features for fault prediction and diagnosis by an expert system

This paper addresses the topic of a predictive task after integration of symbolic and numerical features by a hybrid diagnostic expert system. The online interaction of information and knowledge from various sources is achieved after successful combination of different development environments, tools and programs. The system infers using cooperatively dynamic modelling information, online sensor information, and stored knowledge in the knowledge base.     

Probabilistic Models of Appearance for 3-D Object Recognition

We describe how to model the appearance of a 3-D object using multiple views, learn such a model from training images, and use the model for object recognition. The model uses probability distributions to describe the range of possible variation in the object's appearance. These distributions are organized on two levels. Large variations are handled by partitioning training images into clusters corresponding to distinctly different views of the object. Within each cluster, smaller variations are represented by distributions characterizing uncertainty in the presence, position, and measurements of various discrete features of appearance. Many types of features are used, ranging in abstraction from edge segments to perceptual groupings and regions. A matching procedure uses the feature uncertainty information to guide the search for a match between model and image. Hypothesized feature pairings are used to estimate a viewpoint transformation taking account of feature uncertainty. These methods have been implemented in an object recognition system, OLIVER. Experiments show that OLIVER is capable of learning to recognize complex objects in cluttered images, while acquiring models that represent those objects using relatively few views.