应用概率方法计算室内给水管道设计秒流量

本文在深入研究现有室内给水管道设计秒流量计算方法的基础上，应用概率论，以满足使用保证率的室内给水管道设计秒流量为出发点，提出了一种新的计算方法。通过实例计算，分析了使用保证率和卫生器具放水使用概率对设计秒流量的影响，与平方根法和已有概率法作了比较，说明了该方法的合理性和通用性。     

非线性基准建筑物振动的主动控制

非线性基准建筑物的振动方程属于非仿射系统,目前的非线性模型降阶方法不能采用．而直接采用非线性控制策略所设计的控制器阶数较高,难以用于实际场合．为此,开发了一种适合于非线性建筑结构的新的振动主动控制方法,该方法思路是识别线性化的结构模型,进而根据力作用原理把控制力施加到所识别的结构模型上．该方法所建模型可以通过经验Grammian矩阵进行平衡降阶,所以具有较好的实用性．最后给出了3层基准结构的计算实例,其结果表明所提出的方法对土木工程结构是可行的．     

超高维数据特征筛选方法综述

随着数据收集和存储能力的大幅提高,超高维数据~([9]),即数据维数伴随着样本呈指数增长,频繁出现在许多科学邻域.此时,惩罚类变量选择方法普遍遭遇三个方面的挑战:计算的复杂性,统计的准确性以及算法的稳定性.Fan和Lv~([9])首先提出超高维特征筛选的方法,并在近十多年取得大量研究成果,成为当今统计最热点的研究邻域.本文主要从带模型假设,包含参数、非参数半参数模型假定的筛选方法、无模型假设的筛选以及特殊数据的筛选方法四个角度来介绍超高维筛选相关工作,并简要探讨目前超高维筛选方法存在的问题以及未来可能的研究方向.     

重力输水管道优化设计方法研究

针对重力输水管道设计中存在的问题，文章以管道造价最小为目标，应用动态规划，提出了一种新的重力输水管道优化设计方法，对输水管的当量管径、流量分配、连接管设置与可靠性校核计算等问题作了探讨。该方法可用于沿线有节点流量流出的并联输水管道优化设计，能明显节省投资，有良好的实用性     

有交货时间限制的大规模实用下料问题

研究的是有交货时间限制的单一原材料下料问题(规模较大).对于一维下料问题,本文得到一个有各自交货时间的模型.针对该模型提出一种新的算法:DP贪婪算法.计算结果是总用料800根即可完成需求任务,材料利用率为99.6%.对于二维下料问题,在一维的基础上建立了二维的求解模型,运用我们自己设计的降维思想结合一维的DP贪婪算法,给出解决该模型的算法.计算结果是总用料451块即可完成需求任务,材料利用率位99.2%.算法设计时考虑了普遍的情况,所以算法在解决大多数实际下料问题,特别是大规模下料问题时是切实有效的.     

中央空调系统节能设计与运行控制策略研究

根据大型商场中央空调系统运行原理,建立了商场"冷负荷需求模型",提出了节能设计与节能运行控制策略.假设人流或室外温度在一定范围内变化,对商场"冷负荷需求模型"进行误差分析.以某大型商场实际运行数据为例,求出某商场人流与电器设备的冷负荷,给出其误差范围,并验证了模型合理性.以保持商场内部温度尽可能稳定且节能为目标,在冷冻水、冷却水流量以及制冷机运行台数等约束条件下,建立多目标规划模型;并进行求解分析,给出优化控制策略.利用模型按"日"计算出夏季合理基准冷负荷;求出在商场设定温度提高1度时,其合理基准冷负荷减少量.     

保税物流园区竞争性选址问题优化模型

保税物流园区的建设数量不断增加,各个园区之间的竞争问题逐渐显露,在进行新的保税物流园区建设选址时,需要考虑与现有保税物流园区的竞争问题.建立了保税物流园区竞争性选址优化模型,并针对模型设计了混合启发式算法求解.算例分析显示,货物总量一定时,随着保税物流园区建设数量的增加,每个园区货流量减少,服务质量而减少;建设规模对最大货流量产生约束,园区的服务质量不能一直增长.将程序运行10次,计算结果具有稳定性,可见算法是收敛和稳定的,模型是可行的.     

超高维部分线性模型的PGFR变量筛选

本文考虑超高维部分线性模型,其中线性部分的维数p大于样本量n,且维数p随着样本量n呈指数阶增长.首先,利用半参数回归的profile方法,把超高维部分线性模型转化成超高维线性模型.其次,为了对高维线性分量进行有效的变量筛选,考虑到协变量之间的相关性,结合贪婪算法和向前回归变量筛选方法,针对部分线性模型,提出了profile贪婪向前回归(PGFR)变量筛选方法.在一定正则条件下,证明了所提PGFR方法具有筛选相合性.为了确定所选模型是否能够依概率趋于1包含真实模型,进一步提出了BIC准则.最后,通过模拟研究和实例分析验证了PGFR方法在有限样本下的完成情况.     

删失分位数回归模型中的变点检测问题

本文针对固定删失分位数回归模型中的变点问题提出一种新的检测方法;基于观测值的有效子集信息和分位数目标函数的次梯度提出检验统计量.在原假设下,本文得到检验统计量的渐近性质,并且通过模拟方法得到渐近分布的临界值.由于本文提出的方法仅需要在原假设下拟合模型,所以其在计算上更加有效.此外,相比较于传统的Powell方法,数值模拟研究发现本文提出的方法在有限样本的条件下有相近功效及更高的计算效率.最后,本文分析了一组美国居民收入数据集来展示所提方法的实际应用表现.     

基于可拓评价的无菌医疗器具生产环境安全评价与预警研究

将可拓评价方法用于无菌医疗器具生产环境安全评价与预测研究,建立了无菌医疗器具生产环境安全可拓物元评价模型.利用关联函数动态赋权法,改进了待评物元所属安全等级特征值的计算方法,使得判别更加准确.同时也对各单项指标进行了评价与预测,可为企业决策者提供更加有效的科学依据.     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Bases of the identities of products of certain varieties of groups

The following theorem is proved: The product of any variety of two-step solvable groups and a variety having a finite basis of identity relations has a finite basis of identity relations.Translated from Matematicheskie Zametki, Vol. 5, No. 1, pp. 137–144, January, 1969.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.