浅析Java语言中的内部类和匿名类

内部类是定义在一个类内,它有静态内部类与非静态内部类两种。内部类可以访问外部类的成员,但外部类不能直接访问内部类的成员。由内部类可以引申出匿名内部类,匿名内部类在处理事件时是非常方便的。     

Java匿名类的分析和理解

针对一些Java学习者对匿名类经常产生模糊认识,通过三个具体的实例详细地分析了Java匿名类的内在本质.分析结果表明,匿名类实际上可以看作是一个类的子类或者是一个接口的实现类,这样可使匿名类更易于理解.     

针对Java语言中间形式的谓词抽象算法

谓词抽象是解决软件模型检查中状态空间爆炸的最有效方法之一,针对Java语言面向对象的特性,描述了一种对Java程序语言中间形式的谓词抽象算法,该算法将Java程序抽象成为布尔程序,抽象过程中处理的Java数据结构包括:赋值语句、条件语句、类对象引用、成员方法和方法调用等.用一个Java程序实例说明了该算法的抽象过程和结果.     

Java语言中类成员变量的初始化

在Java中，被声明为static属笥的成员变量和成员方法被称为类变量和类方法，而没有被声明为static属性的成员变量和成员方法被称为实例变量和实例方法。实例变量和实例方法必须通过类的实例被访问，需要首先创建对象。而类变量和类方法属于一个类而被所有类的实例所共享，在没有创建任何类的实例的情况，也可以通过类名被访问。     

JAVA中利用内部类简化程序的编写

JAVA中内部类的使用主要是为方便实现图形用户界面中的事件处理,利用内部类可以存取所在类的成员变量和调用其成员方法这一特性,会简化程序的编写.为了论证这一主题,文章从内部类的内部机理出发,通过具体实例,证明了"巧妙地使用内部类可以大大简化程序的编写"这一结论是成立的.文中还简要地介绍了JAVA中内部类的特点和使用方法.     

PicoJava-I微处理器的体系结构

本文简单介绍 Java虚拟机及 Java语言的执行方式 ,并在此基础上介绍Sun公司的 Java微处理器系列成员之一的 Pico Java-I微处理器的体系结构 ,包括Pico Java-I的结构特征、内部单元结构等     

基于声誉的P2P匿名通信方案研究

P2P匿名通信系统需要系统成员共同参与信息转发,而部分不积极参与通信的成员的Free-riding行为将导致匿名系统性能降低。针对P2P匿名系统中部分成员不积极参与匿名转发信息的自私行为,基于区分服务思想提出一种基于声誉的匿名通信方案,该方案通过成员之间互相监督发送信息次数,降低了不积极参与信息转发成员的声誉值,使不同声誉值的成员获得的匿名性能不一样。理论分析和计算数据表明,应用声誉机制能确保正常成员的匿名度不变,但降低自私成员的匿名度,从而有效减少部分成员不积极参与转发匿名信息的自私行为。     

（t,n）门限追踪匿名认证方案

现有匿名认证方案的匿名认证过程较复杂,匿名追踪要求的成员数量较少,导致匿名认证时间增加,隐私安全性降低。为此,结合门限秘密共享思想,提出一种新的匿名认证方案。该方案借助线性方程组秘密共享理论,获取成员的私钥和群公钥,基于1/n签名思想,使示证者从集合U中主动选择匿名集,从而完成匿名认证,为提高匿名的安全性,使用t个成员联合实现门限追踪,且验证者可以验证追踪到公钥身份的真实性。分析结果表明,与无可信中心的匿名认证方案相比,该方案不仅满足匿名认证的安全性需求,且运算耗费较小。     

Java Applet编程技巧

1.Java Applet概述 Java程序分为两类:Java小程序(Applet)和Java应用程序(Application),这两类程序是有区别的。Java Applet嵌入在WWW的页面,作为页面的组成部分被下载,并能运行在实现Java虚机器(JVM)的Web浏览器中。Java的安全机制可以防止小程序存取本地文件或其他安全方面的问题。而一个Java应用程序运行于Web浏览器之外,没有Applet运行时的诸多限制。另外,两者程序设计上的最大区别在于:Java Applet没有主程序,而Java应用程序一定要有主程序。 在Java中每个applet都是由Applet的子类来实现。开发人员自定义的applet通过重载Applet的几个主要成员函数     

JAVA中反射机制浅析及应用

反射（Reflection）机制是JAVA成为动态语言的一个关键特性，在运行中的Java程序对自身进行检查，或者说“内省”（Introspection），并能直接操作程序的内部属性。这个机制允许程序在执行时可以通过反射APIs取得任何一个已知名称的类的信息，并能在执行时改变类的成员变量（fields）的内容或执行方法（methods）.     

Java Native Interface idioms for C++ class hierarchies

The Java^TM Native Interface (JNI) provides a set of mechanisms for implementing Java methods in C or C++. JNI is useful for reusing C and C++ code repositories within Java frameworks. JNI is also useful for real‐time systems, where compiled C/C++ code executes performance‐critical tasks, while Java code executes system control and feature tasks. Available JNI literature concentrates on creating Java proxy classes that allow Java clients to interact with C++ classes. Current JNI literature does not discuss Java proxies for entire C++ inheritance hierarchies; that is the topic of this paper. Our experience in reusing C++ class hierarchies within a Java framework has uncovered a set of useful techniques for constructing Java proxy class hierarchies that mirror their C++ counterparts. This report gives both high level design guidelines and specific programming idioms for constructing Java class hierarchies that serve as proxies for C++ counterparts. We begin by discussing opportunities for reuse within a proxy class hierarchy, as well as problems caused by differences between the Java and C++ approaches to inheritance. The two most significant differences are due to C++ support for invocation of a member function based on the static type of its class, and C++ support for multiple implementation inheritance. Two example C++ class hierarchies provide the basis for a set of sections that present the design guidelines and that codify the programming idioms. This work could serve as the basis for an automatic generator of Java proxy class hierarchies. Copyright © 2000 John Wiley & Sons, Ltd.     

基于Junit自动生成类测试案例框架的实现

论文对Java程序的抽象类、包含内隐类的接口、其它内隐类和普通类的测试提出了不同的测试案例模式,结合Liskov替代原则对类测试的要求,实现一个基于Junit生成包含测试神谕的测试案例框架的工具。借助该工具,程序员在编写测试案例时,只需在自动生成的测试案例框架中添加测试数据就可获得完整的测试案例。     

离线匿名电子现金系统的设计与实现

本文利用Java Applet和Java Network Launch Protocol等技术设计和实现了一个基于RSA盲数字签名的离线匿名的电子现金系统。系统采用B／S和C／S相结合的架构,可以方便进行Web在线支付和点对点支付。系统通过数字证书提供对用户和银行的强身份认证,用户在银行网站进行存取款和在商家网站进行支付,通过SSL协议来保证通信数据的安全,同时用户数据以加密的方式保存在本地磁盘,并可方便地移植到智能卡设备。     

On an algorithm determining direct superclasses in Java and similar languages with inner classes—Its correctness,completeness and uniqueness of solutions

Some object oriented programming languages allow inner classes. All of them admit inheritance. This combination of inner classes and inheritance is very fruitful however less known. On the other hand it creates a serious problem: how to determine the direct superclass of a given class C, i.e. the class which class C directly inherits from. For there may be several classes of the same name in one program. A specification of the problem and a non-deterministic algorithm are provided. We prove that the algorithm is correct w.r.t. the specification and complete, i.e. if the algorithm signals an error then no solution exists. We show that the specification itself has at most one solution, in other words, it is a complete specification. This proves also that the corresponding parts of Java Language Specification are consistent and define uniquely a fragment of Java semantics.     

伪随机数生成及其在Java中的实现与应用

介绍了基于数学递推法的利用计算机产生伪随机数的线性同余法,以及利用Java中提供的R andom类及其成员函数来生成随机数,并编写相应测试程序观察所生成的伪随机序列。最后结合一个游戏应用程序例子阐述了如何利用随机数来随机生成骰子投掷点数用以模拟实践环境。用此再加上别的有利条件,可以设计出各种满足不同要求的软件。     

多核计算机上并行生成类测试用例

通过类的数据流分析计算出实例变量的“定义-使用”对信息以及成员函数的前置和后置条件,利用类的继承多态性对被测试类进行预处理。在JPF中设置搜索环境,将测试用例生成问题简化成模型检测中寻找反例的问题,提出一种在多核计算机上实现的线程级并行生成类测试用例的方法。实验结果表明,该方法可以减少测试生成所需的状态数和运行时间,算法可使用的处理核心越多、测试生成所需的时间越少。     

用Java网络类库编程

ＳＵＮ公司Ｊａｖａ的推出，给Ｉｎｔｅｒｎｅｔ的应用编程注入了新的活力，Ｊａｖａ强大的网络编程接口，使编制网络应用程序进一步向面向对象编程方式靠拢。通过Ｊａｖａ语言中面向对象编程的基本概念、Ｊａｖａ语言的类库、Ｊａｖａ网络基础类库的构成、Ｊａｖａ语言网络程序的编制等４方面对Ｊａｖａ网络类库编程作了较为全面的介绍。     

基于线性方程组的门限匿名认证方案

现有的很多匿名认证方案中,匿名认证过程较为复杂,匿名的可控性比较随意,针对这两个问题,在求解离散对数困难性的基础上,提出了一个新的门限匿名认证方案。借助线性方程组的求解理论,获得成员的秘密份额和公钥身份等信息;基于门限共享的思想,实现示证者身份的匿名认证和匿名追踪。该方案中认证者的匿名性、门限可追踪性以及身份的不可冒充性满足了匿名认证的安全需求,在电子商务、移动通信等众多领域将具有广阔的应用前景。