一种在Internet环境下提交与发布Z规格说明的方法

用形式方法开发软件可提高软件系统的正确性和可靠性，并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用，一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法，使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明，进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式，又将以XML方式描述的Z发布到网页上。从而实现了Z规格说明在WWW环境下的共享与发布。     

JAVA类程序文件反编译工具JAD

本文主要阐述计算机编程语言JAVA在程序设计中编译、运行的过程．对字节码文件的反编译方法进行着重的描述与探讨。     

基于Parlay电信业务开发的仿真研究

ParlayAPI是一种最著名的、开放的网编程接口,它规范定义了大量接口,电信业务开发商可以使用这些接口进行业务开发。文章介绍了利用JAVA和CORBA技术开发基于Parlay/OSAAPI的电信增值业务的仿真,并具体讲解仿真中开发的呼叫路由服务应用例子。     

基于模板类的动态网页的实现

网页界面设计和程序的分离是简化网页维护的必由之路。本文在对网页界面设计和程序的分离中的问题进行分析的基础上，提出将模板技术应用于动态网页中来实现网页界面设计和程序的分离。当要对网页的界面进行变动时，只需修改HTML模板，简化了网页的维护。     

基于XML的分布式数据交换中间件模型设计

报告了中间件技术的现状和发展趋势，分析了分布式网络应用对主流中间件设计开发的需求，讨论了异构应用系统间在降低数据交换复杂度的基础上实现透明数据交换的可能性，研究了CORBA，XML，Java等分布式信息处理及交换技术，介绍了基于XML的分布式数据交换中间件模型的设计目标、设计内容、技术路线及可行性分析，提出一个在多应用系统间交换数据的解决方案。     

基于CDIO理念的JAVA课程改革

针对JAVA课程的教学现状,剖析其原因,结合企业的岗位需求实际,体现“做中学”、“学生为主体”的CDIO理念,从教学内容组织、教学手段、考核方式等方面提出了一系列有针对性的切实有效的教学改革举措．实践表明可有效激发了学生学习热情和学习兴趣,有利于培养学生自主学习的意识,提高教学的针对性,优化教学效果．     

基于粒子群优化算法的器件模型表面势求解

在研究器件建模和粒子群优化算法的基础上,提出了基于粒子群优化算法的器件模型表面势求解,从而建立整套模型参数。在粒子群优化算法的程序实现上,采用JAVA面向对象语言,封装粒子对象,进化中的粒子个体不断接近最优解。之后对经典的器件模型表面势方程进行了测试,证明了粒子群优化算法在器件建模方面的可行性。     

无人值守太阳能充电站设备管理系统的设计

针对太阳能充电站中设备巡检和故障维修效率低下的问题,采用云服务器、ZigBee、GPRS等先进信息技术设计了设备管理系统。与现有系统不同,在研究了设备典型故障的基础上,利用QR二维码作为信息传递的载体,使用静态和动态相结合的方式对设备进行分类管理。在客户端采用JAVA和HTML5技术进行开发。在云平台中将会话管理、二维码管理、故障管理等模块进行单元化设计。在满足数据传输的要求下,对WSN的网络节点进行配置,完成了设备故障信息的快速收集,电压、电流等电气参数和编号、型号等规格参数的在线管理。经实验测试,系统实现了设备管理中故障详情和维修状态的网络化与痕迹化,为设备的全生命周期管理提供了可靠的基础数据和技术保障。     

基于JAVA的虚拟实验系统网络传输部分的研究

组成原理虚拟实验系统的网络传输部分采用TCP和UDP协议相结合,运用JAVA中的各种功能强大的接口和实用类,实现了文本信息在局域网上的点对点和多点传输,并使用了对象序列化的方法,提高了系统保证信息准确性的能力。     

离散信道容量的迭代算法及其实现

在简要介绍信道容量概念的基础上,简单介绍了一般信道信道容量的计算步骤,并提出它的局限性。然后在其基础上详细的介绍了更为广泛的一般信道的信道容量的计算方法一迭代法以及它在Java中的实现过程。