具有扩散的Lotka-Volterra系统的持续性

利用最大值原理结合上、下解的方法，讨论了一类具有扩散的竞争－捕食的Lotka-Volterra系统静态解的存在性与持续生存。     

基于CAPPFramework的CAPP系统的开发与应用

在国家863CIMS目标产品CAPPFramework系统的基础上，研究了面向对象的信息建模技术、信息模型驱动的所见即所得工艺设计技术、工作流技术．并在此基础上进行集成化、智能化计算机辅助工艺设计(CAPP)的应用与开发，实现了工艺设计的自动化，基本达到了在信息集成基础上的工艺设计与工艺信息管理一体化的目的，对企业的CAPP实施具有一定的参考价值．     

Enclosure results for quasilinear systems of variational inequalities

In this paper we consider systems of quasilinear elliptic variational inequalities, and prove the existence of minimal and maximal (in the set theoretical sense) solutions within some ordered interval of an appropriately defined pair of sub- and supersolutions. We show that the notion of sub- and supersolutions of variational inequalities introduced here is consistent with the usual notion of sub-supersolutions for (variational) equations. For weakly coupled quasimonotone systems of variational inequalities the existence of smallest and greatest solutions is proved.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

Expert systems as a tool for statistics: A review

The current state of using expert system (ES) techniques for statistics is expounded through the difficulties of defining the notion of statistical expert system (SES) and through several well-known examples. The main characteristics of statistical expertise, and particularly the important concept of strategy are emphasized. The current state of SESs is seen in the context of the global trend of the evolution of ES, i.e. within the growth of second generation expert system (SGESs). The knowledge base of these ESs represent an attempt to represent not only experts' knowledge but also the way experts acquire their expertise, thanks to the existence of an underlying model. We show through many examples how far SESs are and/or will be able to be SGESs.     

Mackey Theory for p-adic Lie Groups

This paper gives a p-adic analogue of the Mackey theory, which relates representations of a group of type G - H × t A to systems of imprimitivity.     

NO-2-I-体系双波长紫外分光光度法测定痕量亚硝酸根

在稀盐酸介质中,亚硝酸根氧化碘化钾的反应产物I-3在288nm和352nm处有两个强吸收峰.基于此建立了双波长紫外分光光度法测定痕量NO-2的新方法.该法简便、快速、选择性好,线性范围为0-0.4μg/mL,检出限为3.4×10-9g/mL.用于河水、井水、矿泉水中亚硝酸根的测定,结果令人满意.     

基于目标信息系统学习的多准则决策方法

给出目标信息系统学习的多准则决策方法，建立多准则决策的规则学习模型，讨论该模型的性质。该模型优于Z．Pawlak方法，将规则提取与信息融合为一体。也优于AHP等模型，具有简洁性．通过实例计算，取得了满意结果。     

A convection/reaction/switching system

We consider a spatially distributed hybrid system consisting of a convection/reaction system in which the reaction switches discontinuously in time between modes, independently at each spatial point on reaching “switching thresholds”. The model involves a novel formulation for evolution of the free boundary between the modal regions.     

Fixed-sign solutions for a system of singular focal boundary value problems

We consider a system of focal boundary value problems where the nonlinearities may be singular in the independent variable and may also be singular in the dependent arguments. Using Schauder fixed point theorem, we establish criteria such that the system of boundary value problems has at least one fixed-sign solution.