一类KdV-Burgers方程的奇摄动解与孤子解

讨论了一类具有大Reynolds数且弱频散性的KdV-Burgers方程, 在数学上表示为一类奇摄动KdV-Burgers方程.KdV-Burgers方程中含有的非线性项与频散项互补作用形成稳定向前传播的孤立子.通过数学分析, 描述了孤立子的传播途径和传播速度等物理量的发展变化规律.通过奇摄动展开方法, 构造了该问题的渐近解.首先,用Riemann-Earnshaw方法求得退化解, 得到了简单波, 该简单波波形中的任意一点与初始点都存在一个传播速度差, 这使得波在传播过程中波形不断畸变, 最终形成冲击波面, 即间断面, 在它的两侧质点的速度有一个跳跃, 且随时间不断变化;其次, 在退化解的间断曲面处做变量替换, 构造一种修正的行波变换, 得到了内解展开式的孤子解, 并证明了内外解的存在性与唯一性;最后,通过一致有界逆算子的存在性做了余项估计, 并得到渐近解的一致有效性.结果表明, KdV-Burgers方程在大Reynolds数且弱频散性的性质下,扰动集中在退化解的间断面附近,孤立子链接两侧质点,其传播途径不是时间与空间的线性形式,而是沿着退化解的间断面附近传播,形成稳定的波形.     

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

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

Multivariate Polynomials,Duality, and Structured Matrices

We first review the basic properties of the well known classes of Toeplitz, Hankel, Vandermonde, and other related structured matrices and reexamine their correlation to operations with univariate polynomials. Then we define some natural extensions of such classes of matrices based on their correlation to multivariate polynomials. We describe the correlation in terms of the associated operators of multiplication in the polynomial ring and its dual space, which allows us to generalize these structures to the multivariate case. Multivariate Toeplitz, Hankel, and Vandermonde matrices, Bezoutians, algebraic residues, and relations between them are studied. Finally, we show some applications of this study to rootfinding problems for a system of multivariate polynomial equations, where the dual space, algebraic residues, Bezoutians, and other structured matrices play an important role. The developed techniques enable us to obtain a better insight into the major problems of multivariate polynomial computations and to improve substantially the known techniques of the study of these problems. In particular, we simplify and/or generalize the known reduction of the multivariate polynomial systems to the matrix eigenproblem, the derivation of the Bézout and Bernshtein bounds on the number of the roots, and the construction of multiplication tables. From the algorithmic and computational complexity point, we yield acceleration by one order of magnitude of the known methods for some fundamental problems of solving multivariate polynomial systems of equations.     

带有能源的随机动态柯布—道格拉斯生产函数

在考虑能源作为投入要素和经济环境随机动态变化的情况下,将经典的柯布-道格拉斯生产函数推广到随机动态的形式.首先给出了随机动态C-D生产函数的随机微分方程形式,证明了该生产函数解的存在性和唯一性;其次,进一步分析了解的Markov性质和扩散性质,并分别利用漂移系数和扩散系数给出了产出弹性的计算公式.最后,还给出了经济增长...     

空气中PM2.5的扩散和衰减模型

PM2.5的时空分布及其演变规律十分复杂.为刻画PM2.5的发生、扩散和衰减规律,提出点源、线源和面源叠加的多源模型描述区域内的多污染源对某一监测点的影响.考虑风力风速、太阳辐射强度、湿度等天气和季节因素以及重力、湍流扩散、分子扩散等对源强强度的影响,提出源衰减、湿沉积、化学迁移叠加衰减模型,用监测点的PM2.5浓度数据对污染源强度和衰减系数进行反演求解.针对西安市某些监测点处的PM2.5浓度突然增至数倍且延续数小时,建立污染扩散预测与评估方法,对提升前后污染源源强进行分析,给出重度污染区域,并用数据的人工统计定性验证模型的合理性.     

Subjective Assessments and Objective Yardsticks: A Contribution to Risk Theory Inspired by the Philosophy of the East

The difference between the hope of expectation and mathematical hope, as pointed out by Daniel Bernoulli in 1738 and by Harald Westergaard in 1876, and its influence on the discussion of utility is considered.The subjective elements and the objective factors in cases of risks are taken up. A digest for the evaluation of major hazards as seen from the three viewpoints, the individual, relations between individuals and the relations between individual and surroundings, is discussed.As essential elements in the decision process, the importance of voluntary and involuntary risk, pareto optimization, the size of solidarity, the absolute size of the damage and the distrust of experts is pointed out in the paper in the evaluation of major hazards-in other words, a simultaneous application of multi-decision strategies, e.g. Bayes, min-max and Hurwitz criteria.The number of members standing shoulder-to-shoulder in the group is emphasized as a numerical factor in the evaluation.     

具有Bernoulli反馈且带有负顾客的PH/M/1排队系统

在PH/M/1排队模型中,引入了负顾客和Bernoulli反馈,并讨论了服务台容量为有限和无限两类模型,其中,模型一为服务台容量为无限的PH/M/1排队模型,利用拟生灭过程和矩阵几何解法得到了系统的转移速率矩阵,给出了系统正常返的充要条件,并得到了系统的稳态队长、忙期长度的拉普拉斯变换,以及系统的其它相关性能指标.模型二为服务台容量为有限的PH/M/1/N排队模型,同样使用拟生灭过程给出了马尔科夫过程的转移速率矩阵,并利用矩阵分析法进行求解,得到了该系统的稳态解和其它相关指标.     

居民用户峰谷分时气价模型及其优化求解方法

针对天然气的居民用户制定合理的峰谷分时气价,能有效地削峰填谷,从而保证燃气管道安全稳定地运行。本文构建用户需求响应和满意度函数,并在此基础上建立以最小化最大峰负荷和峰谷负荷差,及最大化用户满意度为目标的需求侧峰谷分时气价优化模型。采用蚁群算法对模型进行求解,该算法收敛性较好,同时也避免局部最优的缺点。算例结果表明,在兼顾公平与效率的前提下,峰谷分时气价模型能有效地降低最大峰负荷和峰谷负荷差,同时存在最优的峰、平、谷价格,使得用户满意度最大;另外本文也验证了模型的有效性及可行性。此方法为天然气合理定价机制的建立及政策的制定提供了理论依据。     

Bitopological spaces

The paper is, in essence, a monograph devoted to the theory of bitopological spaces and its applications. Not exhausting the entire subject, it reflects basic ideas and methods of the theory. The Introduction gives an idea of the origins of the basic notions, contents, methods, and problems both of the classical (in the spirit of Kelly) and of the general theory of bitopological spaces. The classical theory is described rather schematically in Chapter I, only the theory of extensions of topological and bitopological spaces and the theory of completion of uniform spaces are presented in more detail. The main focus is on the general theory of bitopological spaces (Chapter II). Notions, methods, and results presented here have no analogues in the classical theory. As applications, foundations of the theory of bitopological manifolds, in particular, bitopologically represented piecewise linear manifolds (Chapter III), and the foundations of the theory of bitopological groups are presented (Chapter IV). Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 242, 1997, pp. 7–216. Translated by A. A. Ivanov.     

技术创新的评价模型研究

国内外至今未对技术创新形成严格统一的定义，如何界定技术创新成为理论界争论的焦点，尤其是对技术创新中“技术”的限定和技术创新成功实现的标准与界定方面存在着分歧。为了淡化技术创新的神秘性和推进技术创新的社会化，本从界定技术创新是否成功的角度出发，通过对比技术创新前后的经济效益和社会效益的差异，利用SAVAGE的期望效用理论和方法，提出了技术创新的评价模型。通过该评价模型，对技术创新的界定有一个定量的评判，对任何一种简单的技术进步和方法的改进都可以进行评价和界定，从而促进技术创新的不断发展。     

The rolling of a wheel along a corrugated rail

The rolling without detachment of a rigid massive wheel, carrying a static load, along a rail with undulations on the running surface, which arises as a result of non-uniform wear, is investigated. The rail is supported by an elastoviscous base. Because of the inertia of the wheel and the carriage the horizontal component of the velocity of the wheel centre differs only slightly from a constant quantity, and hence the motion of the wheel along the rail is assumed to be uniform. Steady vertical vibration of the wheel is considered. The vertical coordinate of the wheel centre, and also the difference between the longitudinal coordinates of the wheel centre and the point of contact of the wheel and the rail, are periodic and, correspondingly, even and odd functions of the longitudinal coordinate of the wheel centre, and their period is equal to the wave length on the rail surface. The periodic force of interaction of the wheel and the rail is given in the form of a Fourier series. Short waves, the amplitude of which is much less than their length, are often observed on the rail surface, and this length is much less than the wheel radius. In this case the coefficients of the Fourier series are expressed in terms of Bessel functions of the first kind of integer order. Observations show that the depth of the short wave on the rail surface increases until the radius of curvature in the rail trough approximates to the wheel radius, and hence it is assumed that these radii are close to or equal to one another. In this case the trajectory of the wheel centre differs considerably from the wave on the rail surface.     

基于改进的混沌鲸鱼算法优化DBN的广东人口数量预测研究

为了估算广东省人口总数和老龄化人口总数,针对深度置信网络模型的性能易受其权值和阈值选择的影响,提出一种基于改进的混沌鲸鱼算法优化DBN的人口数量预测模型。首先,为提高鲸鱼算法的收敛速度和避免局部最优,将Skew Tent混沌模型和非线性收敛因子引入WOA算法用于初始化WOA种群和改进WOA更新策略。其次为了提高DBN模型的性能,运用ICWOA算法对DBN模型的权值和阈值进行优化选择,融合影响人口数量的多因素特征因子,将不同年龄段的总人数、死亡率、存活率、年生育率、第一产业占比、第二产业占比以及第三产业占比等多因素特征因子作为ICWOA-DBN的输入,人口数量作为ICWOA-DBN的输出,建立ICWOA-DBN人口数量预测模型。通过标准函数测试寻优对比发现,提出的ICWOA具有更快的收敛速度和更小的适应度值。为了验证本文算法ICWOA-DBN的预测性能,以第6次全国人口普查数据为参考依据,选择2005~2016年广东省历年常住人口总数和老龄化人口总数为研究对象,研究结果表明,与IWOA-DBN、WOA-DBN、GA-DBN和DBN相比,提出的ICWOA-DBN的人口数量预测模型的精度最高,为人口数量预测提供新的方法和途径。     

小麦蜡熟期茎杆抗倒伏数学模型的建立

以物理学力学理论为基础,在考虑小麦穗自重,风力大小、风力大小、方向及作用点的因素下,将茎杆状态分为无风情况下的静态过程和有风情况下的动态过程,分别建立小麦蜡熟期茎杆的静态和动态抗倒伏模型.提出合理假设,得到2008年和2011年数据中各品种的机械强度、茎杆鲜重和重心高度的计算公式,再结合已给的倒伏指数公式,计算得到各小麦品种的倒伏指数;接下来,通过斯皮尔曼相关系数分判断倒伏指数与外部特征因素的相关性大小;最后,在考虑穗自重,风力大小、方向及作用点,茎杆变形能的影响因素下,分别建立小麦抗倒伏静态模型和动态模型.其中静态模型以临界力为计算目标,动态模型同时考虑穗自重和风载因素,最终将静态模型和动态模型结合作为小麦抗倒伏模型.文章最后利用已知数据,计算得到抗倒伏模型各个参数,同时对动态模型进行仿真,得到在一定风速下茎杆摆动的运动轨迹.在此基础上,考虑到该模型为典型的非线性动力模型,利用相平面分析法发现存在明显混沌现象,并进一步找出可能导致混沌的相关特性参数.     

T型微通道内液滴在幂律流体中运动机理的格子Boltzmann方法研究北大核心CSCD

采用非Newton不可压两相流格子Boltzmann模型研究了T型微通道内Newton液滴在非Newton幂律流体中的运动过程.研究了非Newton流体幂律指数n、主管道毛细数Ca、两相流量比Q、两相黏度比M以及主管道壁面润湿性θ对液滴在T型微通道内的形成尺寸、形成时间和变形参数(DI)的影响.研究结果表明:首先,主管道流体幂律指数n从0.4增加到1.6时,液滴的形成尺寸近似呈线性减小,而液滴的形成时间和变形参数先快速减小,然后缓慢减小;其次,黏度比对液滴形成尺寸、液滴形成以及变形参数的影响与幂律指数的影响基本一致;再者,随着Ca和主管道壁面润湿性的增加,形成液滴的尺寸近似呈线性减小,形成液滴的时间和变形参数先快速减小然后缓慢减小,且减小趋势随幂律指数的增加而减缓;最后,研究结果还表明主管道和子管道的流量比Q越大,液滴形成时间越长,液滴形成尺寸和变形参数越小.     

基于关系契约视角的农户与农产品电子商务企业合作机制演化博弈分析

本文基于关系契约的视角,运用演化博弈理论,构建有限理性特性下的农户与农产品电子商务企业合作演化博弈模型,分析双方合作策略的演进过程、稳定策略及其影响因素,并通过Matlab仿真模拟分析影响双方合作策略选择的因素,验证博弈结果正确性。研究结果表明:农户和农产品电子商务企业选择合作策略与合作投入成本、实现的超额收益密切相关,博弈初始状态、再交易成本、单方不合作获得的收益及违约罚金等因素影响系统的演化稳定结果。因此完善农户与农产品电子商务企业的合作机制,需要构建合理的利益分配机制、良好的关系治理机制、有效的监督和惩罚机制和信息共享、沟通与协调机制。     

双边配给问题的Shapley解及其在博物馆通票问题中的应用

双边配给问题描述了现实生活中一类带有二部图结构的稀缺资源配置问题, 例如, 在自然灾害期间救援物资的配给; 电力和天然气等自然资源按需分配; 高校引进人才调配等。本文通过求解线性规划, 并从联盟边际贡献的角度出发定义了双边配给问题的一个Shapley解。之后, 通过合作对策模型和解的公理化方法说明新解的合理性。首先, 建立双边配给问题的合作对策模型, 论证了新解与双边配给合作对策的Shapley值一致; 其次, 证明了Shapley解是唯一满足优先一致性的有效配给方案。最后, 将Shapley解应用于博物馆通票问题的研究, 探讨了博物馆合作制定通票后所得单票和通票收益的分配方式。     

Time-linearized,compact methods for the inviscid GRLW equation subject to initial Gaussian conditions

The objective of this paper is three-fold. First, four time-linearization methods that are second- and fourth-order accurate in time and space, respectively, are presented and used to study the dynamics of the modified and generalized regularized-long wave equations (mRLW and GRLW equations, respectively). Two of the methods use the conservation-law form of the equations and treat the wave amplitude and its second-order spatial derivative and the linear and nonlinear advection fluxes as unknowns, whereas the other two employ the non-conservation-law form of the equations and consider the wave amplitude and its first- and second-order spatial derivatives as unknowns. The methods employ three-point fourth-order accurate Padé discretizations for the first- and second-order derivatives, are second-order accurate in time, and yield linear systems of blocktridiagonal matrices. Second, the accuracy of these methods is assessed by comparing their results with those of the exact solution of the mRLW equation. It is reported that the four methods predict nearly the same values of the three invariants and have the same accuracy, and that an accurate prediction of the invariants may not correspond to small errors in space and time. Third, the dynamics of the inviscid GRLW equation is studied first qualitatively in terms of length and time scales and then numerically as a function of the linear advection speed, the exponent of the nonlinear advection flux, the dispersion coefficient and the amplitude and width of the initial bell-shaped or Gaussian conditions. It is shown that wide initial conditions result in wave steepening and breakup and the formation of solitary waves whose amplitude and speed decrease as the time for their formation increases. For narrow initial conditions, it is shown that only a single solitary wave may form. Behind this wave and depending on the parameters that characterized the inviscid GRLW equation, rarefaction or negative amplitude waves that propagate towards the upstream boundary or a train of localized oscillatory waves that do not emerge from the trailing edge of the leading solitary wave may be formed. These oscillatory waves exhibit the characteristics of, but are not dispersive shock waves and their amplitude and frequency increases as the width of the initial conditions is decreased. The results presented here do not only complement previous work by the authors, they also show that the dynamics of the inviscid GRLW equation undergoes new and interesting phenomena as the width of the initial conditions is decreased.     

Quality-aware visual data analysis

The quality, certainty, or confidence of decisions made during the visual analytics process depends on many factors, including the completeness and reliability of the initial data, information loss due to filtering, sampling, and other transformations, and the accuracy and clarity of the visual presentation. Unfortunately, in most visualization tools the analyst is unaware of these and other forces that degrade the meaningfulness of their results. In this paper, we describe our efforts to design strategies for tackling the measurement, display, and utilization of quality aspects at all stages of the visualization pipeline. The goal is to help analysts maintain an awareness of the accuracy and completeness of the information conveyed in the images, and subsequently the patterns observed and decisions made based on the analysis. Quality measures can be used both to assist analysts in selecting, transforming, and mapping their data as well as to automatically refine processes to generate higher quality views. We have implemented several such techniques within XmdvTool, a public-domain package for visual analytics. We illustrate the quality-specific components of our tool with several case studies to show the usefulness of the approach. We also describe user studies that were performed to validate the accuracy of our quality measures.     

Mapping deontic operators to abductive expectations

Deontic concepts and operators have been widely used in several fields where representation of norms is needed, including legal reasoning and normative multi-agent systems. The EU-funded SOCS project has provided a language to specify the agent interaction in open multi-agent systems. The language is equipped with a declarative semantics based on abductive logic programming, and an operational semantics consisting of a (sound and complete) abductive proof procedure. In the SOCS framework, the specification is used directly as a program for the verification procedure. In this paper, we propose a mapping of the usual deontic operators (obligations, prohibition, permission) to language entities, called expectations, available in the SOCS social framework. Although expectations and deontic operators can be quite different from a philosophical viewpoint, we support our mapping by showing a similarity between the abductive semantics for expectations and the Kripke semantics that can be given to deontic operators. The main purpose of this work is to make the computational machinery from the SOCS social framework available for the specification and verification of systems by means of deontic operators. Marco Alberti received his laurea degree in Electronic Engineering in 2001 and his Ph.D. in Information Engineering in 2005 from the University of Ferrara, Italy. His research interests include constraint logic programming and abductive logic programming, applied in particular to the specification and verification of multi-agent systems. He has been involved as a research assistants in national and European research projects. He currently has a post-doc position in the Department of Engineering at the University of Ferrara. Marco Gavanelli is currently assistant professor in the Department of Engineering at the University of Ferrara, Italy. He graduated in Computer Science Engineering in 1998 at the University of Bologna, Italy. He got his Ph.D. in 2002 at Ferrara University. His research interest include Artificial Intelligence, Constraint Logic Programming, Multi-criteria Optimisation, Abductive Logic Programming, Multi-Agent Systems. He is a member of ALP (the Association for Logic Programming) and AI*IA (the Italian Association for Artificial Intelligence). He has organised workshops, and is author of more than 30 publications between journals and conference proceedings. Evelina Lamma received her degree in Electronic Engineering from University of Bologna, Italy, in 1985 and her Ph.D. degree in Computer Science in 1990. Currently she is Full Professor at the Faculty of Engineering of the University of Ferrara where she teaches Artificial Intelligence and Foundations of Computer Science. Her research activity focuses around: – programming languages (logic languages, modular and object-oriented programming); – artificial intelligence; – knowledge representation; – intelligent agents and multi-agent systems; – machine learning. Her research has covered implementation, application and theoretical aspects. She took part to several national and international research projects. She was responsible of the research group at the Dipartimento di Ingegneria of the University of Ferrara in the UE ITS-2001-32530 Project (named SOCS), in the the context of the UE V Framework Programme - Global Computing Action. Paola Mello received her degree in Electronic Engineering from the University of Bologna, Italy, in 1982, and her Ph.D. degree in Computer Science in 1989. Since 1994 she has been Full Professor. She is enrolled, at present, at the Faculty of Engineering of the University of Bologna (Italy), where she teaches Artificial Intelligence. Her research activity focuses on programming languages, with particular reference to logic languages and their extensions, artificial intelligence, knowledge representation, expert systems with particular emphasis on medical applications, and multi-agent systems. Her research has covered implementation, application and theoretical aspects and is presented in several national and international publications. She took part to several national and international research projects in the context of computational logic. Giovanni Sartor is Marie-Curie professor of Legal informatics and Legal Theory at the European University Institute of Florence and professor of Computer and Law at the University of Bologna (on leave), after obtaining a PhD at the European University Institute (Florence), working at the Court of Justice of the European Union (Luxembourg), being a researcher at the Italian National Council of Research (ITTIG, Florence), and holding the chair in Jurisprudence at Queen’s University of Belfast (where he now is honorary professor). He is co-editor of the Artificial Intelligence and Law Journal and has published widely in legal philosophy, computational logic, legislation technique, and computer law. Paolo Torroni is Assistant Professor in computing at the Faculty of Engineering of the University of Bologna, Italy. He obtained a PhD in Computer Science and Electronic Engineering in 2002, with a dissertation on logic-based agent reasoning and interaction. His research interests mainly focus on computational logic and multi-agent systems research, including logic programming, abductive and hypothetical reasoning, agent interaction, dialogue, negotiation, and argumentation. He is in the steering committee of the CLIMA and DALT international workshops and of the Italian logic programming interest group GULP.     

考虑废旧品质量的闭环供应链混合回收渠道选择研究

为确定最优的回收渠道,对由单个制造商、零售商和第三方组成的闭环供应链系统进行研究。在该系统中,可能存在制造商和零售商、制造商和第三方、零售商和第三方以及制造商、零售商和第三方同时回收的四种渠道,并根据质量差异对废旧品进行翻新或再制造。在分散决策下建立了四种回收渠道模型。比较发现:站在制造商和系统收益最大化及社会效益角度,三渠道是最佳选择,此时得到的废旧品最多;制造商不进行回收时获利最低,且不利于提高废旧品的获取量。最后,通过算例剖析了废旧品再制造率对四种混合回收渠道下成员及系统利润的影响。结果表明:制造商应尽量将废旧品用于再制造。