摘要：针对采用触摸预测和窗口采样(TPWS)稀疏读出策略实现的电容触摸屏系统容易受到显示噪声和充电器噪声干扰的问题,本文提出了并行互补驱动和差分感应的方法以提高系统的信噪比。基于本文提出的并行驱动和差分感应方法,并结合TPWS系统的特点,采用0.35μm CMOS工艺设计实现了一个48通道电容触摸屏模拟前端IC,并设计了一个11.6in原型触摸屏系统用于评估该IC的性能。测试结果表明,本文设计的IC不仅能满足TPWS系统对于点测量和线测量的功能需求,并且系统的信噪比从原来的25.0dB提升到了35.8dB。

摘要：当代航空系统是复杂的安全关键信息物理融合系统(cyber-physical system,简称CPS).失效概率分配是民用航空系统及设备初步系统安全性评估过程的重要工作,AADL(architecture analysis and design language)适用于航电系统的设计开发,对AADL模型实施失效概率分配和安全性评估是不可或缺的.提出了基于AADL的失效概率分配方法,可将系统失效概率分配给子构件,作为其安全性需求.该方法综合考虑系统架构设计、模型复杂度和严酷度(severity)等级.通过结合失效概率分配方法和确定性随机Petri网(deterministic stochastic Petri-net,简称DSPN),进一步提出了基于AADL的安全性评估方法,将系统的AADL模型转换为DSPN模型,以计算子构件的失效概率,并评估子构件是否满足安全性需求,直到设计出满足安全性目标的架构模型.最后给出了失效概率分配方法与安全性评估方法的实现算法和工具结构,并通过将所提出的方法应用到飞行控制系统,表明所提方法能够有效地完成失效概率分配和安全性评估.

摘要：四川省成都市锦江区以学生成长为目的,以课程改革为引领,在实践中探索出顶层设计、找准载体、链动调适的策略,整体提升了区域课程建设的效益。

摘要：在空间应用和核辐射环境中,单粒子翻转(SEU)效应严重影响SRAM的可靠性。采用错误检测与校正(EDAC)和版图设计加固技术研究和设计了一款抗辐射SRAM芯片,以提高SRAM的抗单粒子翻转效应能力。内置的EDAC模块不仅实现了对存储数据"纠一检二"的功能,其附加的存储数据错误标志位还简化了SRAM的测试方案。通过SRAM原型芯片的流片和测试,验证了EDAC电路的功能。与三模冗余技术相比,所设计的抗辐射SRAM芯片具有面积小、集成度高以及低功耗等优点。

摘要：混合信号VLSI芯片的单片特性验证是此类芯片的设计难题之一。针对典型的混合信号VLSI芯片——单片集成薄膜晶体管液晶显示器(TFT-LCD)驱动芯片,设计了一种能够直观模拟液晶显示的系统级验证平台,并利用此验证平台验证了系统架构的正确性。还针对此芯片的设计特点,结合系统验证平台为整个设计流程的各个阶段提出了不同的验证策略。通过对这些策略的配合使用,对芯片特性进行了全面验证,包括模块级验证、芯片级验证以及物理验证。该验证策略具有高效、直观、可靠等特点。

摘要：介绍了TFT-LCD驱动芯片内置SRAM验证方法:(1)采用模拟验证和形式验证相结合的前端设计验证方法,完成各模块的功能验证及整个SRAM的功能和时序验证。模拟验证技术,利用模拟工具对被测试模块施加测试激励信号,检查输出信号是否符合预期要求;模拟方法可以同时检查被测试模块的功能及时序方面的响应情况,能够全面体现电路的行为。形式验证技术,在集成电路设计中,是通过算法的手段进行等价性检查,比较两种设计之间的功能等价性。(2)采用结构化抽取寄生参数和建立关键路径的方法,完成SRAM性能的评估,即后端设计验证。并且用具体实例详细描述了以上方法在电路仿真验证中的应用,并给出了部分电路结构及仿真结果,进一步论述了该方法的可行性及实用性。

摘要：司徒乔(1902—1958),广东开平县赤坎塘边村人,是前期岭南画家的优秀代表,被人们称作"有血性的画家"、"人民画家"等。他的艺术生涯分为三大阶段:艺术的探索期、艺术的高潮期、艺术的成熟期。司徒乔以毕生精力,关注着现实社会:对旧时代的控诉和对新社会欢乐的歌颂。他虽从未受到过正规的艺术训练,但他靠着他的坚强意志,更靠着他强烈的社会责任感和对人民深深的爱,走出了独具特色的绘画创作之路。

摘要：健康中国建设的重要抓手是健康城市建设,而功能社区是城市的重要组成,因此在健康中国的大背景下,在城市中开展健康功能社区建设,完善管理、促进功能社区范围的环境空间改善和服务提供,促进社区卫生服务的延伸和拓展从而为功能社区人群提供更完善的健康保障,有助于实现全方位、全周期维护和保障人民健康,推进健康中国目标的实现。

摘要：许多复杂的嵌入式系统都是混合关键系统(mixed-criticality system,MCS).MCS通常需要在指定的关键性(criticality)等级状态下运行,但是它们可能会受到一些危害的影响,这些危害可能会导致随机错误和突发错误,进一步导致执行线程中止,甚至导致系统故障.目前的研究仅集中于对MCS的可调度性分析,未能进一步分析系统安全性,未能考虑线程之间的依赖关系.以随机错误和突发错误为研究对象,提出一种集成故障传播分析的基于架构的MCS安全分析方法.使用架构分析和设计语言(architecture analysis and design language,AADL)刻画构件依赖关系.为了弥补AADL的不足,创建新的AADL属性(AADL突发错误属性),并提出新的线程状态机(突发错误行为线程状态机)语义来描述带有突发错误的线程执行过程.为了将概率模型检查应用于安全分析,提出模型转换规则和组装方法,从AADL模型推导出PRISM模型.建立了两个公式,分别获得定量安全属性以验证故障发生的概率,以及定性安全属性以生成相应的正例来求出故障传播路径来进行故障传播分析.最后,以动力艇自动驾驶仪(power boat autopilot,PBA)系统为例,验证了该方法的有效性.

摘要：对诗歌类书籍设计的视觉表现进行了分析和研究,提出新的设计方向。以书籍设计的概念为基础,从“书籍五感”中的视觉入手,通过对比诗歌类书籍的视觉呈现手法,从文字、图形、色彩和版式四个方面进行分析研究。了解到当代诗歌类的书籍设计也在紧随潮流,在立足于文本的基础上,不断寻求创意上的突破,打破常规限制,融入情感化设计,不断尝试新型材料以求为读者带来更完整、更舒适的阅读体验。对诗歌类书籍进行细化研究能够有效反映出当下中国对诗歌类书籍在设计上注重的方面,同时也能针对薄弱之处与可进一步发展的部分进行进一步探索。