系统(￡)*中极大相容理论的结构刻画和紧致性定理

为给模糊推理建立严格的逻辑基础,本文第二作者在1997年提出了一种新型的模糊命题演绎系统(￡)*.本文基于系统(￡)*的强完备性定理给出了极大相容理论的结构刻画,证明了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈{pi, pi,((→)p2i)&((→)((→)pi)2)}(i=1,2,…),p1,p2,…是系统(￡)*中全体命题变元,进而给出了极大相容理论的若干刻画条件.本文还证明了系统(￡)*的满足性定理和紧致性定理.至此,系统(￡)*的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握,所以本文的结果完善了系统(￡)*的理论体系.     

系统L^＊中极大相容理论的结构刻画和紧致性定理

为给模糊推理建立严格的逻辑基础，本文第二作者在1997年提出了一种新型的模糊命题演绎系统L^＊。本文基于系统L^＊的强完备性定理给出了极大相容理论的结构刻画，证明了每一个极大相容理论必然具有形式D（{φ1，φ2，…}），这里φ1∈{pi，→pi，（→pi^2）＆（→（→pi）^2）}（i=1，2，…），p1，p2，…是系统L^＊中全体命题变元，进而给出了极大相容理论的若干刻画条件。本文还证明了系统L^＊的满足性定理和紧致性定理。至此，系统L^＊的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握，所以本文的结果完善了系统L^＊的理论体系。     

系统(￡)*n的逻辑性质及其应用

证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.     

有关凸函数的一个定理的改进证明

文[1]．P5．引理1．1．3的证明过程比较复杂、难以理解,本文用另外一种方法(利用函数的单调性、凹凸性和拉格朗日中值定理)对该定理进行了证明．其证明方法比文[1]的证明方法简单、明了,并对定理的结论进行了推广．     

广义柯西中值定理的“中间点”的渐近性

广义柯西中值定理的“中间点”的渐近性殷子和，马龙友（武汉工业大学北京研究生部）（北京建筑工程学院）文［１］、［２］对柯西中值定理的“中间点ξ”的渐近性问题进行了研究．本文给出广义柯西中值定理的“中间点ξ”的渐近性定理，并予以证明．柯西中值定理的一种推...     

关于微分达布(Darboux)定理的等价性

给出了微分达布定理的一个等价定理,证明了它们的等价性     

集值测度的延拓定理

讨论了集值测度的若干基本性质，在此基础上，研究了集值测度凸性，紧性及其靠拢定理，特别是到紧凸值集值测度的延拓定理。     

本质连通区的存在性和稳定性

本文首先给出了一个统一的本质连通区的存在性定理．应用这个定理，容易地导出了不动点集和Nash平衡点集本质连通区的存在性定理．此外，还首先给出了一个统一的本质连通区的稳定性定理．     

LMI优化问题的择一性定理与对偶

考虑目标函数是线性函数约束条件为线性矩阵不等式的LMI优化问题,讨论了LMI优化问题中的四个择一性定理.每种类型的择一性定理包含两个线性不等式和(或)等式系统,一个原始系统和一个对偶系统.弱择一性定理说明两系统中至多只有其一有解;基于凸集分离理论得到的强择一性定理说明两系统有且仅有其一有解.并在此基础上推导了LMI优化...     

一道习题的四种解法

利用数形结合及积分第一中值定理、积分第二中值定理、介值性定理、零点定理,对一道习题提供四种解法．     

Nonlinear and Geometric Programming – Current Status

Great strides have been made in nonlinear programming (NLP) in the last 5 years. In smooth NLP, there are now several reliable and efficient codes capable of solving large problems. Most of these implement GRG or SQP methods, and new software using interior point algorithms is under development. NLP software is now much easier to use, as it is interfaced with many modeling systems, including MSC/NASTRAN, and ANSYS for structural problems, GAMS and AMPL for general optimization, Matlab and Mathcad for general mathematical problems, and the widely used Microsoft Excel spreadsheet. For mixed integer problems, branch and bound and outer approximation codes are now available and are coupled to some of the above modeling systems, while search methods like Tabu Search and Genetic algorithms permit combinatorial, nonsmooth, and nonconvex problems to be attacked.     

基于模糊FNN-ELECTRE法的国有商业银行竞争力评价

随着金融业全方位开放,国有商业银行已成为国家经济命脉的核心,其竞争力强弱关系着国家经济的繁荣与衰退。本文基于模糊FNN-ELECTRE方法建立国有商业银行竞争力评价模型,以因素神经网络理论(FNN)与ELECTRE融合方法为基础,以现有商业银行竞争力评价指标为着眼,把国有商业银行竞争力的评价体系从现实竞争力和潜在竞争力两个因素抽取为一级指标,以规模、质量、业务结构、效率、成长性五个因素设为二级指标。从实证的角度对银行A、银行B、银行C、银行D、银行E五大国有银行进行分析验证,对其属性值进行和谐性与非和谐性检验得出,银行B竞争能力最强,银行E竞争能力最弱,五大国有银行均有改进空间。     

$G$核开集,$G$核邻域与$G$ 核导集

在拓扑空间中, 在$G$方法意义下以$G$壳与$G$核为基础, 引入$G$壳闭集,$G$核开集,$G$核邻域与$G$核导集的概念, 讨论其相应的一些性质. 特别的, 定义了点式$G$方法, 提供了在此方法下$G$闭集与$G$壳闭集, $G$开集与$G$核开集, $G$邻域与$G$核邻域, $G$导集与$G$核导集的一致性, 丰富了拓扑空间中关于$G$闭集, $G$开集, $G$内部, $G$邻域和$G$导集的一些结果. 同时, 提出一些问题以供进一步研究.     

Splitting up value: A critical review of residual income theories

This paper deals with the notion of residual income, which may be defined as the surplus profit that residues after a capital charge (opportunity cost) has been covered. While the origins of the notion trace back to the 19th century, in-depth theoretical investigations and widespread real-life applications are relatively recent and concern an interdisciplinary field connecting management accounting, corporate finance and financial mathematics (Peasnell, 1981, 1982; Peccati, 1987, 1989, 1991; Stewart, 1991; Ohlson, 1995; Arnold and Davies, 2000; Young and O’Byrne, 2001; Martin, Petty and Rich, 2003). This paper presents both a historical outline of its birth and development and an overview of the main recent contributions regarding capital budgeting decisions, production and sales decisions, implementation of optimal portfolios, forecasts of asset prices and calculation of intrinsic values. A most recent theory, the systemic-value-added approach (also named lost-capital paradigm), provides a different definition of residual income, consistent with arbitrage theory. Enfolded in Keynes’s (1936) notion of user cost and forerun by Pressacco and Stucchi (1997), the theory has been formally introduced in Magni (2000a,b,c; 2001a,b; 2003), where its properties are thoroughly investigated as well as its relations with the standard theory; two different lost-capital metrics have been considered, for value-based management purposes, by Drukarczyk and Schueler (2000) and Young and O’Byrne (2001). This work illustrates the main properties of the two theories and their relations, and provides a minimal guide to construction of performance metrics in the two approaches.     

复杂装备研制协调超网络均衡与实现路径

复杂装备研制主体间呈现社会关系、合作关系、协调关系等网络关系,并且相互影响相互作用,其影响复杂装备研制的重要参数。为有效描述在资源环境约束下制造商和供应商的关系,探讨复杂装备研制协调机理与实现路径,本文利用超网络方法,设计了相互影响、相互作用的社会关系网络、协调网络和合作网络的复杂装备研制协调超网络,并将社会关系水平、协调度和合作水平作为超网络的3个决策变量,建立基于关系价值最大、协调成本最低、协调风险最小、合作收益最大、合作风险最小和成本最小等不同偏好下的多目标最优决策模型,构建了复杂装备研制超网络均衡模型,并利用其探讨超网络均衡和实现路径。     

PROMETHEE: A comprehensive literature review on methodologies and applications

In recent decades, several Multi-Criteria Decision Aid (MCDA) methods have been proposed to help in selecting the best compromise alternatives. In the meantime, the PROMETHEE (Preference Ranking Organization Method for Enrichment Evaluations) family of outranking methods and their applications has attracted much attention from academics and practitioners. In this paper, a classification scheme and a comprehensive literature review are presented in order to uncover, classify, and interpret the current research on PROMETHEE methodologies and applications. Based on the scheme, 217 scholarly papers from 100 journals are categorized into application areas and non-application papers. The application areas include the papers on the topics of Environment Management, Hydrology and Water Management, Business and Financial Management, Chemistry, Logistics and Transportation, Manufacturing and Assembly, Energy Management, Social, and Other Topics. The last area covers the papers published in several fields: Medicine, Agriculture, Education, Design, Government and Sports. The scholarly papers are also classified by (1) year of publication, (2) journal of publication, (3) authors’ nationality, (4) PROMETHEE as applied with other MCDA methods, and (5) PROMETHEE as applied with GAIA (Geometrical Analysis for Interactive Aid) plane. It is hoped that the paper can meet the needs of researchers and practitioners for easy references of PROMETHEE methodologies and applications, and hence promote the future of PROMETHEE research.     

运筹学在整车物流智能调度决策支持系统中的研究与应用

本文基于整车物流智能调度决策支持系统的研发、实施与运维的成功应用,论述运筹学在智能化上的应用路径以及实践驱动的学术路径。该系统是国内较早在汽车物流企业实现落地的智能化调度系统,其所形成的思想理论与方法技术揭示了运筹学在智能化应用上的核心价值,以及实践驱动的学术价值,对解决“卡脖子”难题提供示范性思路。本文提出运筹学在智能化研发上“三环七步”的整体研发框架。首先,分析智能化需求的运筹学特征,详细介绍汽车整车物流的发展趋势、瓶颈及智能调度需求;其次,论述运筹学系统模型的作用与建模方法,分析汽车整车物流系统模型的决策要素、目标及约束,提出汽车整车物流智能调度的运筹学应用问题。然后,提出“模式装箱”的新装箱理论问题,明确问题的计算难解性、可解性及核心科学特征。进一步,建立汽车整车物流调度应用问题与科学问题的混合整数线性规划模型;提出求解汽车整车物流调度问题的分支定界算法,以及大规模问题求解的时空分解及滚动求解方法与技术;提出面向运筹应用的生产测试及压力测试方法,给出汽车整车物流调度的测试分析的流程与结果。此外,提出深度集成整车运输管理系统与仓库管理系统、优化算法引擎驱动的分布式、多视图、多系统融合的智能调度决策支持系统。最后,论述该系统在实施过程中的推广使用和运维情况,并对运筹学应用及实践驱动的科学研究进行总结与展望。     

并行分批排序综述

并行分批排序起源于半导体芯片制造过程。在并行分批排序中,工件可成批加工,批加工机器最多可同时加工B个工件,批的加工时间为批中所有工件的最大工时。首先根据传统的机器环境和目标函数对并行分批排序已有成果进行分类介绍,主要为单机和平行机的机器环境,以及极小化最大完工时间、极小化总完工时间、极小化最大延迟、极小化误工工件数、极小化总延误和极小化最大延误的目标函数;然后梳理了由基本问题所衍生出来的具有新特点的16类新型并行分批排序,包括差异尺寸工件、多目标、工件加工时间或顺序存在限制、考虑费用和具有特殊机制等情况;最后展望未来的研究方向。     

共生视角下我国区域创新生态系统发展观测——基于TOPSIS生态位评估投影模型的时空特征分析

为明确我国区域创新生态系统发展现状,以共生为视角,基于共生单元、共生基质、共生平台、共生网络、共生环境五大生态特征建立区域创新生态系统综合评价指标体系,以2007~2015年我国30个省市相关数据为样本,运用TOPSIS生态位评估投影集成模型及二次加权算法,对我国区域创新生态系统整体及各生态特征的发展状况进行静态和动态综合评价,并分析其时空特征、地区差异及关键因素变迁。结果表明:(1)我国区域创新生态系统发展整体呈趋好态势,东部地区发展趋缓且存在极化现象,中西部地区普遍抬升,地区间发展水平差距较大但随时间推移呈缩小趋势;(2)创新生态系统各生态特征均表现出“东高西低”的地区间非均衡现象,但其时空特征具有显著异质性;(3)区域创新生态系统长远发展的助力优先来自于共生平台和共生网络,而共生单元、共生基质和共生环境的重要性程度呈相对弱化态势。