LR分析的教学法探讨

LR分析法是编译程序语法分析中最常用且有效的自下而上的分析方法,理论较完善,适用于大多数上下文无关语言的分析。本文主要探讨LR分析的教学方法,采用"启发+关联式"教学法,引导学生理解LR分析的内涵。     

基于HT46RU232的全自动体检仪

设计了一种全自动体检仪,高效、精确、实时地实现常规体检项目的自动测量.以HT46RU232单片机为下位机,以LabVIEW软件开发的程序为上位机.该体检仪高效、精确、实时地实现了常规体检项目的自动测量,并可根据需要输出相应的电子和纸质报告,还具有防背诵作弊、防盗版功能.此设计是对传统常规体检的一种廉价、高效的替代方案,...     

一种共享存储视频服务器集群的请求调度策略

在VOD服务器集群中,对用户服务请求的合理调度是提高集群整体性能的关键技术之一.本文针对共享存储结构下的服务器机群,在请求调度算法LoadCache-rep基础上进行改进,提出一种基于视频节目点播集中度的调度策略,该策略通过将相近的点播请求调度至相同服务器上以充分利用服务器的缓存机制,同时兼顾均衡各服务器间的负载.并根据实时负载变化对请求进行迁移以消除VCR操作对负载分布的影响.仿真试验表明,该策略能有效提高视频服务器集群的运行性能.     

Highly Optimized Code Generation for Stencil Codes with Computation Reuse for GPUs

Computation reuse is known as an effective optimization technique. However, due to the complexity of modern GPU architectures, there is yet not enough understanding regarding the intriguing implications of the interplay of computation reuse and hardware specifics on application performance. In this paper, we propose an automatic code generator for a class of stencil codes with inherent computation reuse on GPUs. For such applications, the proper reuse of intermediate results, combined with careful register and on-chip local memory usage, has profound implications on performance. Current state of the art does not address this problem in depth, partially due to the lack of a good program representation that can expose all potential computation reuse. In this paper, we leverage the computation overlap graph (COG), a simple representation of data dependence and data reuse with “element view”, to expose potential reuse opportunities. Using COG, we propose a portable code generation and tuning framework for GPUs. Compared with current state-of-the-art code generators, our experimental results show up to 56.7 % performance improvement on modern GPUs such as NVIDIA C2050.     

金标试纸条的尿素酶快速定量检测仪研制

研制了一种基于CMOS传感器的胶体金免疫层析试纸条的尿素酶定量检测系统。该系统由硬件和软件两部分组成,硬件部分利用CMOS传感器和条码扫描仪来获取检测图像和病人的个人信息。软件部分除了实现免疫层析试纸条光信号的分析和诊断还实现病人信息采集和建立病人信息数据库等关键功能。该软件采用了k-means聚类算法,实现采集图像的精准分析。通过检测200例尿素酶样品试纸条,验证了设备的稳定性和准确性。该系统体积小、便携性强且具有优秀的续航能力,可用于长时间的临床、野外和社区体检。     

面向DO-333的襟缝翼控制单元安全性分析

DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制品进行验证与分析,判断其是否满足DO-178C的相关验证目标并提供证据支持。首先,对控制单元中襟翼与缝翼必须互斥更新的高级需求进行规约和验证;其次,对单个机翼控制逻辑的低级需求进行规约和验证。通过以上验证与分析,分别为标准中关于高级和低级需求的验证目标提供证据。文中展示了模型检验在一个机载软件认证中的应用实例,该工作将为机载软件的安全性保障和适航认证提供技术支持。     

Robust State Estimation for Delayed Complex-Valued Neural Networks

This paper is concerned with the state estimation problem for the uncertain complex-valued neural networks with time delays. The parameter uncertainties are assumed to be norm-bounded. Through available output measurements containing nonlinear Lipschitz-like terms, we aim to design a state estimator to estimate the complex-valued network such that, for all admissible parameter uncertainties and time delay, the dynamics of the error-state system is guaranteed to be globally asymptotically stable. In addition, the case that there are no parameter uncertainties is also considered. By utilizing the Lyapunov functional method and matrix inequality techniques, some sufficient delay-dependent criteria are derived to assure the existence of the desired estimator gains. Finally, two numerical examples with simulations are presented to demonstrate the effectiveness of the proposed estimation schemes.     

一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

一种高灵敏度FBG加速度传感器设计与仿真

采用悬臂梁与垫高块结构,设计了一种高灵敏度的光纤光栅加速度传感器,光栅栅区两端固定在悬臂梁与垫高块之间,提高了传感器的灵敏度,避免了出现啁啾或多峰现象,推导了设计计算的力学模型;对传感器进行了过载安全保护设计、光栅预拉伸设计等;采用有限元分析计算得出了悬臂梁应变分布情况及6阶固有频率,证明分析结果与设计计算吻合。