On the population monotonicity of independent set games

An independent set game is a cooperative game dealing with profit sharing in the maximum independent set problem. A population monotonic allocation scheme is a rule specifying how to share the profit of each coalition among its participants such that every participant is better off when the coalition expands. In this paper, we provide a necessary and sufficient characterization for independent set games admitting population monotonic allocation schemes. Moreover, our characterization can be verified efficiently.     

带五次项的非线性Schrödinger方程的守恒差分格式

本文研究带有五次项的非线性Schrödinger方程初边值问题的有限差分法,其中方程中二阶偏导数项的系数、五次项的系数及初值满足下面的条件（1.6）.针对此问题,我们研究了一个守恒差分格式,在条件（1.6）下,差分解的$L^{\infty}$模先验估计被得到.在此基础上,我们得到了差分解最优$L^2$模的误差估计.     

求解二维Fisher-KPP方程的一类保正保界差分格式及其Richardson外推法

本文研究求解二维Fisher-Kolmogorov-Petrovsky-Piscounov (Fisher-KPP)方程的一类保正保界差分格式.运用能量分析法证明了当网格比满足$R_{x}+R_{y}+[b\tau (p-1)]/2\leq\frac{1}{2}$时差分解具有一系列数学性质,包括保正性、保界性和单调性,且在无穷范数意义下有$O (\tau+h_{x}^{2}+h_{y}^{2})$的收敛阶.然后通过发展Richardson外推法得到收敛阶为$O (\tau^{2}+h_{x}^{4}+h_{y}^{4})$的外推解.最后数值实验表明数值结果与理论结果相吻合.值得提及的是在运用本文构造的Richardson外推法时对时空网格比没有增加更严格的条件.     

Hamilton cycles in line graphs of 3-hypergraphs

We prove that every 52-connected line graph of a rank 3 hypergraph is Hamiltonian. This is the first result of this type for hypergraphs of bounded rank other than ordinary graphs.     

汽车制造商分时租赁模式采用及产品线策略研究

考虑自有平台和第三方平台两种分时租赁方式,将汽车质量划分为性能质量和环境质量,构建销售模式、纯分时租赁模式和混合模式下的产品线策略模型,研究制造商产品线策略与商业模式之间的相互作用。研究发现,同品牌产品间竞争和合并效应是分时租赁模式影响产品线策略的两个关键因素。同品牌产品间竞争的加剧和合并效应的增大都会激励企业选择性能更好的车型而忽略其环境表现。分时租赁模式能同时改进利润与产品环境表现,但存在条件:当消费者价格敏感性较低时,使用成本高且合并效应小是实现同时改进的条件;当消费者价格敏感较高时,使用成本低且合并效应小则是同时改进的条件。     

“限时服务规则”下的复线船闸多目标调度优化

针对现有船舶过闸排队规则的欠缺,基于“限时服务规则”,构建复线船闸多目标双层优化调度模型:上层模型用于获得两个闸室安全区域的船舶排布可行方案;下层模型用于获得不同船舶排布可行方案的优化闸次数。下层模型分两个阶段完成:对符合“限时服务规则”的船舶,构建以闸次最少为目标的0-1规划模型,获得此类船舶安排的闸次;对其余船舶按照“先到先服务规则”,构建以闸次最少、闸室利用率最大为目标的多目标决策模型,获得不同船舶排布可行方案应该安排的频次。以位于江苏省干线航道上的某复线船闸某日24小时内过闸船舶的数据为例,计算结果表明:采用本文优化模型获得的优化方案与“经验编排方式”相比,两座船闸各节约2个闸次,两个船闸的平均闸室利用率分别提高了3.66和4.72个百分点。     

第II类双边拆卸线平衡问题建模与优化

报废汽车体积大,废弃物污染大,拆卸过程复杂,将作业任务均衡分配难。为此,本文对工作站数量确定的双边拆卸线平衡问题进行研究,建立问题数学模型,设计一种变邻域蛙跳算法。所提算法在寻优过程中采用变邻域搜索提高族群局部搜索效率;引入个体学习机制加快精英个体进化速度;提出基于二分法的节拍时间调整策略加快对最优节拍的搜索。最后,通过算例对算法性能进行验证并通过实例说明任务在拆卸线上平衡分配的重要性。     

Event-triggered sliding mode control for switched genetic regulatory networks with persistent dwell time

This paper focus on the event-triggered sliding mode controller design for discrete-time switched genetic regulatory networks (GRNs) with persistent dwell time (PDT) switching. Firstly, the observation error dynamics of switched GRNs with PDT is constructed in the light of event-triggered sliding mode control (SMC) scheme. Next, sufficient conditions are derived to ensure the exponential stability of the augmented plant. Moreover, an event-triggered SMC law is synthesized to impel the system trajectories onto the sliding surface in a finite time. Finally, a verification example is provided to illustrate the effectiveness and potential of the proposed method.     

Limit cycles of a class of Liénard systems derived from state-dependent impulses

Discontinuous phenomena, in which objects may behave continuously and sometimes discretely are not only found in nature and under laboratory conditions but also in simple, familiar contexts. For example, this phenomenon is skillfully incorporated into the internal structure of mechanical wristwatches. Unless an extremely small amount of state-dependent impulse is applied intermittently, the reciprocating rotational movement of the balance and hairspring, which is the heart of the mechanical wristwatch, cannot be maintained. The small amount of state-dependent impulse, which is often overlooked, can make a significant difference; however, very few studies have examined this subject. This study assumes the underlying cause of discontinuous behaviors as impulses generated when an object reaches a particular state, assuming that the continuous behavior follows the Liénard system, which is widely studied in the field of electrical circuits. The main theorem provides the conditions under which the effect of the impulses causes a stable limit cycle in the Liénard system, even if no limit cycle exists when there are no impulses. The Poincaré–Bendixson theorem for discontinuous dynamical systems and phase plane analysis are used to prove the main theorem. Several examples and their simulations are provided to illustrate the main theorem.     

On representations of affine Kac-Moody groups and related loop groups

We demonstrate a one to one correspondence between the irreducible projective representations of an affine Kac-Moody group and those of the related loop group, which leads to the results that every non-trivial representation of an affine Kac-Moody group must have its degree greater than or equal to the rank of the group and that the equivalence appears if and only if the group is of type for some . Moreover the characteristics of the base fields for the non-trivial representations are found being always zero.