B737机务CBT系统建设方案的探讨

通过对AICC制订的CBT课件开发规范的探讨，阐述了CBT的基本概念和波音737飞机机务CBT的开发制作过程，以及利用Authorware开发软件制作多媒体课件的技术难点。     

实时CSCW系统中迟加入问题的研究

针对实时CSCW系统中的迟加入问题，提出了一个改进的多“迟加入Server”算法。该算法能够有效的解决让“迟加入Client”可靠加入到协同工作的问题。通过实例验证了该算法的有效性，为进行更高效的协同工作提供了支持。     

A classification of tournaments having an acyclic tournament as a minimum feedback arc set

Given a tournament with an acyclic tournament as a feedback arc set we give necessary and sufficient conditions for this feedback arc set to have minimum size.     

Surface segregation studied by low-energy ion scattering: experiment and numerical simulation

The changes in surface composition of metallic alloys caused by segregation can be very efficiently studied by low-energy ion scattering (LEIS) due to the specific surface sensitivity of this technique. Investigations of single-crystal surfaces of ordered alloys are of particular interest because they provide the possibility to investigate the interplay between segregation effects and the order-disorder phase transition when passing through the transition temperature. Exemplifying these effects for bimetallic alloys we consider in particular the CuAu-system.For the quantitative interpretation of energy and angle resolved LEIS intensity distributions we compare experimental results with those from numerical simulations using the MARLOWE code which we extended with a detailed trajectory analysis. This allows us to apply various discrimination criteria, such as number of collisions, distance of closest approach, identification of the scattering crystal layer, total path length, etc. On this basis structural effects, ion survival probabilities and the influence of thermal vibrations can be studied.We demonstrate this potential by using CuAu(1 0 0) as a special example. The scattering potential parameters were calibrated with elemental single crystals of known structures and the anisotropic Debye temperatures taken from the literature showed good agreement, neutralization was of minor importance in this case. Our procedure could be successfully used for the quantitative analysis of the composition of the first and second layer as a function of temperature. These results are in good agreement with theoretical predictions.     

生产系统的计算机仿真研究

生产系统在设计与运行过程中面临着诸多的问题需要解决，计算机仿真技术作为一种有效验证生产系统设计合理性和辅助生产管理决策的手段，近年来在我国得到了越来越广泛的关注。该文系统总结了计算机仿真技术对生产系统的重要作用，利用Ithink5.0软件建立了简单生产过程的计算机仿真模型并进行了分析。     

Toward bridging the science and practice of depression prevention: What can we learn from cognitive vulnerability?

Depression is a widespread disorder with devastating individual and societal consequences. Although a great deal of research and theory has focused on treatment of acute episodes, progress needs to be made in preventing the emergence of first episodes of the disorder. There has been considerable advancement in understanding psychological vulnerability factors associated with this mood disorder, especially on the basis of cognitive behavioural models and research findings based on this theoretical model. In this paper we review the concept of cognitive vulnerability, with a particular focus on what this body of research work suggests clinically for the prevention of depression. We outline, based on this science, what the effective ingredients of a prevention program could be. We also discuss some of the pragmatic aspects of developing an effective prevention program for depression. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

User Interfaces for Complex Engineering Software: Application of Virtual Reality

IT systems for engineers are becoming more numerous and complex and will further proliferate in the future. It is infeasible to expect users to be trained to work with a plethora of systems, especially as many of them will only see occasional use. Therefore, in the near future, systems will need user interfaces that allow intuitive access and usage. This paper examines a new style of user interface based on virtual reality.     

Efficient Spreadsheet Algorithm for First-Order Reliability Method

A new spreadsheet-cell-object-oriented algorithm for the first-order reliability method is proposed and illustrated for cases with correlated nonnormals and explicit and implicit performance functions. The new approach differs from the writers earlier algorithm by obviating the need for computations of equivalent normal means and equivalent normal standard deviations. It obtains the solution faster and is more efficient, robust, and succinct. Other advantages include ease of initialization prior to constrained optimization, ease of randomization of initial values for checking robustness, and fewer required optimization constraints during spreadsheet-automated search for the design point. Two cases with implicit performance functions, namely an asymmetrically loaded beam on Winkler medium and a strut with complex supports are analyzed using the new approach and discussed. Comparisons are also made between the proposed approach and that based on Rosenblatt transformation.     

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

电缆气压保气率计算机统计系统

介绍了电缆气压保气率计算机统计系统开发的目的和意义，系统程序的流程和结构，以及系统程序的编制和应用。