核电资源替代煤电资源的临界时点分析模型

随着煤电资源的逐渐耗竭,传统电力资源的替代资源开发成为我国电力可持续发展的重要途径。为探讨核电资源替代煤电资源的经济规律,构建了一个电力资源社会价值评估模型。以电力资源社会价值最大化为目标,运用动态优化理论求解,得出核电资源替代煤电资源的临界替代时点,分析核电资源替代煤电资源的替代条件,剖析电力生产外部性对电力资源配置效率的影响程度及导致电力资源配置低效率的具体原因。认为电力生产部门的外部性影响电力资源的配置效率,阻碍核电资源替代煤电资源的发展进程。就电力生产部门的实际情况提出了相应的政策建议,以促进低碳清洁的核电资源替代煤电资源,实现环境、经济与电力可持续发展。     

可持续发展目标体系与多目标集成模型构建——基于2030可持续发展目标

可持续发展是人类对发展认识深化的产物,更加强调发展的整体性、长远性、主体性和综合性,强调自然、经济、社会协调发展.相应的,可持续发展的目标也应该涉及资源、环境、发展和社会等各个维度.伴随着可持续发展理论的完善以及全球经济社会环境的变化,可持续发展目标设定逐渐改进,包括"21世纪议程"、"千年发展目标"、"我们期望的未来"等全球层面的目标体系.研究以可持续发展目标为研究对象:在理论层面,结合联合国2030可持续发展目标,对可持续发展目标的特征、目标体系进行阐述;在模型层面,从变量关联限制、饥饿健康目标、决策者经济发展期望、资源环境约束、科技支撑能力等六个角度构建多级目标函数.通过理论分析与模型构建,建立更加合理的可持续发展目标体系与目标模型,为可持续发展以及可持续发展政策的制定提供更加强有力的分析工具.     

中国海洋可持续发展的SD模型与动态模拟

发展海洋经济,走海洋可持续发展之路,是振兴我国经济的一项举足轻重战略决策.从我国海洋的实际出发,运用系统动力学理论与方法建立了海洋可持续发展仿真模型.选择技术投资比例、单位海洋产业产值排污系数以及单位海洋产业产值资源消耗系数作为控制参量,分别取用不同的数值进行模拟.得到模拟结果表明,同时加大海洋经济中技术投资比,减少排污系数和资源消耗系数,海洋经将得到持续发展.并提出适合我国海洋可持续发展的政策建议.     

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

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

面向健康管理的维修资源调度系统关键模型研究

针对健康管理理论在维修资源调度决策研究中的不足,分析了面向健康管理进行维修资源调度优化的可行性,研究了维修资源调度系统与健康管理系统的连接关系.然后结合装备维修资源供应保障的实际,建立了系统中调度优化模块所用到的带软时间窗的多需求地-多供应地维修资源调度优化模型,并应用遗传算法对模型的求解进行了分析.最后,对方法进行了演算,验证了模型在维修资源调度系统中应用的正确性和可行性.     

农村劳动力资源可持续发展的层次分析

解决“三农”问题的关键是增加农民收入,而增收的主要办法,一是实现农业产业化增加农业收入;二是进行农村劳动力转移增加非农收入.大量的劳动力涌入大中城市对部分行业就业进行了关键的补偿,但同时对城市人口就业也造成了一定的压力,因此能否进行农村劳动力资源可持续的开发成为制约经济、社会、环境等协调发展的重要因素.文章根据可持续发展评估体系,把影响农村劳动力资源可持续发展的系统分为经济、社会、环境、支撑四个子系统,根据各子系统对其可持续开发的影响建立指标体系,用层次分析法分析得到各指标的权重,根据权重制定相应的农村劳动力资源可持续开发的策略.     

江西省旅游资源环境承载力评价的科学计算

科学地评价江西省各地区旅游资源环境承载力是制定旅游可持续发展战略的基础.基于评价指标体系的构建原则,建立了江西省旅游资源环境承载力的评价指标体系.结合实例,运用主成分分析法对江西省旅游资源环境承载力进行综合评价.通过Spss和Matlab软件的计算.说明了该评价模型的合理性、有效性及实用性,研究为旅游资源的合理开发提供了一种新的评价方法.     

不确定条件下可可耗竭资源与可再生资源的博弈分析

能源是经济可持续发展的重要的物质基础.在能源开发时间路径上,不可再生资源面临资源储量的约束,可再生资源面临技术水平的约束.R&D投资可以促进技术进步.但是不论是可耗竭资源的储量还是技术进步水平都具有很大的不确定性.就此情形构建了基于两类能源的生产者利润最大化为目标的随机动态微分博弈,研究不确定性对能源市场均衡的影响.     

湖北省经济—资源—环境协调发展研究

根据湖北省近年来国民经济发展的有关数据,按照可持续发展的要求,供助主要成分分析法和灰色理论中GM（1,N）的建模方法,就实现湖北省经济、资源、环境之间协调发展的问题进行了研究。     

基于偏好关系的制造工艺资源评价与选择的模糊决策方法

制造工艺资源的评价和选择是实现资源优化配置的关键技术.本文分析了协同工艺设计中制造工艺资源选择决策研究状况,应用模糊数和模糊决策理论,建立基于偏好关系的制造工艺资源模糊评价模型,研究一种基于偏好关系的隶属度函数求解算法和基于偏序关系的多方案制造工艺资源排序决策方法,最后给出一个算例验证本文提出的资源评价方法的合理性和有效性.     

Effectiveness in RPL, with applications to continuous logic

In this paper, we introduce a foundation for computable model theory of rational Pavelka logic (an extension of ?ukasiewicz logic) and continuous logic, and prove effective versions of some related theorems in model theory. We show how to reduce continuous logic to rational Pavelka logic. We also define notions of computability and decidability of a model for logics with computable, but uncountable, set of truth values; we show that provability degree of a formula with respect to a linear theory is computable, and use this to carry out an effective Henkin construction. Therefore, for any effectively given consistent linear theory in continuous logic, we effectively produce its decidable model. This is the best possible, since we show that the computable model theory of continuous logic is an extension of computable model theory of classical logic. We conclude with noting that the unique separable model of a separably categorical and computably axiomatizable theory (such as that of a probability space or an L^p Banach lattice) is decidable.     

无限阶段网络博弈中合作解的策略稳定性

合作博弈的经典合作解不满足时间一致性, 并缺乏策略稳定性. 本文研究无限阶段网络博弈合作解的策略稳定性理论. 首先建立时间一致的分配补偿程序实现合作解的动态分配, 然后建立针对联盟的惩罚策略, 给出合作解能够被强Nash均衡策略支撑的充分性条件, 最后证明了博弈中的惩罚策略局势是强Nash均衡, 从而保证了合作解的策略稳定性. 作为应用, 考察了重复囚徒困境网络博弈中Shapley值的策略稳定性.     

On impulsive functional differential inclusions with Hille-Yosida operators in Banach spaces

We consider a semilinear functional differential inclusion with infinite delay and impulse characteristics in a Banach space assuming that its linear part is a non-densely defined Hille-Yosida operator. We assume that the multivalued nonlinearity of upper Carathèodory or almost lower semicontinuous type satisfies a regularity condition expressed in terms of the measures of noncompactness. We apply the theory of integrated semigroups and the theory of condensing multivalued maps to obtain local and global existence results. The application to an optimization problem for an impulsive feedback control system is given.     

A variational inequality index for condensing maps in Hilbert spaces and applications to semilinear elliptic inequalities

A variational inequality index for γ-condensing maps is established in Hilbert spaces. New results on existence of nonzero positive solutions of variational inequalities for such maps are proved by using the theory of variational inequality index. Applications of such a theory are given to existence of nonzero positive weak solutions for semilinear second order elliptic inequalities, where previous results of variational inequalities for S-contractive maps cannot be applied.     

Ghosts in modular representation theory

A ghost over a finite p-group G is a map between modular representations of G which is invisible in Tate cohomology. Motivated by the failure of the generating hypothesis—the statement that ghosts between finite-dimensional G-representations factor through a projective—we define the ghost number of kG to be the smallest integer l such that the composite of any l ghosts between finite-dimensional G-representations factors through a projective. In this paper we study ghosts and the ghost numbers of p-groups. We begin by showing that a weaker version of the generating hypothesis, where the target of the ghost is fixed to be the trivial representation k, holds for all p-groups. We then compute the ghost numbers of all cyclic p-groups and all abelian 2-groups with C₂ as a summand. We obtain bounds on the ghost numbers for abelian p-groups and for all 2-groups which have a cyclic subgroup of index 2. Using these bounds we determine the finite abelian groups which have ghost number at most 2. Our methods involve techniques from group theory, representation theory, triangulated category theory, and constructions motivated from homotopy theory.     

Statistical convergence in topology

We introduce and investigate statistical convergence in topological and uniform spaces and show how this convergence can be applied to selection principles theory, function spaces and hyperspaces.     

A variational inequality theory for demicontinuous S-contractive maps with applications to semilinear elliptic inequalities

A variational inequality theory for demicontinuous S-contractive maps in Hilbert spaces is established by employing the ideas of Granas' topological transversality. Such a variational inequality theory has many properties similar to those of fixed point theory for demicontinuous weakly inward S-contractive maps and to those of fixed point index for condensing maps. The variational inequality theory will be applied to study the existence of positive weak solutions and eigenvalue problems for semilinear second-order elliptic inequalities with nonlinearities which satisfy suitable lower bound conditions involving the critical Sobolev exponent. There has been little discussion for such elliptic inequalities involving the critical Sobolev exponent in the literature.     

Itô's formula in UMD Banach spaces and regularity of solutions of the Zakai equation

Using the theory of stochastic integration for processes with values in a UMD Banach space developed recently by the authors, an Itô formula is proved which is applied to prove the existence of strong solutions for a class of stochastic evolution equations in UMD Banach spaces. The abstract results are applied to prove regularity in space and time of the solutions of the Zakai equation.     

Spectral measures,I: General theory in a topological vector space

Part I of this paper is devoted to the general theory of spectral measures in topological vector spaces. We extend the Hilbert space theory to this setting and generalize the notion of spectral measure in some useful ways to provide a framework for Part II, etc.     

An asymptotic theory for sample covariances of Bernoulli shifts

Covariances play a fundamental role in the theory of stationary processes and they can naturally be estimated by sample covariances. There is a well-developed asymptotic theory for sample covariances of linear processes. For nonlinear processes, however, many important problems on their asymptotic behaviors are still unanswered. The paper presents a systematic asymptotic theory for sample covariances of nonlinear time series. Our results are applied to the test of correlations.