煤矿生产、安全调度LED电子大屏幕显示系统的设计

通过比较煤矿生产、安全调度显示方式的优缺点，提出和分析了适合于煤矿生产安全调度的ＬＥＤ电子大屏幕显示系统配置、功能及特点。     

声光效应拉曼-内斯方程矩阵级数解法及声光调制器优化设计

提出一种求解正常声光相互作用拉曼 内斯 (Raman Nath)方程的矩阵级数解法 ,该解法直观方便且具有普遍性。计算结果表明 ,对Q =4 1π ,Bragg衍射的效率只有 97 5 % ;对非对称入射 ,以往的Raman Nath近似解误差较大 ;指出提高Bragg衍射效率的有效途径在于提高声光频率比并给出计算声光器件最优长度的计算公式。     

Recording of volume hologram using a beam pattern from taperedoptical fiber

A photorefractive volume hologram was recorded and probed using light diffracted from a tapered optical fiber as a reference beam. A single-mode fiber (SMF) was chemically etched and tapered to give a complicated beam pattern, and it is shown that the tapered optical fiber can be utilized to increase the storage density of the volume hologram. Spatial selectivity of the volume hologram with this method was increased by two times compared to the normal SMF referencing, which is due to the fact that the complicated beam pattern has little correlation with its shifted version     

Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

Current IMT-2000 R&D status and views in Korea

In this article Korean development of IMT-2000 is considered. It includes the second-generation digital mobile communications, R&D and standardization activities related to IMT-2000, and the authors' perspectives on IMT-2000 in Korea. In Korea, there are many activities for development of IMT-2000 radio transmission technologies, and the results of these activities will be the submission of technologies to the ITU. However, the Korean telecommunications standardization body (TTA) will make every effort to make a common global standard for IMT-2000. Therefore, the TTA will make a domestic standard for IMT-2000 after the ITU finalizes the related Recommendations. It seems to the authors that difficulties in harmonization in the TTA are very similar to difficulties in harmonization worldwide. The only way of reaching the harmonization of IMT-2000 in Korea is that the key players should have the view from the end users' seat     

一种多晶硅高温压力传感器

制作压力传感器时，在二氧化硅层上淀积多晶硅膜，既可利用优良的机械特性，又可保证压敏电阻与衬底间具有良好的绝缘性，由此可大大提高器件的温度特性。介绍了一种多晶硅压力传感器的原理和设计。实验结果表明，这类传感器具有灵敏度好，精度高等特点，电路工作范围为０－２５０℃，且具有良好的温度稳定性。     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

An expectation-driven response understanding paradigm

This paper describes a model that can account for ad hoc user-responses to argument interrogative type of system-initiated questions. Successful implementation of the model can provide an alternative solution that is more effective than the menu-driven approach that has been proposed as a meager solution to enable the system to ask a question to the user. The proposed model assumes that when the system asks a question, it maintains an expectation of the potential answers. The system then uses the expectation as the focus to perform the most likely interpretation of the user's response. Without using such a focus the interpretation process could be unbounded. The interpretation process is mapped into a heuristic search problem. The interpretation process results in identifying a particular expectation-response relationship type, which the system can use to tailor its response strategy with respect to the given user-response. A prototype has been constructed to demonstrate the soundness of the proposed model