间歇开放系统的可靠性分析与数值计算

研究了一种新型的可靠性系统，即间歇开放系统。在建立数学模型的基础上，我们详细分析了系统有关的可靠性问题，不仅获得时刻ｔ系统失效的概率和（０，ｔ］中系统失效的平均次数的瞬态解，而且也获得其平稳结果。最后用数值计算比较了间歇开放系统和经典系统的差别。     

实现经济增长方式转换的条件和难点探讨

经济增长方式从粗放型到集约型的转换，是实现＂九五＂和２０１０年奋斗目标的关键之一。但从目前的实际和今后的发展看，要实现这一历史性的转换，还存在着许多困难，需要创造和具备一定的条件。因此，要辩证地认识经济增长方式转换中的有关理论问题，同时根据不同部门、不同行业和不同区域之间的差异情况采取结构转换的对策。     

玻璃熔接过程中的流变分析

继文献〔1〕的研究,针对激光于界面反射法定义及测定玻璃一个特性点时,双片玻璃试样熔接过程中的流变特性进行了理论分析,用简化的模型,探讨了上述方法的测定机制。     

On the logic of common belief and common knowledge

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge — whether individual or common — is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought — onlymonotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the infinitary nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they aredecidable in the logician's sense.     

Measuring credibility of compensatory preference statements when trade-offs are interval determined

This paper studies how an overall fuzzy preference relation can be constructed in the compensatory context of the simple additive difference model, when imprecision on the trade-offs has to be taken into account. Three credibility indices of preferences are analysed and illustrated by a numerical example. Arguments are presented supporting the use of the third index, for which an interesting transitivity property (which was an open problem) is proved.     

Finite mixture models with concomitant information: assessing diagnostic criteria for diabetes

The World Health Organization (WHO) diagnostic criteria for diabetes mellitus were determined in part by evidence that in some populations the plasma glucose level 2 h after an oral glucose load is a mixture of two distinct distributions. We present a finite mixture model that allows the two component densities to be generalized linear models and the mixture probability to be a logistic regression model. The model allows us to estimate the prevalence of diabetes and sensitivity and specificity of the diagnostic criteria as a function of covariates and to estimate them in the absence of an external standard. Sensitivity is the probability that a test indicates disease conditionally on disease being present. Specificity is the probability that a test indicates no disease conditionally on no disease being present. We obtained maximum likelihood estimates via the EM algorithm and derived the standard errors from the information matrix and by the bootstrap. In the application to data from the diabetes in Egypt project a two-component mixture model fits well and the two components are interpreted as normal and diabetes. The means and variances are similar to results found in other populations. The minimum misclassification cutpoints decrease with age, are lower in urban areas and are higher in rural areas than the 200 mg dl^-1 cutpoint recommended by the WHO. These differences are modest and our results generally support the WHO criterion. Our methods allow the direct inclusion of concomitant data whereas past analyses were based on partitioning the data.     

Circuit optimization via sequential computer experiments: design of an output buffer

In electrical engineering, circuit designs are now often optimized via circuit simulation computer models. Typically, many response variables characterize the circuit's performance. Each response is a function of many input variables, including factors that can be set in the engineering design and noise factors representing manufacturing conditions. We describe a modelling approach which is appropriate for the simulator's deterministic input–output relationships. Non-linearities and interactions are identified without explicit assumptions about the functional form. These models lead to predictors to guide the reduction of the ranges of the designable factors in a sequence of experiments. Ultimately, the predictors are used to optimize the engineering design. We also show how a visualization of the fitted relationships facilitates an understanding of the engineering trade-offs between responses. The example used to demonstrate these methods, the design of a buffer circuit, has multiple targets for the responses, representing different trade-offs between the key performance measures.     

宏观连续交通流数值模拟

应用交通流宏观连续模型,模拟上下游信号灯作异步周期变化的协调信号灯路段的交通流动,经数值计算比较,选择改进Ｍｕｒｍａｎ格式求解．结果表明：改进Ｍｕｒｍａｎ格式能准确捕捉交通流中无振荡“激波”位置．     

Retirement patterns in Hong Kong: a censored regression analysis

This paper provides an overview of retirement patterns in Hong Kong on the basis of limited data. A censored regression model is used to infer the retirement age from people‘s current retirement status and their current age. This model is equivalent to a restricted probit model, and the interpretation of parameters is straightforward. The results clearly show a negative income effect on the retirement decision. The retirement age seems to be positively related to lifetime earnings but negatively related to the rate of decline of earnings with age. JEL classification: C24, J14, J26 Received May 6, 1996 / Accepted February 5, 1997     

Estimation of critical points in the mixture inverse Gaussian model

The maximum likelihood estimation for the critical points of the failure rate and the mean residual life function are presented in the case of mixture inverse Gaussian model. Several important data sets are analyzed from this point of view. For each of the data sets, Bootstrapping is used to construct confidence intervals of the critical points.