Histórias de viagem e a produção cultural da natureza : a paisagem do Rio Grande do Sul segundo os viajantes estrangeiros do século XIX

O presente Estudo apresenta as discussões tecidas ao longo de uma pesquisa de doutorado na qual examinaram-se os relatos de viagem feitos por quatro viajantes-naturalistas franceses – Auguste de Saint-Hilaire, Arsene Isabelle, Nicolaus Dreys e Aimé Bompland -, que estiveram no Rio Grande do Sul na primeira metade do século XIX. A pesquisa inscreve-se no campo teórico dos Estudos Culturais e nela investigou-se a produção cultural da natureza engendrada nas formas como esses naturalistas narraram as diferentes paisagens do Rio Grande do Sul, naquele tempo. Neste trabalho, buscou-se mostrar que em diferentes tempos históricos produziram-se diferentes formas de falar, de narrar e, neste processo, de constituir discursivamente a natureza. E também destacar como a nossa percepção daquilo que consideramos como natureza está profundamente marcada por construções estéticas e culturais que estabelecem o que se deve ‘ver’, ‘admirar’, ‘conservar’ e ‘proteger’ no mundo dito “natural”. E é nesse sentido que se colocou em destaque, que a configuração da natureza como ‘selvagem`, ‘bela`,’inóspita`,’exótica´, ’sublime`, ’primitiva´,ou’pitoresca´, é sempre resultado de experiências arbitrárias constituídas histórica e culturalmente e processadas em meio a intensas negociações e disputas. Ainda, o presente estudo esteve atento para a diversidade inerente à complexa experiência cultural da viagem; ou seja, as viagens, embora inscritas e comprometidas com um projeto colonizador, abrigavam também, projetos particulares. Assim, os relatos dos viajantes aqui estudados, foram olhados na sua diversidade: diferentes modos de se deslocar pela região e de permanecer nos lugares, diversas formas de narrar, de compor a paisagem e de olhar o ‘outro’. Ao longo dessa pesquisa uma das questões norteadoras do trabalho foi investigar como, diante de uma paisagem ‘desconhecida’, os viajantes franceses transculturaram a paisagem natural do Rio Grande do Sul, na primeira metade do século XIX.

Isabelle在分析安全操作系统状态机模型中的应用

为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观．简洁的问题，提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数，以及模型中的安全不变量和状态迁移规 则进行形式化描述的新方法．通过实际验证一种典型的安全操作系统状态机模型——可信进程模型，总结出了有效地使用Isabelle辅助形式化设计、分析、验证模型的策略．

基于Isabelle定理证明器算法程序的形式化验证

形式化验证对保证软件的正确性和可靠性具有十分重要的意义.定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具.本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法.该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值.

Lettres patentes des archiducs Albert et Isabelle-Claire-Eugénie, concernant le partage des biens de la maison d'Egmont. (18 mai 1613).

Copie authentique.

Catalogue des diamants anciens, émeraudes, saphirs, rubis, perles, camées appartenant à S. M. la reine Isabelle de Bourbon dont la vente aura lieu à Paris,... rue Druot... le lundi 1er juillet 1878, et jours suivants... / [expert] Dumoret

[Vente. Bijoux. 1878-07-01. Paris]