自反Banach空间中的广义强非线性混合似变分不等式

研究了自反Banach空间中的广义强非线性混合似变分不等式，这类变分不等式包含了经典的不等式及其推广，并用极大极小原理证明了广义强非线性混合似变分不等式解的存在性及唯一性。     

完全分配格上的商拓扑

给出了具有逆序对合对应的完全分配格上商拓扑的定义,讨论了商拓扑的一些性质。通过引进正则等价关系的概念,证明了用等价关系和连续映射两种方法定义的商拓扑 fuzz 是同胚的。     

有限域上椭圆曲线Weil对的计算

在公约密码学中,有限域椭圆曲线Weil对的计算问题研究多集中于理论研究,而对实践应用关注甚少,导致部分理论研究需要新的方法支持。为此,给出了Weil对的计算方法,通过实例指出了Miller算法在有限域上点的选择问题,分析了两种不同方法使用Miller算法的差异。通过Miller算法,指出了MOV(Menezes-Okamoto-Vanstone)攻击离散对数的局限性。实践分析表明,有限域上椭圆曲线Weil对的计算是小子阶上的计算,对于大子阶的计算不是很有效。     

梅西安《对圣婴-耶稣的二十次凝视》音乐主题的构造特性

奥利维尔?梅西安创作的音乐作品,语言个性鲜明,手法独具一格,载体丰富多彩,且内容富含哲理、意境深远.其代表作品,钢琴曲《对圣婴-耶稣的二十凝视》充满宗教色彩,华丽而新奇,主题鲜明、音色饱满、节奏与织体多变、旋律跌宕、和声新颖,不仅轰动一时,且影响深远.     

地铁深基坑监测理论计算与实测数据比较分析

本文以杭州地铁1号线、4号线工程的富春路站深基坑项目为例,首先用Plaxis对地铁深基坑的监测项目（包括连续墙的水平位移、支撑轴力、地下水位等）进行数值模拟,并与实测数据进行比较分析,其次探讨了产生误差的原因以及施工对监测数据的影响,最后对监测方法、现场操作等提出合理的建议。     

1000MW机组汽动给水泵组弹簧隔振基础施工工艺探讨

大唐潮州三百门电厂1000MW超超临界机组汽动给水泵及驱动汽轮机基础采用弹簧隔振工艺技术。本文以工程建设安装为实例对弹簧隔振技术及其施工工艺进行详细探讨,供国内同类型机组安装建设借鉴参考。     

论仲裁监督机制

作为解决民商事纠纷的一种方式,仲裁越来越受人们的重视,仲裁在解决民商事纠纷方面往往比诉讼更加节约时间、节约成本,因此被越来越多的人们选择用仲裁的方式解决民商事纠纷。仲裁机构享有裁判民商事纠纷的权利,有效的仲裁裁决具有法律效力,当事人必须遵从已生效的仲裁裁决。有权力有必须有制约,否则权力就会像脱缰的野马,恣意横行,带来各种各样的问题。笔者从权力监督的角度出发,对我国现有仲裁监督体制以及仲裁监督的范围进行研究,力求进一步完善仲裁监督机制。     

从公司法强制性规范看公司章程自治

本文从公司法强制性规范存在的正当性和存在意义的角度揭示公司章程自治的实质,在分析厘清公司中常见的四对关系后,公司章程自治与他治的过程清晰可见。     

大连软件园腾飞园区1期建筑采用大温差、一次泵变流量空调制冷系统技术经济分析

大连软件园腾飞园区一期建筑,作为业主专业技术负责人,我们从价值工程角度考虑,尽可能仔细的对各系统的初期投资以及最终投入生产的运营费用进行全寿命费用分析,来优选适合我们大厦的方案系统。其中,在空调制冷系统方案选择方面,我们做了具体的分析对比工作,并最终选取一次泵变流量、大温差节能机组的空调制冷方案。