教学课程资源库 更多>>

关键词： 积件库   CAI   Java RMI   JDBC   数据库管理系统   教学辅助工具系统  

摘要： 力学系列积件库系统是适应现代教育技术的发展,结合力学系列课程的特点,而研制的一个CAI教学辅助工具系统,是主要采用Java RMI和JDBC技术而建立的分布式信息管理应用系统,也可为远程教学服务.力学系列积件库系统估破以往CAI教学中课件制作的封闭性、固化性,提出以积件代替课件的新思维.将实际教学中所需要的多媒体资料以积件的形式存放在积件库中.积件库中的资料集中存放在后台数据库服务器上,为教师开展多媒体教学提供资料,为学生查找资料进行预习、复习和检测自己的学习效果提供方便实用的知识库.力学系列积件库采用扩充关系数据库的方式管理积件资料,提供了可视化、易操作的界面.力学系列积件库的研制为积件理论应用到教学实践探索了一条新途径.

关键词： 死锁检验   Spin   模型检验   Java程序  

摘要： 随着模型检验技术的日趋完善,用这种有限状态验证技术来检验软件的相关性质已逐渐成为软件工程领域研究的一个新的热点.Spin是当今世界上最好的模型检验工具之一.该文论述了用Spin来检查并发的Java程序中的死锁的方法.这大致要经过三步.首先,对java程序进行静态的分析,抽取出可能导致死锁的部分.这是最为关键的一步,因为最后的模型的大小很大程度上取决于这一步的结果.然后,将抽取出来的这部分翻译成Promela描述的模型.最后,用Spin检验这个翻译出来的模型中是否存在死锁.该文的主要工作包括一下三个方面：1、对Java中死锁的类型进行了分析.论述了Java程序中可能引起等待的三种形式,即出口条件受到共享变量影响的循环引起的等待,锁定操作引起的等待和wait（）方法引起的等待.2、描述了Java分层切片工具模型（JSTM）的设计思想和实现.该工具在分层切片的思想基础上,利用逐步求精的方法来得到面向对象程序的切片.3、提出了一种从Java程序中抽取可能引起死锁的部分的方法.

关键词： 数据库   开发   ODBC   JDBC   API   Java语言   用户界面   应用程序  

摘要： 本文首先介绍了JAVA语言与数据库的接口JDBC的优点与功能，然后重点介绍了如何利用JDBC对数据库进行操作的方法，最后本文给出了下个利用JDBC与ACCESS数据库进行连接的实例。

关键词： Java语言   异常   异常抛出   扑获异常  

摘要： 本文介绍面向对象Java语言中的异常、异常处理的基本思想 ,异常处理的相关语句try、catch、finally、throw和throws的使用方法及其具体程序的实现。

关键词： 多线程   监控器   同步方法   计算机辅助教学  

摘要： 在介绍了 Java多线程技术的基础上 ,重点分析监控器、同步方法等多线程同步的关键技术 ,并给出了在计算机辅助教学中的应用示例 .

关键词： 智能建筑   建筑物自动化   分布式对象   浏览器/服务器   中间件   CORBA   ORB  

摘要： 该文提出采用CORBA/Java技术实现软件集成,将客户机/服务器应用模式、Web以及分布式对象技术有机结合起来,满足了智能建筑分布异构环境中的对象互操作、可扩展性等要求.该文论述了智能建筑的基本组成,重点讨论了建筑物自动化系统;论文系统地分析了Web应用系统的开发方法,讨论了如何将CORBA/Java技术应用于开发基于Web的建筑物自动化远程监控系统.

关键词： Flash   JavaApplet   史密斯圆图   反射系数圆   阻抗圆图   导纳圆图  

摘要： 本文主要介绍了采用JavaApplet进行应用程序的编写 ,使用户能在浏览器端控制、改变参数 ,完成不同变量的计算和图形绘制 ,实现一种交互式的教学系统。

关键词： SUN公司   软件技术中心   Java技术   技术支持   中国  

关键词： Java卡   密码技术   数字签名   Java语言   智能卡   DES算法   RSA算法   SHA散列函数算法  

摘要： Java卡技术是Java语言嵌入到智能卡环境的一个新的应用,支持Java语言的一个子集,Java卡API与密码技术相关的两个扩展包是:***和***.在Java卡实现中支持DES,RSA,及SHA散列函数算法,基于以上三个算法实现了一个数字签名方案,占用的存储空间和处理速度满足实际应用的需求。

关键词： XML   DOM分析器   DOM树   Java   文档对象模型  

摘要： 介绍了作为XML分析的利器DOM (文档对象模型DocumentObjectModel) ,论述了由它提供的一个操作XML和HTML文档并与语言无关的标准接口集 ,以及采用标准规范和与之适应的一个接口和类的集合。其中最重要的是开发语言绑定及其与之相对应的org .w3c .domJava包等。DOM提供了一种用Java创建和修改XML文档的方法 ,把XML文档描述称为一棵树 ,并将整个XML文档读入内存 ,并将所有数据储存在节点中 ,使得整个文档得以快速使用。以ApacheXalan为例 。