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

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

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

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

非晶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.

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.

Identidade cultural e consciência de classe no capitalismo tardio

O estudo da relação entre classe e identidades culturais produziu uma bibliografia significativa. Nesta tese busca-se olhar para essa relação sob um aspecto pouco abordado. A partir da tradição marxista, em particular aquela que traz do pensamento marxiano uma abordagem ontológica, busca-se identificar as determinantes gerais da relação entre classe e identidades culturais no mundo contemporâneo (capitalismo tardio). Para tanto, revisita-se o conceito marxista de classe com a preocupação de identificar como a classe no capitalismo se relaciona com o conjunto da cultura? que aqui é definido como a totalidade das mediações produzidas pelos seres humanos. Estabelecidas as relações gerais, parte-se para as formas particulares de identificação cultural no capitalismo tardio. Nesse momento, retoma-se a discussão sobre alienação e reificação a partir de Marx e da contribuição do último Lukács. No capitalismo tardio, a forma cotidiana de vivência das identificações culturais tende à perenidade, com a cotidianização da vida. Essa experiência compartilhada se torna base para a naturalização de uma forma reificada de identificação cultural, na qual um processo manipulatório (uma anti-práxis, no termo de Sartre) se sobrepõe à dinâmica da práxis. Por fim, aponta-se para como essa experiência compartilhada da manipulação identitária serve de fundamento para significativas teorias sobre identidades na teoria social, tal como o estruturalismo e o pós-estruturalismo.

O sentido da técnica e a técnica sem sentido: dilemas do ato médico na hipermodernidade

A modernidade caracteriza-se por um período em que ocorreram profundas revoluções em curtos intervalos de tempo. Nela, o mundo analógico foi substituído, gradativamente, pelo digital e o mundo material passou a dividir espaço com a realidade virtual. Inicialmente representada pelo mito prometeico, a modernidade foi tomada pelo impulso fáustico que hoje se traduz no desejo de recriar a condição humana. Os tecnoprofetas da Inteligência Artificial anunciam para breve as maravilhas da pós-humanidade e se ocupam com criação de máquinas espirituais que, acreditam eles, libertarão o homem de sua condição orgânica. Ciente de que a sociedade se organiza em torno da ótica tecnocientífica e de que as inovações alteram significativamente o modo como a maioria dos seres humanos se relaciona com o tempo, com o espaço e com a vida, este estudo discute o modelo de desenvolvimento tecnológico, por entender que ele não mais constitui assunto de domínio exclusivamente técnico, mas, também, de interesse político. Ademais, com vistas a problematizar o que dá sentido à técnica, faz-se uma crítica ao modelo atual, no qual ela, a técnica, subordinada à razão intrumental, funciona como instrumento de alienação e discute as condições necessárias a sua democratização. O estudo começa examinando dois fenômenos considerados determinantes na configuração do cenário atual: o capitalismo cognitivo e a reificação-tecnológica, entendidos como construções monopolizadas pela ótica capital-tecnocientífica. A seguir, faz-se uma análise sobre as noções de técnica, tecnologia e razão técnica e discute-se o impacto do desenvolvimento tecnológico no ato médico. A medicina representa uma atividade de grande valor social para o bem estar humano, embora, nas últimas décadas, venha enfrentando uma quebra no vínculo de confiança entre médicos e pacientes, além de uma crise na identidade desse profissional que hoje enfrenta dificuldades para preservar sua autonomia, face ao mercado das novas tecnologias e estratégias de gestão. Nesse contexto, surgem novas questões a serem elaboradas e a serem respondidas por diferentes atores e áreas de conhecimento da sociedade que desejem contribuir com reflexões e propostas que façam frente aos problemas específicos de nosso tempo. O trabalho sugere, ainda, que noções como Vontade - no sentido arendtiano, ou como o Olhar atento - Josep Esquiról e como Habilidade artesanal - Richard Sennett, podem nos ajudar a compreender as incumbências de uma re-orientação ética, se quisermos construir um diálogo com a razão tecnocientífica em prol da liberdade humana.

Traduções da desigualdade: pensamento criminológico e campo policial no Rio de Janeiro da Primeira República

O presente trabalho tem o objetivo geral de estudar a permanência do positivismo criminológico no Brasil e sua parcela de contribuição para a naturalização da desigualdade característica da seletividade de nosso sistema de controle social. Tendo como pano de fundo a hegemônica ideologia da democracia racial, a pesquisa pretende afastar ocultações de harmonia racial e demonstrar como, a despeito delas, a incorporação da criminologia positivista carregou a reificação da distinção racializada no olhar para a questão criminal, se enraizando no sistema penal. Partindo de um problema presente o componente racista da seleção preferencial do sistema penal brasileiro a pesquisa busca na recuperação histórica a leitura das traduções realizadas pelos intelectuais brasileiros que, problematizando a nacionalidade e a cidadania no momento de transição representado pela Primeira República, construíram ideias sobre o crime, o criminoso e a defesa social a partir de critérios de distinção ancorados em visões racializadas, gerais e individualizantes. Para tanto, coloca-se em questão a inserção do positivismo na polícia, dentro do contexto das reformas policiais do início do século XX. Chama-se a atenção para o papel de determinados tradutores traidores do positivismo chamados de intelectuais de polícia no campo policial, assim como para a forma de introdução dessa criminologia, usando-se a ideia de luta simbólica pela mudança da prática policial. Pretendendo, desse modo, contribuir com o estudo da questão criminal e com a compreensão do sistema penal brasileiro a partir do diálogo entre criminologia, história e sociologia, as conclusões do trabalho apontam para a oportunidade da abordagem da polícia como um campo social dotado de um habitus específico. Essa visão possibilita, por um lado, a interpretação das pretensões modernizantes dos intelectuais de polícia alinhadas com o pensamento positivista como pressões sobre as estruturas desse campo, passíveis de rejeição e de retradução no interior desse mundo social específico. De outro, admitindo-se a possibilidade de tensionamento e reestruturação do habitus policial como resultado dessas demandas externas, pode-se encontrar nessas disposições duráveis elementos da permanência do positivismo que imprimiram na prática policial as desigualdades ocultadas pelo mito da democracia racial.

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.

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

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

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

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

喷流-移动床垃圾衍生燃料热解燃烧特性研究

垃圾的处置已成为全球性环境问题。与填埋法相比，焚烧、热解和气化等热处理法具有减容、减量和能源化利用等优点。如何控制垃圾焚烧过程中HCI、二恶英和未燃尽碳氢化合物等污染物的排放也引起越来越多国家的关注。采用先热解（或气化）再气相燃烧的方法以及对垃圾预处理保持垃圾组成相对稳定的RDF技术是减少二次污染的有效手段。喷动技术能够用相对较小气量流化较粗大颗粒，是进行RDF热解的较佳选择。但RDF具有密度小、流动性差等特点，考虑减少空气量和改善RDF流动性，在喷动床中水平引入辅助气，称为"喷流一移动床"。本论文首先在室温下对喷流一移动床的流体力学特性进行了研究。结果表明，水平辅助气的引入可以降低中心最小喷动气速，调控喷泉高度，提高环流区颗粒的流动速度，增大颗粒的循环流量。在此基础上，根据先部分燃烧部分热解后气相燃烧以及自热型的原则，设计了下部为喷流一移动床热解室上部为气相燃烧室的两段式RDF热解燃烧反应器，并利用实验室内制备的RDF对该反应器的运行特性进行了评价。论文对喷动空气量和辅助空气量对热解室温度分布、气体分布，二次空气对燃烧室温度分布以及CO和NOx的释放特性的影响进行了研究，然后对有机氯（PVC）和无机氯（NaCI）产生Hcl特性、Ca（OH）2对HCI的脱除特性及机理进行了研究。实验结果表明，RDF可以成功地进行自热型的先热解后气相燃烧，通过改变空气／燃料比可以控制热解室温度，水平辅助气的引入可以使热解室轴向温度分布更加均匀，热解室中可以得到O2含量低于2v％热解气体，热解气体在燃烧室中能完全燃烧。二次空气能够控制燃烧室温度以及Co和NOx的排放。PVC中氯能产生较大数量的HCI外,NaCl同样也可生成HCl；温度对PVC生成HCI量的影响很小，而对NaCI却起主要影响作用。漓温不利于钙化物与HCI反应的进仃，同时CaC12在高温时与石英砂(SiO2)、水蒸汽反应产生HCl，因此Ca（OH）2的脱氯效率会降低。