Interface feature prioritization for web services: Case of online flight reservations

Acceptance, utility, and usability of system designs have become a focal interest in human–computer interaction (HCI) research, yet at present there is a lack detailed understandings of which system design features influence them. The purpose of the study is to examine the effects of five product design features; customization, adaptive behavior, memory load, content density, and speed on user preference through an experimental study by using conjoint analysis. In experimental study, instead of classical conjoint cards, prototypes were generated for products. Besides, desirability and market segments of product prototypes were identified. In line with the results, among the five product design features, speed is the most and customization is the least important features that affect user preference. Contrary to the expectations, customization has a relatively small importance value in this research. Subsequent design features that influence user preference after speed are minimal memory load, adaptive behavior, and content density, respectively. According to findings, interfaces that have high-speed, minimal memory load, adaptive behavior, low content density, and customization features are more preferable than those that do not.     

Self-consistent gradient flow for shape optimization

We present a model for image segmentation and describe a gradient-descent method for level-set based shape optimization. It is commonly known that gradient-descent methods converge slowly due to zig–zag movement. This can also be observed for our problem, especially when sharp edges are present in the image. We interpret this in our specific context to gain a better understanding of the involved difficulties. One way to overcome slow convergence is the use of second-order methods. For our situation, they require derivatives of the potentially noisy image data and are thus undesirable. Hence, we propose a new method that can be interpreted as a self-consistent gradient flow and does not need any derivatives of the image data. It works very well in practice and leads to a far more efficient optimization algorithm. A related idea can also be used to describe the mean-curvature flow of a mean-convex surface. For this, we formulate a mean-curvature Eikonal equation, which allows a numerical propagation of the mean-curvature flow of a surface without explicit time stepping.     

Flash memory efficient LTL model checking

As the capacity and speed of flash memories in form of solid state disks grow, they are becoming a practical alternative for standard magnetic drives. Currently, most solid-state disks are based on NAND technology and much faster than magnetic disks in random reads, while in random writes they are generally not.So far, large-scale LTL model checking algorithms have been designed to employ external memory optimized for magnetic disks. We propose algorithms optimized for flash memory access. In contrast to approaches relying on the delayed detection of duplicate states, in this work, we design and exploit appropriate hash functions to re-invent immediate duplicate detection.For flash memory efficient on-the-fly LTL model checking, which aims at finding any counter-example to the specified LTL property, we study hash functions adapted to the two-level hierarchy of RAM and flash memory. For flash memory efficient off-line LTL model checking, which aims at generating a minimal counterexample and scans the entire state space at least once, we analyze the effect of outsourcing a memory-based perfect hash function from RAM to flash memory.Since the characteristics of flash memories are different to magnetic hard disks, the existing I/O complexity model is no longer sufficient. Therefore, we provide an extended model for the computation of the I/O complexity adapted to flash memories that has a better fit to the observed behavior of our algorithms.     

内存缓存技术在门户网站开发中的应用研究

该文创造性地探讨了内存缓存技术在门户网站开发中的应用,介绍了Memcached这一杰出成果在truelife.com的应用情况,并就其实际存在的一些缺陷进行了深入分析。     

烧结与冷镦过程中铝硅共晶合金显微结构与密度的演变

采用烧结及后续的镦粗工艺制备了铝硅共晶合金块体材料,研究了烧结温度对烧结体显微结构、抗压强度及相对密度的影响。结果表明：烧结温度显著影响烧结体的显微结构和抗压强度,以临近铝硅共晶合金液相线的温度烧结时,发生了局部熔化,产生的熔融液体破坏了颗粒表面的氧化膜,颗粒之间相互黏结,形成了烧结骨架。以优化的555℃烧结,Si颗粒呈球状,抗压强度达到最佳,但相对密度未发生变化。在后续的冷镦过程中,烧结骨架及粉末颗粒均产生变形,孔隙减小,颗粒呈扁平状,相对密度达到了98%。     

Prospective issues for error detection

From the literature on error detection, the authors select several concepts relating error detection mechanisms and prospective memory features. They emphasize the central role of intention in the classification of the errors into slips/lapses/mistakes, in the error handling process and in the usual distinction between action-based and outcome-based detection. Intention is again a core concept in their investigation of prospective memory theory, where they point out the contribution of intention retrievals, intention persistence and output monitoring in the individual's possibilities for detecting their errors. The involvement of the frontal lobes in prospective memory and in error detection is also analysed. From the chronology of a prospective memory task, the authors finally suggest a model for error detection also accounting for neural mechanisms highlighted by studies on error-related brain activity.     

储氢与合金材料

介绍了储氢合金材料和开发应用动态。     

Room temperature oxidation of lead-indium alloy films

The kinetics of growth of thin (14 to 40Å) oxide layers on lead-indium alloys was investigated ellipsometrically, using: 3000Å thick films at 23°C; and oxygen exposures at 760 torr for times ranging from five minutes to five days. Assuming that the oxide layer is comprised of a two-phase mixture of PbO and In₂O₃ having a negligible extinction coefficient made it possible to estimate the oxide composition from the ellipsometrically-obtained oxide refractive index. Under these oxidizing conditions, the volume fraction of PbO in the oxide mixture decreases from a value of unity for pure lead to zero for alloys containing more than 30 at. percent In, in agreement with the Auger Electron Spectroscopy results of Chou and coworkers. The oxidation rate equals a exp (X₁/X), where α and X₁ will be seen to vary complexly with alloy composition. A theoretical explanation of these results is also presented.     

一种16QAM调制实现技术的研究

讨论了16QAM调制时应用不同类型和参数的滤波器对系统性能的影响．针对16QAM的特点，采用了存储波形累加求和法来代替一般的滤波成形，提高了调制速度．并利用其相位对称的特点将波形存储表压缩为原容量的1／4，有效地节约了存储空间．