-
43181.可信计算的云代理道
[计算机、通信和其他电子设备制造业,信息传输、软件和信息技术服务业] [2013-11-24]
Applications running in a cloud data center face several challenges, including secure deployment, insider attacks, and cryptographic key management. Previous research shows how to securely start and run individual programs using the Trusted Platform Module or other secure co-processors, but none of that work solves the end-to-end problem of deploying and gaining assurance in distributed applications running on third-party hardware.
关键词:云数据;可信平台;云代理;云计算;信息安全;硬件;应用程序
-
43182.差别切片:标识安全应用的因果执行差异
[信息传输、软件和信息技术服务业] [2013-11-24]
A security analyst often needs to understand two runs of the same program that exhibit a difference in program state or output. This is important, for example, for vulnerability analysis, as well as for analyzing a malware program that features different behaviors when run in different environments. In this paper we propose a differential slicing approach that automates the analysis of such execution differences. Differential slicing outputs a causal difference graph that captures the input differences that triggered the observed difference and the causal path of differences that led from those input differences to the observed difference. The analyst uses the graph to quickly understand the observed difference. We implement differential slicing and evaluate it on the analysis of 11 real-world vulnerabilities and 2 malware samples with environment-dependent behaviors. We also evaluate it in an informal user study with two vulnerability analysts. Our results show that differential slicing successfully identifies the input differences that caused the observed difference and that the causal difference graph significantly reduces the amount of time and effort required for an analyst to understand the observed difference.
关键词:自动分析;执行差异;可观察差异
-
43183.次秒级并行工作的可伸缩的调度
[信息传输、软件和信息技术服务业] [2013-11-24]
Large-scale data analytics frameworks are shifting towards shorter task durations and larger degrees of parallelism to provide low latency. However, scheduling highly parallel jobs that complete in hundreds of milliseconds poses a major challenge for cluster schedulers, which will need to place millions of tasks per second on appropriate nodes while offering millisecond-level latency and high availability. We demonstrate that a decentralized, randomized sampling approach provides near-optimal performance while avoiding the throughput and availability limitations of a centralized design.We implement and deploy our scheduler, Sparrow, on a real cluster and demonstrate that Sparrow performs within 14% of an ideal scheduler.
关键词:数据分析;集群调度;并行工作;高度器
-
43184.光遗传学图的表层电位的微脑皮层电图
[信息传输、软件和信息技术服务业] [2013-11-24]
This work presents in detail the design, fabrication and testing of the transparent μECoG arrays including verification of impedance, transparency, and electrical properties. These arrays have the smallest electrodes to date of any μECoG array, transparent or otherwise, enabling higher spatial-temporal resolution than previous devices. This work also extends previous work by plating the ITO electrodes with the transparent conductive polymer PEDOT [27] in order to improve electrochemical impedance properties and characterizing the results. The intent of the author is that this work can function as detailed instruction manual for designing, manufacturing, and testing μECoG devices made with transparent electrode technology. The work ends by describing next steps for utilizing the transparent μECoG arrays in research on the origin of μECoG signals in the cortex, combining optogenetics with holographically patterned light sources.
关键词:μECoG;高时空分辨率;信号性质
-
43185.三维手势移动设备的用户界面问题和物理治疗应用的视觉反馈
[信息传输、软件和信息技术服务业] [2013-11-24]
We introduce and discuss new user interface issues raised by the advent of gesture recognitionenabled mobile devices. Compared to traditional hand gestures on touch-screens of mobile devices, the effectiveness of gesture recognition on mobile devices depends on their screen sizes, the distance between the user and the device, and how the user holds the device. Due to these user interface issues, software developers who would like to apply gesture recognition to their applications should redesign their user interfaces different from typical mobile applications. To effectively visualize feedback of a physical therapy applicatio for mKinect, the purpose of which is to bring the users Kinect experience onto their smartphones, we present a novel approach of visual feedback for a gesture recognition-enabled mobile devices.
关键词:用户界面;移动设备;视觉反馈
-
43186.通过多维尺度TILT聚类进行几何图像分割
[信息传输、软件和信息技术服务业] [2013-11-24]
We present a novel algorithm to acquire and analyzerich 3D geometric features in single urban images. Traditional representation of 3D structures via local image features lack global geometric information to provide high-quality image correspondence and 3D models. The new approach utilizes the low-rank representation technique to seek a new class of invariant features based on minimizing the matrix rank of image textures, which are more holistic with respect to global geometric information, invariant tocamera distortion, and robust to pixel corruption.
关键词:几何特性;最小化矩阵;图像通信;3D
-
43187.避免密集的线性代数中的通信
[信息传输、软件和信息技术服务业] [2013-11-24]
In this thesis, we develop both new communication lower bounds and new algorithms, tightening (and in many cases closing) the gap between best known lower bound and best known algorithm (or upper bound). We consider both sequential and parallel algorithms, and we asses both classical and fast algorithms (e.g., Strassen's matrix multiplication algorithm).
关键词:通信下界;并行算法;矩阵乘法算法
-
43188.水平集方程的最优化辨识
[信息传输、软件和信息技术服务业] [2013-11-24]
An optimization-based method for identifying the speed profile of a moving surface from image data is studied.If the dynamic surface motion is modeled by a level set equation, the identification problem can be formulated as an optimization problem constrained with the level set equation whose (viscosity) solution, in general, has kinks. The non-differentiable solution prevents us from having a bounded gradient of the cost function of the optimization problem. To overcome this difficulty, we develop a novel identification approach using a regularized level set equation.
关键词:最优决策方法;正规化水平集方程;图像数据
-
43189.反射脉冲无线电:原则和设计
[计算机、通信和其他电子设备制造业,信息传输、软件和信息技术服务业] [2013-11-24]
This dissertation begins by examining future wireless sensor applications and presenting the link asymmetry. The alternative architecture is then introduced and its operation principles explained. A step-by-step design procedure follows, accompanied by the implementation of a miniature biomedical implant transmitter as a design example. Potential challenges and mitigation techniques are also discussed. Key advantages of the proposed architecture include ultra low power consumption, simple circuitry (hence high reliability and low cost), and broad range of scalability. Measurement results of the biomedical example are subsequently presented, before a short conclusion is given in the end.
关键词:无线传感器应用;不对称性;可伸缩性;生物医学;医疗器械
-
43190.使用关联数据来提高专利数据的查询性能
[信息传输、软件和信息技术服务业] [2013-11-24]
My project is to experiment with the state of the art, as well as current shortcomings, in Big data integration and analysis. We will build a search engine to integrate Public Linked Data into Patent Data to provide more sematic contexts and values to each patent. We build the interface and connection to retrieve the traditional data from the front-end website.
关键词:大数据;集成分析;搜索引擎