基于排队模型的乌鲁木齐机场容量评估

将避免采用单一的容量评估方法,首先建立多服务台排队模型,分别计算在不同到达率和服务率下排队模型的各个参数,并进行比较,得出机场容量评估结果.然后,针对乌鲁木齐机场未来规划的多条跑道,运用AIRTOP容量仿真软件给出运行仿真结果,验证该排队模型的可靠性.两种容量评估方法相结合并且相互验证,从而避免了评估结果的偶然性.利用两种方法评估得出的结果偏差率仅为2%,因此这种容量评估手段具有很高的可信度,评估结果将对乌鲁木齐机场后继的规划建设起到非常重要的指导作用.     

北京市区县政府网站绩效评估方法研究

政府网站是政府面向公众的窗口,也是政府为人民服务的一种新形式,研究政府网站评估与提升策略对完善政府网站建设有积极的推动作用.分析了2016年政府网站绩效评估指标体系和评价结果.在大数据背景下,以北京市平谷区为例,使用起伏型时间序列模型和加权移动平均法对评估结果进行预测,在已有的数据基础之上,预测了2017年的评估得分.研究可以对北京市各区县未来网站建设的方向有一定的促进意义,同时也对其他地方政府网站的预测提供了具有借鉴价值的方法.     

地下水脆弱性风险预警和评估的区间三角模糊多属性决策模型

应用基于逼近理想解排序法的区间三角模糊多属性决策模型,对三江平原六大分区地下水脆弱性进行了风险预警和评估.评估结果与前人吻合,可为有关决策部门采取相应降低环境风险的措施提供参考.实例验证表明,模型具有更高的计算精度和更好的评价效果,为有关环境风险决策部门对地下水风险预警和评估提供了新的思路和方法.     

基于集团序的河南省地市级政府网站绩效评估结果的分析

中国政府网站绩效评估已经走过了10年的发展历程,总结以往的评估结果是为了更好地评估,更好地做好政府网站的建设.提取了第十届河南省地方政府网站评估的结果,对评估方法以及评估结果的有效性进行了分析,提出基于属性的不完全补偿性,应该采取加权积方法而非加权和方法,并运用该方法得到了新的评估结果.为了弥补两种方法带来的差异性,提出借助集团序方法进行结果排序,并通过确定不同的级内级差得到了满意的集团排序结果.     

多孔材料夹芯的分层复合双壁面圆柱壳体中波的传播

在经典的理论框架内,对分层的复合材料壳体——多孔材料夹芯的双壁面圆柱壳体,研究自由谐和波在其中的传播.借助于一个具有同样几何特性的展开平板,评估波通过多孔夹芯层传播时大部分有效的成分.通过有效波成分的考虑,将多孔层模拟为具有等效特性的流体.因此,模型简化为一个集满流体介质的双壁面圆柱壳体.最后,评估带宽频率中结构的传播损失,并对结果加以比较.     

GM(1,1)模型在大开间图书馆流量预测中的应用

首次将GM(1,1)模型用于预测大开间图书馆的书本流量.详细阐述了GM(1,1)模型的建立,及其对大开间图书馆借阅流量的预测.预测结果与真实情况具有良好的一致性,可信度较高.这一工作将对大开间图书馆的借阅量评估起到良好的指导作用,同时也是图书馆设计以及其馆藏量评估的重要参照.     

基于云模型的自动化工装装配失效风险评估

为提高我国工业制造领域自动化装配水平与国际竞争力,对识别、评估自动化工装装配失效模式势在必行.在评估过程中克服传统评估过程中数据的不完整性和模糊性的缺陷.首先,运用人机料法环(4M1E)法识别潜在失效风险以构建自动化工装装配风险评估指标体系,并对技术失效模式做了详细分析;其次,基于结合最优传递矩阵性质的层次分析法和邻域粗糙集组合法对指标进行赋权;然后,以云理论为基础建立云模型失效风险综合评估模型;最后,以H企业的EPB工装装配为例,进行装配失效风险评估,结果表明:其评估结果发现EPB工装装配整体处于较高失效风险等级,与实际情况相符,验证了模型具有较好的可行性和有效性.研究结果以期对工装和设备运行的可靠性提供科学依据.     

基于云参数修正模型的空战威胁评估方法

针对定量属性参数对空战威胁评估结果会产生片面性的问题,提出将目标的定性参数与定量参数一起用于空战威胁评估中,并用云参数修正模型对目标参数进行修正来提高威胁评估结果的准确性.最后将基于云参数修正模型的方法与其它威胁评估方法进行了对比,仿真结果证明了方法的有效性.     

基于混沌遗传-支持向量机的空地攻击型无人机作战效能评估

空地攻击型无人机的作战效能评估在未来战场“去功能化”打击中具有重要的意义.在对空地攻击型无人机作战效能实时评估时,影响作战效能的评价指标体系因素相对复杂,建立作战效能评估模型存在非线性特点,因此本文引入了具有较强鲁棒性的支持向量回归机算法进行作战效能评估,在构建空地攻击型无人机评估体系基础上,利用混沌系统-遗传算法对支持向量机惩罚因子等参数进行优化,保证战场实时环境下效能评估的有效性和效率.通过实例分析,混沌遗传-支持向量机模型能够准确地对空地攻击型无人机进行有效的作战效能评估,具有良好的鲁棒性.     

集对分析法在联合火力打击陆军弹药消耗预测方案评估优选中的应用研究

联合火力打击陆军弹药消耗预测是一个复杂的问题,影响弹药消耗的因素很多,许多因素难以在预测过程中定量地计算,具有较强的不确定性.集对分析是一种新的不确定性分析方法,其联系度概念具有鲜明的辩证性、完整性,使其成为处理不确定性问题的有效方法.因此,引入集对分析理论,建立分析模型,针对联合火力打击陆军弹药消耗多种预测方案进行评估优选.结果表明,方法简便、通用,计算结果较为客观和稳定,可为联合火力打击陆军弹药消耗预测方案评估优选提供新的有效途径.     

New type of fixed point result of F-contraction with applications

The purpose of this paper is to prove theorem which generalize the corresponding results of Rhoades [B. E. Rhoades, Two New Fixed Point Theorems, Gen. Math. Notes, 2015, 27(2), 123--132]. This paper is to introduce the notion of dynamic process for generalized $F-$contraction mappings and to obtain coincidence and common fixed point results for such process. It is worth mentioning that our results do not rely on the commonly used range inclusion condition. We provide some examples to support our results. As an application of our results, we obtain the existence and uniqueness of solutions of dynamic programming and integral equations. Our results provide extension as well as substantial generalizations and improvements of several well known results in the existing comparable literature.     

Properties of serial kanban systems

In this paper we show some structural results of a kanban system by using results about the underlying GSMP. The main results from this connection are: dominance of allocations, optimal partition, upper and lower bounds on throughput, consistency of the IPA derivative, convexity of throughput as a function of service time parameters and concavity of throughput with respect to number of kanbans. Although the dominance and the partition results were obtained previously by sample path arguments, the proofs here are less cumbersome and generalize the earlier results. The second-order properties for kanban lines are new. These results form a basis for results in multi-product lines where proofs by sample paths require extensive notation.     

Uniqueness of difference polynomials of meromorphic functions

In this article, we investigate the uniqueness problems of difference polynomials of meromorphic functions and obtain some results which can be viewed as discrete analogues of the results given by Shibazaki. Some examples are given to show the results in this article are best possible.     

Asymptotic behaviour of bounded solutions of a class of higher-order neutral dynamic equations

In this paper, necessary and sufficient conditions for the asymptotic behaviour of all bounded solutions of a class of nonlinear higher-order neutral dynamic equations are stated related to various ranges of the coefficient associated with the neutral part, in one of which the coefficient is allowed to oscillate and not tend to zero asymptotically. The new results improve and generalize the known results stated for difference equations and differential equations, and answer some problems left open for the case for arbitrary time scales. Some certain examples, which the results in the literature fail to deliver an answer to, are given to illustrate the applicability and significance of the new results.     

关于迭序列的子列极限点

本文讨论了度量空间上一个连续自映射击一点处的迭代序列的子列极限点集的结构，所得的结果统一和推广了Ｄｉａｚ和Ｍｅｔｃａｌｆ，Ｍａｉｔｉ和Ｂａｂｕ和Ｐａｒｋ的若干结果．     

Radial stability of periodic orbits of damped Keplerian-like systems

In this paper, by using the third order approximation method, the averaging method and the theory of upper and lower solutions, we study the existence and radial stability of periodic orbits of damped Keplerian-like systems. Two different results are obtained: perturbative and global results. Our results are also applicable to the classical Keplerian-like systems.     

Meromorphic solutions of some types of complex differential-difference equations

Using Nevanlinna theory of the value distribution of meromorphic functions, we investigate the problem of the existence of meromorphic solutions of some types of complex differential-difference equations and some properties of meromorphic solutions, and we obtain some results, which are the improvements and extensions of some results in references. Examples show that our results are precise.     

Banach空间中非线性积-微分方程组唯一解的存在性

利用新的比较结果和半序方法,研究TBanach空间中二阶积-微分方程组初值问题解的存在唯一性及逼近解的迭代序列和误差估计．     

On the vanishing of homology for modules of finite complete intersection dimension

We prove rigidity type results on the vanishing of stable Ext and Tor for modules of finite complete intersection dimension, results which generalize and improve upon known results. We also introduce a notion of pre-rigidity, which generalizes phenomena for modules of finite complete intersection dimension and complexity one. Using this concept, we prove results on length and vanishing of homology modules.     

Growth of meromorphic solutions of linear difference equations

In this paper, the authors continue to study the growth of meromorphic solutions of homogeneous or non-homogeneous linear difference equations with entire coefficients, and obtain some results which are improvement and extension of previous results in Chiang and Feng (2008) [7] and Laine and Yang (2007) [19]. Examples are also given to illustrate the sharpness of our results.