新能源汽车产业商业模式创新多要素联动机制研究 ———基于创新生态系统视角

基于创新生态系统理论和种群关系理论,将我国新能源汽车产业上市公司划分为不同生态位 企业种群。 运用模糊集定性比较分析法,从资源基础、企业家精神、技术创新、激励水平和环境动态性 5 个维度出发,探究不同生态位新能源汽车企业种群商业模式创新的联动机制。 研究结果表明:低生态位 企业种群存在“技术创新-激励水平”“技术创新-环境动态性”两种高水平商业模式创新联动机制;中生 态位企业种群主要通过内部资源基础和企业家精神驱动来实现商业模式创新发展;高生态位企业种群存 在“企业家精神-环境动态性”“企业家精神”“激励水平-环境动态性”三种商业模式要素联动机制。     

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.     

卫星光通信中平台抖动补偿技术研究

以卫星光通信系统为例,对空间光通信系统中光学平台的抖动进行了分析。研究了一种自调节前馈补偿技术,通过自适应信号处理或对前馈控制器进行直接优化,可对光学平台的抖动进行有效抑制。     

空间光通信ATP技术及其进展

对自由空间激光通信光束自动捕获、跟踪、瞄准（ＡＴＰ）系统的结构与系统主要技术指标进行了分析和讨论。通过对其中典型系统的介绍,进一步描述了ＡＴＰ技术的最新进展,论证了空间激光通信的可行性。     

空间光通信ATP系统设计分析

空间光束捕获、跟踪、瞄准（ＡＴＰ）技术在空间光通信中具有重要地位。文中讨论了空间光通信系统中的ＡＴＰ伺服系统的结构,并对系统稳态设计和系统动态综合等关键问题进行了详细的分析和研究。