A computational algorithm for the verification of tautologies in propositional calculus

A computational algorithm (based on Smullyan's analytic tableau method) that varifies whether a given well-formed formula in propositional calculus is a tautology or not has been implemented on a DEC system 10. The stepwise refinement approch of program development used for this implementation forms the subject matter of this paper. The top-down design has resulted in a modular and reliable program package. This computational algoritlhm compares favourably with the algorithm based on the well-known resolution principle used in theorem provers.

A knowledge-based approach to pattern generation

Pattern Cognition is looked at from the functional view point. The need for knowledge in synthesizing such patterns is explained and various aspects of knowledge-based pattern generation are highlighted. This approach to the generation of patterns is detailed with a concrete example.

Los bárbaros y el Imperio: antiguas y nuevas perspectivas historiográficas

Abstract: The relationship between Barbarians and the Roman Empire has never been a neutral subject, and much less it could be today, when the debate on ‘Europe's Christian roots’ focuses on the meaning of its identity. This paper sets out the views prevailing in the historiography of recent decades but also it turns to the context of the events that afflicted the Roman Empire through the fifth century. There is in fact a different approch to the subject, between the catastrophic paradigm and the view of scholars who attempted to circumvent the role of the Barbarians, as if they were mere onlookers and not real actors of history. The great complexity of the period invites for deepening the analysis of regional peculiarities, studying those multiple and repeated collapses of the Empire, which during the fifth century still survived elsewhere, while people thought it was already fallen

Restituição fotogramétrica segundo o padrão da estruturação de dados Geoespaciais Vetoriais no ambiente E-FOTO.

No mês de outubro de 2007 a Comissão Nacional de Cartografia (CONCAR) lançou uma norma cartográfica composta de especificações técnicas para Estruturação de Dados Geoespaciais Digitais Vetoriais (EDGV) para a realização do mapeamento topográfico sistemático no Brasil. No mês de novembro de 2008 foi publicado o Decreto n 6666, que institui a Infra-Estrutura Nacional de Dados Espaciais e ratifica o uso das normas homologadas pela CONCAR, pelas instituições Federais. Este trabalho realiza dois requisitos, a saber: (a) fornece um esquema relacional alinhado as especificações da EDGV e (b) implementa um protótipo, com vistas a sua utilização no processo de restituição fotogramétrica nas instituições públicas responsáveis pelo mapeamento topográfico no Brasil. A implementação é realizada em ambiente de software livre. Também é importante salientar o caráter educacional da plataforma de software a ser implementada, para que o seu uso seja também direcionado para o ensino teórico e prático da fotogrametria digital nas instituições de ensino e pesquisa.

Uso de hipermídia adaptativa no desenvolvimento de cursos virtuais de computação gráfica

O Ensino à distância (EaD) procura utilizar propostas pedagógicas para desenvolver sistemas inclusivos de ensino e aprendizagem. Estas propostas tem colaborado no sucesso que a EaD tem alcançado no meio empresarial corporativo. Neste meio, a demanda por cursos de formação técnica tem sido tão alta, que as empresas envolvidas no design instrucional de EaD criaram a noção de cursos à distância expressos, ou seja, cursos cuja a concepção e elaboração devem atender as tradicionais necessidades de rapidez do mercado de trabalho. Esta dissertação procura soluções para um tipo de ensino à distância ainda pouco explorado. O cenário que procuramos equacionar é o do ensino de ferramentas (softwares) para desenho vetorial, onde a metodologia de ensino é parte do processo de ensino corporativo. No processo atual de ensino de ferramentas de computação gráfica, o aluno submete ao professor, normalmente pela internet, o seu trabalho para que uma avaliação seja feita. Nesta dissertação sugerimos que este processo seja modificado de duas formas. Primeiro, no design instrucional para esta situação, trabalhamos constantemente a questão de avaliação não só na sua forma tradicional (atribuição de graus e valores) mas também como aperfeiçoamento do processo de ensino. A hipermídia adaptativa entra nesta proposta como facilitador da relação alunoprofessor-conhecimento, permitindo individualização de um ensino voltado para as massas. Em segundo lugar, propomos que a avaliação das tarefas sejam automatizada. O aluno oferece as partes (objetos) da solução que são avaliadas individualmente através de algoritmos computacionais. Isto permite uma menor participação do professor, o que é compatível com a proposta de cursos expressos. Para que isto seja possível a tarefa proposta pelo professor é dividida em objetos componentes, sendo o aluno estimulado a criar cada objeto segundo o modelo padrão oferecido. A comparaçào de cada objeto criado pelo aluno com o padrão a ser alcançado pode ser feita por diversos algoritmos computacionais existentes ou criados especificamente pelo autor do curso. Neste trabalho apresentamos exemplos desta abordagem e um protótipo que demonstra a viabilidade da proposta.

Tramas femininas na Belle Époque Carioca: entre anarquistas e espíritas

Investiga-se, neste trabalho, a partir de uma análise de gênero, os discursos dos movimentos espírita e anarquista acerca das mulheres, no período de 1889 a 1922, no Rio de Janeiro, especificamente no que se refere a uma possível relação entre eles. No período de análise, ambos os movimentos encontravam-se em constituição no Brasil, lutando por legitimação e reconhecimento social, sendo seus seguidores perseguidos, presos e patologizados por seus discursos questionadores da ordem vigente. Entretanto, mais que seu sucesso ou não na transformação social, o que aqui se propõe é uma investigação acerca das formas pelas quais esses movimentos podem ter se relacionado e seus discursos, especialmente no caso da mulher, podem tê-los aproximado. Ou seja, questionar a oposição religião e política, e inserir uma análise de gênero em campos nos quais essa ferramenta é, ainda, raramente utilizada. Investigar como se apresentavam as questões de gênero nas práticas desses movimentos, tentando resgatar os fios que compõem a trama histórica dos mesmos, procurando entender a legitimação do espiritismo brasileiro no circuito religioso e a desqualificação do anarquismo no circuito dos movimentos políticos. As razões que justificam a escolha do espiritismo e do anarquismo para este trabalho devem-se, sobretudo, a uma singularidade: ambos apresentavam discursos sobre a mulher destoantes dos hegemônicos. Em seus pressupostos, encontra-se uma postura diferenciada em relação à mulher, na qual a ideia da igualdade entre os sexos assume um papel relevante, não seguindo a tendência de atribuir às mulheres um lugar de submissão e silêncio. Espíritas e anarquistas se posicionaram contrários aos discursos que tentavam manter a legitimidade da submissão da mulher ao homem. Contudo, verifica-se que, no Brasil, tanto o espiritismo quanto o anarquismo construíram discursos próprios ao contexto brasileiro, indo ao encontro dos pressupostos hegemônicos naquele período, sobretudo, acerca da mulher e das relações de gênero. Através de uma análise da história dos movimentos espírita e anarquista, notadamente, de sua chegada e difusão no campo social brasileiro, constata-se que a historiografia produziu um discurso que legitimou a exclusão das mulheres desses movimentos naquele momento, produzindo uma trama ainda bastante marcada pelo silenciamento das práticas femininas. A perspectiva teórico-metodológica deste trabalho se insere no campo da historiografia, mais especificamente da nova história: história cultural, história das mulheres e das relações de gênero, com atenção às produções da historiografia contemporânea sobre o período e as implicações de suas análises para as conclusões difundidas sobre a ausência feminina nesses movimentos.

浙江嵊州早上新世植物群重建和古气候定量研究

上新世时期是地球环境发展变化过程中由温暖的中新世向冰期-间冰期交替出现的更新世的过渡时期，研究上新世的气候有助于研究现代全球气候变化趋势。我国上新世植物群研究不多，尤其缺乏早上新世植物群的研究。在研究化石植物群的过程中，叶角质层的信息通常被忽视。迄今，我国古气候的定量研究主要集中在山东山旺和云南地区，研究的主要是中新世和晚上新世的古气候，早上新世气候的定量研究国内外都未见报道。 本论文以采自浙江中部嵊州地区硅藻土中的植物叶和果实为材料，通过光学显微镜、荧光显微镜和扫描电镜观察，对提取的化石叶角质层和叶结构进行研究，对比研究现代相关类群植物的叶片，确定了化石植物类群计15科24属（或亚科）34种。同时参照现代植物分布，恢复了早上新世嵊州地区古植被情况，进一步运用共存分析（Co-existence Approch）定量重建了当时的古气候，得到古年均温、古年较差和古年降水量等7个参数。 研究表明，叶结构和叶角质层可以应用于化石植物类群的鉴定。光学显微镜和荧光显微镜下可以获得的信息有：气孔、表皮细胞形状及大小、表皮细胞垂周壁、分泌结构、表皮毛或毛基等。扫描电镜观察的是叶表皮细胞表面的情况，如细胞外壁是否被蜡质以及蜡质的交结情况，气孔外壁是否增厚呈环等。 经化石植物类群鉴定，早上新世（约4Ma）嵊州地区植被属亚热带常绿阔叶林。推测：该地区当时存在一个较大的湖泊，湖泊边缘水中生长有菱角，湖泊周边可能有海拔超过1400m的山地。 常绿阔叶林主要成分是壳斗科植物，其中青冈属植物可能是建群植物。自低海拔到高海拔地区都有分布的是：栎属、栗属、桤木属植物，青杨梅。低海拔地区（<600m）分布的植物有：海南锥，樟。中低海拔地区（300-1000m）分布着：柯属、黄杨属植物，水青冈，海南油丹，江南油杉，福建柏。中高海拔地区（>700m）分布有：高山栎、黄肉楠属植物，米心水青冈，榉树，建始槭，天台鹅耳枥和昌化鹅耳枥。除了上述类群，林中还散布着鼠李属、杜鹃花属和冬青属的植物，豆科崖豆藤属植物则缠绕一些较大乔木生长。另外，在一些土壤、有机质易堆积的洼地生长有竹林，山地贫瘠的地方生长着柏属植物。 嵊州早上新世化石植物群反映的植被同浙江地区现代植被相似。第三纪浙江地区从针叶林或阔叶树为主的针-阔叶混交林过渡到常绿-落叶阔叶林，再发展为常绿阔叶林。 依据23个植物类群分析获得7个古气候参数：年均温17.7-21.4°C，最热月均温22.2-27°C，最冷月均温8.4-13.4°C，年较差12.1-15.3°C，年降水量1136-1869.9mm，最大月降水量211.8-283.3mm，最小月降水量20.3-36.8mm。 对比现代嵊州地区气候参数，早上新世嵊州地区年降水量略高于现代，年均温比现代高1.3-5°C，年较差为12.1-15.3°C。早上新世期嵊州地区四季气温比现代平稳。

山东山旺中新世气候定量重建的综合研究

新生代以来，全球气候经历了一系列的冷暖交替，呈现总体变冷的趋势。对该时期不同区域气候变化过程的深入研究有助于我们更好地理解现今全球气候变化规律。中新世是新生代古气候与古环境演变的一个重要转折时期，定量重建山东山旺中新世气候是认识和理解中国东部与东亚新近纪气候演变的一个关键环节。 将化石植物作为气候代用指标，用于研究过去全球气候变化，已经广为国际科学界接纳。国际上，定量研究第三纪气候的植物学方法按照不同原理可以划分为两大类，其各自代表分别为基于化石的现存最近亲缘类群生态适应度推演古气候参数值的共存分析法（Coexistence Approch, CA ）和基于叶片形态特征与气候相关关系的叶缘分析（Leaf Margin Analysis, LMA ）与气候叶片多变量程序（Climate Leaf Analysis Multivariate Program, CLAMP）。两大主流方法各有优势，也各有局限性。前人运用两大主流方法对山旺中新世植物群相同地层，同套数据的分析结果表明：LMA 和CLAMP 所估测年均温数值要显著低于CA 所估测的数值。其差异的原因既可能是LMA 和CLAMP 由于埋藏因素的影响造成估测值偏低，也可能由于CA 数据库数据主要来自于欧洲和北美而缺乏东亚的资料所致。 本论文提出了一种新的方法——分布区叠加分析（Overlapping Distribution Analysis, ODA ）对山旺中新世古气候进行定量重建。ODA 采用最近亲缘类群在叠加区间的气候参数来重建化石植物所生活的当时当地的气候。其详细步骤如下：1. 鉴定化石植物和认定它们的最近亲缘类群（尽量到种级水平）。2. 调查这些最近亲缘类群的分布数据（包括经度、纬度和海拔数据）。某些类群可能会有不止一个最近亲缘类群，须将这些最近亲缘类群的分布数据合并。3. 对分布数据分析，得出包含最多类群的最大叠加区间。4. 调查在最大叠加区间中气象站点的气候数据。5. 按照公式（1）和（2）来转换年均温数据TU=T0 - (HU -H0)×Γ (1); TL=T0 - (HL -H0)×Γ (2) 其中HU (m) 是海拔叠加区间的上界; HL (m) 是海拔叠加区间的下界; H0 (m) 气象站的实测海拔; T0 (ºC) 气象站的实测年均温; TU (ºC) 在海拔叠加区间气温的下界; TL (ºC) 在海拔叠加区间气温的上界; 系数Γ 为大气垂直直减率，年均温为0.5ºC/100m，最冷月均温为 0.45ºC/100m，最热月均温为 0.6ºC/100m。同样的方法，在海拔叠加范围内最冷月均温与最热月均温范围也可以确定，而降水量则采用气象台站的原始数据。6. 在这些转换数据的基础上，得出年均温，最冷月均温，最热月均温，年较差和年平均降水量波动范围。 ODA 分析结果表明：山旺中新世时期年均温为10.9-14.5oC，年较差为21.1-22.7oC，最冷月均温为-0.5-3.3oC，最热月均温为21.9-25.0oC，年平均降水量为1107.3-1880.0mm 。同时本论文还定量恢复了山旺硅藻土矿各层的古气候参数，其所估测的古气候参数数值与CLAMP 和LMA 的结果一致，而与CA 不同。对山旺气候参数的恢复表明，虽然其中新世年均温与现在相似，但最冷月均温要高于现在。 本项研究的创新之处是选择同一个研究地点（山东山旺），依据同一套数据（化石植物的类群资料），采用国际上以不同原理为基础的主流方法，同时加入我们自己提出的新方法，进行的古气候重建，对所获得气候参数值进行对比和验证，并对其存在的差异进行分析和探讨。

Intraoperative hemodynamic instability during and after separation from cardiopulmonary bypass : importance, mechanism and prevention

Chaque année, environ 1 à 1,25 million d’individus subiront une chirurgie cardiaque. [1] Environ 36 000 chirurgies cardiaques sont effectuées au Canada et 8000 procédures au Québec (http://www.ccs.ca). Le vieillissement de la population aura pour conséquence que la chirurgie cardiaque sera offerte à des patients de plus en plus à risque de complications, principalement en raison d’une co-morbidité plus importante, d’un risque de maladie coronarienne plus élevée, [2] d’une réserve physiologique réduite et par conséquent un risque plus élevé de mortalité à la suite d’une chirurgie cardiaque. L’une des complications significatives à la suite d’une chirurgie cardiaque est le sevrage difficile de la circulation extracorporelle. Ce dernier inclut la période au début du sevrage de la circulation extracorporelle et s’étend jusqu’au départ du patient de la salle d’opération. Lorsque le sevrage de la circulation extracorporelle est associé à une défaillance ventriculaire droite, la mortalité sera de 44 % à 86 %. [3-7] Par conséquent le diagnostic, l’identification des facteurs de risque, la compréhension du mécanisme, la prévention et le traitement du sevrage difficile de la circulation extracorporelle seront d’une importance majeure dans la sélection et la prise en charge des patients devant subir une chirurgie cardiaque. Les hypothèses de cette thèse sont les suivantes : 1) le sevrage difficile de la circulation extracorporelle est un facteur indépendant de mortalité et de morbidité, 2) le mécanisme du sevrage difficile de la circulation extracorporelle peut être approché d’une façon systématique, 3) la milrinone administrée par inhalation représente une alternative préventive et thérapeutique chez le patient à risque d’un sevrage difficile de la circulation extracorporelle après la chirurgie cardiaque.

Algorithmes pour la réconciliation d’un arbre de gènes avec un arbre d’espèces

Une réconciliation entre un arbre de gènes et un arbre d’espèces décrit une histoire d’évolution des gènes homologues en termes de duplications et pertes de gènes. Pour inférer une réconciliation pour un arbre de gènes et un arbre d’espèces, la parcimonie est généralement utilisée selon le nombre de duplications et/ou de pertes. Les modèles de réconciliation sont basés sur des critères probabilistes ou combinatoires. Le premier article définit un modèle combinatoire simple et général où les duplications et les pertes sont clairement identifiées et la réconciliation parcimonieuse n’est pas la seule considérée. Une architecture de toutes les réconciliations est définie et des algorithmes efficaces (soit de dénombrement, de génération aléatoire et d’exploration) sont développés pour étudier les propriétés combinatoires de l’espace de toutes les réconciliations ou seulement les plus parcimonieuses. Basée sur le processus classique nommé naissance-et-mort, un algorithme qui calcule la vraisemblance d’une réconciliation a récemment été proposé. Le deuxième article utilise cet algorithme avec les outils combinatoires décrits ci-haut pour calculer efficacement (soit approximativement ou exactement) les probabilités postérieures des réconciliations localisées dans le sous-espace considéré. Basé sur des taux réalistes (selon un modèle probabiliste) de duplication et de perte et sur des données réelles/simulées de familles de champignons, nos résultats suggèrent que la masse probabiliste de toute l’espace des réconciliations est principalement localisée autour des réconciliations parcimonieuses. Dans un contexte d’approximation de la probabilité d’une réconciliation, notre approche est une alternative intéressante face aux méthodes MCMC et peut être meilleure qu’une approche sophistiquée, efficace et exacte pour calculer la probabilité d’une réconciliation donnée. Le problème nommé Gene Tree Parsimony (GTP) est d’inférer un arbre d’espèces qui minimise le nombre de duplications et/ou de pertes pour un ensemble d’arbres de gènes. Basé sur une approche qui explore tout l’espace des arbres d’espèces pour les génomes considérés et un calcul efficace des coûts de réconciliation, le troisième article décrit un algorithme de Branch-and-Bound pour résoudre de façon exacte le problème GTP. Lorsque le nombre de taxa est trop grand, notre algorithme peut facilement considérer des relations prédéfinies entre ensembles de taxa. Nous avons testé notre algorithme sur des familles de gènes de 29 eucaryotes.

Le "sacrifice" du Christ et le "sacrifice" des chrétiens dans la Lettre aux Romains et la Première lettre de Pierre : incidences herméneutiques d'une approche synchronique axée sur les métaphores et l'intertextualité

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Online Dispute Resolution: The Next Phase

Ce texte traite de l’évolution des modes alternatifs de résolution de conflit (MARC) en ligne. L’auteur dresse un historique des différents projets de médiation en ligne en passant par ses « débuts » en 1999 lorsque l’Online Ombuds Office (OOO) fut approché pour l’élaboration d’un système de médiation pour les clients d’eBay, par SquareTrade.com, par les règles de l’ICANN, par Cybersettle et Clicknsettle, etc. Il expose ensuite le courrant que prendra la cybermédiation et le cyberarbitrage dans les années à venir. Ainsi, le médium informatique devient lentement une « quatrième partie » aux discussions et peut venir en aide aux arbitres et aux médiateurs dans la gestion et la communication d’informations. De plus les fonctions d’affichages propres aux ordinateurs, c’est-à-dire la possibilité d’incorporer images, graphiques, plans, etc., devront être mis à l’œuvre par les systèmes de MARC en ligne si ceux-ci sont destinés à prendre de l’expansion dans d’autres domaines que ceux leur étant présentement réservés.

La ambigüedad, las creencias y los estereotipos que rodean a lo que hoy en día se conoce como terrorismo: Una revisión de literatura

El terrorismo en la actualidad es considerado como uno de los conceptos más controversiales en los campos social, académico y político. El término se empieza a utilizar después de la Revolución Francesa, pero recientemente, a raíz de los atentados del 11 de septiembre de 2001, ha tomado suma relevancia y ha motivado numerosas investigaciones para tratar de entender qué es terrorismo. Aunque a la fecha existen varias revisiones sistemáticas, este trabajo tiene como propósito revisar, agrupar y concretar diferentes teorías y conceptos formulados por los autores que han trabajado sobre el concepto de “terrorismo” con el fin de entender las implicaciones de su utilización en el discurso, y cómo esto afecta la dinámica interna de las sociedades en relación con la violencia, las creencias, los estereotipos entre otros elementos. Para lograrlo, se revisaron 56 artículos, publicados entre los años 1985 y 2013; 10 fuentes secundarias entre noticias y artículos de periódicos correspondientes a los años 1995-2013 y 10 estudios estadísticos cuyos resultados nos aportan a la comprensión del tema en cuestión. La búsqueda se limitó al desarrollo histórico del terrorismo, sus diferentes dimensiones y el concepto social de la realidad de terrorismo. Los hallazgos demuestran que la palabra “terrorismo” constituye un concepto que como tal es un vehículo lingüístico que puede ser utilizado con fines, estratégicos movilizando al público conforme a través del discurso e intereses políticos, destacando la necesidad de estudiar las implicaciones psicológicas y sociales de su uso.

Ilustração: passeio pela poesia visual

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Temas sociocientíficos: análise dos processos argumentativos no contexto escolar

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)