摘要：We present the solid model edit distance(SMED),a powerful and flexible paradigm for exploiting shape similarities amongst CAD *** is designed to measure the magnitude of distortions between two CAD models in boundary representation(B-rep).We give the formal definition by analogy with graph edit distance,one of the most popular graph matching *** avoid the expensive computational cost potentially caused by exact computation,an approximate procedure based on the alignment of local structure sets is provided in *** order to verify the flexibility,we make intensive investigations on three typical applications in manufacturing industry,and describe how our method can be adapted to meet the various ***,a multilevel method is proposed to make further improvements of the presented algorithm on both effectiveness and efficiency,in which the models are hierarchically segmented into the configurations of *** results show that SMED serves as a reasonable measurement of shape similarity for CAD models,and the proposed approach provides remarkable performance on a real-world CAD model database.

摘要：本文提出并实现了一种基于人类语音识别的智能超表面,用于对电磁波束进行可编程调控。该智能超表面平台由数字编码超表面、语音识别模块、单片机和数模转换器(DAC)电路组成,可根据预先存储的语音指令对电磁波进行智能控制。所构建的数字编码超表面包含6×6个超级子单元,每个超级子单元由4×4个嵌入了变容二极管的有源数字单元组成。语音识别模块配合DAC和单片机对语音指令进行识别,并生成对应的电压序列来控制超表面。此外,在超表面的设计过程中引入遗传算法,可有效优化超表面相位分布。为了验证智能超表面平台的性能,演示了雷达散射截面积缩减、涡旋波束生成和波束分裂三种典型功能。所提出的方案为调控电磁波提供了一种新的途径,并在电磁和声学通信之间架起了连接桥梁。

摘要：An all-optical 2-to-4 decoder unit with the assist of terahertz optical asymmetric demultiplexer (TOAD) is presented. The all-optical 2-to-4 decoder with a set of all-optical switches is designed which can be used to achieve a high-speed central processor unit using optical hardware. The unique output lines can be used for all-optical header processing. We attempt to develop an integrated all-optical circuit which can perform decoding of signal. This scheme is very simple and flexible for performing different logic operation and to design advanced complex logic. Simulated results are confirming the described methods.

摘要：A new product conceptual design approach is put forward based on Hopfield neural networks models. By research on the mechanisms of Hopfield neural networks, the associative simulation approaches are proposed. The approach is given by Hebb learn- ing law, Hopfield neural networks and crossover and mutation. The calculating models and the calculating formulas for the concep- tual design are put forward. Finally, an example for the conceptual design of a solar energy lamp is given. The better results are ob- tained in the conceptual design.

摘要：从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统(cyber-physical systems,CPS)可信软件形式化模型(high-confidence software formal model,HCSFM).HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证;利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障.通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.

摘要：A highway distress and preventive measures decision support system based on WebGIS and J2EE architecture were studied, and the key issues for the system are presented. Such issues as spatial data and attribute data organization, technology of enhancing user experience, database connection pool were investigated. The feasibility of the theories and methods were tested through the system.

摘要：Resorting to cubic spline function instead of parametric spline representation, an explicit fairness indicator and an efficient fairing algorithm for 2D curves are presented. The input point sequence is firstly partitioned into several overlapped function segments. For each segment, a cubic spline function is used as the representation tool which entails a polyline approximation of curvature plot. Based on the extrinsic relationship between the polyline and the positions of data points, a coarse-to-fine faring method is proposed which efficiently identifies and eliminates the unnecessary inflection points. Our algorithm generates the best results to date, which is validated by numerous practical examples.

摘要：It is widely acknowledged that Requirements Engineering (RE) has an important implication for the overall success of software or system development projects. As more and more organizations consider RE as the principal problem areas in the projects, improving RE process therefore appears critical for future business success. Moreover, nowadays there are evidences that support improving RE process maturity can contributes to improved business performance. There exist generic Software Process Improvement (SPI) standards, specialised RE process improvement models as well as guidance and advices on RE. However, they suffer from various issues that limit their adoption by organizations that are interested to assess and improve their RE process capability. Therefore, the research presented in this paper proposes a new RE process improvement model. The model is built by adapting and expanding the structure of the continuous representation of the formal maturity framework Capability Maturity Model Integration for Development (CMMI-DEV) developed by the Software Engineering Institute (SEI) through three rounds of development and validation stages, which involved RE and CMMI expert panel in the software industry. This paper aims to provide an overview on what, why and how we build the maturity model for RE. The intention is to provide a foundation for future development in the area of RE process improvement.

摘要：：In today＇s networks, load balancing and priority queues in switches are used to support various quality-of-service （QoS） features and provide preferential treatment to certain types of traffic. Traditionally, network operators use ‘traceroute＇ and ‘ping＇ to troubleshoot load balancing and QoS problems. However, these tools are not supported by the common OpenFlow-based switches in software-defined networking （SDN）. In addition, traceroute and ping have potential problems. Because load balancing mechanisms balance flows to different paths, it is impossible for these tools to send a single type of probe packet to find the forwarding paths of flows and measure latencies. Therefore, tracing flows＇ real forwarding paths is needed before measuring their latencies, and path tracing and latency measurement should be jointly considered. To this end, FlowTrace is proposed to find arbitrary flow paths and measure flow latencies in OpenFlow networks. FlowTrace collects all flow entries and calculates flow paths according to the collected flow entries. However, polling flow entries from switches will induce high overhead in the control plane of SDN. Therefore, a passive flow table collecting method with zero control plane overhead is proposed to address this problem. After finding flows＇ real forwarding paths, FlowTrace uses a new measurement method to measure the latencies of different flows. Results of experiments conducted in Mininet indicate that FlowTrace can correctly find flow paths and accurately measure the latencies of flows in different priority classes.

摘要：为了在虚拟手术仿真中获得快速、准确的力触觉形变效果,提出一种基于导纳控制的力触觉形变模型.基于该模型,采用PHANTOM OMNI力触觉交互设备,以3DS MAX 2013,Microsoft Visual C++2012,Open GL函数库为基础搭建了实时柔性体力触觉再现系统,实现了虚拟双手对心脏双点的拉拽交互操作.感知实验和交互效率的结果表明,所提出的模型简单有效,形变效果逼真、视觉反馈流畅、力触觉反馈平稳,操作者对虚拟环境的感知和交互准确可靠,能够满足虚拟手术仿真系统的要求.