关于城市生态安全的模式评价原理及模型

根据自然进化原理,用模式评价理论对城市生态安全进行评价,提出评价系统和系统环境的概念,把城市视为评价系统,把建设生态安全城市所需满足的各种要求视为系统环境,并通过评价系统与系统环境的适应程度,建立了关于城市生态安全的模式评价原理及模型,达到了对城市生态安全进行客观评价的目的.     

煤炭城市可持续发展的系统动力学模拟与调控

煤炭城市是由人口、资源、经济与环境四个子系统构成的复杂系统.其可持续发展依赖于各子系统的合理结构和发展模式以及对系统的有效控制.将可持续发展思想与系统动力学模拟方法相结合,在分析了煤炭城市系统结构基础上,构建了煤炭城市系统动力学模型:确定生育指数、各产业投资比例、资源循环利用率等为调控参数,以典型煤炭城市鸡西市为例进行了5种发展模式的模拟和调控.结果表明:可持续发展模式与其他四种发展模式相比,取得的经济、资源、环境整体效益最大,是鸡西市发展的相对最佳方案.     

改进的神经网络综合评价模型研究

针对神经网络综合评价模型的解释缺失和信息损失问题,提出了一种引入专家系统和模糊系统的改进模型,模型利用专家系统提供评价结果的合理解释,利用模糊系统减少评价结果的信息损失,旨在提高评价结果的准确性和可信度.讨论了模型的定义和原理,通过模拟验证后,将改进的神经网络综合评价模型应用于大气环境承载力评价,以期为衡量社会经济发展和大气环境的协调程度提供一定参考.     

区域的外环境系统分析

本文分析了区域的外环境系统的影响因素,研究了各因素间相互作用的随机性,利用层次分析方法构造了外环境系统的评价模型,证明了动态排序原理,并给出动态排序权值的计算方法。     

基于Type-2型模糊集的动态生态位模型

复杂生态系统中,由于生物进化的高度非线性,使生物更容易适应环境的变化,生物与环境的交流要求用动态的观点来描述生态位及其相关概念。本文利用T ype-2型模糊集合的“宽带”效应,给出了具有动态特性的生态位模型,并相应的给出宽度和重叠的计算公式。应用于植物的生态位宽度和重叠的计算,与已有公式结果的比较,本文提出的模型可以全面的给出了物种在每个资源状态下的情形,同时反应了物种与环境之间的互动交流。为生物系统的应用研究和理论研究提出统一的数学模型。     

模糊多级综合评价方法在企业资源评估中的应用

根据系统评价的原理，提出了企业资源系统评价的指标体系结构模型。应用模糊多级综合评价方法对其进行评价，通过实例说明这种方法在实际应用中是有效和可行的。     

生物系统冗余结构的Type-2型数学模型

生态系统本身就是一个自组织的进化系统,生物与环境的交流和相互作用中,生物利用自身的冗余结构和冗余补充,使整个系统的进化始终朝着有利于生物发展的方向进化。本文利用Type-2模糊系统建立了生物群落冗余结构的数学模型,提出了生物群落稳定性的度量方法,研究了生物群落冗余结构与生物进化可靠性和稳定性的关系。     

基于串联两阶段网络DEA模型的供应链规模收益分析

数据包络分析(DEA)是评价供应链系统(Supply chain system)间相对有效性的一种重要的工具,但是传统的DEA不考虑供应链的内部结构,对系统效率评价偏高;而本文所研究两阶段串联供应链系统,考虑把部分中间产品作为最终产品输出,增加额外中间投入的情形.基于所提出的供应链系统结构,本文建立相应的串联结构下的网络DEA模型,并针对所建立模型进行相关理论的研究,给出了串联结构下的生产可能集和规模收益情况判定方法.最后,进行数值实验,以验证我们提出的结论.     

决策支持系统中模型管理系统的一种设计和实现方法

本提出了一种基于外模式、逻辑结构和方法库的三级DSS模型系统结构。在此基础上设计了一个具有模型、数据管理功能，友善用户接口界面，能对不同用户提供支持的决策支持系统。     

CPI数据预测计算的ANFIS模型结构探讨

依据CPI经济序列数据确定性混沌原理,探讨自适应神经模糊推理系统模型构造,并给出此类混沌数据列预测的ANFIS系统结构形式,进行CPI经济序列数据预测.并用实例拟合、预测数据证明:ANFIS模型是一种精度较高的混沌数据序列预报系统.为CPI数据预测提供了一种计算方法.     

一种面向效率的系统多序参量识别方法

针对社会组织系统演化过程中效率性要求,基于系统演化有效性识别及评估,提出能够反映系统演化过程效率的多序参量识别方法,为提升系统演化过程效率提供可操作的技术参考。通过产出/投入视角分析多序参量形成过程,结合其对系统演化过程的影响,给出基于产出/投入的系统演化过程中多序参量效率原理;应用改进的数据包络分析方法和已有指标体系,建立面向效率的系统演化过程多序参量识别模型。最后,通过算例验证方法的科学有效性。     

低碳供应链协同运作的演化模型

针对低碳供应链协同运作的系统演化问题,运用协同论中的伺服原理分析了低碳供应链中的序参量和运作流程;运用布尔代数的逻辑加和逻辑乘运算规则,分析了序参量和运作流程之间的关系。在此基础上,根据系统动力学中的速率原理,构建了低碳供应链协同运作的演化模型,运用自组织原理分析了序参量影响低碳供应链协同运作的演化过程,运用协同效应原理分析了低碳供应链协同运作规律,并对模型进行了应用仿真分析,得出了低碳供应链协同运作的机理。     

A model of intuitionistic analysis in which ‐definable discrete sets are subcountable

There is a model, for a system of intuitionistic analysis including Brouwer's principle for numbers and Kripke's schema, in which ‐definable discrete sets of choice sequences are subcountable.     

Existence and uniqueness of solutions for a hierarchical system of two age-structured populations

We propose a class of new hierarchical model for the evolution of two interacting age-structured populations, which is a system of integro-partial differential equations with global feedback boundary conditions and may describe the interactions such as competition, cooperation and predator-prey relation. Based upon a group of natural conditions, the existence and uniqueness of solutions on infinite time interval are proved by means of fixed point and extension principle, and the continuous dependence of the solution on the initial age distribution is established. These results lay a sound basis for the investigation of stability, controllability and variable optimal control problems.     

An exponential separation between the parity principle and the pigeonhole principle

The combinatorial parity principle states that there is no perfect matching on an odd number of vertices. This principle generalizes the pigeonhole principle, which states that for a fixed bipartition of the vertices, there is no perfect matching between them. Therefore, it follows from recent lower bounds for the pigeonhole principle that the parity principle requires exponential-size bounded-depth Frege proofs. Ajtai (1990) previously showed that the parity principle does not have polynomial-size bounded-depth Frege proofs even with the pigeonhole principle as an axiom schema. His proof utilizes nonstandard model theory and is nonconstructive. We improve Ajtai's lower bound from barely superpolynomial to exponential and eliminate the nonstandard model theory.

Our lower bound is also related to the inherent complexity of particular search classes (see Papadimitriou, 1991). In particular, oracle separations between the complexity classes PPA and PPAD, and between PPA and PPP also follow from our techniques (Beame et al., 1995).     

Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)

An XML schema is a set of rules for defining the allowed sub-elements of any element in an XML document. These rules use regular expressions to define the language of the element's children. Updates to an XML schema are updates to the regular expressions defined by the schema rules. We consider an interactive, data administration tool for XML databases. In this tool, changes on an XML schema are activated by updates that violate the validity of an XML document. Our schema validator is a Datalog program, resulting from the translation of a given XML schema. Changing the schema implies changing the validator.The main contribution of this paper is an algorithm allowing the evolution of XML schemas. This algorithm is based on the computation of new regular expressions to extend a given regular language in a conservative way, trying to foresee the needs of an application. A translation function from schema constraints to Datalog programs is introduced. The validation of an XML tree corresponds to the evaluation of the Datalog program over the tree. Our method allows the maintenance of the Datalog program in an incremental way, i.e., without redoing the entire translation.     

A variational formula for controlled backward stochastic partial differential equations and some application

An optimal control problem for a controlled backward stochastic partial differential equation in the abstract evolution form with a Bolza type performance functional is considered. The control domain is not assumed to be convex, and all coefficients of the system are allowed to be random. A variational formula for the functional in a given control process direction is derived, by the Hamiltonian and associated adjoint system. As an application, a global stochastic maximum principle of Pontraygins type for the optimal controls is established.     

企业系统物元分析与诊断

本文根据可拓理论，从功能角度给出系统物元的整合效果模型，依此模型分析与诊断工业企业系统，并对其调节控制和发展演化机制进行了描述。     

基于GFM-VAR的我国通用航空产业演进阶段识别及政策强度有效性分析

为揭示通用航空产业系统演化的动态和有序规律,挖掘产业形成和可持续发展的阶段识别证据,针对产业演化数据的信息不完全和连续聚类特性,基于灰色系统理论和最优分割理论构建通用航空产业演进阶段识别的灰色生成序列最优分割模型(Grey sequence generation-Fisher Model,GFM),并运用VAR模型分析通航产业政策强度的有效性。首先运用灰色系统理论的(位置加权)几何平均强化缓冲算子(W)GASBO((Weight)Geometry average strengthening buffer operator)扩张演化数据波形特征并生成灰色序列矩阵;运用最优分割理论的组内离差平方和最小判断原则判定通用航空产业演化的有序递进阶段;然后,通过我国2004~2013年通用航空产业演进阶段的实证研究,发现:我国通用航空产业演化以2010年为分界点,先后经历了初创和成长两个阶段;基于VAR模型的脉冲响应函数确定我国通航产业政策强度受“倒逼出台”、“时滞限制”的影响呈弱有效性;基于政策强度(WGASBO算子)的灰色生成序列最优分割模型更有效、更具有可行性。     

发展型p-Laplacian 方程组的周期解

In this paper, the authors study the existence of periodic solutions to an evolution p-Laplacian system. The authors prove a comparison principle of the system in general form. Then the existence of periodic solutions to the system of evolution p-Laplacian equations is obtained with the help of the comparison principle and the monotone iteration technique.