关键词： 低功耗   液晶电视   LED背光源设计  

摘要： 现阶段,液晶电视已经走入了千家万户,随着液晶显示面板技术的快速发展,液晶电视的尺寸越来越大,因此相应的电能消耗也越来越大,低功耗液晶电视成为市场诉求。同时随着电视行业的竞争压力不断增加,企业方面所生产的液晶电视应该满足低成本、节能环保、外观轻薄、窄边框等要求,这样才能使企业在竞争日趋激烈的市场中赢得一席之地。对于LED液晶电视来说,节能环保、使用寿命长是其最为明显的优势。同时,液晶电视LED背光源的设计会直接影响到液晶电视的整体电能消耗情况。基于此,本文对低功耗液晶电视LED背光源设计进行了探索分析。

关键词： CHF经验关系式   子通道计算   并行计算   多线程  

摘要： CHF(Critical Heat Flux)一体化开发系统根据临界热流密度的实验数据与子通道计算进行相互对比和统计学分析,最终对CHF经验关系式进行修正和优化。由于CHF一体化开发系统的运行效率偏低,且反复调用子通道计算模块,所以引入多线程并行编程技术来加速计算。通过OpenMP和POSIX线程两种编程方案取得不同的加速效果,区别在于后者编程难度更大。19组实验数据问题的CHF一体化开发系统运行效率被提升5倍左右,接近加速的理论上限。

关键词： 非接触式   RFID系统   防碰撞通信协议   低压报警   低功耗休眠   远距离无线传输  

摘要： 内置电池的供电时间决定了有源RFID的寿命长短,降低有源RFID标签的功耗、及时欠压告警并更换电池是延长其使用寿命的常用方法。文中设计一种带低压报警功能的低功耗有源RFID系统。该系统基于无线收发芯片nRF24LE1进行RFID无线数据传输系统的总体设计,通过控制芯片进入休眠状态的方式降低RFID标签的功耗。讨论系统的硬件电路、低压报警、低功耗休眠的设计方法以及防碰撞通信协议,并进行实际测试。结果表明,该系统配置合理,通信协议简单,具有成本低、抗干扰能力强、通信距离远等优势,可应用于RFID远距离无线通信系统中。

关键词： 逐次逼近模数转换器   模数转换器时域比较器   低功耗  

摘要： 基于CMOS 90 nm工艺设计了一款采用时域比较器的10位逐次逼近型模数转换器(successive approximation register analog-to-digital convertor,SAR ADC).与传统动态比较器相比,时域比较器利用差分多级电压控制型延时线将电压信号转为时间信号,并通过鉴相器鉴别相位差而得到比较器结果,减小了共模偏移对比较器的影响和静态功耗.同时,电路采用部分单调式的电容阵列电压转换过程,有效减小电容阵列总电容及其功耗.仿真结果表明,在电源电压1 V,采样率308 kS/s,信号幅度0.9 V的情况下,有效位数(ENOB)为9.45 bits,功耗为13.48μW.

关键词： 低功耗设计   硬件低功耗   软件低功耗  

摘要： 对于便携设备而言,靠提高电池容量来提高续航能力,并不现实.技术人员所关心的重点问题是采用怎样的方式能够达到低功耗设计,将设备的性能提升上去,同时还要将电池的使用寿命延长.所有业内人士所需要面对的重要问题就是怎样设计能达到低功耗的作用,为了能够达到这个目的所需要改进的方面有两种,第一是硬件方面,其次是软件方面.文章从电路设计出发,浅析了硬件的低功耗设计和软件的低功耗设计两个方面.分享了在电路进行低功耗设计时的一些经验和方法.

关键词： 多线程   人机界面   通信  

摘要： 当前平板显示技术正迅猛发展,本文以工业应用为目标,设计了倾斜式平板检测仪器运动控制系统,系统采用上下位机编程,上位机人机界面要与下位机、图像处理单元以及远程监视端3个单元进行通信,因此提出了多线程编程的实现方法。由人机界面主线程创建3个子线程,每个子线程都封装socket用于通信,3个子线程分别实现相应单元与人机界面的消息交互。

关键词： 有限状态机   交互式维护   状态转换   多线程   外场维护场景  

摘要： 针对飞机外场维护中存在的维护场景复杂、专用设备种类繁多、状态转换频繁、维护过程不规范等实际工程问题,提出一种基于有限状态机的交互式维护系统开发方法。描述系统的设计框架和通信协议;设计符合飞机维护领域标准的状态机模型,包括维护人员、ARINC624和成员设备状态机模型;解决状态机模型的多线程设计和同步问题,实现人机交互维护过程。通过在机载维护仿真平台中的使用,证明了采用有限状态机的设计理念可准确描述被测对象的行为,根据不同的测试指令和反馈消息完成状态跃迁,并有助于提高软件的通用性、健壮性和可扩展性。

关键词： Instruction sets   Electrooculography   Encoding   Concurrent computing   Programming   Model checking   Tools   Multi-threaded program   bounded model checking   scheduling constraint   event order graph  

摘要： Bounded model checking is among the most efficient techniques for the automated verification of concurrent programs. However, due to the nondeterministic thread interleavings, a large and complex formula is usually required to give an exact encoding of all possible behaviors, which significantly limits the scalability. Observing that the large formula is usually dominated by the exact encoding of the scheduling constraint, this paper proposes a novel scheduling constraint based abstraction refinement method for multi-threaded C program verification. Our method is both efficient in practice and complete in theory, which is challenging for existing techniques. To achieve this, we first proposed an effective and powerful technique which works well for nearly all benchmarks we evaluated. We have proposed the notion of Event Order Graph (EOG), and have devised two graph-based algorithms over EOG for counterexample validation and refinement generation, which can often obtain a small yet effective refinement constraint. Then, to ensure completeness, our method was enhanced with two constraint-based algorithms for counterexample validation and refinement generation. Experimental results on SV-COMP 2017 benchmarks and two real-world server systems indicate that our method is promising and significantly outperforms the state-of-the-art tools.

关键词： 多线程   超级计算机   数据中心   并行计算   世界之最   服务器   单核心  

摘要： 处理器的单核心性能在许多应用场合中都很重要,但是随着现有条件下单核心性能接近天花板,以及多线程应用和并行计算的兴起,在服务器、超级计算机等设备上,更多的核心和更强悍的多线程性能变得备受关注。尤其是针对那些计算任务并不重,但是对分发性能要求特别高的数据中心来说,更多的核心和线程意味着它可以响应更多的访问需求,也意味着更大的商业市场规模。在这种情况下,一些厂商开始推出基于非x86架构的超多核心处理器,搭配SMT多线程技术,带来了令人耳目一新的技术与产品。

关键词： 读出电路   紫外焦平面   超低功耗   电容反馈跨阻放大器  

摘要： 提出了一种新型的超低功耗读出电路用于18μm中心距1 024×1 024面阵规模的AlGaN紫外焦平面。为了实现低功耗设计紫外焦平面读出电路,采用了三种设计方法,包括:电容反馈跨阻放大器CTIA结构采用工作在亚阈值区的单端输入运算放大器,列像素源随缓冲器和电平移位电路共用同一个电流源负载以及列级缓冲器的分时尾电流源设计。由于像素单元内CTIA采用了单端输入运算放大器,在3.3 V供电电压下,每个像素单元最小工作电流仅8.5 nA。该读出电路设计了可调偏置电流电路使读出电路能得到更好的性能并基于SMIC 0.18μm 1P6M混合信号工艺平台进行了设计制造。测试结果表明:由于采用了上述设计方法,整个芯片的功耗在2 MHz时钟8路输出模式下仅67.3 mW。