圆明园国宝回家路在何方

2008年11月6日,圆明园鼠首和兔首铜像现身纽约佳士得,成为伊夫·圣罗兰与皮埃尔·贝杰珍藏拍卖预展上的两件拍卖品。2009年1月16日,由67名律师组成的律师团向圆明园管理方及文物专家、法律专家发出了传唤状的征求意见稿,准备打跨国官司,要求拍卖     

英语修饰成分汉译的顺序

英语中的修饰成分--定语、状语、宾语补足语、同位语等,在句子中的位置与中文有明显差别,在翻译练习中应注意到英汉两种语言中修饰成分的顺序,避免出现语序非正常倒置现象,影响译文的表达效果.     

负载型钼氧化物催化剂NH3选择性催化还原NOx

通过浸渍法制备了Mo/TiO2,Mn-Mo/TiO2和Mo-Mn/TiO2三种催化剂,采用X射线衍射(XRD)、比表面积测定(BET)、拉曼光谱(LRS)、原位红外(in situ FT-IR)、扫描电镜(SEM)等技术进行相关的微观表征分析.在模拟氨气选择性催化还原NO的反应条件下(NH3-SCR)对催化剂的脱硝反应...     

结构体系转换顺序对大跨连续梁桥施工控制的影响研究

利用桥梁结构分析软件MIDAS/Civil建立桥梁结构计算模型,对某在建特大跨悬臂浇筑预应力混凝土连续梁桥的整个施工过程进行仿真分析,同时运用前进分析法对桥梁结构进行施工控制分析计算,重点对结构体系转换过程中临时固结拆除引起悬臂端挠度过大以及由于跨中底板预应力筋引起的张拉后底板压应力过大等问题进行了深入研究,提出通过优化结构体系转换顺序的方法解决以上问题.优化方案的验算结果符合设计规范要求,建议已被采纳.     

可分离物品拍卖及污染物排放总量分配方法

以污染物允许排放总量的分配为背景,针对治污边际成本为私有信息的情况,研究了一个资源分配的拍卖方法和模型.具体地,首先分析了无偿分配的局限性和局中人可能的策略行为,也讨论了一种确定总量的有偿分配方法可能的均衡结果和存在的问题.然后,基于可分离物品拍卖思想给出了一种可变总量的竞争分配模型,研究了其有限激励性和分配有效性,同时也得到了一个统一价格拍卖的均衡结论,该结论与现有的一些成果相比更具一般性.最后结合湖北省环境规划有效性的评价讨论了该模型的应用.     

多因素采购组合拍卖获胜者确定问题研究

分析了多因素采购组合拍卖和树型结构的基本特征,给出了价格投标和质量投标同时作为获胜者确定问题衡量标准的采购组合拍卖模型,在树型结构下建立了相应拍卖获胜者确定问题(WDP)的多目标规划,并给出了此规划的求解算法和改进算法.     

信息网络融合普遍接入机制设计

通过对信息网络融合普遍接入的背景进行分析,提出拍卖是实现社会福利最大化的有效手段,并对拍卖机制进行设计,发现其既可以解决规制者与被规制企业之间信息不对称这一最大障碍,也可以有效的促进信息网络融合时代运营市场的发展.     

基于拍卖方偏好揭示的多属性网上拍卖模型

为了揭示拍卖方偏好对多属性网上拍卖的影响,研究由一个买方和多个卖方组成的多属性网上拍卖模型.根据模型,在多属性拍卖开始时,买方需要揭示偏好信息,给出每个属性的期望值和保留值.在拍卖过程中,买方Agent和卖方Agent分别代表拍卖双方进行评标和投标,由买方Agent控制拍卖协商过程.最后用一个多人参与的算例说明了该模型的有效性.这种方法能够避免多属性加权和模型的缺点,并且可以有效的控制拍卖过程.     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

查询优化器连接顺序评估

连接顺序选择问题,即从连接顺序搜索空间中选出性能最优的连接顺序,是关键的查询优化问题.然而,连接顺序的选择存在庞大的搜索空间,导致其成为难点问题,优化器往往无法确保找到最佳的连接顺序.虽然目前存在许多连接顺序选择策略,但是,现有的评测基准不适用于评估各种连接顺序选择策略的优劣.为了有效地评估优化器在连接顺序选择方面的优化效果,本文基于确定性数据生成方法,采用适用于不同连接形状的连接模板生成算法和基于结果导向的参数实例化方法,生成评测场景的数据与负载,实现了通用的优化器连接顺序选择评估工具.通过对OceanBase和PostgreSQL进行评测,表明本文所提出的工具能够全面且有效地评估查询优化器的连接顺序选择功能的性能.