基于建筑节能改造的模糊综合评判改进方法

根据建筑节能改造评价体系和评价模型欠缺的问题,依据建筑节能改造评价指标体系的选取原则,确定建筑节能改造的模糊综合评价体系,根据线性隶属度函数确定模糊综合评判矩阵,建立了改进的模糊综合评价模型,论证了方法的科学性、公平性和可行性,并进行了仿真评价.模型可以对建筑节能改造进行全面的、专业的评价,以达到经济效益和节能改造的最优化,推动建筑节能改造工作的全面发展.     

基于多指标区间逼近的住宅建筑节能改造方案评价

鉴于住宅建筑节能改造的效果的总体评价的复杂性及其影响因素的不确定性,将区间数关联决策方法应用于节能改造效果的评价领域.通过引入区间数序列的范数完成多指标决策矩阵的规范化处理,建立多指标区间数整体逼近关联决策模型,完成住宅建筑节能效果评估得出最终结论.计算实例验证了该模型的有效性和实用性,较好地解决了住宅建筑节能改造效果评价的实际问题,取得较为满意的结果.     

基于投入产出分析的建筑节能经济-环境影响测算模型的研究和应用

将改进的投入产出局部闭模型和分析方法应用到建筑节能研究领域.结合数量经济方法,建立了建筑节能经济-环境影响测算投入产出模型,应用该模型测算了2002年不同比例的既有建筑实施50%的建筑节能标准后的直接经济影响,然后测算通过各个产业部门之间的相互影响和相互作用后,建筑节能对国民经济其他产业部门的关联影响、对本部门的完全影响和对以GDP衡量的整个国民经济系统的影响.最后测算不同比例的既有建筑实施50%的建筑节能标准后减少的二氧化碳和二氧化硫的排放量.     

既有建筑合同能源管理中的政府角色——基于模糊Shapley值的研究

通过合同能源管理模式进行建筑节能改造,节能收益的分配问题比传统模式复杂。而节能改造的外部性导致利益相关者主动参与意愿不强,阻碍合同能源管理模式的发展。研究以合同能源管理模式中的能源费用托管型为例,基于利益相关者的利己性和逐利性,采用模糊区间Shapley值方法,构建核心利益相关者(建筑业主、节能服务公司和金融机构)的节能收益分配模型;分析建筑节能改造的外部性特征,运用系统动力学厘清合同能源管理模式产生的非节能收益(经济、环境、社会),形成全部利益相关者的因果关系正负反馈回路;尝试将政府纳入分配机制中,构建新的合同能源管理收益分配模型,有助于提高核心利益相关者的综合收益;提出政府不应仅仅为了完成节能目标来鼓励节能改造项目,更应优化建筑节能改造的外部环境。     

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

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

城市老旧居住小区交通环境评价指标与评价方法

定量的评判城市老旧居住小区整体交通环境质量并进而科学有效的提出老旧小区交通环境更新与改善措施,对城市老旧居住小区交通环境进行了调查,明确了老旧居住小区存在的突出交通问题,并提出了城市老旧居住小区交通环境评价的指标体系,包括行人跨路出行指数、无人行道路段长度占比、停车泊位供需比、路内非法停车占比、平均停车步行距离、泊位数量户数比、人均步行空间、无障碍通道、盲道设置比例、非机动车泊位供需比、地面停放车辆数小区面积比、外部穿行交通周转量小区面积比等。并给出了具体指标的计算方法与获得办法。以长沙市四个典型老旧居住小区为例,对评价方法进行了论证,并得到城市老旧居住小区存在的一般问题,包括人车混杂、人车交织现象严重,停车泊位短缺、车辆乱停乱放,交通设施、特别是弱势群体交通设施缺乏。给出的评价指标、评价方法与结论可为城市老旧小区改造更新,特别是其中很重要的交通环境更新提供决策依据。     

老旧住宅加装电梯住户间费用分摊补偿研究

协调高低楼层住户利益,制定公平合理的费用分摊补偿比例是破解老旧住宅加装电梯难题的关键.本文基于投票博弈,建立了费用分摊模型和损失补偿模型,给出了老旧住宅加装电梯住户间费用分摊补偿比例的确定方法,并进行实证分析,最终结果表明:在不同投票权数要求下,各楼层住户费用分摊补偿比例有明显差异;在投票权数一定情况下,随着居住楼层的升高,住户的费用分摊比例逐渐上升.因此,结合老旧小区具体情况,合理确定投票权数,对加装电梯项目推进具有重要作用.     

基于改进模糊综合评价的厦门市公共建筑全寿命节能评估

为了全面评价夏热冬暖地区公共建筑的节能效果,根据模糊数学的基本原理,提出从建筑设计、施工、围护结构、建筑设备、运行管理、使用舒适度等方面建立全寿命周期下公共建筑节能的多级模糊综合评价模型,采用改进层次分析法确定各级评价因子的权重,运用该模型对厦门市不同建成年代的公共建筑进行节能评估,同时综合考虑了因采取节能措施而产生的增量成本,运用价值工程进一步评价节能效率.结果表明:公共建筑节能效果具有明显的年代特征.该法可以作为夏热冬暖地区公共建筑节能效果全寿命周期评价的基本方法,为节能评价提供参考.     

基于灰色均值模型预测装配式建筑产值

装配式建筑具有绿色节能,环保高效的特点,是建筑业转型升级的必然趋势.采用了灰色GM(1,1)模型对建筑行业及装配式建筑的产值进行预测分析,并结合国家发展规划,针对目前存在的问题提出合理的建议.     

节能项目经济性评价的灰面积关联模型

为完善节能项目评价及管理的决策支持,建立基于灰面积关联决策的节能项目评价模型.以灰色关联决策理论为基础,分析经典灰色关联决策方法的优缺点,采用被选方案与理想方案间两曲线相邻点间多边形面积作为关联系数,度量曲线的几何形状的相似性,构建了灰色关联度公式.采用某企业计划发展的节能项目数据为实证样本,根据其成本、能耗数据及六项指标对节能项目进行评价,分析节能项目方案间的差异.通过算例验证了灰面积关联决策模型的合理性和算法的有效性,为节能项目评价及管理提供新的决策模型.     

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.     

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.     

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.     

Estimate of growth of Lebesgue functions of linear methods of summation

Sufficient conditions are obtained in terms of matrix elements for the boundedness of Lebesgue functions of linear methods of summation of expansions in orthogonal systems of polynomial type.Translated from Matematicheskie Zametki, Vol. 6, No. 3, pp. 277–286, September, 1969.