A mercantilização do meio ambiente na cidade de Cabo Frio a partir dos fundamentos de Pierre George

A presente pesquisa mostra a teoria de Pierre George, geógrafo francês que viveu e analisou o século XX. O autor produziu uma leitura crítica da realidade, a partir de um contexto com várias transformações espaciais, guerras, expansão da industrialização, desenvolvimento das políticas do meio ambiente, questões sociais, entre outros pontos. Pierre George analisa o meio ambiente relacionando com o sistema econômico e os fatores políticos, indicando a função importante do espaço o conceito geográfico central. A partir das décadas de 1960 e 1970, há no capitalismo o novo sistema verde, que promete cuidar da degradação ambiental, mas estrategicamente pretende continuar o modelo de desenvolvimento. Esta realidade será incorporada por várias cidades em países desenvolvidos e em países subdesenvolvidos, que usarão o meio ambiente como uma mercadoria. Nesta pesquisa veremos o exemplo de Cabo Frio, Rj, uma cidade turística desde a década de 1950, que utiliza o meio ambiente como uma mercadoria, explorando a praia, os espaços verdes e a lagoa. Então a cidade será um exemplo excelente para confirmar a análise de George

Estudo isotópico e geoquímico dos sedimentos costeiros da Costa Verde do Estado do Rio de Janeiro para identificação de atividades antrópicas

A Costa Verde se localiza no estado do Rio Janeiro, onde também está localizada a Ilha Grande, importante polo turístico do estado. É composta pelas baías Sepetiba e Ilha Grande, que podem ser compartimentadas em diversas enseadas. As principais enseadas são Sepetiba, Marambaia, Mangaratiba, Angra dos Reis, Ribeira, Frade e Paraty. O presente estudo foi realizado nas enseadas de Mangaratiba, Angra dos Reis e Ribeira e foram compilados dados de Sepetiba e Marambaia estudado por outros autores. O objetivo do estudo destas enseadas foi identificar os metais e suas fontes e os mecanismos que os controlam, além de propor novos parâmetros de concentração de metais que indiquem processos de contaminação. O método utilizado foi a coleta de sedimento de fundo através da utilização de Van Veen e analisados por digestão total em espectrômetro de massa da qual se obteve a concentração dos elementos Ca, Cd, Co, Cr, Cu, K, Pb, Na, Ni, Sr, S, U, V e Zn, além das razões isotópicas de chumbo, com prioridade da razão 206Pb/207Pb. Foram obtidos resultados que indicam que a enseada de Mangaratiba apresenta as maiores concentrações de metais e com predominante contribuição antrópica cujas fontes são, os empreendimentos localizados na costa dessa enseada, incluindo o TEBIG. A enseada de Angra dos Reis também apresenta concentrações elevadas de metais, provenientes de efluentes domésticos, rejeito industrial ao qual se inclui o estaleiro Verolme e com forte controle do embasamento da enseada. A enseada da Ribeira tem seus metais fornecidos pelo porto de Bracuhy e uma fonte desconhecida que são controlados, em parte, pelos efluentes da CNAAA. Em relação a interação entre as cinco enseadas existe mútua troca de metais controlados pela dinâmica da Costa e acentuada pelo Canal de Ilha Grande (que liga as duas baias), onde a dispersão dos metais também é controlada por temperatura, fração sedimentar, profundidade e salinidade. Os principais metais relacionados às fontes antrópicas na Costa Verde são Co, Cr, Cu, Mn, Ni, Pb e Zn. As concentrações hoje apresentadas na resolução CONAMA não atendem a realidade da Costa Sul brasileira, sendo então propostos novos parâmetros de controle, menos permissivo

Estado de conservación de la ictiofauna arrecifal en sitios de buceo turístico de cuatro regiones del Archipiélago Sabana-Camagüey, Cuba.

Los peces constituyen uno de los atractivos principales en los arrecifes coralinos para el buceo turístico, por lo cual resulta necesario monitorear su abundancia y valores estéticos. El objetivo de esta investigación fue evaluar el estado de conservación de las asociaciones de peces arrecifales en cuatro de los principales polos turísticos del Archipiélago Sabana-Camagüey, Cuba en el año 2010. Se muestrearon 23 sitios de buceo turísticos en áreas adyacentes a las regiones de Varadero (5 sitios), cayos de Villa Clara (6 sitios), Cayo Coco (6 sitios) y Santa Lucia (6 sitios). En cada uno de ellos se realizaron seis réplicas de censos visuales de todas las especies de peces en recorridos lineales de 50 m de largo por 2 m de ancho, ocupando un área total de 600 m2. El puntaje más alto de conservación lo presentó los cayos de Villa Clara (37), siguiéndole en orden decreciente Cayo Coco (35), y con valores más bajos Varadero (24) y Santa Lucia (22). Los puntajes de las cuatro regiones fueron inferiores a los encontrados en otros arrecifes de Cuba y el Caribe. Los valores de Varadero y Santa Lucia se correspondieron con los de arrecifes de hábitats degradados y sometidos a explotación pesquera. En general, en la mayoría de las regiones predominaron peces de talla pequeña (<20 cm) pertenecientes a las familias Pomacentridae y Labridae y hubo poca abundancia de peces carnívoros y herbívoros de mediana (20-40 cm) y gran talla (>40 cm). ABSTRACT Fish are one of the main attractions on coral reefs for diving tourism; therefore, it is necessary to monitor their condition and aesthetic values. The objective of this research was to evaluate the status of reef fish assemblages in four tourist areas of Sabana-Camaguey Archipelago, Cuba in 2010. Twentythree tourist diving sites were sampled in adjacent areas to regions of Varadero (five sites), Villa Clara keys (6 sites), Coco key (6 sites) and Santa Lucia (6 sites). In each region, six replicated visual census of all fish species were conducted along belt transects of 50 m length and 2 m width, occupying a total area of 600 m2. The highest conservation score was obtained by Villa Clara keys (37), followed in decreasing order by Coco key (35), and with lower values Varadero (24) and St. Lucia (22). The scores of the four regions were lower than the values of other Cuban and Caribbean reefs. The values of Varadero and Santa Lucia corresponded to reefs with degraded habitats and subject to overfishing. In general, small fish (< 20 cm) from families Pomacentridae and Labridae, and low abundance of carnivore and herbivore fish of middle (20-40 cm) and large size (> 40 cm) predominated in most regions.

Private sector to invest in off-shore fishing and to encourage the financial incentives to be introduced for deep-sea fishing in Sri Lanka

The author discusses the financial aspects of private sector investment in off-shore fishing, with particular attention to tax incentives, such as those offered to tourist hotels, which are considered applicable to the current case of fishing vessel purchase, and the operation of the vessels themselves, hiring, publicity and profitability. Tax incentives which were introduced to encourage investment in the tourist industry should be introduced to encourage investment in the fishing industry on the lines presented. It is essential that wide publicity be given for the incentives introduced so as to achieve the desired results.

Cross-Lingual spoken language understanding from unaligned data using discriminative classification models and machine translation

This paper investigates several approaches to bootstrapping a new spoken language understanding (SLU) component in a target language given a large dataset of semantically-annotated utterances in some other source language. The aim is to reduce the cost associated with porting a spoken dialogue system from one language to another by minimising the amount of data required in the target language. Since word-level semantic annotations are costly, Semantic Tuple Classifiers (STCs) are used in conjunction with statistical machine translation models both of which are trained from unaligned data to further reduce development time. The paper presents experiments in which a French SLU component in the tourist information domain is bootstrapped from English data. Results show that training STCs on automatically translated data produced the best performance for predicting the utterance's dialogue act type, however individual slot/value pairs are best predicted by training STCs on the source language and using them to decode translated utterances. © 2010 ISCA.

Natural actor and belief critic: Reinforcement algorithm for learning parameters of dialogue systems modelled as POMDPs

This article presents a novel algorithm for learning parameters in statistical dialogue systems which are modeled as Partially Observable Markov Decision Processes (POMDPs). The three main components of a POMDP dialogue manager are a dialogue model representing dialogue state information; a policy that selects the system's responses based on the inferred state; and a reward function that specifies the desired behavior of the system. Ideally both the model parameters and the policy would be designed to maximize the cumulative reward. However, while there are many techniques available for learning the optimal policy, no good ways of learning the optimal model parameters that scale to real-world dialogue systems have been found yet. The presented algorithm, called the Natural Actor and Belief Critic (NABC), is a policy gradient method that offers a solution to this problem. Based on observed rewards, the algorithm estimates the natural gradient of the expected cumulative reward. The resulting gradient is then used to adapt both the prior distribution of the dialogue model parameters and the policy parameters. In addition, the article presents a variant of the NABC algorithm, called the Natural Belief Critic (NBC), which assumes that the policy is fixed and only the model parameters need to be estimated. The algorithms are evaluated on a spoken dialogue system in the tourist information domain. The experiments show that model parameters estimated to maximize the expected cumulative reward result in significantly improved performance compared to the baseline hand-crafted model parameters. The algorithms are also compared to optimization techniques using plain gradients and state-of-the-art random search algorithms. In all cases, the algorithms based on the natural gradient work significantly better. © 2011 ACM.

Reinforcement learning for parameter estimation in statistical spoken dialogue systems

Reinforcement techniques have been successfully used to maximise the expected cumulative reward of statistical dialogue systems. Typically, reinforcement learning is used to estimate the parameters of a dialogue policy which selects the system's responses based on the inferred dialogue state. However, the inference of the dialogue state itself depends on a dialogue model which describes the expected behaviour of a user when interacting with the system. Ideally the parameters of this dialogue model should be also optimised to maximise the expected cumulative reward. This article presents two novel reinforcement algorithms for learning the parameters of a dialogue model. First, the Natural Belief Critic algorithm is designed to optimise the model parameters while the policy is kept fixed. This algorithm is suitable, for example, in systems using a handcrafted policy, perhaps prescribed by other design considerations. Second, the Natural Actor and Belief Critic algorithm jointly optimises both the model and the policy parameters. The algorithms are evaluated on a statistical dialogue system modelled as a Partially Observable Markov Decision Process in a tourist information domain. The evaluation is performed with a user simulator and with real users. The experiments indicate that model parameters estimated to maximise the expected reward function provide improved performance compared to the baseline handcrafted parameters. © 2011 Elsevier Ltd. All rights reserved.

Gaussian processes for fast policy optimisation of POMDP-based dialogue managers

Modelling dialogue as a Partially Observable Markov Decision Process (POMDP) enables a dialogue policy robust to speech understanding errors to be learnt. However, a major challenge in POMDP policy learning is to maintain tractability, so the use of approximation is inevitable. We propose applying Gaussian Processes in Reinforcement learning of optimal POMDP dialogue policies, in order (1) to make the learning process faster and (2) to obtain an estimate of the uncertainty of the approximation. We first demonstrate the idea on a simple voice mail dialogue task and then apply this method to a real-world tourist information dialogue task. © 2010 Association for Computational Linguistics.

传值进程模型检测中诊断信息的生成

诊断信息自动生成是模型检测方法的基本特征之一，对分析和排错具有重要的意义，讨论了传值进程模型检测中诊断信息的生成问题，引入了两种诊断信息的表示结构：证明图和示例；提出了两种诊断信息的构造算法，所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例，这样可以继承已有的信息，从而减少计算量，相应的算法已经实现并用实例作了分析测试，实验结果表明该方法是有效的。

时间符号迁移图及其互模拟判定

引入时间符号迁移图的概念，作为既涉及通讯又具有实时性的并发系统的模型。该文给出了这种迁移图时间互模拟的算法，并证明了该算法的正确性。

关于蜕变测试和特殊用例测试的实例研究

提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.

一种基于模型的并发系统测试目的描述

提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束.阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成.缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集.这说明了TLCE作为测试目的描述的有效性.

传值系统的互模拟与谓词等式系

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

模型检测:理论、方法与应用

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennesssy-Milner逻辑的一阶扩充HML(FO)，给出了基于带赋值的符号迁移图的语义解释。证明了HML(FO)的子逻辑HML(FO^2)是满足性可判定的，并且讨论了判定的复杂性。最后给出了传值进程关于HML(FO^2)的模型检测的可判定性结果。