Java语言中数组越界故障的静态测试研究

面向具体故障的软件测试技术是当今一个研究热点。数组越界是Java程序设计中的常见故障,该类故障极易导致计算结果错误或系统崩溃。针对Java语言中常见数组越界故障进行了分析,并从面向具体故障的测试思想出发,建立了Java语言中数组越界的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法。此方法已实现,并已应用于面向故障的软件测试系统中。     

Java多线程编程中数据安全的应用研究

通过分析Java多线程并发机制的基本特征,着重针对Java多线程程序中的数据安全问题作深入探讨研究．指出在利用Java多线程技术进行实际编程过程中容易出现的数据安全问题以及相应解决方法．并结合实例说明数据安全在Java多线程编程中的具体实现。     

Java程序中数组越界和空指针错误的静态分析

介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。     

基于多线程Java程序安全行为模型的静态检查对策探析

本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,针对Java多线程序研究,总结出了从多线程Java程序自动生成安全相关行为模型的方法,该方法应用到携带模型代码方法的实现框架中,形象的描述了静态检查该模型是否满足安全策略的实现,同时为安全执行非信任多线程Java移动代码提供了有效支持。本文合理的使用静态分析多线程Java程序的措施,来进行相关安全性的检查,从中来考察出多线程Java程序的相关安全行为。     

Java动画编程优化技术探讨

着重于Java动画编程的技术优化,通过对Java动画编程的基本技术与常见问题情况进行分析,结合问题成因进行探究,总结了Java动画编程技术的具体优化措施,为Java动画编程技术的应用与研究提供可行性参考.     

考虑实时栈信息的静态切片工具

为了提高静态切片精度,本文结合程序抛出异常时产生的堆栈追踪信息进行程序执行轨迹的推测,找出那些确定没有执行的方法或语句,设计并实现考虑实时栈信息的Java程序静态切片工具.实验结果表明,该切片工具进一步减少搜索空间,可以提高普通静态切片方法的精度和效率.     

一种基于Java程序分层模型的方法内切片生成算法

程序切片作为软件理解领域的一种重要的分析技术,可以将程序分解为独立的程序线程。系统依赖图的概念及两阶段图形可达性算法的出现,则有效解决了程序切片的过程调用问题。文章介绍了程序切片的基本概念,并给出了在面向对象程序中进行静态分层切片的思想。作为分层切片思想的应用,文章给出了在一种Java程序切片工具模型JSTM(JavaSlicingToolsModel)中运用系统依赖图进行方法内切片的具体算法。     

Java程序读取服务器端数据文件的解决方法及比较

目前,Java正以其优越的性质广泛地应用于网络编程中,然而,在用其开发与浏览器结合的客户端程序时,经常会遇到Java所定义与使用的数据文件和基于Dos/Windows平台的服务器端程序生成的数据文件存储格式不相同的问题。本文在分析两种不同平台数据文件的基础上,结合自己的编程实践,具体论述了解决Java程序读取服务器端数据文件问题的几种方法,并对其进行了比较。     

基于小波降噪与最小二乘估计的石英挠性加速度计模型辨识

石英挠性加速度计在惯性导航系统中具有重要作用,其使用精度影响着整个系统的精度。为提高加速度计的使用精度,对其进行了重力场静态翻滚测试,采用融合小波降噪与最小二乘估计的方法实现加速度计模型参数辨识。利用拟合残差标准差和系数估计的不确定度来评价辨识的效果,对重力场静态测试时加速度计两种安装方式下的测量信号进行了实验测试,并通过仿真实验来验证所采用方法的有效性。实验结果表明,所采用的方法获得的加速度计模型系数具有较高精确度。     

惯性测量组合小角度静态标定方法研究

简要论述了为延长惯性测量组合的稳定期以及提高惯性测量组合的使用精度,在位置转台上对惯性测量组合影响精度大的不稳定参数进行自标定的技术,即利用角速度计去标定低精度陀螺的技术。从理论上讨论了利用加速度计的信息去标定陀螺不稳定参数的方法。提出了小角度标定方法,给出了小角度静态标定思路,从理论上对小角度射前静态标定方法存在的综合误差进行了定量分析,指出了小角度静态标定方法存在的主要问题,同时提出了相应的改进方法,使射前静态标定方法理论上可行。     

Java语言程序例化中的扩展对象别名分析

随着计算机技术的不断进步和发展,Java语言程序凭借着自身的优势得到了广泛的应用,并取得了显著的成效。同时为了推动Java语言程序在计算机技术的作用,需要提高其精度,这就需要借助一定的对象别名分析技术。本文笔者对对象别名分析技术进行了分析和探讨,主要是为提高求值的深度,同时为实现Java语言程序中部分求值器的绑定时间分析的实现,进而为Java语言程序的应用提供指导和借鉴。     

基于Java 3D的生物大分子模拟可视化系统

本文采用基于Java 3D的三维可视化编程环境，利用Java 3D、Java Applet、Java多线程等技术，开发了一个适于网络环境的生物大分子模拟的可视化系统，有效地解决了网络环境下生物大分子模拟计算中的三维图像的动静态显示、用户交互、进程控制等问题。     

Schnorr 协议的一次一密双重身份认证研究

针对当前B/S 模式下公共网络中进行身份认证的安全问题,设计了使用静态口令和动态口令结合进行一次一密身份认证的方案,它将认证服务器与应用程序服务器分离,使静态口令认证在安全通道内进行,有效保障口令的安全。动态口令认证采用著名的Schnorr 身份认证协议,其私钥采用复杂的混沌序列生成以确保密钥敏感安全性,结合Java Applet 技术对公共网络上传输的信息采用对称DES 算法加密,提升了整个系统的可靠性。研究方案最后通过实例验证了系统的可行性和安全保障性。     

基于Java 3D技术的三维地层仿真系统

三维地层仿真是在资源勘探、地震研究等方面重要的课题，而应用Java 3D技术构架该系统则是一个崭新的研究方向。该文阐述了Java 3D技术在地层仿真中的应用，就具体系统的设计和所遇到的问题进行了分析，并提供了解决方法。最后对该领域的发展前景进行了展望。     

基于WEB的可交互式三维地球模型仿真研究

为了构建一个基于WEB网络的可交互式三维数字地球模型的虚拟场景,该文探讨了利用Java和VRML之间的交互访问技术,分析并建立了一个数字地球可视化实体的数学模型,采用VRML语言实现了该三维模型的可视化表达,并对设计的三维地球数学模型进行了精度分析.为了保证场景坐标的精度,同时为了提高运行速度,采用了经过经纬度坐标改化后的球面坐标模型.最后结合实例介绍了如何利用Java从VRML场景中获取场景高精度坐标以及基于浏览器来实现动态控制场景的相关技术.     

面向对象程序设计语言的绑定时间分析技术

为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.     

柔性X-Y-Z-θz四自由度位移传感器的静态解耦方法研究

多维位移间的耦合是影响柔性四自由度位移传感器测量精度的重要因素,另外由于材料的高弹性,使传感器存在较大的迟滞以及一定的非线性,进一步影响了测量精度.针对以上问题,本文首先提出采用对传感器正反行程分别进行静态解耦的方法来解决迟滞的问题;其次,通过对三种常用解耦算法的分析比较,得出基于耦合误差建模的静态解耦算法适用于四自由...     

一种实现Java和C通信的方法

选择Java和C两种语言分别实现上层软件和底层软件的编程,通过JNI技术在Java中调用C实现Java和C通信,并采用对象封装的方法解决复杂输入参数传递的问题.在一项目中进行了成功的应用,并详细描述了实现过程.     

一种嵌入式Java芯片内核—JC401

首先分析了目前Java的应用情况,指出嵌入式Java芯片具有很大的市场需求,然后结合嵌入式系统的特点简单分析了当前几种Java虚拟机实现技术的缺点,提出了在嵌入式Java芯片内核JC401中采用瘦型JIT的设计思想。通过对JIT的硬件支持和相关软件的配合,达到减少JIT运行时间和内存开销,获得高效的Java性能与较好的性能价格比的目标,然后具体介绍了JC401内核的总体结构与主要技术特点,进行了性能分析与评估,证明了设计思想的正确性,最后举例说明JC401具有很好的市场前景。     

ARMA模型在光纤陀螺惯导系统寻北中的应用

在光纤陀螺捷联惯导系统寻北过程中,光纤陀螺的随机漂移是影响其精度的重要因素。论文提出了一种建立三阶自回归模型AR（3）方法,实现了高精度FOG捷联惯导系统静态输出信号的在线建模,并采用强跟踪卡尔曼滤波技术进行误差的实时滤波。寻北试验结果表明,寻北精度有了明显的提高,从而验证了方法的可行性,具有工程实用性。