Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously.     

Preferred VDT workstation settings, body posture and physical impairments

In a field study an adjustable VDT workstation was given to each of the 68 operators for one week. The preferred settings, the body postures and subjective evaluations were assessed during normal working activities of the operators. The preferred ranges disclose the following figures: keyboard height (home row above floor) 71-87 cm, screen height (centre above floor) 92-116 cm, viewing angles (eye to screen centre) + 2 to -26 degrees, visual distance (eye to screen) 61-93 cm. There was practically no correlation between preferred settings and anthropometric data of body length or eye levels above floor. The study of body postures revealed that the great majority of operators tend to lean backwards with trunk inclinations between 97 degrees and 121 degrees (95% confidence interval). Some of the preferred settings strongly differ from those recommended in many brochures and standards. The physical complaints in the neck-shoulder and back area are diminished with the preferred settings.     

Effect of display location on control-display stereotype strength for translational and rotational controls with linear displays

Experiments were designed to investigate the effects of control type and display location, relative to the operator, on the strength of control/display stereotypes. The Worringham and Beringer Visual Field principle and an extension of this principle for rotary controls (Hoffmann E.R., and Chan A.H.S. 2013). “The Worringham and Beringer ‘Visual Field’ Principle for Rotary Controls. Ergonomics.” 56 (10): 1620–1624) indicated that, for a number of different control types (rotary and lever) on different planes, there should be no significant effect of the display location relative to the seated operator. Past data were surveyed and stereotype strengths listed. Experiments filled gaps where data are not available. Six different control types and seven display locations were used, as in the Frame of Reference Transformation Tool (FORT) model of Wickens et al. (Wickens, C.D., Keller, J.W., and Small, R.L. (2010). “Left. No, Right! Development of the Frame of Reference Transformation Tool (FORT).” Proceedings of the Human Factors and Ergonomics Society 54th Annual Meeting September 2010, 54: 1022–1026). Control/display arrangements with high stereotype strengths were evaluated yielding data for designers of complex control/display arrangements where the control and display are in different planes and for where the operator is moving. It was found possible to predict display/control arrangements with high stereotype strength, based on past data.

Practitioner Summary: Controls and displays in complex arrangements need to have high compatibility. These experiments provide arrangements for six different controls (rotary and translational) and seven different display locations relative to the operator.     

Visual effects of the luminance surrounding a computer display

The luminance surrounding a computer display can potentially reduce visibility of the display (disability glare), result in sensations of discomfort (discomfort glare) and result in transient adaptation effects from fixating back and forth between the two luminance levels. The study objective was to measure the effects of surround luminance levels upon these functions in younger and older adults to determine recommended surround luminance levels. The younger age group comprised 20 subjects (mean age 27.9 years, range 23 – 39) and the older group 17 subjects (mean age 55.5 years, range 47 – 63). The central task was presented with luminance of 91 cd/M², tested surround luminance levels were 1.4, 2.4, 8.9, 25.5, 50, 91, 175, 317, and 600 cd/M². Disability glare was tested with low contrast (20%) visual acuity charts, transient adaptation was tested with a task that required regular fixation between the two luminance levels, discomfort was measured with a questionnaire after reading stories with different surround luminance levels, and preferred luminance was measured by method of adjustment. The surround luminance significantly affected transient adaptation (p < 0.0001), optimal performance occurred at 50 cd/M² and above for the young group and at 91 cd/M² and above for the older group. Neither low contrast acuity (disability glare) nor symptoms when reading were significantly affected by surround luminance. There was wide variation in preferred surround luminance; however, average preferred surround luminance was 86.9 cd/M² for the young group and 62.2 cd/M² for the older group, slightly below the central luminance of 91 cd/M². The effects of the surround luminance within the tested range are not large; however, the data show that the lowest surround luminance levels should be avoided and that surround luminance levels at or slightly below that of the central task are preferred.     

按键显示电路的一种综合设计

在单片机应用系统中，常用的按键显示电路分别占用不同的I/O口。本文提出了一种综合设计方法，使键盘显示电路公用I/O口，这对于节约I/O口资源，减小应用系统的体积有很大的作用。     

DSP人机接口电路设计

对TMS320F2812型数字信号处理器的硬件资源和相应的外部设备进行了详细的介绍,分析了19264液晶显示器的接口电路、控制系统,以及按键的结构.在此基础之上,利用TMS320F2812型数字信号处理器的GPIO口对按键电路和液晶接口电路进行了设计,通过调试和仿真后发现本方案可行.     

Effects of color display, color name, color formation and color alignment on the screen layout usability of customized product color combinations

This study investigated the effects of screen layout on the usability of a large number of color combination options for customized product. Using an L₁₈ orthogonal array, 18 interfaces were designed around four factors: color display, color name, color formation and alignment. Participants completed a color combination search task and a questionnaire concerning their satisfaction with the interfaces.Based on the search time and user satisfaction, the display of color samples by modular sections (itemized color chips) was found to be the optimal method of color selection. This arrangement reduced the number of combinations of color samples displayed on the screen and allowed efficient navigation of a large palette of color combinations. Vertical alignment aided the product color discrimination and reduced the search time. Users viewed various product color combinations directly with or without the aid of color names.

Relevance to industry

Because of the considerable observed reductions in search time and the superior reported degrees of satisfaction associated with the tested configurations for customized product color combination, the findings of this study have important ramifications for consumers and manufacturers of products as diverse as sofas, curtains, clothing, athletic shoes, cars, mobile phones and the other customized products.     

Hanoi塔递归算法的三维动画演示在OpenGL的实现

基于VC 6.0和OpenGL,描述了Hanoi塔递归算法的具体实现,并用三维动画对盘子的移动进行了模拟。     

典型三角网格细分算法

介绍7种典型的三角网格细分算法,对各种细分算法在连续性、具备优点及应用状况等几个方面进行比较和归类。为提高三角网格细分效果的可视化程度,将基于功能类机制的状态机模型作为软件运行模式,利用MFC和Open GL实现交互式显示控制,并在此基础上对最具典型意义的Loop算法进行原型实现,给出优化方法。