-
推理模型和错误发现的技术研究
In this thesis, we explore two directions towards solving the problemof finding bugs in networkbased applications.
-
混合天线与陆地移动对鸟类飞行演化的启示
This dissertation presents the development of DASH+Wings and BOLT, two small hybrid legged and winged robots.DASH+Wings is a six-legged, two-winged robot capable of wing-assisted terrestrial running and controlled aerial descent. BOLT is a two-legged, four-winged robot capable of high-speed terrestrial running and sustained flight. While the dynamics of legged locomotion have been extensively studied, the interaction between legs and flapping wings during terrestrial locomotion is poorly understood. WingSLIP, an extension to the canonical SLIP model for understanding wing-assisted terrestrial locomotion, is introduced. Analysis of the leg/wing phasing and leg stiffnesses elucidates the interaction between the legs and wings. The model suggests the presence of passively stable gaits for high-speed wing-assisted terrestrial running. The dynamics of wing-assisted terrestrial locomotion for aquasi-static and dynamic gait are examined using BOLT with the addition of an on-board accelerometer and rate gyroscope.
-
人文与社会科学研究的探索性文本分析工具设计
This dissertation presents a new tool for exploratory text analysis that attempts to improve the experience of navigating and exploring text and its metadata. The design of the tool was motivated by the unmet need for text analysis tools in the humanities and social sciences.
-
数据交换问题:算法和复杂度
In this thesis we study the data exchange problem where a set of users is interested in gaining access to a common file, but where each has only partial knowledge about it as sideinformation.
-
近确定性系统中的高效推理算法
This thesis addresses the problem of performing probabilistic inference in stochastic systems where the probability mass is far from uniformly distributed among all possible outcomes.