首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 0 毫秒
1.
目前大数据对象在数据库中存储时普遍采用存储路径的方式,提出了将大数据对象直接存储于数据库中的方法,并给出了一些程序源代码.  相似文献   

2.
Java语言的度量及工具实现   总被引:2,自引:0,他引:2  
简述了面向对象软件度量的最新进展,并设计和实现了基于目前流行的C&K度量方法的Java语言度量工具。  相似文献   

3.
Java-MaC: A Run-Time Assurance Approach for Java Programs   总被引:2,自引:1,他引:2  
We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is running correctly with respect to a formal requirements specification by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which does not provide formal guarantees about the correctness of the system.Use of formal requirement specifications in run-time monitoring and checking is the salient aspect of the MaC architecture. MaC is a lightweight formal method solution which works as a viable complement to the current heavyweight formal methods. In addition, analysis processes of the architecture including instrumentation of the target program, monitoring, and checking are performed fully automatically without human direction, which increases the accuracy of the analysis. Another important feature of the architecture is the clear separation between monitoring implementation-dependent low-level behaviors and checking high-level behaviors, which allows the reuse of a high-level requirement specification even when the target program implementation changes. Furthermore, this separation makes the architecture modular and allows the flexibility of incorporating third party tools into the architecture. The paper presents an overview of the MaC architecture and a prototype implementation Java-MaC.  相似文献   

4.
一种鲁棒故障检测与分离的参数化方法   总被引:1,自引:1,他引:0  
李福明  段广仁 《控制工程》2005,12(4):374-378
针对具有未知干扰输入的多变量线性系统,提出一种鲁棒故障检测与分离的完全参数化方法。利用最近的结果,基于Luenberger未知输入观测器矩阵的特征值及一组自由参数向量,分别给出了系统干扰解耦和故障分离的充要条件。通过适当选择满足一些约束的自由参数,仅使用单一观测器实现了鲁棒故障检测与分离设计。该方法提供了所有设计自由度。一个数值例子证明了该方法的有效性。  相似文献   

5.
程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图(SDG),对于大程序这种SDG描述通常非常复杂,易导致程序Chopping结果不准确。针对这一问题,基于带标签的Java程序描述方法,提出一种Java程序Chopping方法。该方法利用这种描述附带的程序依赖信息,分析参数依赖关系,并在此基础上给出Chopping算法。此程序Chopping方法能把Java程序方法间的程序Chopping问题转换到Java程序方法内进行分析,程序依赖图具有结点少、可重用、可并发构造等优点。最后通过实例和实验给出程序Chopping方法的实施过程及有效性。  相似文献   

6.
本文提出了用Java语言制作二维动画的四种方法:传统方法;移动对象法;反复绘图擦除法;以及复制覆盖法,对这些方法的思路作了说明并给出了相应的程序。  相似文献   

7.
A high precision illumination model is indispensable for lighting simulation and realistic image synthesis. For the purpose of improving realism, research on global illumination has been done, and several papers on radiosity methods have been presented. In the most recently proposed methods, the shapes of light sources and objects are restricted to polygons or simple curved surfaces. We present a more general method which can handle the kind of free-form surfaces widely used in industrial products and in architecture. The method proposed here solves the problem of the interreflection of light (i.e., radiosities) between patches, and form-factors, which play an important role in this process, are precisely calculated without aliasing through the use of an area sampling method (i.e., pyramid tracing). Furthermore the method can handle both non-uniform intensity curved sources and non-diffuse surfaces.  相似文献   

8.
羌翼亭  陈昊鹏 《计算机工程》2007,33(15):103-105
提出了一种基于新型事件驱动机制的构件交互方法。这种方法使用统一的事件模型,以一致的方式处理各类事件,包括自动触发的自动事件,显式地调用事件服务API生成的手动事件以及反映事件路由器工作状态的路由事件。这种方法不要求修改构件源代码,且能够以灵活的事件路由器网络作为构件交互的核心,为Java构件交互问题给出了一个新的解决途径。  相似文献   

9.
项阳  顾其威  梁平 《计算机工程》2003,29(12):162-164
提出的基于Internet的弱视治疗方案有效解决了传统弱视医疗方法中的诸多弊端。介绍了Java技术在治疗系统中的应用,包括JSP和JavaBeans技术,分析了系统中数据的传输并提出了分布式治疗系统的实现方案。  相似文献   

10.
11.
介绍几种经典的边缘检测算子,并用Java语言实现数字图像的边缘检测。由于Java语言在图像处理方面有其自身的优势,因此整个实现过程具有简单、灵活、适应性强的特点。  相似文献   

12.
介绍几种经典的边缘检测算子,并用Java语言实现数字图像的边缘检测。由于JaVa语言在图像处理方面有其自身的优势,因此整个实现过程具有简单、灵活、适应性强的特点。  相似文献   

13.
可重用Java数据库操作组件的设计和实现   总被引:1,自引:0,他引:1  
基于Data Access Object(DAO)设计模式,利用抽象、接口、类反射技术设计和实现了可重用Java数据库操作组件。它封装了注册和载入JDBC驱动程序、建立数据库连接、运行Structured Query Language(SQL)语句及处理查询结果集、查询结果集的分页显示操作,简化了Java DataBase Connectivity(JDBC)代码的编写,通过编写SQL语句,完成与数据库的交互。它设计的目标是简化中小型Java数据库应用的开发,提高开发的速度和测试的速度,降低数据库应用与数  相似文献   

14.
随着因特网和校园网的发展,网络课件需求越来越大,它的优势也表现得越来越明显。本文主要介绍依托Java技术实现的一种计算机辅助教学软件,从系统功能、系统的总体设计和几个技术关键等方面阐述了系统开发的基本原理和方法,对如何使用Java技术开发教学软件作了较为详细的介绍。  相似文献   

15.
Java语言环境实现技术探讨   总被引:1,自引:0,他引:1       下载免费PDF全文
Kaffe是一个完整的遵从Personal Java 1.1规范的Java语言环境,本文阐述了Kaffe的特点和整体实现构架,给出了以Kaffe作为原型系统来实现Java语言环境的关键技术,为在新的机器平台上创建Java语言环境提供了依据。  相似文献   

16.
涉及中文字符串记录的数据库管理是Java开发中的常见问题。由于Java语言对中文支持不足,导致中文字符串记录的排序不能很好地满足应用要求。该文在与当前中文排序方法比较分析的基础上,提出了一种通用的排序方法,适用于Java环境下中文字符串和数字类型记录的排序过程,较好地解决了中文字符串数据集记录的排序问题,并且针对记录添加和检索时易出现的谐音拼写错误,提出了谐音检索方法,提高了检索过程的容错和纠错性能。  相似文献   

17.
这篇文章结合了作者多年的实践教学经验,指出了目前教学方面存在的问题,并有针对性地从教学模式、教学方法等多个方面探讨了JAVA程序设计的课程教学改革。文中对教学的各个环节提出了新的建议并且经实践新的方式能提高学生的编程能力、自学能力、沟通能力和团队合作能力。  相似文献   

18.
涉及中文字符串记录的数据库管理是Java开发中的常见问题。由于Java语言对中文支持不足,导致中文字符串记录的排序不能很好地满足应用要求。该文在与当前中文排序方法比较分析的基础上,提出了一种通用的排序方法,适用于Java环境下中文字符串和数字类型记录的排序过程,较好地解决了中文字符串数据集记录的排序问题,并且针对记录添加和检索时易出现的谐音拼写错误,提出了谐音检索方法,提高了检索过程的容错和纠错性能。  相似文献   

19.
随着硬件技术与软件技术的不断发展,用户对应用程序的执行速度要求越来越高,而线程技术的出现就是为了提高程序执行速度,使多个过程并发执行的手段。多线程技术使得基于GUI的多线程程序在执行其它任务的同时,依然可以保持对用户的快速反应,特别是在多处理器的计算机上,每个线程都可以竞争自己的处理器及其它资源为自己服务,从而更大限度地利用系统资源,提高程序执行效率。  相似文献   

20.
Java中的线程池及实现   总被引:1,自引:0,他引:1  
本文探讨了应用线程池技术对Java多线程程序性能的优化及有效使用线程池技术的准则,研究了线程池技术的特点、工作原理、实现方法,并给出了线程池的Java实现实例.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号