课程文献中心 更多>>

关键词： 室内定位   可见光定位   双频率或运算   indoor position   visible light position   LED ID   LED ID   dual frequency square wave OR operation  

摘要： 随着可见光通信的发展, 室内可见光定位技术获得了广泛的关注。在以图像传感器为接收终端的见光定位系统中, 针对单频率调制ID方案简单易实施, 但受限于接收终端采集频率上限, 可提供ID数量过少, 难以满足实际较大面积场景的应用需要。提出了一种扩展ID方法, 将两个不同频率的方波进行或运算, 输出信号加载到驱动端作为LED ID标识。采用普通商用手机开展了实验研究, 结果表明, 与使用单一以频率作为LED ID相比, 在本系统中可提供ID数量增加了6倍以上, 可提供153种ID, 且实验中识别ID准确率100%, 在LED灯具被遮挡的面积达到1/3时, 仍能正确识别出ID。关键词

摘要： 当前，我们正在俄亥俄州立大学电子科学实验室进行有关特定用途光计算机的研究工作。我们已探索了达到这一目的的几种途径。在这些途径中，我们的兴趣在于数值或数字计算，而没有考虑模拟光信号处理。关键词

摘要： The problems of semantics and translation for concurrent programming languages are studied in this thesis. A structural operational approach is introduced to specify the semantics of parallelism and communication. Using this approach, semantics for the concurrent programming languages CSP (Hoare's Communicating Sequential Processes), multitasking and exception handling in Ada, Brinch-Hansen's Edison and CCS (Milner's Calculus of Communicating Systems) are defined and some of their properties are studied. An operational translation theory for concurrent programming languages is given. The concept of the correctness of a translation is formalised, the problem of composing transitions is studied and a composition theorem is proved. A set of sufficient conditions for proving the correctness of a translation is given. A syntax-directed translation from CSP to CCS is given and proved correct. Through this example the proof techniques of this approach is demonstrated. Finally, as an application of operational semantics and translation, a proposal for implementing multitasking in Ada is given via a two-step syntax-directed translation.

摘要： The main objective of this project was to create a new, future-proofed, electroniccontrol unit for a test station at GE Healthcare in Uppsala. The control unit was tobe created in cooperation with the technical consultant firm Rejlers. The project consisted of two parts, one investigation part and one design part. The investigation part consisted of examining the previous control unit and its connection between the quality control station and the host computer. This examination resulted in a specification of requirements which was used as a basis in the design of the new control unit. The design part consisted of finding durable and reliable components that met the specification of requirements. During the design process the work was documented and compiled in a technical documentation for the control unit. The project resulted in a new control unit that was improved by using a programmable logic controller that was directly compatible with LabVIEW, moving external power supplies inside the control unit to limit the number of cables and adding cartridge fuses for safety. It also resulted in a full technical documentationof the unit, facilitating future maintenance. The new control unit was considered to be future-proofed, but in order to consider the entire test station future-proofed the quality control station would have needed to be replaced as well. At the time this report was written, the new electronic control unit had been designed and was under construction.