光刻版图形处理过程的计算机仿真

采用有限状态机模型来仿真集成电路行业中光刻版图形的处理过程,涵括了层次处理、涨缩处理和反转处理。将不同的处理过程定义为相应的状态,将图形处理要求定义为输入条件触发状态转换。该模型已应用于光刻版数据处理的电子设计自动化软件。     

Signal analysis of total internal reflection fluorescent speckle microscopy (TIR-FSM) and wide-field epi-fluorescence FSM of the actin cytoskeleton and focal adhesions in living cells

Fluorescent speckle microscopy (FSM) uses low levels of fluorescent proteins to create fluorescent speckles on cytoskeletal polymers in high‐resolution fluorescence images of living cells. The dynamics of speckles over time encode subunit turnover and motion of the cytoskeletal polymers. We sought to improve on current FSM technology by first expanding it to study the dynamics of a non‐polymeric macromolecular assembly, using focal adhesions as a test case, and second, to exploit for FSM the high contrast afforded by total internal reflection fluorescence microscopy (TIR‐FM). Here, we first demonstrate that low levels of expression of a green fluorescent protein (GFP) conjugate of the focal adhesion protein, vinculin, results in clusters of fluorescent vinculin speckles on the ventral cell surface, which by immunofluorescence labelling of total vinculin correspond to sparse labelling of dense focal adhesion structures. This demonstrates that the FSM principle can be applied to study focal adhesions. We then use both GFP‐vinculin expression and microinjected fluorescently labelled purified actin to compare quantitatively the speckle signal in FSM images of focal adhesions and the actin cytoskeleton in living cells by TIR‐FM and wide‐field epifluorescence microscopy. We use quantitative FSM image analysis software to define two new parameters for analysing FSM signal features that we can extract automatically: speckle modulation and speckle detectability. Our analysis shows that TIR‐FSM affords major improvements in these parameters compared with wide‐field epifluorescence FSM. Finally, we find that use of a crippled eukaryotic expression promoter for driving low‐level GFP‐fusion protein expression is a useful tool for FSM imaging. When used in time‐lapse mode, TIR‐FSM of actin and GFP‐conjugated focal adhesion proteins will allow quantification of molecular dynamics within interesting macromolecular assemblies at the ventral surface of living cells.     

B—ISDN宽带UNI信令点到多点配置的实现

本文根据ＩＴＵ－Ｔ最新的Ｑ．２９７１协议，以及笔者所从事的实际课题，提出一整套Ｂ－ＩＳＤＮ第三层ＵＮＩ信令的软件实现策略，其特点是能同时满足用户对点到点以及点到多点广播这两种通信方式的要求，而且可以动态配置。     

应用事件驱动和有限状态机实现多路数据采集

设计与实现一种基于8位单片机的多路数据采集节点。在硬件上节点由C8051F340单片机,数据采集电路和网络通信电路构成。在节点的软件设计上,设计一种事件驱动结合有限状态机的方式,以实现多路数据实时,高效、智能的采集。事件驱动模型完成数据采集的控制;实际的数据采集功能则由有限状态机完成。依据多路数据间的相关性最为判断,选择Mealy型有限状态机或Moore型有限状态机。在软件结构上具有模块之间耦合度低,逻辑清晰和高扩展性的特点。经实践证明,基本满足设计要求。     

低能耗蓝牙4.0协议原理与实现方法

介绍了最新的蓝牙技术规范4.0协议中低能耗部分的协议原理以及协议架构。讨论了在分层结构通信协议实现中遇到的主要问题和应对的策略。结合通信协议实现的通常策略,讨论了低能耗蓝牙4.0协议实现的方法与策略。     

Event-driven,pattern-based methodology for cost-effective development of standardized personal health devices

Experiences applying standards in personal health devices (PHDs) show an inherent trade-off between interoperability and costs (in terms of processing load and development time). Therefore, reducing hardware and software costs as well as time-to-market is crucial for standards adoption. The ISO/IEEE11073 PHD family of standards (also referred to as X73PHD) provides interoperable communication between PHDs and aggregators. Nevertheless, the responsibility of achieving inexpensive implementations of X73PHD in limited resource microcontrollers falls directly on the developer. Hence, the authors previously presented a methodology based on patterns to implement X73-compliant PHDs into devices with low-voltage low-power constraints. That version was based on multitasking, which required additional features and resources. This paper therefore presents an event-driven evolution of the patterns-based methodology for cost-effective development of standardized PHDs. The results of comparing between the two versions showed that the mean values of decrease in memory consumption and cycles of latency are 11.59% and 45.95%, respectively. In addition, several enhancements in terms of cost-effectiveness and development time can be derived from the new version of the methodology. Therefore, the new approach could help in producing cost-effective X73-compliant PHDs, which in turn could foster the adoption of standards.     

HDLC协议一致性测试系统的研究

HDLC协议一致性测试是保证不同厂家生产的HDLC通信设备之间实现互联、互通和互操作的前提;在对协议一致性测试基本工作原理进行简要分析的基础上,提出了HDLC协议一致性测试的基本方法以及测试过程中基于FSM模型的数据收发处理机制;并在实验室环境下构建了一致性测试硬件平台,设计了测试准备、测试执行和测试评估相关环节所涉及的基本软件功能模块,完成了HDLC协议一致性测试的基本功能;实际运行和测试结果表明,所设计的测试系统达到了预期结果;目前,该系统已成功应用于高速动车组上的通信测试,测试案例可以根据实际需求进行添加、删除和修改,提高了一致性测试的灵活性和完备性。     

脉冲激光测距中基于多层嵌套状态机的控制系统

设计了基于FPGA与TDC-GP21的高精度、高重频的激光飞行时间测量系统。采用多层嵌套状态机作为控制系统,构建SPI通信接口实现对TDC-GP21的配置、控制以及读取测量结果。使用TimeQuest时序分析工具对系统进行时序约束分析。实验结果表明,系统重复测量频率达40KHz,测量精度达±100ps,可以在高频条件下稳定工作。     

基于次态输出的FSM设计及异步转换条件采样研究

根据状态转换图输出属性为原态输出或次态输出,归纳和研究两类FSM电路设计方法.并从两个实例分析入手,明晰同步时序逻辑电路次态输出设计的可状态化简和寄存器输出特点,以及给出如何处理异步信号请求状态转换条件的通用方法.实际测试表明：系统具有稳定性好和结构简单等特点.     

一种需求驱动的服务行为适配方法

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效.针对此问题,本文在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义.证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证.通过一个贯穿全文的实例分析表明了方法的可行性和有效性