Resultado da Pesquisa
A expressão de busca foi <secondaryty cn and ref conference and firstg LAC-CTE-INPE-MCTI-GOV-BR and y 2016 and not is * and not booktitle, Resumos and not booktitle, Abstracts>.
19 referências foram encontradas buscando em 15 dentre 15 sites
(este total pode incluir algumas duplicatas - para ver a conta certa clique no botão Mostrar Todas).
As 10 mais recentes estão listadas abaixo.
Data e hora local de busca: 08/03/2021 09:05.

Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N5J4RP
Repositóriosid.inpe.br/mtc-m21b/2017/01.04.15.53
Última Atualização2020:06.24.19.33.49 banon
Metadadossid.inpe.br/mtc-m21b/2017/01.04.15.53.46
Última Atualização dos Metadados2021:03.05.23.11.18 administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoOliveiraCarvBace:2016:EsDeEs
TítuloDesenvolvimento da biblioteca Hydroc - estudos na delimitação estocástica de bacias hidrográficas
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos1
Tamanho186 KiB
Área de contextualização
Autor1 Oliveira, Lucas Valério
2 Carvalho, Solon Venâncio de
3 Bacelar, Leonardo dos Santos
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJ99
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Universidade Estadual Paulista (UNESP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Centro Nacional de Monitoramento de Alertas de Desastres Naturais (CEMADEN)
Endereço de e-Mail do Autor1 lucasvalerio@live.com
2 solon.carvalho@inpe.br
3 santoslbl@gmail.com
Nome do EventoSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE)
Localização do EventoSão José dos Campos, SP
Data25-26 jul.
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais
Cidade da EditoraSão José dos Campos, SP
Tipo SecundárioPRE CN
Histórico2017-01-20 16:06:58 :: simone -> administrator :: 2016
2018-06-04 02:41:49 :: administrator -> simone :: 2016
2020-06-24 19:33:50 :: simone -> administrator :: 2016
2021-03-03 22:52:35 :: administrator -> simone :: 2016
2021-03-04 15:00:50 :: simone -> administrator :: 2016
2021-03-04 19:29:37 :: administrator -> banon :: 2016
2021-03-04 19:31:15 :: banon -> administrator :: 2016
2021-03-05 23:11:18 :: administrator -> banon :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
ResumoEste trabalho, iniciado em Agosto de 2015, tem como objetivo a continuidade ao Projeto de Iniciação Científica em andamento desde 2014, para o desenvolvimento da abordagem estocástica para delimitação de bacias hidrográficas com foco na extração e analise de grafos de drenagem. O trabalho realizado em 2014 tratou da analise entre as diferenças encontradas nos resultados entre o modelo estocástico e o determinístico na delimitação de bacias hidrográficas a partir da Biblioteca HydroC. Considerando eventos extremos de precipitação em um determinado terreno e que o volume de água seja tão grande que o sentido de escoamento não será apenas o de maior declividade (Modelo Determinístico) foi desenvolvido o modelo estocástico de delimitação de bacias que adota o sentido de escoamento como sendo aleatório para cada evento de precipitação. A aplicação do modelo estocástico gerou diversos resultados interessantes principalmente pelo fato do surgimento de novas áreas de contribuição para a bacia hidrográficas que são desconsideradas pelo modelo determinístico, fato muito importante para a discussão e tomada de decisões em casos de áreas de riscos e suscetíveis a desastres naturais. O trabalho atual trata do desenvolvimento e da análise da teoria de grafos aplicada no modelo estocástico de extração de bacias hidrográficas, esta abordagem considera que cada ponto do terreno como um vértice, ligados por arestas que correspondem a direção de fluxo de escoamento. A representação via grafos possibilita a determinação das cabeceiras e das confluências entre os cursos dágua de acordo com o número de arestas que ligam um vértice a rede de drenagem.
AreaCOMP
ArranjoINPE > Produção > LABAC > Desenvolvimento da biblioteca...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 04/01/2017 13:53 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N5J4RP
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N5J4RP
Idiomapt
Arquivo AlvoOliveira_desenvolvimento.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
banon
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N5NFF2
Repositóriosid.inpe.br/mtc-m21b/2017/01.05.15.54
Última Atualização2020:06.24.19.27.37 administrator
Metadadossid.inpe.br/mtc-m21b/2017/01.05.15.54.25
Última Atualização dos Metadados2021:03.04.23.41.29 administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoMarianoVijaSouzEndo:2016:InSoMé
TítuloInvestigação sobre métodos de geração de sequências de teste em grafos balanceados
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos2
Tamanho377 KiB
Área de contextualização
Autor1 Mariano, Matheus Monteiro
2 Vijaykumar, Nandamudi Lankalapalli
3 Souza, Érica Ferreira
4 Endo, André Takeshi
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHTU
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 matheus.mariano2@fatec.sp.gov.com
2 vijay.nl@inpe.br
3 ericasouza@utfpr.edu.br
4 andreendo@utfpr.edu.br
Nome do EventoSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE)
Localização do EventoSão José dos Campos, SP
Data25-26 jul.
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais
Cidade da EditoraSão José dos Campos, SP
Tipo SecundárioPRE CN
Histórico2017-01-05 15:54:36 :: simone -> administrator :: 2016
2017-01-07 10:51:21 :: administrator -> simone :: 2016
2017-01-20 16:20:50 :: simone -> administrator :: 2016
2018-06-04 02:41:49 :: administrator -> simone :: 2016
2020-06-24 19:27:38 :: simone -> administrator :: 2016
2021-03-04 23:41:29 :: administrator -> simone :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo de Versãopublisher
AreaCOMP
ArranjoINPE > Produção > LABAC > Investigação sobre métodos...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 05/01/2017 13:54 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N5NFF2
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N5NFF2
Idiomapt
Arquivo AlvoMatheus Monteiro Mariano.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosabstract accessionnumber archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N5E7JH
Repositóriosid.inpe.br/mtc-m21b/2017/01.03.18.34
Última Atualização2020:06.24.20.49.52 administrator
Metadadossid.inpe.br/mtc-m21b/2017/01.03.18.34.57
Última Atualização dos Metadados2021:03.04.23.41.15 administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoSilvaGuer:2016:CrBiMe
TítuloCriação da biblioteca de metadados para framework de gamificação
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos1
Tamanho187 KiB
Área de contextualização
Autor1 Silva, Jeremias Ponciano da
2 Guerra, Eduardo Martins
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 eduardo.guerra@inpe.br
Nome do EventoSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE)
Localização do EventoSão José dos Campos, SP
Data25-26 jul.
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais
Cidade da EditoraSão José dos Campos, SP
Tipo SecundárioPRE CN
Histórico2017-01-06 12:06:13 :: simone -> administrator :: 2016
2017-01-07 10:51:20 :: administrator -> simone :: 2016
2017-01-20 15:06:44 :: simone -> administrator :: 2016
2018-06-04 02:41:48 :: administrator -> simone :: 2016
2020-06-24 20:49:53 :: simone -> administrator :: 2016
2021-03-04 23:41:15 :: administrator -> simone :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo de Versãopublisher
ResumoA Gamificação (do original do inglês: gamification) corresponde ao uso de mecanismos de jogos orientados ao objetivo de resolver problemas práticos ou de despertar engajamento entre um público especifico. Com frequência cada vez maior, esse conjunto de técnicas tem sido aplicado por empresas e entidades de diversos segmentos como alternativas às abordagens tradicionais, sobretudo no que se refere a encorajar pessoas a adotarem determinados comportamentos ou a familiarizarem-se com as funcionalidades da aplicação. É importante lembrar que Gamificação não significa criar ou participar de jogos e sim aplicar elementos que fazem parte dos games responsáveis pelo engajamento e comportamento das pessoas nos mais diversos contextos. A gamificação envolve incentivar pessoas a se engajar em determinados comportamentos aproveitando a pré-disposição natural que o ser humano tem para resolver problemas e competir em jogos. Para que participem efetivamente, é preciso que elas saibam o caminho que precisa ser percorrido, tenham autonomia e visualizem o quanto estão evoluindo no processo. E para fazer tudo isso, é preciso, fundamentalmente, de tecnologia.Técnicas de gamification podem ser usadas para educação e treinamento, fazendo que com seus funcionários desenvolvam novas habilidades e competências, melhorando sua performance. Podem ser usadas para impulsionar o trabalho em equipe, aumentando o senso de colaboração e produtividade dos times. Para este trabalho foi utilizado o Framework Esfinge Gamificaion, que provê uma solução baseada em metadados, que permite a definição da lógica de Gamificação de uma aplicação, com pontos, troféus, etc, possa ser feita de forma declarativa e separa da fincionalidade principal, para a implementação mais flexível e desacoplada desse tipo de solução, utilizando de Reflexões e Anotações de JAVA.
AreaCOMP
ArranjoINPE > Produção > LABAC > Criação da biblioteca...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/01/2017 16:34 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N5E7JH
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N5E7JH
Idiomapt
Arquivo AlvoSilva_criacao.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N5E6A2
Repositóriosid.inpe.br/mtc-m21b/2017/01.03.18.18
Última Atualização2020:06.24.19.37.28 administrator
Metadadossid.inpe.br/mtc-m21b/2017/01.03.18.18.20
Última Atualização dos Metadados2021:03.04.23.41.09 administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoPintoGuer:2016:SoReCo
TítuloSolução reutilizável para consumo de anotações de código
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos1
Tamanho186 KiB
Área de contextualização
Autor1 Pinto, Gabriel Amboss
2 Guerra, Eduardo Martins
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Tecnológico de Aeronáutica (ITA)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 eduardo.guerra@inpe.br
Nome do EventoSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE)
Localização do EventoSão José dos Campos, SP
Data25-26 jul.
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais
Cidade da EditoraSão José dos Campos, SP
Tipo SecundárioPRE CN
Histórico2017-01-06 12:00:20 :: simone -> administrator :: 2016
2017-01-07 10:51:20 :: administrator -> simone :: 2016
2017-01-20 16:00:09 :: simone -> administrator :: 2016
2018-06-04 02:41:48 :: administrator -> simone :: 2016
2020-06-24 19:37:29 :: simone -> administrator :: 2016
2021-03-04 23:41:09 :: administrator -> simone :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
ResumoExistem situações em que se deseja modificar o comportamento de um software durante runtime, seja para fazer algo que orientação à objeto não é capaz, seja para simplesmente reduzir a quantidade de código similar que teria que ser replicado diversas vezes para atingir uma funcionalidade específica. Nesses casos é necessário o uso de reflexão de código, que essencialmente é a capacidade de um software poder se observar e modificar seu comportamento através de introspecção. Utilizando anotações é possível manipular instâncias de objetos e interagir com classes que não possuem uma estrutura previamente conhecida. Para utilizar reflexão em JAVA, utiliza-se a API Reflection, do pacote java.lang.reflect. No entanto, essa biblioteca não possui ferramentas adequadas para consumo e armazenamento de anotações, dificultando a programação reflexiva simples e eficiente. O objetivo da Iniciação Científica é, então, construir um container de metadados para consumir, armazenar e processar anotações feitas pelos programadores. Isso facilitará o uso customisável de uma framework (baseada em metadados) feita especificamente para as necessidades específicas do sistema sendo desenvolvido. Tal container será capaz, em seu estado final, de analisar estruturas em um código dado (sejam elas metadados, como anotações, ou conceitos mais tradicionais como métodos e parâmetros) e tratar do funcionamento de parâmetros e métodos anotados segundo a lógica especificada por quem está utilizando essa API de meta-framework. Resultados do projeto serão adicionados à Framework Esfinge (http://esfinge.sourceforge.net/Oprojeto.html) sob a categoria Metadata. As ferramentas desenvolvidas serão ultimamente utilizadas em outros grupos, como o Gamification, para o desenvolvimento de dados como troféus ou moedas que serão concedidas à programadores por realizarem certas tarefas como refatoração ou confecção de testes. É importante o uso de metadados para essa atividade para separar o código do programa sendo feito e o código referente às atividades de gamification, evitando assim código confuso e de baixa qualidade.
AreaCOMP
ArranjoINPE > Produção > LABAC > Solução reutilizável para...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/01/2017 16:18 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N5E6A2
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N5E6A2
Idiomapt
Arquivo AlvoPinto_solucao.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N5E5RS
Repositóriosid.inpe.br/mtc-m21b/2017/01.03.18.13
Última Atualização2020:06.24.20.42.28 administrator
Metadadossid.inpe.br/mtc-m21b/2017/01.03.18.13.50
Última Atualização dos Metadados2021:03.04.23.41.08 administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoSilvaSant:2016:TeSoVi
TítuloTestes de software via model checking para sistemas espaciais críticos
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos1
Tamanho253 KiB
Área de contextualização
Autor1 Silva, Felipe Elias Costa da
2 Santiago Júnior, Valdivino Alexandre de
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJB5
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 valdivino.santiago@inpe.br
Nome do EventoSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE)
Localização do EventoSão José dos Campos, SP
Data25-26 jul.
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais
Cidade da EditoraSão José dos Campos, SP
Tipo SecundárioPRE CN
Histórico2017-01-06 12:06:50 :: simone -> administrator :: 2016
2017-01-07 10:51:20 :: administrator -> simone :: 2016
2017-01-20 15:04:46 :: simone -> administrator :: 2016
2018-06-04 02:41:47 :: administrator -> simone :: 2016
2020-06-24 20:42:29 :: simone -> administrator :: 2016
2021-03-04 23:41:08 :: administrator -> simone :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo de Versãopublisher
ResumoTestes de software e Model Checking (método de Verificação Formal) são processos/métodos diferentes para assegurar a qualidade de sistemas de software. Para sistemas críticos, tais como satélites e aplicações de balões estratosféricos que o INPE desenvolve, a questão da qualidade é ainda mais relevante, pois um defeito no software pode ocasionar grandes perdas financeiras. Dado a busca exaustiva no espaço de estados que Model Checking realiza, pesquisadores vêm propondo gerar casos de testes de software por meio de Model Checking. Nesse contexto, o raciocínio é interpretar os contraexemplos gerados pelos Model Checkers (ferramentas de software que possuem uma realização da teoria de Model Checking) como casos de teste. O principal desafio é forçar o Model Checker a criar, sistematicamente, conjuntos de tais contraexemplos. Esse projeto de pesquisa possui três objetivos específicos: a.) realizar a geração de casos de teste de software a partir de Model Checking; b.) atualizar a metodologia e a ferramenta SOLIMVA com as soluções tecnológicas desenvolvidas no projeto; e c.) aplicar a nova versão da ferramenta e da metodologia SOLIMVA a software de sistema espacial crítico em desenvolvimento no INPE.
AreaCOMP
ArranjoINPE > Produção > LABAC > Testes de software...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/01/2017 16:13 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N5E5RS
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N5E5RS
Idiomapt
Arquivo AlvoSilva_testes.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N36KH2
Repositóriosid.inpe.br/mtc-m21b/2016/12.20.18.00
Última Atualização2021:02.12.13.32.45 simone
Metadadossid.inpe.br/mtc-m21b/2016/12.20.18.00.43
Última Atualização dos Metadados2021:02.12.13.32.46 simone
Chave SecundáriaINPE--PRE/
Chave de CitaçãoMaiaMaca:2016:SyCoNe
TítuloSynchronization and control in networks with strongly delayed couplings
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos1
Tamanho1003 KiB
Área de contextualização
Autor1 Maia, Daniel
2 Macau, Elbert Einstein Nehrer
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGUT
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 elbert.macau@inpe.br
Nome do EventoWorkshop de Computação Aplicada, 16 (WORCAP)
Localização do EventoSão José dos Campos, SP
Data25-26 out.
Tipo SecundárioPRE CN
Histórico2016-12-20 18:00:48 :: simone -> administrator :: 2016
2018-06-04 02:41:43 :: administrator -> simone :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
ResumoThe main purpose of the manuscript is to investigate the synchronization in networks of dynamical systems with strongly delayed connections. We obtain several strict conditions for synchronization of equilibria and periodic solutions by studying their linear stability. We also study how different types of networks influence the synchronization. Considering some regular net- works, as well as more complex heterogeneous and homogeneous networks, we show that it is more difficult to synchronize the heterogeneous networks with long-delayed connections, unless the coupling parameter scales with the total number of nodes. We derive the natural scaling of the coupling parameters, which allows for a synchronization. In networks with instantaneous self-connections, we show that it is possible to stabilize synchronous solutions that are unstable in an isolated system. We study in detail such a control close to a Hopf bifurcation and obtain strict conditions for the stability. In particular, it is shown that the stabilization domains in parameter space are reappearing periodically and decreasing in size with the increase of time-delays. We show how the frequency of the reappearance of the control domains is influenced by the number of cycle multipartitions of the graph.
AreaCOMP
ArranjoINPE > Produção > LABAC > Synchronization and control...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 20/12/2016 16:00 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N36KH2
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N36KH2
Idiomaen
Arquivo Alvomaia_synchronization.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N36DK2
Repositóriosid.inpe.br/mtc-m21b/2016/12.20.16.48
Última Atualização2021:02.12.13.28.37 simone
Metadadossid.inpe.br/mtc-m21b/2016/12.20.16.48.40
Última Atualização dos Metadados2021:02.12.13.28.38 simone
Chave SecundáriaINPE--PRE/
Chave de CitaçãoJoshiRosaStep:2016:AnIoPl
TítuloAnalysis of ionospheric plasma irregularities using multi-fractal detrended fluctuation analysis technique
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos1
Tamanho1008 KiB
Área de contextualização
Autor1 Joshi, Neelakshi
2 Rosa, Reinaldo Roberto
3 Stephany, Stephan
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJ5D
3 8JMKD3MGP5W/3C9JJ9D
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 reinaldo.rosa@inpe.br
3 stephan.stephany@inpe.br
Nome do EventoWorkshop de Computação Aplicada, 16 (WORCAP)
Localização do EventoSão José dos Campos, SP
Data25-26 out.
Tipo SecundárioPRE CN
Histórico2016-12-20 16:48:45 :: simone -> administrator :: 2016
2018-06-04 02:41:42 :: administrator -> simone :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
ResumoPlasma density irregularities occurring in the upper ionosphere are common in low latitude region and cover wide range of scales from few meters to hundreds of kilometers. These has been studied from many decades owing to their importance in communications as radio signals are distorted in amplitude causing loss of important information. By analogy with fluid turbulence, ionospheric plasma turbulence associated to equatorial plasma bubbles can be described by power laws and some information regarding their generation mechanism may be inferred from the slopes of the power spectra. Different data analysis techniques have been used to study ionospheric data and results show deviations from K41 theory for homogeneous turbulence. Mandelbrot surmised that turbulent dissipation can be modeled by a fractal and that part of fractal analysis of turbulence can be seen as the geometric counterpart of the analytic analysis of correlations and spectra. Detrended Fluctuation Analysis (DFA) technique is being recently used on in situ ionospheric measurements and results show a wide range of spectral index variations indicating lack of universality of class, which can be probably attributed to the non-homogeneity in energy cascade. In this work, we propose to use Multi-Fractal DFA (MFDFA) technique on in situ ionospheric data to try to analyze non-homogeneity in the energy cascade. In addition, it may also help in inferring the nature of turbulence ie whether it is hydrodynamic or more complex.
AreaCOMP
ArranjoINPE > Produção > LABAC > Analysis of ionospheric...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 20/12/2016 14:48 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N36DK2
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N36DK2
Arquivo Alvojoshi_analysis.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label language lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N3694P
Repositóriosid.inpe.br/mtc-m21b/2016/12.20.15.53
Última Atualização2021:02.12.13.22.12 simone
Metadadossid.inpe.br/mtc-m21b/2016/12.20.15.53.25
Última Atualização dos Metadados2021:02.12.13.22.13 simone
Chave SecundáriaINPE--PRE/
Chave de CitaçãoBenincasaGuer:2016:EvWeSe
TítuloEvolution of web services contracts and their variability during the life cycle of the project
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos1
Tamanho1003 KiB
Área de contextualização
Autor1 Benincasa, Diego
2 Guerra, Eduardo Martins
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 eduardo.guerra@inpe.br
Nome do EventoWorkshop de Computação Aplicada, 16 (WORCAP)
Localização do EventoSão José dos Campos, SP
Data25-26 out.
Tipo SecundárioPRE CN
Histórico2016-12-20 15:53:30 :: simone -> administrator :: 2016
2018-06-04 02:41:41 :: administrator -> simone :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
ResumoDuring a software system life cycle, project modifications occur for different reasons, either for natural evolution or requisites readjustment. Regarding web services, communication contracts modifications are equally usual, which induces the need for adaptation in every system node, from the client to the server side. The more significant those changes are, the greater the effort required for this adjustment. To help reducing the contracts changing impact over software source code, easy-to-adapt systems can be designed in order to minimize the application remodeling effort. However, to make this approach possible, it is necessary to understand how those contract changes occur, analyzing the most common modification types and how often they happen. In this sense, the present work evaluates the change history of different open-source projects whose web service contracts are defined using Web Service Description Language (WSDL) documents with XML Schema Definition (XSD). It is desirable that the results of this evaluation underpin modification patterns or tendencies in projects like defined before in order to carry on web services development. This work presents a study on analyzing XSD schemas and inspecting the evolution of three XSD tag types during the project life cycle, using the MetricMiner tool combined with XMLunit Java library. As a result, it was possible to evaluate the frequency of changes per tag type, classified by modification type. Based on that, it was possible to assess what exactly is changed inside the schemas at each commit. This outcome can possibly reveal contracts changing patterns and support easy-to-adapt web services implementation.
AreaCOMP
ArranjoINPE > Produção > LABAC > Evolution of web...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 20/12/2016 13:53 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N3694P
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N3694P
Idiomaen
Arquivo Alvobenincasa_evolution.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N36K3L
Repositóriosid.inpe.br/mtc-m21b/2016/12.20.17.54
Última Atualização2021:01.13.11.47.36 simone
Metadadossid.inpe.br/mtc-m21b/2016/12.20.17.54.29
Última Atualização dos Metadados2021:01.13.11.47.37 simone
Chave SecundáriaINPE--PRE/
Chave de CitaçãoMedeirosSantShig:2016:GeInFr
TítuloGerenciamento integrado de frotas baseado no prognóstico e monitoramento de falhas do veículo
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos1
Tamanho958 KiB
Área de contextualização
Autor1 Medeiros, Ivo
2 Santos, Rafael Duarte Coelho dos
3 Shiguemori, Elcio
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJ4N
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 rafael.santos@inpe.br
Nome do EventoWorkshop de Computação Aplicada, 16 (WORCAP)
Localização do EventoSão José dos Campos, SP
Data25-26 out.
Tipo SecundárioPRE CN
Histórico2016-12-20 17:54:35 :: simone -> administrator :: 2016
2018-06-04 02:41:43 :: administrator -> simone :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
ResumoEsse trabalho trata do suporte a tomada de decisão em relação ao gerenciamento integrado da operação e manutenção de uma frota de veículos e do estoque de peças para realizar manutenção; baseados na informação sobre a saúde de cada veículo. A condição de cada veículo é dada através da sumarização da informação de degradação de cada equipamento que compõe o veículo. Essa informação sobre a condição de saúde de cada equipamento é representada através de distribuições de probabilidade de falhas e/ou índices de degradação do mesmo, que alimentam algoritmos de inteligência artificial e otimização que geram programação de manutenção e alocação de tarefas para veículos dadas a condição de saúde dos equipamentos que compõe aquele veículo e sujeita a disponibilidade de recursos como peças, ferramentas e recurso humano. Uma arquitetura distribuída, baseada em sistemas multi-agentes é utilizada para integrar os algoritmos de decisões envolvidos; nessa arquitetura um protocolo de negociação entre os agentes é aplicado, a fim de se obter uma decisão integrada resultante de otimização distribuída entre os agentes que representam a perspectiva de operação e manutenção da frota; além do agente que representa o gerenciamento de peças para atender a manutenção; todos baseados na informação prognóstico e monitoramento da saúde dos sistemas dos veículos.
AreaCOMP
ArranjoBDMCI > Fonds > Produção > LABAC > Gerenciamento integrado de...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 20/12/2016 15:54 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N36K3L
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N36K3L
Idiomapt
Arquivo Alvomedeiros_gerenciamento.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3N5NEFB
Repositóriosid.inpe.br/mtc-m21b/2017/01.05.15.42
Última Atualização2020:06.22.19.36.04 simone
Metadadossid.inpe.br/mtc-m21b/2017/01.05.15.42.42
Última Atualização dos Metadados2020:06.22.19.36.05 simone
Chave SecundáriaINPE--PRE/
Chave de CitaçãoJuremaCarvSant:2016:MoExDe
TítuloModelagem exponencial e de poisson para dados reais de mobilidade urbana
Ano2016
Data de Acesso08 mar. 2021
Número de Arquivos1
Tamanho186 KiB
Área de contextualização
Autor1 Jurema, Maria Carolina Barbosa
2 Carvalho, Solon Venâncio de
3 Santos, Leonardo Bacelar Lima
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJ99
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Universidade Estadual Paulista (UNESP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Centro Nacional de Monitoramento de Alertas de Desastres Naturais (CEMADEN)
Endereço de e-Mail do Autor1 mariacarolinabj@gmail.com
2 solon.carvalho@inpe.br
3 santoslbl@gmail.com
Nome do EventoSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE)
Localização do EventoSão José dos Campos, SP
Data25-26 jul.
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais
Cidade da EditoraSão José dos Campos, SP
Tipo SecundárioPRE CN
Histórico2017-01-20 16:56:10 :: simone -> administrator :: 2016
2018-06-04 02:41:49 :: administrator -> simone :: 2016
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
ResumoO presente trabalho teve como objeto de estudo dados reais de mobilidade urbana referentes à cidade de São José dos Campos/SP aplicados a modelos estatísticos computacionais. O projeto deu sequência às investigações do primeiro ano de bolsa PIBIC (2014.2 a 2015.1), que foi premiado com menção honrosa no SICINPE 2015. O modelo estatístico gravitacional foi aplicado aos dados reais (Pesquisa Origem-Destino) de fluxo populacional e distância entre as Zonas de Tráfego da cidade de São José dos Campos, gerando gráficos de fluxo por distância entre zonas. O mesmo tipo de aplicação do modelo gravitacional também foi realizado empregando valores de tempo do trajeto entre os pares de zonas, em substituição aos valores de distância, e os mesmos graficos foram plotados. Para a aplicação do modelo gravitacional, nesta segunda etapa, decidiu-se que seria mais viável criar um simples código em Linguagem C para inserir os dados de entrada e variáveis presentes na fórmula do modelo, e gerar um arquivo de saída com a situação já modelada. Os resultados considerando o critério de distância espacial foram mais próximos aos dados observados do que os resultados referentes ao critério temporal, e, em ambos os casos (espaço e tempo) as analises iniciais das distribuições estatísticas sugeriram que nem o ajuste exponencial nem o de Poisson representam adequadamente os dados. Durante este segundo período do projeto, foi também estudada a relação entre mobilidade urbana, fluxos populacionais e a rede de drenagem de São José dos Campos, destacando a possível influência negativa (impactos de desastres hidrológicos) dos rios e córregos existentes na cidade sobre o deslocamento da população. Para este outro viés do projeto, utilizou-se dados referentes à delimitação de bacias hidrográficas, bem como das zonas de tráfego e valores de fluxo. Montou-se então, submatrizes de fluxo populacional de acordo com cada bacia hidrográfica. Durante o projeto, foi fundamental exercer a prática da utilização de Sistemas de Informação Geográfica (SIG), principalmente o TerraView, desenvolvido pelo INPE, e ambientes de desenvolvimento e compilação para os códigos em Linguagem C.
AreaCOMP
ArranjoINPE > Produção > LABAC > Modelagem exponencial e...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 05/01/2017 13:42 1.0 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34P/3N5NEFB
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3N5NEFB
Idiomapt
Arquivo AlvoJurema_modelagem.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosaccessionnumber archivingpolicy archivist booktitle callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readpermission rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume