Desenvolvimento do clube de história da matemática: um diálogo das ciências humanas com a matemática

Este trabalho apresenta uma pesquisa sobre a utilização da História da Matemática no ensino básico do Colégio Militar do Rio de Janeiro CMRJ através de manifestações artísticas, fazendo uso, principalmente, do teatro,para que alunos percebam a matemática como uma ciência temporal, humana e sujeita a interferências políticas e sociais e, dessa forma, desenvolver a criticidade, aumentar a sensibilidade e o senso de solidariedade. A partir de um tema da história envolvendo fatos matemáticos os alunos pesquisam, escrevem uma peça teatral e encenam para um público formado por pessoas da comunidade escolar. Como a intenção é tornar essa prática efetiva, a pesquisa culmina na fundação do Clube de História da Matemática, espaço onde, espera-se, atividades recorrentes sejamdesenvolvidas, atraindo alunos afetos tanto às ciências humanas e sociais como às ciências exatas. Realiza-se um estudo de caso com observação participante, por ser o autor também professor do CMRJ. Este estudo busca referência teórica principalmente em autores relacionados à História da Matemática, Arte na Educação, gestão democrática, relações de poder e na legislação vigente. A pesquisa aponta a importância do trabalho com a história e com a arte e nos leva a concluir que, para formar cidadãos participativos e críticos, o primeiro passo é a sociedade tornar-se participativa e crítica, sendo a escola o principal locuspara tal formação.

Educação dos negros em Santa Catarina: narrativas, expectativas, experiências (1850-1889).

A problemática da educação dos negros, com toda sua complexidade, estava latente no cotidiano da província catarinense, não obstante a historiografia tê-la silenciado. O silenciamento é verificado em narrativas sobre os negros do período imperial, presentes em obras consideradas clássicas da historiografia, de escritores pertencentes a instituições culturais tradicionais. A raridade de representações sobre os negros fora da questão da escravidão, nessas obras, pode ter contribuído para a construção de premissas ainda recorrentes no imaginário social, como a de que os negros não estudavam. Além de analisar essas narrativas, esta pesquisa apresenta expectativas e experiências quanto à educação dos negros na província. As expectativas foram observadas na legislação educacional, em discursos da imprensa e de governantes catarinenses, sobretudo no período de discussões nacionais sobre a libertação do ventre, com o surgimento da figura do ingênuo. Nos jornais, muitos artigos apontavam a educação dos negros como um importante meio de preparação para o trabalho livre, garantindo a ordem social. Nos discursos dos agentes do governo, a questão foi abordada com menor frequência, defendendo a instrução dos libertos para evitar a anarquia e possibilitar o voto consciente. Já a proibição da matrícula escolar aos escravizados, em normativas da Instrução Pública, indicava outra expectativa do governo, ligada ao medo de rebeliões. Perspectivas semelhantes também foram observadas em legislações dos Estados Unidos no período escravocrata. Quanto às experiências educacionais em Santa Catarina, esta pesquisa verificou que as instituições que atendiam à infância desvalida Escola de Aprendizes Marinheiros, Asilo da Santa Casa de Misericórdia, escolas noturnas e Liceu de Artes e Ofícios, puderam cumprir o papel de escolarizar os negros, inclusive escravizados. Considerando que apenas um ingênuo foi entregue pelo senhor ao governo catarinense e que sua educação ficou a cargo do tutor, não houve a necessidade de se criar um estabelecimento próprio para a educação dos ingênuos, como o requisitado pelo Ministério da Agricultura a todas as províncias. Por fim, o trabalho discute experiências diversas de escolarização dos negros e de valorização e luta pela conquista da educação escolar. O núcleo documental foi composto por livros de história de Santa Catarina, jornais, relatórios e ofícios governamentais, legislação e atas do governo e da Irmandade dos Passos, entre outros, analisados sob a perspectiva foucaultiana da análise do discurso. A periodização abrange desde relevantes acontecimentos da década de 1850, tais como a instituição da proibição de matrícula escolar aos escravizados, o estabelecimento da Companhia de Aprendizes Marinheiros e a criação do Asilo das Desvalidas, até o último ano do período imperial. Esta investigação apresenta elementos para romper alguns silenciamentos e inserir a província no mapa de estudos da história da educação do negro no Império brasileiro, colocando em evidência questões ainda muito pouco exploradas no campo. Além disso, possibilita uma reflexão mais profunda sobre nossa história excludente, permitindo a ampliação do olhar e o entendimento de que o tratamento puramente meritocrático aos que historicamente foram tratados como desiguais não contribui para a construção de uma sociedade mais igualitária

Telenovela, folhetim eletrônico: tópicos para estudo da teleficção

O romance-folhetim, gênero que invadiu os rodapés dos jornais no século XIX e constituiu as bases de grandes clássicos da literatura, traz consigo marcas do melodrama, levando-o a ultrapassar os limites temporais do seu surgimento e se integrar aos recursos midiáticos e à performance teatral para dar origem a tramas que hoje se desenrolam diariamente na tela da televisão de milhares de telespectadores durante meses, em especial na América Latina. O romance-folhetim se perpetua através das telenovelas, principal representante da teleficção, que possui uma linguagem narrativa particular, mantendo as matrizes folhetinescas, e impondo-se como uma nova modalidade textual dentro do universo do entretenimento e da literatura industrial. Exemplo disso é a narrativa de Dancin days (1978), elencada como corpus para o estudo apresentado por essa dissertação, a fim de demonstrar a linha tênue que une a telenovela ao romance-folhetim, constituindo este uma matriz para as narrativas audiovisuais

Rio, cenas decisivas: teatro entre televisão, patrocínio e política

Baseado em estudos de casos e em discussões teóricas, este trabalho analisa as relações entre a estética, a produção e a recepção de uma vertente do teatro produzido no Rio de Janeiro que se propõe manter-se além do entretenimento. O critério para a escolha dos casos estudados é o da inteligibilidade das relações entre estética e contexto sócio-econômico, a partir das próprias referências e vivências do pesquisador enquanto também artista e produtor teatral. A abordagem do teatro como fenômeno estético e cultural que interage com o meio sócio-econômico vale neste trabalho tanto para o teatro da contemporaneidade quanto em suas discussões históricas. A universalização da TV, a falta de público pagante para a arte e a ainda recente resposta do Estado como financiador universal da cultura aparecem aqui intimamente ligadas à proliferação e transformação de poéticas teatrais, principalmente no que concerne ao trabalho do ator em cena, sua formação, e a concepção que ele tem de sociedade e de seu papel dentro dela. Esta mirada a partir do fazer teatral questiona o valor de limites fixos entre arte e indústria cultural, ao sugerir como problemática a definição de arte e cultura na contemporaneidade. As relações de mútua legitimação entre a indústria da televisão e o teatro na cidade são acompanhadas desde a sua descoberta pelo Teatro dos Sete, seu apogeu nos anos 70 e 80, e sua subsequente crise no final da década de 80, quando a simbiose se transformou em competição e a TV passou a ditar as regras do mercado de atores. Os espetáculos escolhidos para análise nesta ótica são justamente O Mambembe de 1959 e A Maldição do Vale Negro, de 1988. Em seguida o texto apresenta um resumo de observações e pesquisas sobre sociologia da cultura, a sócio-economia do teatro e as políticas públicas na França. The Flash and Crash Days, de Gerald Thomas, é o espetáculo escolhido para abordar o início da era dos patrocínios no teatro carioca. A última parte da tese procura juntar os resultados obtidos nos estudos e algumas análises a discussões atuais sobre o teatro no Rio de Janeiro, ao comentar possíveis relações entre a estética e o contexto na cena experimental da zona sul da cidade, e a mudança ideológica e de valores que acompanha a ainda recente mudança de modos de produção. O olhar do teatro como negócio é confrontado por uma alternativa que sugere a abertura de novas perspectivas, através da inclusão de novos sujeitos, como oportunidade de renovação da cena carioca

O avesso da costura: uma análise dos escritos de Gabriel Soares de Sousa (c.1540-1591)

O colono português Gabriel Soares de Sousa apresentou à corte de Felipe II da Espanha, por volta de 1587, um dos mais importantes registros sobre o Brasil quinhentista, o Tratado descritivo do Brasil em 1587, e o bem menos conhecido Capítulos de Gabriel Soares de Sousa contra os padres da Companhia de Jesus no Brasil. Esta tese apresenta uma análise da história destes manuscritos quinhentistas, examinado como chegaram até os seus formatos atuais e as suas leituras através dos tempos.

A responsabilidade do cotista do fundo de investimento em participações

A presente dissertação tem por escopo traçar os contornos do regime de responsabilidade do cotista de fundo de investimento em participações FIP. Para tanto, serão analisados os aspectos históricos, a natureza jurídica e a forma como os fundos de investimento são estruturados no direito brasileiro, com foco no fundo de investimento em participações. Tendo em vista que o FIP pode assumir posição de controlador de companhia na qual realiza investimento,a dissertação também trata, de forma sucinta, da estrutura do poder de controle, da identificação do acionista controlador e das hipóteses de sua responsabilização. Na sequência, são apontadas as hipóteses de responsabilização direta e indireta dos cotistas de fundos de investimento em participações. A pesquisa busca demonstrar que o cotista do FIP, em razão da responsabilidade subsidiária decorrente da obrigação de arcar com o patrimônio negativo do fundo, está sujeito a responsabilidade indireta incompatível com o seu papel de investidor. Por fim, aponta-se uma possível solução para o problema da responsabilidade do cotista do FIP.

金环蛇蛇毒对S180, EAC 腹水癌细胞的细胞毒性作用

　目的　探讨金环蛇毒对S180, EAC 腹水癌细胞的细胞毒性作用。　方法　采用小白鼠腹腔和皮下 接种S180, EAC 腹水癌细胞造成小白鼠腹水模型后腹腔注射金环蛇毒。　结果　腹腔注射金环蛇毒, 能 抑制肿瘤细胞的生长, 降低接种率。但不能完全控制腹水和癌细胞的生长。体外试验表明有明显的细胞毒 作用。台酚蓝染色镜检可见死细胞显著增加, 腹水图片检查给药后细胞膜破裂, 纤维化坏死明显。　结论 　能延长小白鼠存活时间。

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

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

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

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

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

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

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

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