A emergência do antigo Israel: um diálogo entre a história e a arqueologia histórica na busca da identidade étnica da grandeza social Israel no Mediterrâneo nos séculos XIVXIII A.C.

Escrever uma história do antigo Israel não é tanto uma aventura, apesar das querelas cronológicas e alguns confrontos com as culturas material e bíblica. O fato de ter como hipótese central a emergência do antigo Israel entre os séculos XIV-XIII a.C. julgou-se importante considerar o evento cronológico de média duração e ocorrido em interação sociocultural no Mediterrâneo. Para a fundamentação foram apresentados os documentos literários e artefatos materiais. Assim, realizou-se a abordagem historiográfica em diálogo científico com a arqueologia histórica, sendo a cultura material o campo de comprovação dos pressupostos, e pela antropologia social de grandezas socioétnicas e políticas do segundo milênio a.C., como auxiliar no desenvolvimento da argumentação. Tanto os documentos de Tell el-'Amarna quanto a estela Hino da vitória de Merenptah, Cairo e Karnak foram analisados em seus contextos históricos. Os objetivos, portanto, foram fundamentar com evidências a fuga de escravos do Egito em vários períodos da Idade do Bronze Recente, entre a época amarniana e a época ramessida, e a emergência multiétnica dos 'ibrîm em meio a povos nômades e seminômades em um amplo fenômeno histórico de reação ao protetorado egípcio no Mediterrâneo. Isso levou-nos a adotar o método comparativo para a análise dos documentos e seguir o debate historiográfico sobre os testemunhos arqueológicos desenvolvido por pesquisadores da Universidade de Tel Aviv e da Universidade Hebraica de Jerusalém. Em conclusão, ficou demonstrada a existência de várias rotas de fugas de escravos e evidências de ocorrências envolvendo os povos mediterrâneos à época da emergência do antigo Israel e a correspondência por trocas culturais, organização política, atividades e assentamentos nos altiplanos envolvendo aqueles povos, o que possibilitou a simbiótica etnicidade.

Ancient DNA from South-East Europe Reveals Different Events during Early and Middle Neolithic Influencing the European Genetic Heritage

The importance of the process of Neolithization for the genetic make-up of European populations has been hotly debated, with shifting hypotheses from a demic diffusion (DD) to a cultural diffusion (CD) model. In this regard, ancient DNA data from the Balkan Peninsula, which is an important source of information to assess the process of Neolithization in Europe, is however missing. In the present study we show genetic information on ancient populations of the South-East of Europe. We assessed mtDNA from ten sites from the current territory of Romania, spanning a time-period from the Early Neolithic to the Late Bronze Age. mtDNA data from Early Neolithic farmers of the Starcevo Cris culture in Romania (Carcea, Gura Baciului and Negrilesti sites), confirm their genetic relationship with those of the LBK culture (Linienbandkeramik Kultur) in Central Europe, and they show little genetic continuity with modern European populations. On the other hand, populations of the Middle-Late Neolithic (Boian, Zau and Gumelnita cultures), supposedly a second wave of Neolithic migration from Anatolia, had a much stronger effect on the genetic heritage of the European populations. In contrast, we find a smaller contribution of Late Bronze Age migrations to the genetic composition of Europeans. Based on these findings, we propose that permeation of mtDNA lineages from a second wave of Middle-Late Neolithic migration from North-West Anatolia into the Balkan Peninsula and Central Europe represent an important contribution to the genetic shift between Early and Late Neolithic populations in Europe, and consequently to the genetic make-up of modern European populations.

Estudo de Eletrodeposição de Ligas Cu-Sn em Meio de Citrato de Sódio

Revestimentos produzidos a partir de ligas de Cu-Sn apresentam grande interesse em função de suas propriedades, originando uma grande capacidade de aplicação industrial, especialmente em indústrias de componentes e materiais eletrônicos. Tais ligas também têm sido comercialmente utilizadas como revestimentos em metais diferentes, como o aço, para protegê-los contra a corrosão e melhorar sua aparência. Na presente dissertação, técnicas de voltametria cíclica, cronoamperometria e voltametria de varredura anódica linear foram utilizadas para o estudo dos processos de deposição de Cu e/ou Sn a partir de dois conjuntos de soluções contendo CuCl2.2H2O e SnCl2.2H2O nas razões de Cu:Sn = 1:10 e 10:1, além de Na3C6H5O7 1,00 mol/L, em pH = 6,0. As curvas de voltametria cíclica realizadas sobre o eletrodo de grafita foram utilizadas para o cálculo das constantes de equilíbrio dos complexos de ambos os metais com citrato de sódio, bem como na determinação dos potenciais catódicos aplicados nos ensaios de cronoamperometria. Após a deposição da liga nos potenciais estipulados para cada uma das duas soluções, os revestimentos de liga Cu-Sn foram ressolubilizados em solução de NaNO3 0,5 mol/L, empregando varredura anódica linear para a avaliação de suas composições químicas. Os resultados iniciais mostraram que a variação da concentração de Cu (II) e do potencial aplicado influenciaram no teor de cobre na liga. Contudo, percebeu-se que o teor de estanho não sofreu grandes variações, independente das concentrações das soluções e do potencial aplicado. Na solução com maior concentração de cobre foram alcançados teores dos metais na liga em maior proximidade com o da liga de bronze comercial. Com base nesses resultados, foram produzidos revestimentos de ligas sobre substrato de aço carbono, a partir de soluções contendo CuCl2.2H2O e SnCl2.2H2O na razão de 10:1, empregando a técnica de cronoamperometria potenciostática. Quatro diferentes valores de potencial (-0,39V, -0,67V, -1,00V, -1,20V e -1,94V vs. Ag/AgClsat.) foram aplicados, obtendo-se camadas cujas colorações variaram do rosa claro ao marrom escuro, sempre sem brilho. A eficiência de corrente catódica (Ef) decresceu conforme o potencial aplicado se tornou mais negativo. Nesta mesma direção, verificou-se um aumento do teor de estanho na liga depositada e menores tamanhos de grão. Porém, quando o potencial tornou-se mais negativo (-1,20V e -1,94V), observou-se a presença de cristalitos de diferentes tamanhos e de dendritos. Revestimentos com melhores resistências à corrosão em solução de NaCl 0,5 mol/L foram produzidos nos potenciais de -1,00V e -1,20V, cujas composições foram 99,40 % m/m Cu / 0,60 % m/m Sn e 97,70 % m/m Cu / 2,30 % m/m Sn, respectivamente. As análises por DRX permitiram verificar que estes revestimentos eram constituídos, principalmente, da fase α-CuSn

Indigenous substitutes for "Lignum vitae" for making stern bearings for fishing boats

Difficulties are very often encountered in selecting proper material for making stern bearings for fishing boats. Conventional materials such as white metal, bronze etc. wear out too fast also causing considerable wear to the propeller shaft. Lignum-vitae, a natural wood commonly used for this purpose, is not available on a commercial scale in our country. Results of trials carried out to find out suitable substitutes for lignum-vitae from among indigenous timbers are presented in this paper.

A case history on the phenomenal corrosion of marine propellers in fishing boats

Although high tensile brassess of copper-zinc alloys (Manganese bronze) find extensive use in all marine applications, under aggressive sea-water, marine propellers cast out of such an alloy frequently suffer heavy corrosion damages due to dezincification. An interesting case history where a number of propellers have undergone dezincification in the Cochin backwaters is narrated in this paper.

Isolation and characterization of polymorphic microsatellites in a Yangtze River fish, brass gudgeon (Coreius heterodon Bleeker)

The brass gudgeon (Coreius heterodon) is a fish of economic importance in the Yangtze River. From a (GATA)(n)-enriched genomic library, 25 microsatellites were developed by employing the fast isolation by AFLP of sequences containing repeats (FIASCO) protocol. Nine loci exhibited polymorphism with two to 12 alleles (mean 3.9 alleles/locus) in a test population, and observed heterozygosity ranged from 0.1111 to 0.9630 (mean 0.4426). Three of the nine loci showed polymorphism in a congeneric species, the largemouth bronze gudgeon Coreius guichenoti. These loci should provide sufficient level of genetic diversity to evaluate the fine-scale population structure of C. heterodon.

C程序的静态分析

近年来，随着软件在社会生活中的作用越来越重要，软件的正确性也越来越受到人们的重 视。然而如何保证软件的正确性却是一个一直都没有得到很好解决的问题。在上世纪六七 十年代人们就提出了程序验证的概念，但是程序验证一直不能很好的处理用实用的程序设 计语言编写的程序，并且自动化程度也不高，现代软件的规模往往有数百万行代码，导致 程序验证无法得以应用。另一方面，面向大规模实际程序的传统数据流分析主要的应用是 编译优化，它们的目标是获取保守的、粗略的程序信息，从而也不适合于程序正确性的检 测。 随着计算性能的提高以及自动定理证明技术的成熟，另一大类基于符号执行的精确的程序 分析技术逐渐被人们所重视。符号执行是一种假设输入变量为符号值，精确的模拟程序执 行的路径敏感的静态分析方法。符号执行在上世纪七十年代被提出，但是由于无法处理程 序中的指针、数组等语言成分，一直无法得以广泛应用。本文针对使用极为广泛的C语言， 设计了一套完整精确模拟C 语言语义的算法和技术，包括内存建模，对各种表达式语义的 模拟，函数调用的处理等。 作为符号执行技术的两种应用，本文对自动测试数据生成和内存泄漏检测分别进行了研究， 提出了完整的算法，并实现了相应的工具。本文描述的符号执行算法目前已经在开源编译 器Clang中得以实现，并还在不断改进之中。

一种基于SAT的运算电路查错方法

基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF，通过采用了标志子句技术的E-SAT求解器进行求解．实验表明该方法自动化程度高，能处理大规模的运算电路，有较强的查找错误能力．

软件属性保障中的源代码静态分析技术研究

随着硬件性能的不断提升，计算机正在被赋予越来越艰巨的任务，运行其上的软件作为沟通人类思维和底层硬件的桥梁，其重要性日益增加。与此同时，软件系统的规模也在不断变大，所涉及的逻辑也更为复杂，这导致开发人员难免会由于疏漏在软件设计实现的过程中引入缺陷、埋下隐患。所以,如何检验、确保软件的属性就成为时下一个亟待解决的热点问题。而在此背景下，源代码静态分析技术由于恰好可以弥补现有测试方法的不足，已经开始在这一研究领域崭露头角。有鉴于此，本文为了推进安全信息系统的研发，分别围绕源代码静态分析技术在软件属性保障中两个最主要的应用场景展开研究，涉及高等级安全操作系统开发过程中的源代码自动化审计，以及分布式信息系统中平台间互信建立时针对软件属性所进行的远程验证，其中，前者是为从深度上将现有安全操作系统向更高等级推进提供助力，而后者是为了从广度上将信息安全领域现有的围绕单机平台的研究成果向分布式架构推广建立基础。具体来说，本文选择针对编程接口规范的一致性检验和应用静态分析的软件属性远程验证作为研究的切入点，探讨了应用源代码静态分析技术检验、确保软件属性的方法和用途，主要取得以下几个方面的成果： 第一，本文给出了一个基于值等价类的别名分析方法。该方法依据相关的传值操作维护一个值等价类空间，可以在编程接口规范一致性检验的过程中按需推导变量符号间的等值关系，不仅有能力支持上下文相关、路径相关的全局分析，还可以有效应对C代码中因结构、指针等构件所衍生出来的大量变量符号。 第二，针对大部分现有代码静态分析工具分析规模受限的问题，本文围绕编程接口规范的一致性检验给出了可以与别名分析有效结合的性能优化方案。该方案不仅能通过剔除与分析无关的执行分支和引入缓存机制提高分析效率，还可以尽量确保分析的准确性少受影响。 第三，我们设计、实现了一个C代码静态分析工具ABAZER（A Bug AnalyZER）。该工具可以依据用户使用有限自动机模型描述的编程接口规范，对操作系统内核级别的软件进行全局分析，指出代码中可能有悖于规范的部分。我们使用ABAZER实际考查了FreeBSD内核中锁机制以及GCC 4.x中库GNU Libiberty的使用情况，从中发现了若干真实的缺陷。 第四，本文针对现有应用可信计算技术、基于完整性信息进行远程验证的方案在灵活性和实用性上所存在的不足，给出一个扩展方案。该方案通过引入虚拟机技术，在软件构建过程中收集举证信息，应用静态分析方法分析软件功能模块间的相关性，划分出与验证相关的模块，有效控制用户定制软件验证时所要依赖的可信列表的规模，使其有能力适应当今网络环境中的大量异质平台和各种安全需求。此外，它还可以为自身所依赖的可信计算基的替换和更新提供支持。 第五，本文针对Flask架构的特点，给出了一个既能检验强制访问控制实现正确性，又能最大限度保留软件灵活性、使得用户可以在一定程度上对软件进行定制的远程验证方案。该方案依赖源代码静态分析技术界定软件中无需基于完整性进行验证的模块，在进一步缩减可信列表规模的同时，使用代码改写技术在这些模块中自动化地插入监控代码约束软件的动态行为，以达到确保强制访问控制实现正确性的目的。该方案初步展现了源代码静态分析技术在远程验证中广阔的应用前景。

基于形式描述的编译优化自动测试方法与技术研究

编译优化是现代编译器不可缺少的重要功能。编译优化技术在过去几十年里取得了显著进展，对提升程序运行速度、节省存储空间、节省能耗等起到了不可替代的作用。然而，编译优化的可靠性却不尽人意。编译优化技术种类多、处理复杂而且可复用性弱，容易出错，即便是成熟的编译器，也不断有与编译优化相关的bug被发现出来。编译器的可靠性对软件产品的可靠性和安全性有直接影响，随着编译优化在现代编译器中的比重不断增加，编译优化的可靠性也日益受到人们的关注。 软件测试是保障编译优化可靠性的基本技术手段之一，然而，编译优化测试涉及测试程序编写、测试执行等过程，人工完成相当费时费力，因此有必要研究编译优化自动测试方法，以提高编译优化测试的效率。基于这一实际需求，Intel、MEI (Matsushita Electric Industrial)、DaimlerChrysler AG等业界产商近年来也相继与有关研究机构开展合作，研究编译优化自动测试方法。 目前已有的编译器自动测试方法中大多数都是以程序设计语言的语法和语义为主要依据，适用于测试语法检查、语义检查、代码生成等基本编译功能，对于编译优化的测试则缺乏针对性，测试效率较低，而已有的若干种面向编译优化的自动测试方法也存在着对编译优化刻画不够准确、自动化程度不高等缺陷。 本文提出一种基于形式描述的编译优化自动测试方法(TEMCOFS)，其实现过程分为四个阶段，即：(1) 建立编译优化形式描述；(2) 分析编译优化描述的正确性；(3) 基于编译优化形式描述自动生成测试程序；(4) 自动执行测试。在TEMCOFS方法框架下，本文分别研究了编译优化形式化描述方法、编译优化描述正确性分析方法和基于形式描述的两种自动测试方法，实现了三类典型优化—表达式优化、数据流优化、循环优化的自动测试，主要工作包括： (1) 在编译优化形式描述方面，除了应用前人研究成果—TRANS语言描述了表达式优化和数据流优化之外，还对TRANS语言进行了扩展，建立了循环优化的形式描述机制； (2) 在编译优化正确性分析方面，首先证明了揭示程序数据依赖关系对程序变换正确性影响的依赖基础定理，为循环优化正确性分析提供了基础，然后探讨了编译优化正确性分析的一般方法； (3) 在测试自动执行方面，提出了编译优化自动变形测试执行方法，该方法将变形测试思想引入编译优化测试中，利用测试程序等价性质实现测试结果的自动判定，能够避免传统方法中测试结果判定所存在的问题； (4) 在测试程序自动生成方面，分别对应两种测试自动执行方法—比照法和变形法提出了基于编译优化形式描述的测试程序自动生成方法，能够根据表达式优化、数据流优化、循环优化的形式描述自动生成测试程序集。 在GCC编译器上的实验表明，基于本文方法自动生成的测试程序集可使GCC的编译优化模块较快达到较高的测试覆盖率。与其他编译器自动测试方法相比，本文方法对编译优化测试的针对性较好，自动化程度也较高。总而言之，本文方法对于提高编译优化测试效率、保障优化编译器的质量具有较好的实用和参考价值。

用面向对象方法分析、设计、实现工业远程监控系统

较早时期的实时监控应用软件，从分析设计到代码实现，采用的都是结构化方法，有的甚至没有经过分析设计阶段，直接进行编程。也曾有过分析和设计阶段采用结构化方法，编程实现采用面向对象语言的尝试。但由于分析设计的缺陷导致在软件生命周期的维护阶段出现许多问题，如存在较多的缺陷(bug）、结构性错误、修改困难、功能扩展工作量太大等等。统一建模语言(UML)的出现是面向对象建模领域的一个里程碑，它将面向对象方法和以往的面向过程的结构化方法做了较为完善的结合，使在分析、设计、实现阶段都采用面向对象方法完成实时系统成为可能。这次在开发新系统的过程中首次尝试了采用面向对象分析设计语言（UML)和面向对象语言（MS VC++）相结合，在整个软件生命周期均采用面向对象方法和工具实现工业远程实时监控系统，在解决以上问题及优化系统性能、结构方面皆取得了很好的效果。得到了结构良好、高内聚、低藕合、容易理解、易于扩展、维护的系统。这个系统主要实现工业现场仪表的调控，数据的采集、直观图实时监控生产状况，利用电话网及计算机技术自动实现输油管线远程实时监控、统计与处理等功能。

Preparation, structure and dielectric properties of (Ba1-xSrx)(2)NaNb5O15 ceramics

In this study the tungsten-bronze type tetragonal (Ba1-xSrx)(2)NaNb5O15 system as a kind of lead-free ferroelectric ceramics has been synthesized by low-temperature combustion method. Microstructure and dielectric properties of (Ba1-xSrx)(2)NaNb5O15 system were also investigated. X-ray diffraction (XRD) study confirms the formation of single-phase tetragonal compounds in the crystal system at room temperature. The TEM photograph shows that the particles synthesized by low-temperature combustion method are uniform with an average particle size of 30nm in diameter.

Pd nanoparticles supported on WO3/C hybrid material as catalyst for oxygen reduction reaction

Pd nanoparticles supported on WO3/C hybrid material have been developed as the catalyst for the oxygen reduction reaction (ORR) in direct methanol fuel cells. The resultant Pd-WO3/C catalyst has an ORR activity comparable to the commercial Pt/C catalyst and a higher activity than the Pd/C catalyst prepared with the same method. Based on the physical and electrochemical characterizations, the improvement in the catalytic performance may be attributed to the small particle sizes and uniform dispersion of Pd on the WO3/C, the strong interaction between Pd and WO3 and the formation of hydrogen tungsten bronze which effectively promote the direct 4-electron pathway of the ORR at Pd.

Electrochemical preparation of microelectrodes modified with non-stoichiometric mixed-valent molybdenum oxides

A compact non-stoichiometric molybdenum (VI, V) oxide of blue film was grown on carbon fiber (CF) microelectrode surface be cycling the potential between + 0.2V and - 0.70V in a freshly prepared Na2MoO4 solution containing 5 x 10(-3) mol/L H2SO4. The quantity-of the oxide is controlled by the charge passing the electrode. The electrochemical pretreatment of CF microelectrode not only mises the deposition velocity of molybdenum oxide on CF surface, but also improves greatly the cyclic voltammetric behavior of the molybdenum oxide film prior to the electrodeposition. The cathodic processes are believed to yield the hydrogen molybdenum oxide bronzes HxMoO3(0 < x < 2), or substoichiometric lower molybdenum oxides with the formula MoO3-y(0 < y < 1). The anodic response results from the reversible oxidation of molybdenum bronze/Mo(V) centers [or perhaps Mo(IV) in more reduced coatings], to Mo(VI). Further information was gained about the chemical composition and valent state of Mo from XPS and SEM.