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.     

一个用户接口管理系统

本文介绍了一个用户接口管理系统NUUIMS的设计和实现.重点叙述了该系统基于规范化目标用户接口模型的设计思想,系统组成及描述方法.文章也讨论了使用NUUIMS设计而成的用户接口的特点.     

仿真环境中的网络攻击模型设计

阐述了仿真环境中的网络攻击模型的设计,建立了一个网络攻击仿真模型,用以产生网络攻击,以达到摧毁网络的机密性、完整性和可用性的目的;采用知识表达的方法来建立模型,该模型包含具有知识库和推理机的专家系统,通过随时间而变化的量,使模型具有基于仿真时钟的推理能力;在攻击模型的设计中,定义了它的基本状态和状态跃迁函数,说明了模型的行为,以及攻击策略的制定,最佳策略的选择,攻击选择原则等问题。     

Feasibility analysis of membrane reactors – discovery of reactive arheotropes

A feasibility analysis methodology adopted from reactive distillation is applied to membrane reactors. A model is formulated to depict the reactive liquid phase composition on the retentate side of a continuous type membrane reactor. The effects of both the chemical reaction kinetics and the membrane mass transfer kinetics on the feasible products are elucidated by means of retentate phase diagrams and bifurcation analysis. The proposed method can be applied to various membrane processes, independent of the specific structure of the membrane. Two quaternary reaction systems are considered to illustrate the methodology. In the first hypothetical system, it is shown how selective membranes can influence the sequence of effective volatilities which in turn affects the feasible products of the system. In the second example of practical importance, i.e. the heterogeneously catalysed synthesis of propyl acetate coupled with permeation through a porous polycarbonate membrane, the dusty gas model is applied to describe the component fluxes through the membrane. For the latter reaction system, the existence of reactive arheotrope is demonstrated. Arheotropes represent mass transfer controlled feasible products of membrane separation process.     

The Effect of the Estimation on Goodness‐of‐Fit Tests in Time Series Models

Abstract. We analyze, by simulation, the finite‐sample properties of goodness‐of‐fit tests based on residual autocorrelation coefficients (simple and partial) obtained using different estimators frequently used in the analysis of autoregressive moving‐average time‐series models. The estimators considered are unconditional least squares, maximum likelihood and conditional least squares. The results suggest that although the tests based on these estimators are asymptotically equivalent for particular models and parameter values, their sampling properties for samples of the size commonly found in economic applications can differ substantially, because of differences in both finite‐sample estimation efficiencies and residual regeneration methods.     

基于Vague集的鱼雷研制阶段年度投资分配模型

鱼雷的研制费用在鱼雷整个寿命周期费用中所占比系不大，但研制阶段决定了鱼雷寿命周期费用的绝大部分，闪此对鱼雷研制费用的研究可供鱼雷武器管理和决策者作经费计划综合平衡时参考。文章基于Vague集，提出了Vague集模糊熵的构造方法，进而提出了运用Vague集模糊熵进行鱼雷研制阶段年度投资强度分配的新模型。实例表明，该方法具有实用价值。     

数据包络分析模型及其应用研究

通过对传统的C^2R模型进行研究并加以改进，建立了C2RHZ模型,利用有色金属矿采选业1993-2001年科技创新的相关数据进行了计算分析。说明了C^2RHZ模型的应用价值．     

A comparative study of numerical solutions to non-linear discrete crack modelling of concrete beams involving sharp snap-back

Numerical problems are often encountered in modelling crack propagation in concrete beams using non-linear finite element (FE) analysis, especially when sharp snap-back behaviour in load-displacement relations occurs. This paper firstly identifies 16 arc-length control based numerical strategies based on extensive literature review. They are then used to carefully model the structural behaviour of a four-point single notched shear beam using discrete crack modelling approach in which cracks are represented by interface elements with bilinear softening constitutive laws. Based on extensive FE analyses, detailed comparisons of the merits and demerits of these numerical algorithms are then made. The results indicate that the effectiveness and efficiency of different algorithms may vary considerably from one to another, with the local arc-length based procedures in conjunction with tangential stiffness strategy and reversible unloading model being the most robust.     

Generation of interfacial instabilities in charged electrified viscous liquid films

This study is concerned with the stability of a two-dimensional incompressible conducting liquid film surrounded by a passive conducting medium, when an electric field is applied in a direction parallel to the initially flat bounding fluid interfaces. Currents generate charges at the bounding interfaces which in turn affect the stress balances there. In the absence of an electric field, the viscous liquid film is stable (instability can be induced by the inclusion of van der Waals forces for ultra thin films). A complete model is presented, at arbitrary Reynolds number, which accounts for conductivity and permittivity contrasts between the fluid and surrounding medium, as well as surface tension. The linear stability of the system is considered for arbitrary Reynolds numbers and it is shown that the stable film can become unstable if, (i) σ _R ɛ _p >1, or (ii) σ _R ɛ _p <1 and (σ _R −1)(1−ɛ _p )<0, where σ _R is the ratio of outer to inner conductivity and ε _p is the ratio of inner to outer permittivity. Instability is possible only if the electric field is non-zero and the scalings near bifurcation points that can be used to construct nonlinear theories are calculated. Several asymptotic limits are also considered including zero Reynolds numbers and short or long waves. The instability criteria given above are constructed explicitly in the case of Stokes flow.