一个函数不等式的加强与延伸

从一个常见的不等式谈起,分析了多种证明方法,运用该不等式推导出了多个重要结论,对不等式进行了扩充和加强,解释了蕴含的意义,显示了该不等式的重要性和深刻性.     

基于粗糙集的患者满意度评价模型及其实证分析

在文献阅读及实地调研的基础上,本文提出了患者满意度的定义,建立了影响患者满意度的指标体系,介绍了粗糙集的相关概念及利用粗糙集进行评价的步骤,提出了新的约简方法,构建了基于粗糙集的患者满意度评价模型并进行了实证分析,得出了影响患者满意度的关键指标,并计算了关键指标权重,对江西省十个医院进行了综合评价值的计算.     

交通运输系统协调发展理论与模型研究

提出了交通运输系统协调度的评价分析模型.从系统论的观点出发,提出了交通运输系统协调理论的概念,探讨了交通运输系统随时间而不断演化变迁的规律,给出了交通运输系统协调发展基本步骤;并根据协调学原理,讨论了交通运输系统的协调性问题,提出了系统协调发展模型,对交通运输子系统内部及子系统之间及系统整体的协调发展问题进行了研究,探讨了交通运输可持续发展的系统协调管理过程,为进一步研究交通运输系统的可持续发展奠定了基础.     

关于举办2012年中学生数学奥林匹克夏令营活动的启事

从1996年至今,华中师范大学数学与统计学学院已成功举办多届全国中学生数学奥林匹克夏令营活动,培养了大批优秀的数学竞赛选手,他们经过权威名师的指点,既丰富了理论知识,更掌握了实践经验,为走上成功明确了航向,在国内、国际数学竞赛中取得了令人瞩目的成绩。我院已成为全国数学奥林匹克活动的重要培训基地,吸引了众多优秀中学生云集武汉参     

网络安全产品研究

本文在研究了网络安全的国内外有关情况后对网络安全技术进行了探讨 ,介绍了一种简单而实用的网络安全产品 ,添补了这方面的空白 ,而且本文介绍的产品已经应用到了许多部门 ,为网络安全做出了贡献     

系统动力学在城市污水再生回用系统中的应用

用系统动力学方法研究了城市污水回用系统.首先分析了影响城市污水回用系统的诸多因素以及它们之间的相互关系,探讨了污水再生回用系统行为和结构的特点,确定了系统中因素之间的定量关系,建立了城市污水回用系统动力学(SD)模型,并介绍了模型的检验方法.同时给出了SD模型的具体应用实例,对西北地区的某一城市的污水回用进行了预测和分析,提出了符合该城市发展的污水回用方案.     

压板松动时大型发电机端部绕组的主共振与分岔

研究了大型汽轮发电机定子端部固定绕组的压板松动时,位于两侧压板间某段绕组的振动问题．首先,采用分离变量法,给出了发电机运行时定子端部绕组区域的磁感应强度表达式,并给出了绕组所受电磁力及与松动压板间摩擦力的计算式．其次,建立了研究绕组非线性振动问题的力学分析模型,采用多尺度法对主共振情形进行了解析求解,推得了稳态运动下的幅频响应方程,并对定常解的稳定性及分岔奇异性进行了研究,得到了稳定性的判定条件及分岔方程的转迁集．最后,针对工程实际问题进行了计算,给出了相应的幅频响应曲线图,并进行了分析讨论．     

求解资源受限项目调度问题的人工鱼群算法

提出了将人工鱼群算法应用于求解资源受限项目调度问题中的构想,建立了求解资源受限项目调度问题的人工鱼群算法模型,设计了一种标准随机键编码方式,构建了人工鱼的觅食行为、聚群行为、追尾行为和随机行为四种基本算子,采用了正向逆向局部改进技术和精英保留策略,并给出了算法流程。应用PSPLIB标准问题库对该算法进行了大量的测试,并与其他算法进行了比较,验证了该算法的有效性。     

红树林自然保护区湿地生态系统的数学模型及其应用

研究了红树林自然保护区自然环境和人类社会活动对于生态系统的影响,考虑了生物之间的相互关系,将生物量、生物生长的面积等作为主要指标,建立了常微分方程组模型,对生态系统的变化情况进行了描述,借助稳定性分析对方程进行了研究,并进行了数值模拟。根据理论分析和数值模拟的结果,对保护区的林木恢复工作提出了合理的建议。     

基于干扰管理理论的航空备件模型参量扰动性分析

概述了干扰管理理论的内涵、意义以及目标,依据未来不确定因素引起飞机备件需求量变化以及备件供应时限性增强的实际情况,创建了时限一致度算子,优化了备件需求泊松分布模型,提高了备件供应的精确度,并选取了优化后的模型中的多个参量,进行了多因素的扰动性分析,最后构造了算例,验证了本方法的科学性和有效性.     

信用传染违约Aalen加性风险模型

本文考虑了基于加性风险模型的信用风险违约预报模型,不但考虑了宏观因素和公司个体因素,并且通过引入行业因素来刻画公司间可能存在的不同于宏观因素的信用传染效应,由此克服了以往模型对违约相关性的低估.本文在参数加性风险模型下给出极大似然估计及渐近性,提出两种估计方法并比较二者表现,得到最优权估计更加有效.同时本文还考虑了半参数的风险模型,并基于鞅的估计方程得到其估计及渐近性,均得到不错的结果.     

Some non-interior path-following methods based on a scaled central path for linear complementarity problems

In this paper we present some non-interior path-following methods for linear complementarity problems. Instead of using the standard central path we use a scaled central path. Based on this new central path, we first give a feasible non-interior path-following method for linear complementarity problems. And then we extend it to an infeasible method. After proving the boundedness of the neighborhood, we prove the convergence of our method. Another point we should present is that we prove the local quadratic convergence of feasible method without the assumption of strict complementarity at the solution.     

Well-posedness and blow-up for a modified two-component Camassa–Holm equation

In this article, we consider a newly modified two-component Camassa–Holm equation. First, we establish the local well-posedness result, then we present a precise blow-up scenario. Afterwards, we derive a new conservation law, by which and the precise blow-up scenario we prove three blow-up results and a blow-up rate estimate result.     

Curves as measured foliation on noncompact surfaces

In the present work, that regards the Thurston's theory, we prove that, if we choose a closed curve, how we wish, on a noncompact surface, it is always possible to construct a particular masured foliation that has the choosed curve like a leaf; we also prove this foliation has a remarkable property that makes very easy to mesure all homotopy classes of closed curves of our surface. To prove this statement we need some Propositions and some Lemma that we also demonstre.     

An exact penalty global optimization approach for mixed-integer programming problems

In this work, we propose a global optimization approach for mixed-integer programming problems. To this aim, we preliminarily define an exact penalty algorithm model for globally solving general problems and we show its convergence properties. Then, we describe a particular version of the algorithm that solves mixed-integer problems and we report computational results on some MINLP problems.     

On intermediate inquisitive and dependence logics: An algebraic study

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete for all intermediate inquisitive and dependence logics. To this end, we define inquisitive and dependence algebras and we investigate their model-theoretic properties. We then focus on finite, core-generated, well-connected inquisitive and dependence algebras: we show they witness the validity of formulas true in inquisitive algebras, and of formulas true in well-connected dependence algebras. Finally, we obtain representation theorems for finite, core-generated, well-connected, inquisitive and dependence algebras and we prove some results connecting team and algebraic semantics.     

Optimal control of nonlinear evolution inclusions

In this paper, we study the optimal control of nonlinear evolution inclusions. First, we prove the existence of admissible trajectories and then we show that the set that they form is relatively sequentially compact and in certain cases sequentially compact in an appropriate function space. Then, with the help of a convexity hypothesis and using Cesari's approach, we solve a general Lagrange optimal control problem. After that, we drop the convexity hypothesis and pass to the relaxed system, for which we prove the existence of optimal controls, we show that it has a value equal to that of the original one, and also we prove that the original trajectories are dense in an appropriate topology to the relaxed ones. Finally, we present an example of a nonlinear parabolic optimal control that illustrates the applicability of our results.This research was supported by NSF Grant No. DMS-88-02688.     

BL-general fuzzy automata and accept behavior

In this note, we focus on behavior of BL-general fuzzy automata (for simplicity BL-GFA) and we obtain the free realization for a given behavior, that is, a BL-general fuzzy automaton whose behavior is given behavior. Then we find the realization with the minimum number of states. The minimization takes two steps: at first discard all superfluous states, and then we merge all pairs of states which have the same behavior. Moreover we prove some theorems. In particular, we show that the minimal reduction of the reachable part of an BL-GFA is the minimal realization of the behavior it. Finally we give some examples to clarify these notions.     

Estimation of error variance in ANOVA model and order restricted scale parameters

We consider the estimation of error variance in the analysis of experiments using two level orthogonal arrays. We address the estimator which is the minimum of all the estimators which we obtain by pooling some sums of squares for factorial effects. Under squared error loss, we discuss whether or not this estimator uniformly improves upon the best positive multiple of error sum of squares. We show that when we have two factorial effects, we obtain uniform improvement. However, we show that when we have more than two factorial effects, we cannot necessarily obtain uniform improvement. Further, the above results are applied to the problem of estimating the smallest scale parameter of chi-square distributions.     

Hereditary atomicity in integral domains

If every subring of an integral domain is atomic, we say that the latter is hereditarily atomic. In this paper, we study hereditarily atomic domains. First, we characterize when certain direct limits of Dedekind domains are Dedekind domains in terms of atomic overrings. Then we use this characterization to determine the fields that are hereditarily atomic. On the other hand, we investigate hereditary atomicity in the context of rings of polynomials and rings of Laurent polynomials, characterizing the fields and rings whose rings of polynomials and rings of Laurent polynomials, respectively, are hereditarily atomic. As a result, we obtain two classes of hereditarily atomic domains that cannot be embedded into any hereditarily atomic field. By contrast, we show that rings of power series are never hereditarily atomic. Finally, we make some progress on the still open question of whether every subring of a hereditarily atomic domain satisfies ACCP.