A Câmara Municipal do Rio de Janeiro, das invasões corsárias ao governo de Luis Vahia Monteiro (1710 a 1732): uma história de conflitos pelo uso do território colonial.

As câmaras municipais constituíram-se em um dos mais notáveis mecanismos de manutenção do vasto império ultramarino português. Originavam-se dos antigos conselhos medievais, aglutinavam os interesses das elites coloniais ao serem compostas pelos homens bons da colônia, detinham considerável poder sobre a sociedade local além de terem a liberdade de representar ao rei de Portugal seus anseios ou dificuldades. Paralelo, ao poder do senado da câmara municipal, encontravam-se as autoridades nomeadas pelo rei de Portugal: governadores coloniais. Este compartilhamento do poder na colônia gerava, muitas vezes, conflitos entre a câmara municipal e os funcionários régios. No Rio de Janeiro, setecentista, vários fatores internos e externos à colônia deterioraram as relações entre os governadores coloniais e os membros do senado.Tal situação agrava-se com as incursões corsárias francesas de 1710 e 1711 que demonstraram a fragilidade do império português que há muito deixara de ter um poder naval significativo, perdendo espaços para potências como a França, Inglaterra e Holanda. Incapaz de conter os inimigos no vasto oceano, desprovido de meios navais capazes de patrulhar os litorais de suas colônias na África, Ásia e América, em especial o do Brasil, o império português dependia cada vez mais dos recursos humanos de suas colônias para a manutenção do seu território ultramarino. A corte portuguesa sofreu duro impacto com a conquista da cidade do Rio de Janeiro por Duguay-Trouin e, ao longo dos próximos anos, procurou fortalecer o sistema defensivo de sua colônia com o envio de tropas e navios além da construção de novas fortalezas e o reaparelhamento do sistema defensivo já existente.Todo este esforço para a guerra era bancado, em sua maior parte, com recursos da própria colônia do Rio de Janeiro. Obviamente este ônus não agradava a incipiente elite mercantil que florescia na colônia resultando no fato de que a política de enclausurar o Rio de Janeiro entre muralhas e fortificações, ás custas da economia colonial, colocou em campos opostos os funcionários do rei e os membros do senado por várias vezes nas primeiras décadas do século XVIII. Surgiram inevitáveis conflitos pelo uso e posse do território urbano do Rio de Janeiro cada vez mais pontilhado por fortalezas, sulcado por extensas valas e trincheiras a impedir-lhe o crescimento urbano. Além do conflito territorial, em função da expansão da atividade mercantil desenvolvida pelos colonos, as disputas comerciais envolveram as elites locais, ávidas por lucros e impulsionadas ao comércio devido à descoberta do ouro na região das Minas, e as autoridades e comerciantes lusos, uns querendo controlar a atividade comercial que crescia em acelerado ritmo, outros querendo lucrar e disputar espaços com as elites coloniais locais. No meio destes embates encontrava-se a Câmara Municipal do Rio de Janeiro, objetivo maior desta pesquisa, a defender os interesses das elites da colônia, pois delas era representante. Era uma disputa em que, muitas vezes, seus membros pagaram com a perda da liberdade e dos seus bens frente a governadores coloniais mais intolerantes

Política Carioca Rindo a Toa e o Programa Saúde e Cidadania Dentescola: análise da política de saúde bucal no município do Rio de Janeiro e sua trajetória rumo à implementação considerando a interface com o Brasil Sorridente

A presente dissertação constituiu um estudo da política na Área de Saúde Bucal em um município de grande porte através dos seus processos - de formulação e implementação - seus atores e sua interface com a Política Nacional Brasil Sorridente. Tomando como referência a experiência do Rio de Janeiro no período de 2001 a 2006, optou-se por um estudo de caso por tratar-se de descrever a unidade a política - em profundidade e em detalhe. A condução de listas livres possibilitou um maior discernimento das mudanças político-organizacionais e principalmente de dois momentos consecutivos: a suposta centralidade da Saúde Bucal na agenda municipal com o decreto do Programa Saúde e Cidadania Dentescola e a oportunidade de se estabelecer uma política de Saúde Bucal contextualizada no acolhimento, no acesso e na universalidade da atenção. O processo de implementação da Política Carioca Rindo à Toa e do Programa Saúde e Cidadania Dentescola dependeu principalmente do aumento de recursos humanos e da aproximação desses com as propostas de Integralidade e Transversalidade.

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

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

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

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

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

提出了基于蜕变测试方法的集成测试环境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)的模型检测的可判定性结果。

带复杂数据结构的模型检测工具

模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

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

带赋值符号迁移图的局部优化算法

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