Procedimiento de refutación para un conjunto de restricciones sobre documentos XML

We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. The main goal of this tool is to test if a given speci cation is satis able or not, showing the history of the execution. It can also be used to test if a given document is a model of a given speci cation and, as a subproduct, it allows to look for all the relations (monomorphisms) between two patterns or the result of doing some operations by combining patterns in di erent ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use.

A formação do sujeito cooperativo no Colégio Pedro II: o longo caminho do documento ao investimento

A formação de sujeitos cooperativos é uma demanda da sociedade contemporânea, que o Colégio Pedro II assumiu como compromisso em seu Projeto Político-Pedagógico, ao afirmar o aluno que pretende formar: cidadãos críticos, orientados para a cooperação igualitária, ética, mais fraterna e solidária. O modo como se investe na formação do sujeito cooperativo, nas práticas cotidianas do Colégio Pedro II, é o objeto deste estudo. O objetivo é analisar a formação do cidadão cooperativo, como um processo de produção de subjetividades, que tem início nas lógicas que circulam em nossa sociedade. O objetivo específico é investigar o lugar que a formação do sujeito cooperativo ocupa nas práticas de docentes e gestores do Colégio Pedro II, e em que medida elas são direcionadas pelas políticas públicas, como os Parâmetros Curriculares Nacionais, e pelo Projeto Político Pedagógico, do Colégio. A pesquisa se concentrou no Pedrinho, na Unidade São Cristóvão I, no período posterior à elaboração e publicação do atual Projeto Político Pedagógico, embora não seja possível descartar a história do Colégio, na busca de elementos que expliquem a realidade atual. A construção do campo de investigação se deu a partir da análise de documentos do Colégio, dos registros de oficinas de Jogos Cooperativos, reuniões pedagógicas e administrativas, bem como entrevistas com docentes que representaram a Unidade São Cristóvão I, na Congregação do CP II. Ao final, foi possível perceber que são múltiplos os caminhos, entre o documento e o investimento na formação do sujeito cooperativo, entre outros motivos porque são muitos os sentidos dados ao termo cooperação. Alem disso, há pelo menos, dois movimentos. Um que busca a orientação da conduta, a governamentalidade, pela atualização dos mecanismos disciplinares e de controle, utilizados desde a fundação do Imperial Colégio de Pedro II. Outro movimento busca produzir uma linha de fuga, uma alternativa, no Pedrinho, às relações competitivas e individualistas produzidas pela lógica capitalista, em nossa sociedade, e estabelecidas há quase três séculos no Colégio Pedro II. As políticas públicas de currículo produziram práticas pedagógicas, discursivas e não discursivas, no cotidiano escolar, e algumas dessas práticas podem contribuir para a produção de subjetividades cooperativas, mesmo que este não seja o foco da ação docente. Mas, sem dúvida, alguns docentes e gestores estão investindo na formação de cidadãos cooperativos, seja pensando em alunos e trabalhadores virtuosos ou apenas em pessoas mais felizes. Ainda há espaço para a produção de singularidades, na microfísica do cotidiano.

Documento titulado "Preparación del servicio y detalles de la entrada en Bilbao del vapor ruso Andrés"

Encabezado: Servicio de la Presidencia. Sin fecha (1937) / Unidad de ínstalación: Carpeta Rectorado - B-1 / Nº de pág.: 1 (mecanografiado)

Copia del documento de la Jefatura del Sector de Ochandiano del Ejército Vasco, firmado por Juan Ibarrola, dando cuenta de la distribución de un batallón

Fecha: 31 de marzo de 1937 / Unidad de ínstalación: Carpeta Rectorado - D-1 / Nº de pág.: 2 (manuscritas)

O princípio da cooperação e a exibição de documento ou coisa no Processo Civil

A dissertação procura estabelecer os fundamentos constitucionais e legais do princípio da cooperação no processo civil, descrevendo-o como um princípio constitucional implícito, decorrente do princípio da solidariedade (art. 3, I, CF/1988), da isonomia (art. 5., caput, CF/1988), do acesso à ordem jurídica justa (art. 5., XXXV, CF/1988), do devido processo legal (art. 5., LIV, CF/1988), do contraditório, da ampla defesa (art. 5., LV, CF/1988) e da duração razoável do processo (art. 5., LXXVIII, CF/1988). O trabalho procura demonstrar que o princípio da cooperação é a ideia base de vários dispositivos do Código de Processo Civil (CPC) de 1973 e do Projeto do Novo CPC, entre eles o art. 339 do CPC/1973 e aqueles que disciplinam a exibição de documento ou coisa. A dissertação procura estabelecer os limites do princípio da cooperação existentes no ordenamento jurídico brasileiro, em especial o direito à privacidade (art. 5., X, CF/1988) e o direito ao silêncio (art. 5., LXIII, CF/1988). Enfim, a dissertação procura estabelecer o conteúdo do princípio da cooperação e a forma como este opera no processo civil.

面向XML文档的细粒度强制访问控制模型

XML文档存放的信息需要受到访问控制策略的保护.现有的一些面向XML文档的访问控制模型都是基于自主访问控制策略或基于角色的访问控制.高安全等级系统需要强制访问控制来保证系统内信息的安全.首先扩展了XML文档模型使其包含标签信息,并给出了扩展后的文档模型需要满足的规则.然后通过讨论XML文档上的4种操作,描述了面向XML文档的细粒度强制访问控制模型的详细内容.该模型基于XML模式技术,它的控制粒度可以达到文档中的元素或者属性.最后讨论了该模型的体系结构和一些实现机制。

hyo-xtm: a set of hyper-graph operations on xml topic map toward knowledge management

Knowledge management is a critical issue for the next-generation web application, because the next-generation web is becoming a semantic web, a knowledge-intensive network. XML Topic Map (XTM), a new standard, is appearing in this field as one of the structures for the semantic web. It organizes information in a way that can be optimized for navigation. In this paper, a new set of hyper-graph operations on XTM (HyO-XTM) is proposed to manage the distributed knowledge resources.HyO-XTM is based on the XTM hyper-graph model. It is well applied upon XTM to simplify the workload of knowledge management.The application of the XTM hyper-graph operations is demonstrated by the knowledge management system of a consulting firm. HyO-XTM shows the potential to lead the knowledge management to the next-generation web.

高性能的XML解析器OnceXMLParser

XML(extensible markup language)解析器是分析、处理XML文档的基础软件.研究高性能验证型XML解析器的实现.开发了支持3种解析模型的XML解析器OnceXMLParser,该解析器通过了严格的XML兼容性测试和API兼容性测试.OnceXMLParser具有轻量级体系结构并进行了多方面的性能优化,包括高效的词法分析、基于统计分析的自动机实现、合理的资源分配策略以及语言层次上的优化.性能测试结果表明,OnceXMLParser具有出色的解析性能.

高效XML验证技术的实现

XML解析器是分析、处理XML文档的基础软件。对XML解析器的高效验证技术进行了研究,实现了支持StAX接口的验证型解析器OnceStAXParser2.0。该解析器采用了多项性能优化措施,包括属性验证的高效实现、元素验证自动机的优化、基于统计的预测算法等。性能测试表明,在进行验证的条件下,OnceStAXParser2.0具有出色的解析性能。

基于DOM解析器的XML编辑器研究

DOM是一种独立于语言和平台的XML解析模型。给出了支持DOM核心模型和多种DOM扩展规范的XML编辑器ONCEXMLEditor的实现。ONCEXMLEditor具有高效的XML验证和序列化性能,同时提供给用户多种功能,包括按需遍历文档、提供上下文感知的编写环境、实时纠错、灵活的装载和序列化机制等。描述了ONCEXMLEditor的体系结构及其实现核心算法,同时给出了XML文档有效性验证和装载及序列化的性能优化策略。

支持StAX的高效XML解析器的设计与实现

StAX是JCP提出的一种新的XML解析方式,它提供给用户更多的解析控制权。本文给出了用于XML语法分析的下推自动机模型的设计以及StAX解析器OnceStAXParser的实现。OnceStAXParser在经过了严格的XML兼容性测试和StAXAPI兼容性测试之后,还从多个方面进行了性能优化,包括自动机实现优化、有计划的预分配和延迟处理策略以及适度封装策略等。性能测试数据表明,OnceStAXParser的吞吐量比SunSJSXP平均高5%,比BEAStAXRI平均高38%。

OnceSAXParser:一种高效轻量的XML解析器

通过优化XML词法和语法处理以及构造轻量级体系结构,实现了支持SAX的高效XML解析器――OnceSAXParser。文中还将OnceSAXParser与目前最流行的XML解析器Xerces进行了对比分析和性能测试,结果显示OnceSAXParser的性能比Xerces平均提高了27%以上。

一种基于XML的复合事件模型及其订阅语言

基于内容的Pub／Sub系统能够为大范围软件集成提供松耦合的、可扩展的集成能力，越来越引起人们的重视．现存的方法主要集中在对单一事件的匹配，缺乏对复合事件模型及其订阅语言的研究．针对此问题，文章给出一种基于XML事件的复合事件模型及其订阅语言，该模型包括事件时序逻辑模型和事件复合模式，并扩展了XML—QL语言得到复合事件订阅语言EXML—QL支持事件复合模型和模式；最后，依据该订阅语言的特点构造复合事件匹配算法，给出该算法的分析和验证．