基于RFID的基带通信IP核的设计与仿真

分析基于射频识别(RFID)技术的系统基带通信过程,建立RFID基带传输模型,利用FPGA技术实现具有基带编解码、数据收发功能的通信IP核,介绍基于模块化思想的基带通信IP核的RTL设计方法,利用QuartusⅡ与Simulink工具进行系统仿真,仿真实验结果表明,该通信模块是有效的,能够为设计RFID通信系统提供高度集成的基带通信IP核。

基于KQML语言的合同网协议模型及实现

本文首先分析了基于 KQML会话的 Multi- Agent系统 ( MAS)构成及其特点 ,然后提出了基于 CORBA、KQML的合同网协议 ( CNP)系统模型及 Agent通信模型 ,并针对此合同网模型 ,结合调度系统实例分析了其中 KQML语言的形式化表达方式

不确定性类型对概率表达和概率判断的影响

The present research firstly reviewed the experimental literature on probability expression and probability judgment, hypothesizing that individuals’ preference of probability expressions (verbal probability vs. numerical probability) and tendency for overextremity in probability judgment might differ with respect to different types of uncertainty. Five studies were conducted to test this hypothesis. In Study 1, questionnaires were used to explore the communication preference among Chinese-speaking people. Study 2 adapted the View of Uncertainty Questionnaire to explore the difference of verbal answers to three kinds of uncertainty. Study 3 and Study 4 used methods of the paper-and-pencil questionnaire and the laboratory experiment, respectively, to test the effects of uncertainty types on the preference of probability expressions and on the tendency for over-extreme probability judgment. Finally, Study 5 focused on individuals’ preference of probability expressions under various kinds of scenarios. The results were as follows: 1. The Communication Model Preference paradox phenomenon appears to be even more pronounced in the Chinese culture than in American English cultural settings. 2. The Chinese prefer more verbal probability expressions when communicating uncertainty in a weather-forecasting context than in a general context. 3. Sample groups with lower level of westernization tend to give more extreme answers and less probabilistic answers. 4. Types of uncertainty did have effects on individuals’ tendency for over-extreme probability judgment: under a traditional probability judgment task, people tend to be more over-extreme on internal uncertainty events than on external uncertainty events; however, this result is reversed under a gambling task. 5. Individuals’ preference for verbal probability expressions is more salient on internal uncertain events than on external uncertain events.

Basis Token Consistency: A Practical Mechanism for Strong Web Cache Consistency

With web caching and cache-related services like CDNs and edge services playing an increasingly significant role in the modern internet, the problem of the weak consistency and coherence provisions in current web protocols is becoming increasingly significant and drawing the attention of the standards community [LCD01]. Toward this end, we present definitions of consistency and coherence for web-like environments, that is, distributed client-server information systems where the semantics of interactions with resource are more general than the read/write operations found in memory hierarchies and distributed file systems. We then present a brief review of proposed mechanisms which strengthen the consistency of caches in the web, focusing upon their conceptual contributions and their weaknesses in real-world practice. These insights motivate a new mechanism, which we call "Basis Token Consistency" or BTC; when implemented at the server, this mechanism allows any client (independent of the presence and conformity of any intermediaries) to maintain a self-consistent view of the server's state. This is accomplished by annotating responses with additional per-resource application information which allows client caches to recognize the obsolescence of currently cached entities and identify responses from other caches which are already stale in light of what has already been seen. The mechanism requires no deviation from the existing client-server communication model, and does not require servers to maintain any additional per-client state. We discuss how our mechanism could be integrated into a fragment-assembling Content Management System (CMS), and present a simulation-driven performance comparison between the BTC algorithm and the use of the Time-To-Live (TTL) heuristic.

Modelo para a valorização partilhada da marca: a comunicação mediada por computador como suporte ao envolvimento dos recursos humanos na cocriação da marca organizacional

No atual contexto de disseminação e uso das tecnologias da comunicação para a geração de conteúdo não especializado, igualmente partilhado e utilizado, torna-se pertinente sublinhar a participação dos recursos humanos na cocriação da marca organizacional. Esta participação, todavia, encontra alguns constrangimentos e necessidades, tais como a falta de orientação no uso devido da marca gráfica, e a adequação das ferramentas comunicacionais e de gestão do conhecimento de que estes indivíduos são portadores. Neste enquadramento, pretende-se validar um modelo heurístico que explique, satisfatoriamente, de que forma as organizações podem envolver os seus recursos humanos em atividades de valorização da marca, em contextos de informação e comunicação tecnologicamente mediados, e que possa assumirse como um impulsionador da adoção destas práticas. A abordagem metodológica é de natureza exploratória, iterativa e qualitativa, assentando na Grounded Theory e, portanto, num processo indutivo de produção de conhecimento, reconhecendo a existência de momentos de descoberta e, aproximando-se do paradigma construtivista. O estudo que conduz à proposta final de um modelo de comunicação mediada por computador para a valorização da marca assenta, essencialmente, na revisão da literatura através da pesquisa bibliográfica, e num estudo de caso, que assume como procedimentos técnicos os inquéritos por entrevista, para uma primeira verificação dos pressupostos do modelo, a construção de um protótipo não-funcional de uma Central Participativa de Marca (CPM), capaz de expressar a componente tecnológica presente no modelo, e a realização de grupos focais, com o intuito de alcançar a sua validação não-experimental. O estudo de caso realizado debruça-se sobre a Universidade de Aveiro (UA) e sobre o uso e apropriação da sua marca, por parte dos membros da sua comunidade docente e não-docente. Os resultados das entrevistas exploratórias, para as quais se recorre a uma amostra por conveniência composta por entidades relevantes no que à promoção da marca da UA concerne, são combinados com os conteúdos extraídos do levantamento bibliográfico, de modo a serem contemplados tanto na aferição dos domínios de interação que informam o modelo, como na conceção do protótipo de uma plataforma de colaboração online, especificamente orientada à marca, apresentado a cinco grupos focais que neles integram a população-alvo estudada. Este estudo empírico permite uma primeira validação do modelo heurístico proposto, confirmando que a participação na cocriação de artefactos de marca tende a acontecer de forma não oficial, por falta de iniciativas organizacionais que valorizem o capital humano, e que a orientação para o uso e apropriação da marca é fundamental na concretização deste tipo de contributos, dados por indivíduos não especializados em branding, design, comunicação ou estratégia de marketing. Os resultados permitem validar ainda a configuração e a estrutura de interação propostas para o sistema subjacente ao protótipo da CPM, assim como a generalidade das suas funcionalidades, permitindo a proposta de uma heurística focada na experimentação da marca no seio organizacional. Finalmente, são identificadas linhas de investigação futura nesta área, decorrentes dos resultados alcançados e das limitações do estudo realizado.

A comunicação entre o diretor e os professores no agrupamento X

A comunicação é essencial nas relações interpessoais, quer ao nível das organizações em geral, quer na organização escolar em particular. As funções de administração, como planeamento, organização, liderança e controle, são levadas a cabo com sucesso, dentro de uma organização quando apoiadas num processo de comunicação eficaz. O objectivo deste estudo foi procurar soluções para a ineficácia relativa do processo de comunicação entre o Diretor e os professores no Agrupamento X. Metodologicamente desenvolveu-se um estudo de caso, de natureza qualitativa, onde se recorreu a instrumentos de recolha de dados como entrevistas e ‘focus group’. Desta forma identificou-se e descreveu-se o processo de comunicação adotado no Agrupamento X entre o Diretor e os professores, bem como se recolheram as opiniões dos docentes e do Diretor sobre a comunicação e a gestão da informação no Agrupamento. Este estudo permitiu reconhecer que a fraca internalização de alguns conceitos e mecanismos do processo comunicacional por parte dos atores contribui para ineficácia relativa deste processo. Na criação do plano de ação retomámos e valorizamos a ideia de que um modelo de comunicação assente nas principais funções da comunicação poderá ser a chave para o maior envolvimento dos docentes na consecução dos objetivos do Projeto Educativo do Agrupamento, ou seja, é dada a resposta à pergunta partida deste projeto – como melhorar o processo de comunicação entre o Diretor e os professores no Agrupamento X?

Connecta TV : modelos de comunicação organizacional : Desenvolvimento, implementação e análise de uma solução integrada aplicada ao mercado do telemarketing nacional

Esta dissertação é um trabalho de projeto que pretende contribuir para o desenvolvimento dos estudos da comunicação organizacional. Devem ou não ser utilizadas soluções digitais em modelos de comunicação organizacional e quaisosbenefíciosdo uso de soluções digitais no âmbito da comunicação organizacional de uma empresa? No corpo de texto deste trabalho surge a resposta a estas questões com base na análise prática da investigação desenvolvida. A investigação desenvolvida tem como objetivo encontrar um modelo de comunicação eficaz baseado no uso de soluções digitais. A solução digital criada, que é o objeto de estudo deste trabalho de projeto, foi desenhada e concebida com a finalidade de ser implementada e testada numa empresa de telemarketing parceira, que atua, essencialmente, em Outbound (venda direta ao consumidor).A solução tem como intenção global envolver e motivar os teleoperadores da empresa, no intuito de aumentara sua produtividade.É descortinada a estratégia e o desenvolvimento da solução criada,assim como a sua avaliação pelos utilizadores, concluindo com uma análise detalhada dos resultados obtidos através daavaliação dos utilizadores.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Open and Standardized Resources for Smart Transducer Networking

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

Práticas de saúde em Enfermagem e Comunicação: um estudo de revisão da literatura

As mudanças na prática de saúde do enfermeiro em programas emergentes como o Programa Saúde da Família nos levaram a estudar os processos comunicacionais que se colocam a esta prática. Mediante estudo de revisão bibliográfica de janeiro de 1994 até dezembro de 2004, investigamos 26 artigos de periódicos nacionais e internacionais, quatro dissertações, três teses e quatro livros nas bases de dados da BIREME (LILACS e SCIELO-Br) a partir dos unitermos comunicação, Programa Saúde da Família e enfermagem. Foram identificadas 373 citações com comunicação e enfermagem, 12 citações usando programa saúde da família e comunicação (LILACS) e 18 citações com comunicação e enfermagem e zero citações com programa saúde da família e comunicação (SCIELO-Br). Para analisar as publicações, buscamos agrupá-las em quatro tendências acerca da relação comunicação e práticas na enfermagem: comunicação nas equipes do PSF, comunicação na prática profissional do enfermeiro, comunicação como instrumento de liderança do enfermeiro, comunicação no contexto do ensino da enfermagem. O estudo permitiu observar que, apesar do modelo hegemônico nas práticas de saúde ser o unilinear, já é nítido um movimento no sentido de uma prática comunicacional mais dialógica que aparece como um desafio na prática do enfermeiro no PSF.

Open and standardized tools for smart transducer networking

IEEE 1451 Standard is intended to address the smart transducer interfacing problematic in network environments. Usually, proprietary hardware and software is a very efficient solution to in planent the IEEE 1451 normative, although can be expensive and inflexible. In contrast, the use of open and standardized tools for implementing the IEEE 1451 normative is proposed in this paper. Tools such as Java and Phyton programming languages, Linux, programmable logic technology, Personal Computer resources and Ethernet architecture were integrated in order to constructa network node based on the IEEE 1451 standards. The node can be applied in systems based on the client-server communication model The evaluation of the employed tools and expermental results are presented. © 2005 IEEE.

T-Commerce e televisão digital: estudo e implementação de modelos conceituais

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC

A Natureza da reorganização do pensamento em um curso a distância sobre tendências em educação matemática

Pós-graduação em Educação Matemática - IGCE

Reflexões sobre metodologia aplicada na construção de pesquisas científicas na área de comunicação social

The questions arise about the teaching and practice of the methodology of communication research. The aim is to reflect on the possibility of building research projects and develop research and scientific production in the area of social communication at the graduate level, articulating the epistemological interfaces, methodical, theoretical and methodological techniques for design of empirical research in communication, developed by Lopes (2010), adapting it to the Spiral model of knowledge creation, developed by Takeuchi and Nonaka (2008), to support the learning of the methodological procedures that involve scientific research in communication.

A educação para os 'meios e os fins': a informação, o conhecimento e a comunicação na educação escolar básica e universitária

This research has as its main reference, the need to detect the development initiatives by public higher education, concepts, methods and teaching and pedagogical tools and to investigate the ability to transfer knowledge and practices of teaching and learning produced for other levels education. The task of providing appropriate training of teachers of basic education to university education is a vital political and administrative demands for a large country, which needs to adequately educate its people, so he can face in the right conditions, the huge and complex demands of regional and national development. The research presented here, aims to gauge the extent and adequacy of current media and information as tools for teaching and pedagogical transfer the knowledge and practices of teaching and learning as a tool for updating and also for training or non-presence blended Primary School Teacher Education. From the established goals will be carried out research, conceptual and field, to analyze and evaluate some educational practices and resulting forms of communication and also to assess the effects brought about by replacing the linear communication model and the model of unilateral to multilateral communication networks on digital models, and practices of schooling. The results obtained from both theoretical and practical will be on the selection of concepts, content production, methodologies and resources run by different "means" integrated with the cultural, economic and social development, both locally, regionally or nationally. The strategic aim will be to expand from the analysis, production and dissemination of concepts, methods and tools made by teachers of Basic Education and Higher Education, teaching and pedagogical possibilities of media and digital devices that are emerging as the derivation of network communication.