交互光子白板 aigo board JY5700普通版

投影机在教学和商务过程中的使用已经十分普遍,但普通投影机无因此诞生了电子白板这一类产品,简单说来电子白板的功能类似于一个大型的触控板．使用电子白板可以完成在投射面上与电脑系统的变互操作,     

在地理课件中体现学生主体性——《地球运动》课件的制作与使用

多媒体技术可以变教学中的抽象为具体、静止为运动,将漫长历史浓缩于弹指之间,将瞬间即逝的过程呈现在学生眼前,实现传统媒体无法达到的教学效果。《地球运动》课件通过动画模拟演示,为学生营造了遨游太空的学习情境,有效地突破了时空限制,让学生     

基于PBL教学模式的数字逻辑课程教学研究

针对目前"数字逻辑"课程教学中存在的问题,在分析"数字逻辑"课程的特点、教学现状和PBL教学模式内涵的基础上,文章提出将PBL教学方法应用于"数字逻辑"教学过程中的观点,并提出"2+2"教学方案。教学实践表明,将PBL教学模式应用于数字逻辑课程中,提高了学生学习的积极性和主动性,使他们进一步加深了对数字逻辑的原理、知识、概念的理解,为后续课程的学习奠定了坚实的基础。     

ACL在聚合端口上应用研究

访问控制列表在网络安全中是一种重要的手段。文章通过对其研究,提出了在聚合端口上应用ACL的方法,该方法可以大大减少网络管理人员配置ACL的复杂性。结合该方法,给出了一个网络安全模型的实例,通过端口聚合方案和制定安全策略,实现网络性能的优化和保护网络的目的。     

浅析大学计算机基础课程网络教学平台的建设

随着信息技术和计算机及网络技术的飞速发展,网络教学平台弥补了传统教学模式的不足,越来越受到重视。本文分析了当前大学计算机基础课程教学平台的现状和需求,并对建设大学计算机基础课程网络教学平台进行了初步的探究。     

基于范畴论的多TBox整合研究

在语义Web环境下,单一和分散的知识库会引发数据的冗余和不一致性,且严重影响知识库智能化查询,降低知识库中数据的重用性和可操作性.文中提出一种基于范畴论的多TBox整合方法来整合知识库,旨在解决上述者类问题.此方法具有高度抽象性和强大表达能力的范畴论是多知识库整合的理想工具.将TBox作为操作对象,范畴论中"态射"功能可实现TBox的映射,"外推"功能可实现TBox的整合,最后通过实验验证方法的可行性和有效性,实验结果基本符合要求.     

采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。     

基于即时验证的软件验证工具改进设计与实现

基于设计模型的分析技术是现代复杂嵌入式软件系统高可靠性的重要保障手段.基于即时验证(On-the-flyverification)方法对一个构件化嵌入式软件设计模型原型验证工具T-CBESD进行了改进设计与实现.集成Topcased和JFLAP扩展了T-CBESD图形化建模接口;设计并实现了相关输入处理与转换;重新设计并实现了状态空间数据结构,包括功能、非功能行为(实时、资源、能耗等)验证问题在内的多个基于路径的一致性即时验证算法.给出了改进工具在火灾预警系统中的应用实例与分析.     

模糊知识的不同否定及其在投资决策中的应用(英文)

在模糊知识中存在三种不同的否定,即矛盾否定、对立否定和中介否定,基于中介谓词逻辑MF与其无穷值语义解释Φ,研究了模糊知识及其三种否定的表示与推理,并在一个金融投资决策实例中进行了应用。引入了一种新的与Φ中参数λ相关的模糊产生式规则,讨论了实例中的模糊知识及其三种不同否定的推理算法与实现。     

画面语构学——多媒体画面语言的语法规则

在信息化教学环境中,多媒体教材的知识是以画面形式呈现的,或者说是用"画面语言"写成的。随着信息化教学日益常态化,多媒体教材的制作与使用缺乏科学性、规范性的问题日渐凸现、亟待解决。早在2002年,游泽清教授就在本刊率先提出了"多媒体画面语言"的概念。十年磨一剑,他本着高度的历史责任感和使命感,带领课题团队和研究生,进行了持之以恒的研究。这十年,他们曾误入歧途、也走过弯路,但他们从未放弃,从深入进行大量基础性的研究到终有灵光一闪,从点滴概念的明晰到学科体系的建立,今天,"多媒体画面语言学"终于系统、完整地与读者见面了。本刊将分四期,按"画面语用学"、"画面语义学"、"画面语构学"和"多媒体画面语言学诞生过程"的顺序详加介绍,让多媒体教材在教育教学改革中的制作与应用更加有序、规范,绽放更加夺目的光彩。