Communication across Viewpoints

A case situation arising in a normal interaction among people is the baseline for discussing properties of the theory of viewpoints. In particular we consider how to ensure agreement on the meaning of certain utterances by agents who have different perspectives on the situation, while maintaning other knowledge as private. We argue that communication should be modeled as adding facts to the common knowledge of agents. We introduce the principle of 'referent sharing' in communications and argue that common knowledge resulting from communication should only use constants whose referent is manifest to the parties involved.     

A semantics of introspection in a reflective prototype-based language

In Malenfant et al. [19], we have described a reflective model for a prototype-based language based on thelookup o apply reflective introspection protocol. In this paper, we augment our previous protocol by converting it to handle continuations reified as first-class objects. First-class continuations provide much more control over the current computation; during the introspection phase fired by message sending, they make it possible not only to change the behavior of the program for that message but also for the entire future computation. In this paper, we provide this introspection protocol with a formal semantics. This result is obtained by exhibiting a mapping from program configurations to priority rewrite systems (PRS) as well as a mapping from message expressions to ground first-order terms used to query the PRS. Other advantages of this approach are: to ensure the termination of the introspection using the smallest set of formally justified conditions and to provide a clear declarative account of this reflective protocol. The PRS also appears as a meta-level to the base language, independent of the implementation, but from which we derive fundamental clues to obtain an efficient language processor. By our new model, we finally highlight the link between reflection in object-oriented languages and the one originally proposed by 3-Lisp [24], although object-orientation provides reusability to reflection, making it easier to use.     

新一代液晶显示系统设计与实现

随着时代的演进和科技的进步,液晶显示已经在现代科技产品中得到广泛应用,为了提高液晶显示系统在带有电容触摸技术的现代电子产品中开发与应用,文章中采用新一代8位STM8S208系列MCU和ET-12864F液晶显示模块,设计了一种新型的液晶显示系统;同时介绍了STM8S208单片机的优越性和ET-12864F液晶显示模块的具体操作方法,并给出了单片机STM8S208与液晶显示模块ET-12864F构建的硬件接口电路和程序设计;经实践应用,该液晶显示系统应用开发成本低,效率高具有较好的项目应用参考价值。     

加固液晶显示器控制电路设计实例

用FPGA+ARM的方式设计低成本加固液晶显示器控制电路.FPGA负责对比度调整,ARM微控制器负责温度、亮度、通信、键盘扫描的控制.创新之处在于用低成本架构取代老方案,缩短开发周期,并引入LED背光源辅助加热、动态背光源降低功耗的思想.     

Improving content visibility for high‐ambient‐illumination viewable display and energy‐saving display

Abstract— Nowadays, low‐contrast viewing of LC displays (LCDs) occurs very often, which includes the viewing of mobile LCDs at high ambient illumination and the viewing of LCDs at low‐power mode. These cases result in low‐content visibility and low contrast, leading to an unpleasant viewing experience. In this paper, a technique to improve the perceived contrast and visibility of images at low‐contrast viewing conditions is proposed. The proposed approach enhances image brightness with content and ambient adaptive image brightening and highlights visual parts and boundaries with non‐photorealistic rendering. The proposed technique enables longer battery life for mobile LC devices and makes mobile LC devices viewable at high ambient illumination. It also enables TVs with extreme low‐power consumption and smart‐grid responsive TVs.     

Lapped transform‐based codec for frame‐memory reduction in super‐quality LCD overdrive

Abstract— Overdrive is commonly used to reduce the liquid‐crystal response time and motion blur in liquid‐crystal displays (LCDs). However, overdrive requires a large frame memory in order to store the previous frame for reference. In this paper, a lapped transform‐based codec (LTC) is proposed to reduce the frame memory needed for LCD overdrive. In the latest literature, a directional prediction‐based codec (DPC) employs eight directional predictions, which takes up a large percentage of the computational complexity of the codec and does not consider the de‐correlation of the inter‐blocks. Therefore, the LTC first uses the lapped transform to decompose the correlation of the inter‐blocks in the YUV color space. A hadamard transform is then used for energy compaction. The reordered coefficients are pre‐quantized and encoded using the proposed adaptive bit‐plane coding (ABPC) method for a simple hardware implementation. The simulation results show that the proposed LTC significantly improves the DPC in both subjective and objective performance and outperforms the block truncation coding (BTC) and adaptive multi‐level BTC (AM‐BTC), which have been described in the literature.     

Survey of actual viewing conditions at home and appropriate luminance of LCD‐TV screens

Abstract— To understand actual viewing conditions at home is important for TV design. And the preferred luminance level of LCD TVs under actual viewing conditions is also important in order to obtain both good picture quality and low power consumption. The actual viewing conditions of households and the preferred luminance levels was investigated. In a field test of 83 households, the display luminance, screen illuminance, and viewing locations were measured on site. In laboratory experiments, young and elderly subjects adjusted the luminance of an LCD‐TV screen to their preferred levels under different screen illuminance levels, angular screen sizes, and average luminance levels (ALL) of the images. As a result, two equations, which represent the preferred luminance level of LCD‐TV screens corresponding to different viewing conditions for young and elderly subjects were obtained. When the ALL of the images was 25% and the screen illuminance and angular screen size were set at 100 lx and 20°, respectively, the preferred luminance was 1 60 cd/m² for the young subjects and 248 cd/m² for the elderly subjects. By using the setting of the preferred luminance of an LCD TV under actual viewing conditions, it is possible to conserve energy consumption.     

A new vertical‐alignment LC mode with high‐transmittance and fast‐response‐time features

Abstract— A novel pixel design for vertical‐alignment LCDs with superior transmittance has been developed. The new liquid‐crystal mode, refered to as the hole‐induced vertical‐alignment mode (Hi‐VA), uses a via hole of an organic layer on a TFT substrate to achieve multi‐domain alignment. Compared to the conventional design, the Hi‐VA mode has a transmittance of up to 135% with a contrast ratio of 2000:1. Moreover, the new structure is free from ITO patterning or protrusion on the color‐filter side, which makes the fabrication process simple and low cost.     

基于Mega169的空调控制器的设计

采用单片机技术,设计了一种车用空调控制器.控制器可对空调的各个部件进行控制,实现制冷制热、调整风量及控制风口的变换等操作.系统采用液晶显示屏显示,由程序控制实现各个环节的功能,方便了汽车驾驶员的操作.该设计具有很高的实用价值,可适用于现有的大多数汽车以及工程车.     

基于EasyARM1138的电能收集充电器设计

设计了基于EasyARM1138嵌入式处理器为控制核心的电能收集充电器,阐述了电能收集器的硬件电路结构、工作原理及软件程序设计.根据充电电池取样电流与电压状态信息,EasyARM1138产生合适的PWM信号,并控制BUCK变换器工作,实现充电高效控制.本电能收集充电器具有数字化、智能化的特点.