未确知测度模型在建筑节能方案评价中的应用

建筑节能方案评价是一个涉及多因素的系统工程,目前常用的单一指标评价并不能对节能方案的推广起至应有作用,根据我国能源政策设计了一套多指标综合评价体系.给出了一种定量化描述建筑节能方案评价指标的方法,建立了基于未确知测度的评价模型,并通过信息熵确立指标的分类权重,明显优于过去常用的AHP确定权重的主观判断方法,具有更高的科学性和实际应用价值,有利于优秀节能技术的扩散.     

Transitivity, mixing and chaos for a class of set-valued mappings

Consider the continuous map f : x → X and the continuous map f of K,(X) into itself induced by f, where X is a metric space and K(X) the space of all non-empty compact subsets of x endowed with the Hausdorff metric. According to the questions whether the chaoticity of f implies the chaoticity of f posed by Roman-Flores and when the chaoticity of f implies the chaoticity of f posed by Fedeli, we investigate the relations between f and f in the related dynamical properties such as transitivity, weakly mixing and mixing, etc. And by using the obtained results, we give the satisfied answers to Roman-Flores's question and Fedeli's question.     

From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming

We present the development of the Lucid language from the Original Lucid of the mid-1970s to the TransLucid of today. Each successive version of the language has been a generalisation of previous languages, but with a further understanding of the problems at hand. The Original Lucid (1976), originally designed for purposes of formal verification, was used to formalise the iteration in while-loop programs. The pLucid language (1982) was used to describe dataflow networks. Indexical Lucid (1987) was introduced for intensional programming, in which the semantics of a variable was understood as a function from a universe of possible worlds to ordinary values. With TransLucid, and the use of contexts as firstclass values, programming can be understood in a Cartesian framework.      

Long‐Time Behavior,Invariant Measures,and Regularizing Effects for Stochastic Scalar Conservation Laws

We study the long‐time behavior and regularity of the pathwise entropy solutions to stochastic scalar conservation laws with random‐in‐time spatially homogeneous fluxes and periodic initial data. We prove that the solutions converge to their spatial average, which is the unique invariant measure of the associated random dynamical system, and provide a rate of convergence, the latter being new even in the deterministic case for dimensions higher than 2. The main tool is a new regularization result in the spirit of averaging lemmata for scalar conservation laws, which, in particular, implies a regularization by noise‐type result for pathwise quasi‐solutions.© 2016 Wiley Periodicals, Inc.     

模糊关系的对偶合成及其在传递性中的应用

引入了模糊关系的一种新的合成：对偶合成。这种新的合成使我们十分容易地刻画反向传递性。利用合成和对偶合成,我们建立了传递性、反向传递性、半传递性和Ferrers性质的若干有趣的等价条件。     

时标上二阶带p-Laplacian算子的脉冲边值问题单调迭代正解的存在性

论文利用单调迭代的方法证明了时标上二阶带p-Laplacian算子的脉冲边值问题的正解存在性.同时,举例阐述了主要结果.     

Iteration of Souslin forcing,projective measurability and the Borel conjecture

From an inaccessible cardinal we construct a model of ZFC where the Borel Conjecture holds and all projective sets of reals are measurable. This continues the investigation of countable support iterations of Proper Souslin forcing notions, started in a paper of Judah and Shelah. The first author thanks the Sloan Foundation for supporting him as a dissertation fellow during the year 1989/90. The second author thanks Israel Foundation for Basic Research, Israel Academy of Science.     

改进的最佳摄动量法及在反问题中的应用

给出了改进的最佳摄动量法,并应用在双曲型方程参数反演问题的求解中.由遗传算法借助交叉和变异算子控制全局搜索来获得参数的初始迭代值,代入最佳摄动量法求解出稳定的高精度数值解.     

修正的isotonic算子的不动点与Mann迭代

在论文的第一部分, 研究与讨论了isotonic函数的Cauchy型奇异积分算子$T$的 H\"{o}lder连续性及$\|T[f]\|_{\alpha}$与$\|f\|_{\alpha}$间的关系. 在第二部分, 引入了isotonic函数的修正的Cauchy型奇异积分算子$T'$, 首先利用压缩不动点定理证明此修正的Cauchy型奇异积分算子$T'$存在唯一不动点, 然后给出其不动点的Mann迭代序列并证明此序列强收敛于$T'$算子的不动点.     

故障时间任意分布的两部件可修复系统解的适定性分析

讨论了一个由两个部件并联组成的可修复冗余系统模型,修复后的故障系统恢复如新.在假设修复函数有界的条件下,给出了C_0-半群的生成元(系统算子)对应的柯西问题的解的适定性分析.     

Iteration of a polynomial,basis, and the operator of multiplication by z

Rostov State University. Translated from Funktsional'nyi Analiz i Ego Prilozheniya, Vol. 23, No. 1, pp. 74–75, January–March, 1989.     

稳健残差控制图的构建及在金融时序中的应用

对于呈现自相关和波动族聚性并存的受控过程,通常采用残差控制图对其进行监控。但异常点的存在会对自相关或波动族聚性模型的拟合产生重要影响,使得基于该模型的残差并非独立同分布导致常规残差控制图监控失效。为解决这类问题,本文提出稳健残差控制图。即建立稳健的ARMA模型解决自相关问题从而得到无自相关的残差序列,用稳健的GARCH模型来构建控制图的上下限。模拟和实证研究表明,本文提出的稳健残差控制图具有很好的抗异常点能力并能更好的对金融时间序列的异常现象进行监控。     

An Integrated Research on Children's Construction of Meaningful,Symbolic, Partitioning-related Conceptions and the Teacher's Role in Fostering That Learning

A teaching experiment was conducted with two fourth graders to study the co-emergence of teaching and children's construction of fraction knowledge. The children's learning, i.e., modifications in their fraction schemes, was fostered through working on tasks in a computer microworld. The children advanced from thinking about a unit fraction as one of several equal parts in a whole (the equipartitioning scheme) to operating with a unit fraction as a symbolized, iterable part the magnitude of which is based on the numerosity of the partitioned whole (the partitive fraction scheme). The paper interweaves an analysis of children's construction of partitioning-related symbolic conceptions of fractions with an analysis of the teaching—planning and using tasks—that fosters such an advancement by introducing fraction words and numerals in the context of the children's partitioning activities.     

金融时间序列中单位根的检验:在亚太地区主要股票市场中的应用(英文)

本文运用分数差分的方法研究了亚太地区主要股票市场的日股票价格.根据数据特征,我们运用了Robinson(1994)年提出的检验统计量的一种特殊形式对金融数据的单位根和不稳定性进行检验.结果证明,该地区股票价格长记忆行为各不相同但十分相似.