Attribute-based on-demand multicast group setup with membership anonymity

In many applications, it is desired to dynamically establish temporary multicast groups for secure message delivery. It is also often the case that the group membership information itself is sensitive and needs to be well protected. However, existing solutions either fail to address the issue of membership anonymity or do not scale well for dynamically established groups. In this paper, we propose a highly scalable solution for dynamical multicast group setup with group membership anonymity. In the proposed solution, scalability and membership anonymity are achieved via a novel design that integrates techniques such as ciphertext-policy attribute-based encryption (CP-ABE). In our design, multicast groups are specified through group member attributes. As these attributes are potentially able to be shared by unlimited number of group members, our proposed scheme scales well. Also, high level of membership anonymity is guaranteed such that every group member knows nothing but his own group membership only. The complexity of our proposed scheme in terms of computational overhead and ciphertext size is O(n), where n is the number of attributes and independent to the group size.     

基于PSpice的模拟电路故障知识获取新方法

电子装备中的模拟部分由于器件的离散性、容差、非线性等问题导致故障知识获取困难和不全面;针对该问题的主要来源—故障原始数据的收集,提出了利用PSPICE软件与Visual Basic语言相结合,以命令行作为结合点,实现故障知识获取的自动化,该方法的实质是通过计算机用穷举法自动在所有可能故障情况下进行仿真获取故障知识;该方法可以降低知识获取的工作量以及对专家的依赖性,为开发军用电子装备,特别是新装备的实用智能故障诊断系统奠定基础。     

基于Multi-Agent的大型游乐设施远程安全监控预警系统

在对大型游乐设施的故障和事故致因进行深入分析的基础上,综合人工智能、智能控制和测控技术,提出了基于Multi-A-gent的游乐设施远程安全监控预警系统;系统以基于免疫神经网络故障预测模型的预警Agent为核心,结合DSP、GIS和GPRS等手段,协同多个Agent分工合作,实现对游乐设施的安全监控与安全预警功能;仿真实验结果表明,该系统能够有效地预报设备故障,减少事故发生率,提高设备的安全运行水平。     

A localized approach for the method of approximate particular solutions

The method of approximate particular solutions (MAPS) has been recently developed to solve various types of partial differential equations. In the MAPS, radial basis functions play an important role in approximating the forcing term. Coupled with the concept of particular solutions and radial basis functions, a simple and effective numerical method for solving a large class of partial differential equations can be achieved. One of the difficulties of globally applying MAPS is that this method results in a large dense matrix which in turn severely restricts the number of interpolation points, thereby affecting our ability to solve large-scale science and engineering problems.In this paper we develop a localized scheme for the method of approximate particular solutions (LMAPS). The new localized approach allows the use of a small neighborhood of points to find the approximate solution of the given partial differential equation. In this paper, this local numerical scheme is used for solving large-scale problems, up to one million interpolation points. Three numerical examples in two-dimensions are used to validate the proposed numerical scheme.     

Analysis and performance results of computing betweenness centrality on IBM Cyclops64

This paper presents a joint study of application and architecture to improve the performance and scalability of an irregular application—computing betweenness centrality—on a many-core architecture IBM Cyclops64. The characteristics of unstructured parallelism, dynamically non-contiguous memory access, and low arithmetic intensity in betweenness centrality pose an obstacle to an efficient mapping of parallel algorithms on such many-core architectures. By identifying several key architectural features, we propose and evaluate efficient strategies for achieving scalability on a massive multi-threading many-core architecture. We demonstrate several optimization strategies including multi-grain parallelism, just-in-time locality with explicit memory hierarchy and non-preemptive thread execution, and fine-grain data synchronization. Comparing with a conventional parallel algorithm, we get 4X-50X improvement in performance and 16X improvement in scalability on a 128-cores IBM Cyclops64 simulator.     

射频法糖液浓度在线检测传感器的设计

针对国内制糖业煮糖过程中尚无在线浓度自动测量及控制设备这一问题,在分析了蔗糖结晶与糖液浓度关系的基础上,基于射频法测量糖液浓度原理,设计了一种在线检测糖液浓度的传感器.分别给出了传感器系统的硬件电路以及传感器探头的具体设计.实测结果表明,该传感器具有测量精度高、重复性好、体积小、响应快等特点,能够满足糖液浓度在线测量的要求.     

面向Lustre文件系统的固态盘存储加速技术研究

磁盘的随机I/O延时制约了存储系统的性能提高,具备高性能随机I/O特性的固态盘(solid state disk,SSD)逐渐成为关注的热点.分析了磁盘、Flash型SSD以及DRAM型SSD三类设备不同的性能特点,讨论了SSD存储加速技术的研究现状,提出了一种面向Lustre文件系统的固态盘存储加速系统架构,介绍和分析了各模块的构成与原理,提出了对象迁移策略.     

Novel in-line WAT processing of 55 nm CIS product and effect of process waiting time on void growth at interface of SiCN with copper capping layer

The WAT (wafer acceptance test) is the last examination that is performed before a wafer or a chip fab out to ensure the quality and stability of chip performance. In 55 nm CIS (CMOS Image Sensor) technology, a highly smooth wafer surface is critical for the BSI (backside illumination) process. The traditional WAT process cannot be used; rather the in-line WAT must be performed during the process for forming copper interconnect. However, increasing the processing time increases the period of exposure of the copper interconnect to air, which is called the Q-time, affecting the reliability of copper interconnect. Nitrogen-doped silicon carbide (also called NDC or SiCN) has been used to fabricate copper diffusion barrier films. PECVD SiCN dielectric has a promisingly low dielectric constant for use as a copper diffusion barrier. Copper diffusion barrier films comprise one or more layers of silicon carbide. Covering a copper layer with a single thin NDC pre-layer significantly increases the maximum allowable Q-time for wafer probing. However, after the Q-time, a void forms between NDC layer and the NDC pre-layer. This work proposes a new two-step NDC process and the optimization of the thickness of the NDC pre-layer. The process has the advantages of providing a high stability for parametric test and a long allowable Q-time. These advantages are achieved by changing the thickness of the NDC pre-layer. This new approach has been analyzed using TEM and by performing parametric tests, and the feasibility has been confirmed experimentally. No void is formed between the NDC layers and a high test stability is achieved when the thickness of the NDC pre-layer is 120 Å.     

Analyzing execution traces: critical-path analysis and distance analysis

International Journal on Software Tools for Technology Transfer - System designers make trade-offs between metrics of interest such as execution time, functional quality and cost to create a...     

10万吨聚丙烯装置仿真应用与环管反应器的模拟

聚丙烯是当今世界5大通用树脂之一,因其优秀的热塑性能使之在工业生产中的应用逐年增加。因此,生产装置和设计公司对各牌号聚丙烯在生产加工中的指标控制也日趋严格,对其工艺的优化也在不断地探讨和实践。本文以中国石油庆阳石化公司10万吨/年聚丙烯装置为基础,结合Honeywell公司的UniSim Design为基础建模平台建立操作工仿真培训系统(OperatorTraining System)。对Basell公司的Spheripol工艺进行全流程模拟与分析,确定与验证合理的操作参数与控制条件。并且还针对Spheripol的环管反应器进行专门的模拟与讨论,应用Honeywell机理优化差值矩阵模块,并进行适当的改进,通过快速迭代和实时收敛大大减轻了各个硬件节点的计算负荷,运用软硬件相结合的双层法在内层建立稳定的机理模型,在外层建立优化的控制模型。同时在计算结果的基础上分析了反应物与产物在环管反应器中的动态特性,以及主要操作条件的变化对浆液密度、反应温度等重要指标的影响,指出了环管反应器在70℃～80℃范围会出现控制临界点,建立了符合其性能的操作指标和优化目标。为实际反应器的生产操作提供了理论依据,并且对今后探讨DCS与...