750 resultados para informal and formal teaching
Resumo:
Apesar de ter produzido incansavelmente na área de ensino e aprendizagem de língua adicional com crianças, adolescentes e jovens adultos, a Linguística Aplicada (LA) ainda não desenvolveu um acervo que ilumine os diferentes aspectos do processo de ensino e aprendizagem de segunda língua para adultos da terceira idade. Entre os poucos estudos desenvolvidos na área, destacam-se as pesquisas de Pizzolatto (1995), sobre as características do processo de ensino e aprendizagem de segunda língua com adultos da terceira idade; de Conceição (1999), sobre as estratégias de aprendizagem utilizadas por idosos; de Scopinho (2009), acerca dos subsídios para elaboração e utilização de materiais didáticos desenhados para a terceira idade; e de Oliveira (2010), sobre as crenças e experiências de idosas aprendendo inglês em uma escola pública. Como forma de contribuir para o preenchimento dessa lacuna e concretizar um desejo pessoal, surgido a partir dos desafios experienciados enquanto estagiário de iniciação à docência de inglês nos anos de 2008 e 2009, esta pesquisa almeja entender o processo de ensino e aprendizagem de inglês com adultos da terceira idade a partir de três perspectivas: a das professoras, a dos alunos e a minha, enquanto pesquisador. Para tanto, três perguntas de pesquisa foram estabelecidas: (1) como os participantes do contexto (professoras, alunos e pesquisador) entendem o papel do curso e o processo de ensino e aprendizagem de inglês? (2) Que práticas pedagógicas são apreciadas pelos alunos? e (3) De que forma os materiais existentes se relacionam com as preferências dos alunos? Compartilhando com Richardson (1994) o conceito de cristalização, intenciono compreender diferentes aspectos do contexto investigado, a saber, as aulas de inglês do projeto Línguas Estrangeiras para Terceira Idade (LETI) da Universidade Aberta da Terceira Idade da UERJ (UnATI/UERJ), encarando-o como um cristal multifacetado. Para gerar dados, utilizei quatro instrumentos de pesquisa: um questionário socioeconômico e cultural, duas entrevistas inspiradas no conceito de grupos focais (GASKELL, 2002), uma realizada com as professoras e outra com cinco alunos, e observações de aulas com notas de campo. Este estudo se vale do aporte teórico das áreas de Aquisição de Segunda Língua, condição Pós-método, ensino e aprendizagem de línguas sob a ótica da teoria da complexidade, teoria dos posicionamentos e ensino e aprendizagem de inglês com adultos da terceira idade. Os fios temáticos emergentes das práticas discursivas dos participantes são (1) memória, (2) afeto e emoções, (3) socialização, (4) conversação, música e tradução, (5) dedicação ao estudo, (6) heterogeneidade dos grupos, (7) uso de novas tecnologias e (8) material didático. As categorias de análise são memória e afetividade na aprendizagem de língua estrangeira, teoria dos posicionamentos e macroestratégias da condição Pós-método. Entre os achados estão a importância da memória e da afetividade na aprendizagem de inglês, o desejo dos alunos por atividades de conversação, o apreço que eles têm pela música e a inexistência de materiais desenhados para o público da terceira idade. As práticas discursivas são analisadas e discutidas com vistas à elaboração de materiais didáticos para o público da terceira idade
Resumo:
O estudo que apresento está assentado em questões, cujo aprofundamento pretende trazer contribuição à ressignificação dos processos de ensino-aprendizagem, especialmente no âmbito da geometria espacial. Dentre as questões destaco: (1) a relação entre cibercultura e processos de ensinar-aprender, especialmente no que se refere ao conteúdo da geometria espacial, (2) os modos de sentir, de expressar-se e de aprender que a mediação da cultura digital traz contemporaneamente para os jovens; (3) a pesquisa entendida como acontecimento/experiência, cuja dimensão de intervenção permite a pesquisador e pesquisados relacionarem-se dialogicamente, reconhecendo-se como co-autores do processo de investigação. O principal interesse da pesquisa foi investigar se a dinâmica do uso das tecnologias em redes, própria da cibercultura, pode ressignificar o aprendizado do conhecimento de geometria espacial de jovens alunos do Ensino Médio. A abordagem teórico-metodológica está fundamentada nos princípios bakhtinianos da dialogia e da alteridade e no conceito vigotskiano de mediação. Sob a orientação da abordagem histórico-cultural, outros interlocutores teóricos contribuiram de modo significativo para a compreensão das questões que envolvem a relação entre educação e processos comunicacionais pós-massivos, tendo sido indispensáveis à construção e interpretação dos dados Dentre eles, cito Lucia Santaella, Maria Teresa Freitas, Pierre Lévy, Marília Amorim, Maria Helena Bonilla, Nelson Pretto, Edmea Santos, Guaracira Gouvêa, Maria Luiza Oswald, entre outros. O estudo foi realizado numa escola da rede estadual na cidade de Cabo Frio/RJ, sendo sujeitos da pesquisa 78 alunos/as do 2 e 3 ano do Ensino Médio. Para colher as informações de caráter objetivo, foi aplicado um questionário através do aplicativo Google Docs. Os dados qualitativos foram construídos por intermédio da dinâmica de convergência de mídias que engloba a metodologia Webquest, a interface wiki e o software Geogebra. Tendo em vista os pressupostos do estudo que relacionam propostas autorais, posturas alteritárias e práticas cotidianas procurei construir uma estratégia metodológica em que a apropriação das dinâmicas ciberculturais e das interfaces digitais fosse capaz de me auxiliar a identificar como usar estes dispositivos no processo de ressignificação da construção do conhecimento geométrico, bem como descobrir os limites de sua aplicação. Os resultados alcançados, ainda que provisórios dado o inacabamento dos acontecimentos que fazem da pesquisa uma experiência inacabada, apontam para a necessidade de reconhecer os jovens como produtores de saberes que deveriam ser legitimados para que a prática de ensinar-aprender geometria resultasse em conhecimento que articula ciência e vida cotidiana. Essa foi a valiosa lição que a pesquisa trouxe à minha própria prática de professora de matemática, lição que, espero, possa ecoar para outros professores.
Resumo:
Esta tese desenvolve estudo do ensino de Redação com análise de textos discentes, cujo marco regulatório para a produção das aulas são as Competências e Habilidades inscritas nos PCN. Objetiva-se a correção de redações por meio digital que (1) identifica os problemas do texto produzido pelo redator, (2) fornece instruções para correção do problema apontado, (3) propõe retextualização para nova correção e (4) utiliza os desvios apontados como orientadores das aulas de Gramática. O trabalho final tem por objetivo principal ensinar a redigir no registro padrão por meio da correção comentada de textos produzidos por clientes, que podem ser alunos ou não, uma vez que o trabalho ocorre pela Internet (à distância), com ferramentas do MS Word. A instrução gramatical incidente sobre problemas detectados no texto é subsidiada por instruções semióticas de cunho didático-pedagógico. Testado em turmas regulares do Ensino Médio, em Cursos Preparatórios para processos seletivos, este projeto constatou sua eficácia, pois os redatores (1) compreenderam o quê e por que erraram, (2) assimilaram os mecanismos linguísticos de correção/adequação e (3) praticaram a substituição de estruturas, orientados por princípios da Teoria da Iconicidade Verbal (SIMÕES, [1994], 2009). Assim, os sujeitos foram-se apropriando das regras de estruturação da língua, por meio das quais se tornou possível a produção de textos eficientes, adequados à situação de comunicação. Paralelamente foram-se formando leitores críticos. A negociação de textos, a técnica de correção digital, mediada pela Internet e por isso realizada à distância (mesmo quando combinada com aulas presenciais)e a forma da instrução semiótico-gramatical é o que se pretende demonstrar nesta tese
Resumo:
Esta dissertação propõe investigar o sintoma anoréxico na estrutura neurótica como um sintoma contemporâneo em consequência da baixa operatividade da função paterna e da incidência avassaladora do Desejo Materno. A pesquisa foi iniciada por um levantamento histórico-bibliográfico do jejum e da recusa alimentar ao longo da história, até o estabelecimento da anorexia como uma psicopatologia. Para dar sustentação ao eixo central desta Dissertação, a pesquisa explora o conceito de pai na Obra de Freud e no ensino de Lacan, investigando a baixa operatividade desta função e seus efeitos na formação do sintoma. O conceito de pulsão é explorado com o objetivo de compreender a anorexia como uma invasão pulsional no corpo decorrente da precária sustentação da armadura simbólica que a lei paterna insere. Deste modo, esta Dissertação expõe duas hipóteses centrais: a anorexia como uma manobra de separação, operação que a função paterna não inscreve devidamente e desta forma um recurso diante da hegemonia materna; e a anorexia como estragos que apontam a invasão da mortífera pulsão no corpo, decorrentes da presença avassaladora do Outro materno e da inconsistência da função paterna
Resumo:
Reclamações contra a sinalização viária existente no Rio de Janeiro são comuns. A cidade ainda é a porta de entrada do Brasil e o destino preferido dos visitantes. Dentro de pouco tempo, o Rio será palco de importantes eventos esportivos internacionais e há preocupação em como poderá a cidade oferecer orientação para os turistas que nela venham a transitar. Este estudo procura saber quais são, de fato, os motivos que justificam as incessantes queixas contra a sinalização instalada e procura extrair daí diretrizes que possam ser aplicadas aos projetos de sistemas de sinalização que efetivamente resolvam os problemas de orientação dos usuários. Para isso, procurou-se primeiro mapear o contexto histórico em que vem evoluindo a sinalização de trânsito; em seguida, examinou-se em que implica o desenvolvimento de projetos de sinalização em geral; para no próximo passo se focar questões da sinalização de trânsito. Foram feitos dois levantamentos: o primeiro, de entrevistas estruturadas individualizadas com taxistas, que são usuários intensos das vias e da sinalização. A amostra escolhida foi de 19 taxistas frequentadores da Praça Santos Dumont, localizada na Zona Sul da cidade, e um importante entroncamento de tráfego. O segundo envolveu cinco profissionais designers com o perfil de experiência prévia no desenvolvimento de projetos de sistemas de sinalização. Com esse grupo, a técnica utilizada foi a de Think Aloud Protocol, através da qual cada um desses indivíduos foi acompanhado e documentado enquanto dirigia e se orientava pela sinalização num trajeto que vai desde a citada Praça Santos Dumont até o Estádio do Maracanã, situado na Zona Norte da cidade, e que costuma ser um destino preferencial em eventos esportivos. Os resultados das duas pesquisas foram analisados e deles extraídas diretrizes que são apresentadas nas Conclusões e que objetivam a eficácia do sistema através de mensagens claras, textos legíveis, posicionamento oportuno e estabilidade formal visando o reconhecimento e o entendimento por parte do usuário.
Resumo:
Esta pesquisa tem por objetivo analisar o conjunto de atividades desenvolvidas na Formação de Formadores, oferecida pelo PROEJA Fic entre os anos de 2010 e 2013, no município de Nilópolis. Desta forma, buscouse considerar as diferentes vinculações docentes ao projeto e seus efeitos de implicação e sobreimplicação com relação às atividades propostas e ao próprio fazer laboral. Adotouse a utilização de procedimentos metodológicos coadunantes com o campo do institucionalismo, sendo a intervenção realizada através de grupo focal com os professores participantes da Formação. Inicialmente, é desenvolvida uma discussão em torno da atividade laboral nas sociedades contemporâneas, buscandose evidenciar seu caráter dualista e estratificador. No que tange à atividade docente, evidencia os impactos desta ruptura nos modos de existência destes profissionais. Em seguida, são apresentadas as diferentes concepções de educação profissional e suas interfaces com as políticas relativas à Educação de Jovens e Adultos e a regulamentação dos processos de formação inicial e continuada docente, evidenciando a organização política e social da categoria em torno destas questões. Por fim, são apresentadas as diferentes abordagens de formação docente adotadas no Brasil, suas concepções e sentidos, bem como é analisado o conjunto de atividades da Formação de Formadores, tendo como elementos de análise não apenas os documentos normativos e os registros oficiais, mas, principalmente, o relato dos docentes, materializado através das falas durante os grupos focais e de suas ações/ reações/ subversões ao longo do processo
Resumo:
A tese procura compreender quais ações sociais estão presentes na recepção e produção de obras de arte contemporânea. O ponto de vista da etnometodologia é de que os processos de interação são originários e formais, pois o sujeito fenomenológico não se percebe, é sempre o outro para o qual se dirige. E, ao mesmo tempo, as ações sociais e interpretações são orientadas por métodos (pressupostos e subentendidos) compartilhados entre agentes. Para investigar estes métodos, deve-se situá-los no contexto de uso, as circunstâncias concretas, que os tornam observáveis e relatáveis (accountable) por meio de operações de visibilização e/ou ocultamento, antecipação e/ou aguardo. A etnometodologia observa as ações sociais em situações rotineiras, nas quais os agentes lançam mão do conhecimento que compartilham e esperam que os outros façam o mesmo. É quando se age sem pensar. As artes são frequentemente analisadas segundo as diferenças produzidas nas relações cotidianas, oferecendo outros olhares e deslocamentos para o que já é habitual. Não negamos esta condição, mas compreendemos também que a observação de artes não se dá fora do mundo social. Cotidianamente, os agentes utilizam recursos de identificação das circunstâncias em que se encontram, do interlocutor com quem interage e do ambiente onde se insere. O que significa que estes recursos estão disponíveis a qualquer pessoa e são levados para o interior de galerias e museus, à revelia de observadores, artistas e instituições. Para qualquer um que ocupe a posição de observador da obra, as circunstâncias concretas da recepção (a obra, o texto da crítica, a fala do artista, a ação dos outros visitantes, etc.), exigem, deste agente, operações semelhantes às utilizadas no cotidiano. Estas operações foram investigadas nas entrevistas com público e artistas, nas quais se buscou reconhecer quais recursos e métodos compartilhados com a obra, o público, os outros artistas e a crítica, eles lançam mão quando ocupam as posições de observador ou produtor de obras de arte.
Resumo:
A relação entre o Estado brasileiro e a sociedade, especialmente quando se trata de questões tributárias, é marcada por um desgaste histórico: paga-se uma carga tributária considerada excessiva, ao passo que o retorno em benefícios sociais não é compatível ao esforço. Diante dessa realidade, a Educação Fiscal (EF) surgiu como um instrumento para renovar o voto de confiança e defende, não apenas que todos paguem os tributos, mas que o façam conscientemente e ativamente, e estabelece, para isso, um diálogo profícuo com as noções de democracia, cidadania, ética e responsabilidade social. Para os fins desta pesquisa, a EF é analisada consoante os pressupostos teóricos da Análise Crítica do Discurso (ACD), tal como compreendido por Fairclough (1989, 2001, 2003 e 2010) e Chouliaraki e Fairclough (1999) e, para aprofundar e facilitar o estudo, são utilizados também os postulados da Nova Retórica de Perelman e Olbrechts-Tyteca (2005) como um instrumento de análise complementar à ACD. O estudo está dividido em três seções de forma a abranger a teoria tridimensional do discurso: textual, discursiva e prática social. Nesse ínterim, o diálogo com a Nova Retórica serve como uma relevante ferramenta para descoberta dos discursos subjacentes ao DEF enriquecendo a reflexão das dimensões textual e discursiva. Nesse diapasão, é contemplada, na análise do discurso da Educação Fiscal (DEF), a tentativa do DEF de ensejar uma mudança social a partir de uma abordagem dos três níveis da estrutura social (GIDDENS, 2009). Neste estudo, de natureza interdisciplinar, são mostrados, de um lado, o poder de influência do DEF nessa conjuntura, e, de outro, os elementos da estrutura social que são obstáculos para que o DEF alcance a hegemonia. Dos resultados da pesquisa, destacam-se os seguintes: a possibilidade de inserção do DEF no evento maior chamado de modernidade tardia (GIDDENS, 1991 e 2002); sua conexão com o fenômeno do aprofundamento dos processos democráticos (GIDDENS, 2002); as relações de poder envolvendo os instrumentos utilizados para a propagação do DEF, como a escola e o material didático (FAIRCLOUGH, 1989 e AGAMBEN, 2005); a tentativa de remodelamento do ethos do Estado realizado pelo DEF (FAIRCLOUGH, 2003); do ponto de vista da intertextualidade e da ordem do discurso (FAIRCLOUGH, 2003), observa-se que o DEF articula diferentes discursos, desde aqueles da democracia e da cidadania até o discurso do direito tributário. Para finalizar, são explorados e discutidos os modos de operação da ideologia (THOMPSON, 2002) no corpus e a relação do DEF com a noção de hegemonia (GRAMSCI, 1999).
Resumo:
A presente pesquisa investiga as escolhas temáticas de textos jornalísticos, especificamente de reportagens, que partem do mesmo evento, mas que são produzidos e publicados em linhas editoriais distintas. Nosso objetivo geral, com este estudo, é proporcionar subsídios para que sejam superados paradigmas ainda baseados na dicotomia texto e gramática na Escola Básica, como também colaborar para a promoção de um ensino mais crítico e reflexivo, a fim de que os estudantes possam atuar em sociedade com autonomia. Para isso, elegemos como corpus duas reportagens de veículos ideologicamente antagônicos: o jornal A Nova Democracia e a revista Veja. Considerando que o contexto de cultura e o contexto de situação são determinantes para as escolhas linguísticas dos textos, examinamos a organização temática dos períodos que compõem as reportagens. Como referencial teórico, elegemos a Gramática Sistêmico-Funcional (GSF) de Halliday (1978; 1994; 2004), centrando-se especificamente na função Tema, pertencente à Estrutura Temática na Metafunção Textual, um dos níveis de análise da GSF, que organiza a oração como mensagem e sistematiza os significados ideacionais. O objetivo específico deste trabalho é, portanto, analisar até que ponto as diferenças ideológicas afetam as escolhas temáticas dos textos. Com essa finalidade, dedicamo-nos à análise dos Temas Ideacionais e seus significados, pois são eles os responsáveis por indicar de que maneira os autores priorizaram as informações nos períodos que compõem e organizam as mensagens contidas nos textos. Como método de pesquisa, anotamos e classificamos manualmente cada um dos dados quantitativos e, em seguida, passamos a uma análise qualitativa dos Temas assinalados. Os resultados apontam que ambos os textos apresentam uma alta frequência de Temas Ideacionais Participantes, mas semanticamente distintos. Quanto aos Temas Ideacionais Processos e Circunstâncias, eles evidenciam discrepâncias sintáticas e semânticas significativas, que revelam representações diferentes dos narradores frente ao mesmo evento.
Resumo:
Este trabalho procura identificar e discutir aspectos da formação inicial que estejam relacionados com o ensino de evolução biológica no curso de licenciatura plena em Ciências Biológicas da Faculdade de Formação de Professores da Universidade do Estado do Rio de Janeiro. A evolução biológica é considerada tanto por vários estudiosos como por documentos oficiais de educação como um eixo unificador dentro das Ciências Biológicas que, além de interligar as diversas partes que compõem a Biologia, é imprescindível para a compreensão de diversos conceitos e processos biológicos. A coleta de dados foi realizada a partir de entrevistas semiestruturadas aplicadas a quatro docentes do curso, sendo dois responsáveis por disciplinas de conteúdo biológico específico e os outros por disciplinas relacionadas ao ensino de Ciências e Biologia. Os discursos foram analisados a partir da Análise de Conteúdo. Os resultados aqui expostos revelam que o ensino da teoria evolutiva ocupa posição de destaque na formação dos alunos da FFP-UERJ ao longo do curso, contribuindo para a construção de uma visão mais global sobre a Biologia para muitos. As principais dificuldades apontadas para a sua abordagem são a ausência de atividades interdisciplinares como trabalhos de campo; a falta de comunicação entre os docentes do curso sobre o assunto; a falta de maturidade dos alunos para compreender os processos evolutivos; a falta de materiais de apoio em determinadas áreas específicas; e o embate entre as explicações científicas e alguns pontos de vista religiosos sobre a origem da diversidade biológica. A maioria dos docentes apontou as estratégias que utilizam para superar tais empecilhos e incluir o tema em suas disciplinas. O resultado deste esforço é reconhecido por eles mesmos, ao perceber que, ao longo do curso, os alunos desenvolveram capacidade intelectual para relacionar temas de distintos campos através da perspectiva evolutiva.
Resumo:
Este trabalho se intitula Mesons e propõe descrever e fundamentar uma nova teoria: a mesologia. Trata-se de uma teoria geral dos meios [mesons] e das mediações, uma ontologia dos meios, poderíamos dizer, cujo intuito é fornecer parâmetros conceituais para a compreensão de fenômenos bastante heterogêneos, sejam eles de ordem cultural ou natural, física ou metafísica. Essa abrangência é possível porque a mesologia se apoia em princípios cosmológicos e ontológicos para se fundamentar. Nesse sentido, um dos princípios fundamentais em torno dos quais a teoria dos mesons se articula é o binômio finito-infinito, entendido a partir da ontologia e da cosmologia. Por isso, esta tese leva o subtítulo de Ontologia, pois pretende delinear as premissas metateóricas elementares dessa teoria. Portanto, este é um trabalho eminentemente metaempírico, cujos objetos material e formal coincidem em um mesmo objeto conceitual: a demarcação epistemológica do conceito de mesons, bem como a exploração de diversos fenômenos que possam ser descritos e agenciados pela mesologia. A partir deste núcleo primário que é a definição da ontologia dos mesons, uma série de outros conceitos se dissemina, centrais para a compreensão da mesologia como um todo: mesons, meios, ser, vida, sapiens, ontologia, cosmologia, infinito, finito, heterarquia, heterogênese, antropia, antropofanias, antropogemas, transumano, holografia, holograma, mereografia, mereograma, pluriontologias, transferência, animismo, imaginal, tempestade, entre outros. Obviamente não pude analisar e estabilizar todos esses conceitos neste trabalho. E se não o fiz é também porque imagino este trabalho dedicado a delinear o ser dos mesons, ou seja, a ontologia dos meios, como o primeiro volume de um projeto maior, em diversos volumes, intitulado Mesons, e que abordará outros conceitos e outras noções, tais como cosmo, vida, forma, morte, sexualidade, em suas determinações e especificidades propriamente mesológicas.
Resumo:
Este trabalho de tese tem como temática a formação docente situada no contexto da cibercultura. Parte do pressuposto de que professores formadores e em formação precisam dialogar com saberes/fazeres que potencializem suas aprendizagens em um novo espaço/tempo da sala de aula e que a pesquisa no ensino superior se tece no exercício da reflexão sobre/na prática em um processo plural de auto-hetero-ecoformação. Tem como objetivo construir atos de currículo, utilizando as potencialidades dos ambientes virtuais, das redes sociais e da internet para ressignificar o aprender/ensinar situado nas vivências dos praticantes culturais dentro/fora da universidade. Como problemáticas central e secundária da pesquisa-formação na cibercultura, temos, respectivamente: como a criação de atos de currículo com o uso das tecnologias digitais em espaços multirreferencias de aprendizagem podem potencializar as práticas formativas docente e discente no Curso de Pedagogia da UERN no contexto da cibercultura? Quais dispositivos engendram práticas formativas autorais, no presencial e no online, com o uso das tecnologias digitais em rede? Como construir uma relação pedagógica de interação colaborativa, docente e discente, mediada pelo uso das tecnologias digitais? A criação de atos de currículo utilizando as tecnologias digitais contribui com novos letramentos digitais dos praticantes na cibercultura? Tomamos como inspirações teórico-metodológicas a pesquisa-formação (SANTOS; MACEDO; NÓVOA) multirreferencial (ARDOINO, BARBOSA, MACEDO) com os cotidianos (CERTEAU, ALVES, FERRAÇO, OLIVEIRA), situada no contexto da cibercultura (SANTOS, SILVA, LEMOS, SANTAELLA, LEVY), entrelaçadas aos sentidos dos autores da pesquisa deste trabalho de tese. A pesquisa foi desenvolvida no cenário formativo do Curso de Pedagogia da Universidade do Estado do Rio Grande do Norte UERN nas disciplinas de Didática e Estágio Supervisionado I. Como resultado, apresentamos que as ambiências formativas criadas nos atos de currículo no ensino presencial e online, apontam perspectivas que vão ao encontro de uma formação docente e discente do ciberautorcidadão, uma postura em processo, em devir, que se constrói na relação cidade/ciberespaço, em espaços/tempos de aprendizagens plurais, referenciadas nas experiências tecidas nesses contextos.
Resumo:
开发涉及非线性数据结构算法程序的循环不变式一直是形式化方法的难点。本文使用PAR方法开发循环不变式的新策略,对后序遍历二叉树问题循环不变式的开发使用递归定义技术,得到了该问题循环不变式的简单精确的表达形式,简化了算法程序的推导和证明过程;利用PAR平台提供的抽象程序设计语言Ap1a中的数据抽象机制,使所得的算法程序结构简洁清晰且易于证明;最后,使用Dijkstra-Gries标准程序证明法形式证明了该问题的核心算法程序(只有4行代码),并使用PAR平台将Apla程序转换成正确的C++代码。实例的成功进一步说明PAR方法提供的循环不变式的开发技术对推导和证明非线性数据结构算法程序的有效性。
Resumo:
基于虚拟现实技术的人机交互方法为面向任务的机器人远程作业研究提供了新的思想和思路 ,增强了机器人系统的遥控作业能力 .本文对机器人系统中虚拟环境和人机交互方法研究进行了综述 ,对虚拟环境中的示教和遥操作进行了评析 ,并探讨了未来遥操作机器人系统作业的发展趋势
Resumo:
Higher education has progressed fairly steadily to a common pedagogical approach which centres on the idea of alignment. In this arrangement, intended learning outcomes are identified and declared; learning activities which will enable the desired learning and development to be achieved are conceived and undertaken with the support of appropriate and effective teaching; and assessment which calls for these outcomes is (ideally) carefully designed and implemented. All three elements are aligned in advance. The same principles and practices underpinned by notions of alignment have been applied to date in most of the purposeful schemes for personal development planning. In this chapter I argue that lifewide learning, wherein learning and development often occur incidentally in multiple and varied real-world situations throughout an individual’s life course, calls for a different approach, and a different pedagogy. Higher education should therefore visualise lifewide learning as an emergent phenomenon wherein the outcomes of learning emerge later on, and are often unintended. Consequently, they cannot be defined in advance of the activities through which they are formed. The main purpose of this chapter is to offer some practical ideas to support the development of pedagogies that would enable programme designers to embed in their programmes the principle and practice of lifewide education.