一类具有时滞和Gompertz增长率的捕食系统的稳定性与Hopf分支

研究一类具有时滞和Gompertz增长率的捕食系统,通过分析系统的特征方程,得到正平衡点的局部稳定性和系统出现Hopf分支的条件,并利用中心流形定理和规范型理论,得到确定Hopf分支方向和分支周期解稳定性的计算公式．     

一类具有时滞的生态一流行病系统的稳定性和Hopf分支

讨论一类食饵染病的时滞捕食一被捕食者模型,通过分析特征方程,得到正平衡点局部稳定和Hopf分支存在的条件．同时,应用中一tl,流形定理和规范型理论研究正平衡点处Hopf分支方向和分支周期解的稳定性．最后,通过数值模拟对理论结果进行了说明．     

第Ⅳ类时滞捕食系统的Hopf分支

研究了具有第Ⅳ类功能性反应的两种群时滞捕食系统正平衡点的稳定性，讨论了该系统的Hopf分支现象，并进行了数值模拟。     

一类具免疫时滞的HIV模型的动力学性态分析

研究一类具有时滞和免疫反应的HIV模型。首先通过分析特征方程研究了平衡点的局部稳定性以及Hopf分支的存在性。然后利用规范型理论和中心流行理论得到了确定Hopf分支方向和分支周期解稳定性的计算公式。接着讨论了无病平衡点的全局稳定性。最后通过数值模拟说明了所得理论结果。     

Lotka-Volterra捕食方程的Hopf分岔研究

对于具有有限时滞的Lotka-Volterra捕食方程,选用时滞作为分岔参数,得到模型的局部稳定性条件和系统的Hopf分岔值。利用中心流行定理和正则化方法,得到Hopf分岔的方向和周期解的稳定性。     

一类具有时滞的捕食系统的稳定性与Hopf分支

研究一类具有时滞的两种群捕食系统,通过分析特征方程讨论了正平衡点的局部稳定性问题。通过构造适当的Lyapunov泛函,得到了保证系统正平衡点全局渐近稳定的充分条件,并讨论了在正平衡点附近Hopf分支的存在性问题。     

具有时滞的比率型Chemostat模型的全局稳定性

研究一类具有时滞的比率型功能性反应的Chemostat模型。研究了模型的边界平衡点和正平衡点的局部稳定性以及Hopf分支的存在性;利用比较定理证明了边界平衡点的全局稳定性;通过构造Liapunov泛函给出了保证系统正平衡点全局稳定的充分条件;并通过数值模拟验证了理论结果。     

具有时滞和变消耗率的比率型Chemostat模型稳定性分析

研究了一类具有时滞和变消耗率的比率型Chemostat模型,讨论了边界平衡点和正平衡点的局部稳定性以及Hopf分支的存在性;利用比较原理和构造Lyapunov泛函,给出了边界平衡点和正平衡点的全局稳定性的充分性条件;并通过数值模拟验证了理论结果。     

一类具有时滞的病毒感染动力学模型的稳定性和Hopf分支

研究一类具有时滞的病毒感染动力学模型。通过分析特征方程，讨论了系统各个平衡点的局部稳定性，得出了系统Hopf分支存在的充分条件。通过比较定理证明了未感染平衡点的全局稳定性。最后对所得理论结果进行了数值模拟。     

一类具Holling-Ⅲ类功能性反应的食物有限捕食-被捕食模型的极限环

研究一类具Holling-Ⅲ类功能性反应的食物有限捕食-被捕食模型的动力学性态。应用微分方程定性理论，证明当正平衡点不稳定时该模型存在唯一稳定的极限环。     

Prospect theory and foreign policy decision-making: Underexposed issues,advancements, and ways forward

How much mileage can we get out of prospect theory to explain foreign policy decision-making? To answer this question, we first argue that risk as outcome uncertainty is the appropriate definition in prospect-theoretical applications. Then, we indicate that probability weighting—a crucial component of prospect theory—is typically ignored in such applications. We argue why this is problematic and suggest how to move forward. Next, we discuss how to establish the reference point in the face of outcomes in multiple dimensions, as is typically the case in foreign policy decision-making. Finally, we discuss what we have learnt regarding prospect theory’s scope conditions and the differences across individuals in the theory’s applicability. Overall, our contribution lies in identifying several underexposed or neglected issues (e.g., the definition of risk and probability weighting), in examining the advancements regarding prospect theory’s scope conditions, and in discussing avenues for further research.     

师生互动与大学英语教学

依据笔者的教学实践和心得体会,探讨了英语教学本质,分析了师生互动对提高大学英语教学水平的重要意义,指出了实践师生互动过程中应注意的问题。     

Progressive Type‐II censoring and coherent systems

A new connection between the distribution of component failure times of a coherent system and (adaptive) progressively Type‐II censored order statistics is established. Utilizing this property, we develop inferential procedures when the data is given by all component failures until system failure in two scenarios: In the case of complete information, we assume that the failed component is also observed whereas in the case of incomplete information, we have only information about the failure times but not about the components which have failed. In the first setting, we show that inferential methods for adaptive progressively Type‐II censored data can directly be applied to the problem. For incomplete information, we face the problem that the corresponding censoring plan is not observed and that the available inferential procedures depend on the knowledge of the used censoring plan. To get estimates for distributional parameters, we propose maximum likelihood estimators which can be obtained by solving the likelihood equations directly or via an Expectation‐Maximization‐algorithm type procedure. For an exponential distribution, we discuss also a linear estimator to estimate the mean. Moreover, we establish exact distributions for some estimators in the exponential case which can be used, for example, to construct exact confidence intervals. The results are illustrated by a five component bridge system. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 512–530, 2015     

神经计算机及其研究进展

本文分析比较了神经计算机与传统计算机的联系与区别。在软件实现、虚拟实现和全硬件实现三个方面,综述了近年来国际神经计算机的研究进展。最后,在就神经网络的兴衰原因提出自己的不同看法后,对神经计算机的发展方向作了展望。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

多彩动态VFD显示的设计与应用

详细介绍了VFD(真空荧光显示器)在单片机测控系统中的应用.根据水蒸气在高温环境下的测控需要,选择三极管型VFD作为参数和状态显示设备,通过基于SM16312驱动电路的硬件设计和ATmega8单片机的软件编程,实现了各参数和状态的多彩动态显示,为工业大批量生产提供了一条具有较高性价比的设计思路.     

关于"指挥与控制工程"学科的初步探讨

阐述了指挥与控制及其系统的概念、意义、作用,初步探讨了指挥与控制工程的研究对象、研究内容、研究目的及学科体系,希望引起专业领域内专家学者对指挥与控制工程学科的关注,以共同促进指挥与控制工程科学技术的发展.     

Contracts and coordination: Supply chains with uncertain demand and supply

Considering a supply chain with a supplier subject to yield uncertainty selling to a retailer facing stochastic demand, we find that commonly studied classical coordination contracts fail to coordinate both the supplier's production and the retailer's procurement decisions and achieve efficient performance. First, we study the vendor managed inventory (VMI) partnership. We find that a consignment VMI partnership coupled with a production cost subsidy achieves perfect coordination and a win‐win outcome; it is simple to implement and arbitrarily allocates total channel profit. The production cost subsidy optimally chosen through Nash bargaining analysis depends on the bargaining power of the supplier and the retailer. Further, motivated by the practice that sometimes the retailer and the supplier can arrange a “late order,” we also analyze the behavior of an advance‐purchase discount (APD) contract. We find that an APD with a revenue sharing contract can efficiently coordinate the supply chain as well as achieve flexible profit allocation. Finally, we explore which coordination contract works better for the supplier vs. the retailer. It is interesting to observe that Nash bargaining solutions for the two coordination contracts are equivalent. We further provide recommendations on the applications of these contracts. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 305–319, 2016     

基于巡逻历史与道路优先级的武警巡逻策略

针对武警巡逻车辆配置问题,引入了Dijkstra最短路径算法、K—means聚类算法以及计算几何的相关理论,建立了一套警车巡逻模型,并提出了评价巡逻效果的量化评价标准。采用Dijkstra与K—means算法解决了静态警车配置问题;针对警车动态巡逻方案的设计,提出了基于巡逻历史与道路优先级的道路概率选择算法,并给出了不同情况下的警车配置以及巡逻方案。通过MATLAB仿真实验,证明了算法及模型的先进性和实用性。     

战时装备保障过程建模仿真研究

目前战时装备保障方案制定,多是依靠基本原则和经验,过程描述随意性大,同时保障活动的组织缺乏有效的手段,导致方案缺乏科学性、可操作性差。为此借鉴过程管理的思想,应用IDEF3方法建立装备保障准备阶段过程模型,形成规范的、易于交流的保障流程,依据过程模型采用离散事件仿真的方法对不同活动组合的过程效率进行了分析,改变以往根据排队理论经过大量计算分析效率的方式,实现战时快速准确优化过程的目的,为装备保障方案的形成提供方法支持。