Revising deductive knowledge and stereotypical knowledge in a student model

A user/student model must be revised when new information about the user/student is obtained. But a sophisticated user/student model is a complex structure that contains different types of knowledge. Different techniques may be needed for revising different types of knowledge. This paper presents a student model maintenance system (SMMS) which deals with revision of two important types of knowledge in student models: deductive knowledge and stereotypical knowledge. In the SMMS, deductive knowledge is represented by justified beliefs. Its revision is accomplished by a combination of techniques involving reason maintenance and formal diagnosis. Stereotypical knowledge is represented in the Default Package Network (DPN). The DPN is a knowledge partitioning hierarchy in which each node contains concepts in a sub-domain. Revision of stereotypical knowledge is realized by propagating new information through the DPN to change default packages (stereotypes) of the nodes in the DPN. A revision of deductive knowledge may trigger a revision of stereotypical knowledge, which results in a desirable student model in which the two types of knowledge exist harmoniously.     

蓝牙技术在某型飞机机载火控故障诊断系统中的应用研究

蓝牙技术是一种短距离无线通信技术,具有低成本、低功耗、灵活、快速、抗干扰能力强等特点,目的是取代终端的连接电缆.为提高部队的作战效能,采用蓝牙技术和计算机测量与控制技术,研制了机载火控故障诊断系统;该系统在实际应用中取得了良好效果,并具有诊断结果准确、自动化程度高、工作稳定可靠、操作简便、易于转移和维护等优点,为技术人员进行机载火控系统的性能检测与故障诊断提供了便利.     

Investigations of water inrushes from aquifers under coal seams

In many coal mines, limestone-confined aquifers underlie coal seams. During coal extraction from these mines, water inrushes occur frequently with disastrous consequences. This paper introduces the hydrogeological conditions of the coal mines and the potential water inrush disasters from aquifers under coal seams. It then presents the water inrush mechanism. The main factors which control water inrushes include strata pressure, mining size, geologic structures and the water pressure in the underlying aquifer. Analysis shows that reduction of confinement due to mining is the major cause of the water-conducting failure in the floor strata. The depth of the failure zone is strongly dependent on the mining width. This paper also presents field observation results of the water-conducting failure in the floor strata, and applies the finite element method coupled with stress-dependent permeability to analyze hydraulic conductivity enhancement due to coal extraction. Finally, theoretical and empirical methods to predict water inrushes are given, and technical measures for improving mine design and safety for coal extraction over aquifers are presented. These measures include fault and fracture grouting and mining method modification such as changing long-wall to short-wall mining.     

海底管道系统失效故障树的建立及定性分析

受自然环境、管道腐蚀、第三方破坏及管理不善等因素的影响,海底管道系统在铺设及运行过程中常常会失效。文中以海底管道穿孔、凝管、断裂和设备故障等主要失效形式为顶事件建立了海底管道系统失效故障树,通过系统的定性分析得到了海底管道系统失效故障树的37个一阶最小割集,进而确定了影响海底管道系统失效的4项主要因素,并针对这些主要因素提出了相应的解决问题的措施。     

18臂机械井径与磁法井径组合测井仪原理及应用

文章主要介绍了18臂机械井径与磁法井径组合测井仪的仪器结构、主要技术特性、测量原理及测井资料在油田中的应用。通过对测井资料的分析，阐述了该仪器在套损检测、补贴效果检查、射孔工程作业效果评价等方面的应用，为油田套管分析提供了可靠的保证。     

Assessing continuous bivariate effects among different groups through nonparametric regression models: An application to breast cancer detection

In many applications, the joint effect of two continuous covariates on the target binary response may vary across groups defined by levels of a given factor. A testing procedure that would enable this type of surface-by-factor interactions to be detected has been designed. To accomplish this goal, a logistic generalized additive model (GAM) with bivariate continuous interactions varying across groups defined by levels of a factor is considered. A local scoring algorithm based on local linear kernel smoothers was implemented to estimate the proposed logistic GAM. Bootstrap resampling techniques were used for the purpose of testing for factor-by-surface interactions. Given the high computational cost involved, binning techniques were used to speed up computation in the estimation and testing processes. The adequacy of the bootstrap-based test was assessed by means of a simulation study. If a factor-by-surface interaction is detected in the model, it is then established that the use of the odds-ratio curves is very useful in obtaining a direct interpretation of the fitted model. The benefits of using this methodology when analyzing real data are illustrated by applying the technique to the outputs produced by a computerized system dedicated to the early detection of breast cancer.     

Predicting Acute Renal Failure after Cardiac Surgery: Validation and Re‐definition of a Risk‐Stratification Algorithm

Background:  Acute renal failure (ARF) after cardiac surgery is associated with significant morbidity and mortality, irrespective of the need for dialysis. Previous studies have attempted to identify predictors of ARF and develop risk stratification algorithms. This study aims to validate the algorithm in an independent cohort of patients that includes a significant proportion of female and black patients and compares two different definitions of renal outcome.
Methods:  A large single center cardiac surgery database was examined (n, 24,660; 1993–2000) which included 29.9% females and 3.7% black patients. Post‐operative ARF was defined as: a) ARF requiring dialysis, b) > 50% reduction in creatinine clearance relative to baseline or requiring dialysis. Clinical variables related to baseline renal function and cardiovascular disease were used in recursive partitioning analysis for both outcome definitions. Chi‐square goodness of fit analysis was performed to validate the algorithm.
Results:  The frequency of post‐operative ARF requiring dialysis ranged between 0.5 and 15.5% based on the risk categories with the area under the receiver operating characteristic (ROC) curve of 0.78. Using the more inclusive definition of ARF, the frequency was significantly higher ranging from 2.6 to 25%(P < 0.001) with an area under ROC curve of 0.65.
Conclusions:  The renal risk stratification algorithm is valid in predicting post‐operative ARF in an independent cohort of patients, well represented by differences in gender and race. Since the need for dialysis remains subjective, a more objective and inclusive definition of ARF may help in identifying a larger number of patients 'at‐risk'.     

Induction in the Timed Interval Calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine.     

Compte rendu d'L'insomnie: Traitement comportemental.

Reviews the book, L'insomnie: Traitement comportemental by Robert Ladouceur and Yves Gros-Louis (1984). The work offers a prospect broader than the medical vision which traditionally dominates the treatment of insomnia. More specifically, the work is articulated around two chapters. The first locates the relative source data of insomnia, and provides the criteria for a precise diagnosis, establishing a clear distinction between primary insomnia and secondary insomnia, and methods generally utilized to measure sleep. As for the second chapter, it is centered on the behavioral methods of treatment of insomnia. According to the authors, any treatment must be preceded by factual information on insomnia, to facilitate the application of the chosen method. (PsycINFO Database Record (c) 2010 APA, all rights reserved)