铜-铝扩散焊及拉伸的分子动力学模拟

采用分子动力学方法模拟了铜-铝扩散焊过程,分析了理想平面铜-铝试件(001)晶面间扩散焊的过渡层厚度,并利用径向分布、键对分析方法分析了在不同的降温速率下过渡层的结构变化.降温速率大时,过渡层保持原有无序结构,降温速率小时,过渡层从无序结构向面心立方结构转变.还对扩散焊后的铜-铝试件进行了拉伸模拟,并与尺寸大小相近的单晶铜和单晶铝的拉伸模拟结果进行比较.结果发现焊接后的强度比单晶铝和单晶铜的强度都要小,最大应变值也小.

Efecto de coberturas muertas de follajes de tres especies de árboles de sombra sobre la reducción de grupos de malezas en el cultivo de café (Coffea arabica L.)

El presente trabajo evaluó el efecto de coberturas muertas procedentes de hojas y ramas podadas de las especies: Simarouba glauca D.C., Clusia rosea Jacq y Giricidia sepuim (Jacq) Steud., sobre la reducción de los grupos de malezas de una plantación de café (Coffea arabica L.), manejada bajo sombra. Para ello se estableció un ensayo en la finca La Nacional, Masatepe, Nicaragua; colocando en las parcelas experimentales, material vegetal cortado de cada una de estas especies, en tres diferentes grosores de cubrimiento. Las malezas procedentes de semillas y de retoños se mantuvieron controladas a los 17, 31, 45 y 65 días después de establecido el ensayo. El testigo promedio 385 individuos por m2 y los diferentes tratamientos promediaron 22 individuos por m2 en malezas de semillas. El testigo para malezas de retoños promedio 619 brotes por m2, los diferentes tratamientos promediaron 85.5 brotes por m2. En el muestreo para determinar biomasa fresca de malezas, hubo diferencias significativas en malezas de semillas y retoños, con promedios de 21 g/m2 para el testigo, comparado con 3 g/m2 para los m2 para los tratamientos en malezas de semillas y para malezas de retoños el testigo promedio 233 g/m2 y en los tratamientos promediaron 52 g/m2. En general los grosores dobles y triples alcanzaron a reducir mayormente las malezas.

半焦与垃圾衍生燃料混烧的排放特性

在非均匀布风流化床中进行了半焦与垃圾衍生燃料(RDF)的混合燃烧实验,研究了不同半焦混烧率对烟气组分的影响以及二者混烧的可行性与经济性.实验结果表明,随着半焦混烧率的增加,H2O(气态)、CO、HCl、NO及C3H6含量均呈下降趋势,而CO2、SO2含量则呈增加趋势.同时发现,在燃烧过程中增加Cl元素含量,可以促进NO的生成.

Comportamiento de variedades de maíz en Masaya

El trabajo que aquí se presenta a manera de tesis consiste en la presentación de datos sobre 2 pruebas de variedades de maíz realizados en la primera época de siembra de 1962 y 1963 en Masaya. Los resultados indican la existencia de maíces de alto rendimiento en cada uno de los 3 grupos de precocidad en que se subdividió el conjunto de variedades probadas. Entre los maíces de grano blanco y tardíos, Rocamex H-507 como híbrido y Sintético Tuxpeño como variedad parecen ser los mas prometedores para alcanzar los mas altos rendimientos posibles en Masaya. Entre los maíces precoces, los híbridos triples Nicaragua H-1 y Nicaragua H-3 se comportaron como los mas rendidores en comparación con la variedad criolla de Masaya. Para el caso del Nicaragua H-1, se presentan ademas datos obtenidos en otros lugares de Nicaragua y Centro América, que confirman la superioridad demostrada en Masaya. No obstante la evidencia estadística significante encontrada para las diferencias de rendimiento de los maíces mencionados, se hace notar que aun no pueden usarse en escala comercial sin antes verificar los resultados de 1962 y 1963, en mas años y otros lugares de Masaya. Finalmente también se presentan algunos datos que revelan la importancia del cultivo del maíz en Masaya, así como se enumeran las modalidades y problemas del cultivo del maíz en Masaya. A manera de ilustración de las condiciones primitivas del cultivo del maíz en Masaya, también se mencionan algunas supersticiones que el campesino tiene en relación con el cultivo del maíz.

非晶Cu形成过程及其力学性能的微观机理研究

用分子动力学方法模拟了非晶Cu的形成过程,研究了非晶Cu力学性能的微观机理.用径向分布函数(RDF)和键对分析方法(PA),分析了快速冷却过程中系统内部结构的变化.非晶Cu径向分布函数第2个峰有明显的劈裂,键对分析表明,在快速降温过程中2331,2211和2101键对的增多是径向分布函数第2峰劈裂的原因.对非晶Cu进行拉伸、剪切加载模拟,结果表明,非晶Cu应力达到最大值之后,没有应力值的突降,宏观上出现类似塑性变形的行为.但是,非晶金属变形的微观机理不同于晶体.本文引入微观数密度统计分析,发现加载过程中微观密度呈现非均匀演化,这为理解宏观类似塑性行为的微观机理提供了线索和可能的分析方法.

On demand translation for querying incompletely aligned datasets

More and more users aim at taking advantage of the existing Linked Open Data environment to formulate a query over a dataset and to then try to process the same query over different datasets, one after another, in order to obtain a broader set of answers. However, the heterogeneity of vocabularies used in the datasets on the one side, and the fact that the number of alignments among those datasets is scarce on the other, makes that querying task difficult for them. Considering this scenario we present in this paper a proposal that allows on demand translations of queries formulated over an original dataset, into queries expressed using the vocabulary of a targeted dataset. Our approach relieves users from knowing the vocabulary used in the targeted datasets and even more it considers situations where alignments do not exist or they are not suitable for the formulated query. Therefore, in order to favour the possibility of getting answers, sometimes there is no guarantee of obtaining a semantically equivalent translation. The core component of our proposal is a query rewriting model that considers a set of transformation rules devised from a pragmatic point of view. The feasibility of our scheme has been validated with queries defined in well known benchmarks and SPARQL endpoint logs, as the obtained results confirm.

On reconstruction theorems in noncommutative Riemannian geometry

We present a novel account of the theory of commutative spectral triples and their two closest noncommutative generalisations, almost-commutative spectral triples and toric noncommutative manifolds, with a focus on reconstruction theorems, viz, abstract, functional-analytic characterisations of global-analytically defined classes of spectral triples. We begin by reinterpreting Connes's reconstruction theorem for commutative spectral triples as a complete noncommutative-geometric characterisation of Dirac-type operators on compact oriented Riemannian manifolds, and in the process clarify folklore concerning stability of properties of spectral triples under suitable perturbation of the Dirac operator. Next, we apply this reinterpretation of the commutative reconstruction theorem to obtain a reconstruction theorem for almost-commutative spectral triples. In particular, we propose a revised, manifestly global-analytic definition of almost-commutative spectral triple, and, as an application of this global-analytic perspective, obtain a general result relating the spectral action on the total space of a finite normal compact oriented Riemannian cover to that on the base space. Throughout, we discuss the relevant refinements of these definitions and results to the case of real commutative and almost-commutative spectral triples. Finally, we outline progess towards a reconstruction theorem for toric noncommutative manifolds.

Executing SADI services in Galaxy

Background: In recent years Galaxy has become a popular workflow management system in bioinformatics, due to its ease of installation, use and extension. The availability of Semantic Web-oriented tools in Galaxy, however, is limited. This is also the case for Semantic Web Services such as those provided by the SADI project, i.e. services that consume and produce RDF. Here we present SADI-Galaxy, a tool generator that deploys selected SADI Services as typical Galaxy tools. Results: SADI-Galaxy is a Galaxy tool generator: through SADI-Galaxy, any SADI-compliant service becomes a Galaxy tool that can participate in other out-standing features of Galaxy such as data storage, history, workflow creation, and publication. Galaxy can also be used to execute and combine SADI services as it does with other Galaxy tools. Finally, we have semi-automated the packing and unpacking of data into RDF such that other Galaxy tools can easily be combined with SADI services, plugging the rich SADI Semantic Web Service environment into the popular Galaxy ecosystem. Conclusions: SADI-Galaxy bridges the gap between Galaxy, an easy to use but "static" workflow system with a wide user-base, and SADI, a sophisticated, semantic, discovery-based framework for Web Services, thus benefiting both user communities.

Multi-objective design and optimisation of bypass outlet-guide vanes

This paper describes the development of an automated design optimization system that makes use of a high fidelity Reynolds-Averaged CFD analysis procedure to minimize the fan forcing and fan BOGV (bypass outlet guide vane) losses simultaneously taking into the account the down-stream pylon and RDF (radial drive fairing) distortions. The design space consists of the OGV's stagger angle, trailing-edge recambering, axial and circumferential positions leading to a variable pitch optimum design. An advanced optimization system called SOFT (Smart Optimisation for Turbomachinery) was used to integrate a number of pre-processor, simulation and in-house grid generation codes and postprocessor programs. A number of multi-objective, multi-point optimiztion were carried out by SOFT on a cluster of workstations and are reported herein.

Performance assessment of XACML authorizations for supply chain traceability web services

Service-Oriented Architecture (SOA) and Web Services (WS) offer advanced flexibility and interoperability capabilities. However they imply significant performance overheads that need to be carefully considered. Supply Chain Management (SCM) and Traceability systems are an interesting domain for the use of WS technologies that are usually deemed to be too complex and unnecessary in practical applications, especially regarding security. This paper presents an externalized security architecture that uses the eXtensible Access Control Markup Language (XACML) authorization standard to enforce visibility restrictions on trace-ability data in a supply chain where multiple companies collaborate; the performance overheads are assessed by comparing 'raw' authorization implementations - Access Control Lists, Tokens, and RDF Assertions - with their XACML-equivalents. © 2012 IEEE.

Full cost accounting for the life cycle of coal.

Each stage in the life cycle of coal-extraction, transport, processing, and combustion-generates a waste stream and carries multiple hazards for health and the environment. These costs are external to the coal industry and are thus often considered "externalities." We estimate that the life cycle effects of coal and the waste stream generated are costing the U.S. public a third to over one-half of a trillion dollars annually. Many of these so-called externalities are, moreover, cumulative. Accounting for the damages conservatively doubles to triples the price of electricity from coal per kWh generated, making wind, solar, and other forms of nonfossil fuel power generation, along with investments in efficiency and electricity conservation methods, economically competitive. We focus on Appalachia, though coal is mined in other regions of the United States and is burned throughout the world.

NP难问题的算法和实验性研究

NP难是计算机科学中的一个重要概念和核心问题，自从它的提出到现在， 人们已经得到了很多重要的理论结果。直观上讲，一个问题一旦被证明是NP难 的就意味着我们很难找到该问题的一个多项式时间的有效算法。但从实用的角 度讲，对于应用中遇到的问题，单单是证明它很难（是NP难的）是不够的，如何 在合理的时间内求解实际问题也是必须解决的现实问题。本文主要侧重于NP难 问题的算法和实验性研究，研究对象主要是可满足性问题、图的顶点染色、图 的子图匹配等NP难问题，以及可满足性模理论的解空间计算和体积估算等扩展 问题。 围绕几个著名的问题，本文的主要工作如下： 针对图染色问题，日本研究人员提出了一种通过组合小图单元得到大的难 实例的方法。他们通过试错的方式手工找到了7个小图单元。我们提出了一种新 的构造算法来系统地生成这类小图单元，用我们的算法生成的难图染色实例， 主流的图染色工具需要指数时间才能求解；在一些专门求解色数比较小的图的 图染色工具上我们的算法生成的实例更难求解。针对皇后图染色问题，我们利 用模型查找工具SEM来对这类问题进行求解，在求解过程中提出了新的变量选 择策略，发现比简单地使用可满足性问题工具和图染色工具效果要好。 针对语义Web推理中的关键问题RDF蕴含关系的判定问题，我们利用从子 图同构问题到可满足性问题的编码方案，把它转化为命题逻辑公式的可满足性 判定问题，并采用了启发式的方法对编码过程进行必要的化简得到较少的布尔 公式，然后再利用高效的可满足性问题工具来求解。这种转化为可满足性问题 的方法，是跟RDF简单蕴含的模型论语义结合比较自然的一个方法。在小规模 实例上，这种方法的效果也很好。 针对布尔和数值混合约束的公式，即可满足性模理论（线性理论）公式的 体积计算这一新问题，我们首先给出一个直接计算体积的方法，然后提出一个 改进的算法，并研究了如何通过引入可满足性模理论中的技术来尝试对该算法 进一步地改进。我们实现了工具并做了实验。在一个实际的程序实例上，我们 还就“热门路径”问题做了实例研究和探讨。 体积计算是一个有广泛应用背景的经典难题（#P难的），但以前的方法要 么只能处理线性约束，要么只具有理论价值（不够实用）；针对含非线性约束的 体积计算问题我们提出了实用的算法，并设计了相应的工具，在低维实例有很 好的逼近效果。

基于本体的发布/订阅系统的数据模型和匹配算法

现有的发布／订阅系统不能根据事件的语义来进行事件与订阅的匹配，且不能支持具有复杂结构（如图状结构）的事件．将语义Web技术引入发布／订阅系统中，提出一种基于本体的发布／订阅系统．该系统采用本体来表示事件的概念模型，采用RDF图来表示事件，采用图模式来表示订阅条件．它能较好地解决现有的发布／订阅系统的上述问题．实验结果表明，该系统具有较高的订阅匹配效率．