A lightweight approach to component-level exception mechanism for robust android apps

Recent researches have reported that Android programs are vulnerable to unexpected exceptions. One reason is that the current design of Android platform solely depends on Java exception mechanism, which is unaware of the component-based structure of Android programs. This paper proposes a component-level exception mechanism for programmers to build robust Android programs with. With the mechanism, they can define an intra-component handler for each component to recover from exceptions, and they can propagate uncaught exceptions to caller component along the reverse of component activation flow. Theoretically, we have formalized an Android semantics with exceptions to prove the robustness property of the mechanism. In practice, we have implemented the mechanism with a domain-specific library that extends existing Android components. This lightweight approach does not demand the change of the Android platform. In our experiment with Android benchmark programs, the library is found to catch a number of runtime exceptions that would otherwise get the programs terminated abnormally. We also measure the overhead of using the library to show that it is very small. Our proposal is a new mechanism for defending Android programs from unexpected exceptions.     

基于JavaSIM卡的GlobalPlatform安全技术研究

在分析JavaSIM卡的工作原理基础上,研究了GlobalPlatform系统的安全通信和卡上多应用程序管理的安全需求,设计实现了一种保证JavaSIM卡平台安全性的方案。本方案以密钥集的管理和应用为基础,通过划分不同密钥集的认证管理权限和提供安全信道,实现了不同卡外实体对卡内容的安全管理。对实现方案测试的结果符合相关规范的规定。     

(A-C)式双摆头五轴机床旋转角的选择及优化

非模态主轴的五轴双摆头机床C轴不能360°自由回转,文章针对这个问题,基于该类机床的基本后置处理算法,提出了一种旋转角优化选择方法,并结合JAVA语言,开发出对该机床的专用后置处理器。最后,通过对某QQ零件的加工验证了旋转角优化选择法在多轴数控加工中具有重要的实用价值,同时此法也为其他同类机床解决旋转角受限问题提供了一定的参考。     

基于Java的学生选课系统的设计与实现

教务管理系统已经完全替代了之前全手工和文件记载的方式进行教务的管理,学生选课系统作为其一个不可或缺的子系统,受到各大高校的青睐,已经成为各高校的主流选课方式,淘汰了以往比较落后的全人工的方式。在此设计了一种基于Java的学生选课系统,该系统采用Java的SSH三大框架、B/S架构开发而成,通过学生在线的浏览器操作,使得选课管理工作变得规范化、系统化,提高了信息处理的有效性和准确性,同时大大提高了在学校日常工作中学生的参与性。     

OSGi框架服务层分析及应用

作为OSGi框架中最上面的一层,服务层带来了更多的动态性,并且使用了大众基本了解过的面向服务编程模型,其好处是显而易见的。文中讲解了什么是服务层和服务层对于OSGi框架的意义,此外,还将提出什么时候应该使用服务,什么时候不应该使用。最后将会是OSGi服务层的一些基础,包括如何定义、注册和发现服务。     

基于MVC的校园闲置物品置换系统设计

随着经济水平的提高、移动支付的出现,国内大学快递行业飞速发展,学生网购量日益增多,二手闲置物品也在增加。目前咸鱼市场有较多不稳定因素,存在众多欺诈行为,校园内跳蚤市场缺乏有效管理。因此,笔者构建了校园闲置物品置换系统,其能够在校园范围内实现校园闲置物品的重新利用,发挥闲置物品的价值。     

JTable组件在Swing开发中的应用研究

针对Swing开发中二维数据表格的显示问题,在分析MVC设计模式的基础上,剖析了JTable及其相关组件的交互关系。通过在线考试系统中"考生状态显示"这一功能,详细描述JTable组件的应用过程,并结合事件处理机制和渲染机制提升了JTable的交互能力和外观定制能力,为Java桌面系统开发中JTable组件的使用提供了一定的借鉴意义。     

基于云技术的校园服务系统服务器端设计研究

云计算是一种基于Internet以服务的方式提供动态可伸缩的虚拟化资源的计算模式,通过这种模式,共享的软硬件资源和信息可以按需分配给计算机和其它设备。本文顺应目前手持智能终端普及的热潮,进一步推进数字校园的建设,实现高校信息共享的移动化。首先,本文对基于Hadoop分布式计算平台的云技术如Map Reduce、HDFS、HBase及其开发环境等进行深入的研究。其次,采用Java语言开发基于Hadoop的针对高校学生的校园服务系统的服务器端系统,该系统包括用户和微博信息服务、通用API以及Web管理系统等部分。     

Memory leak detection in Java: Taxonomy and classification of approaches

Memory leaks are usually not associated with runtime environments with automatic garbage collection; however, memory leaks do happen in such environments and present a challenge to detect and find a root cause. Currently in the industry manual heap dump analysis is the most popular way of finding memory leaks, regardless of the number of automated methods proposed by scientists over the years. However, heap dump analysis alone cannot answer all questions needed to fix the leak effectively. The current paper reviews memory leak detection approaches proposed over the years and classifies them from the point of view of assessed metrics, performance overhead and intrusiveness. In addition, we classify the methods into online, offline and hybrid groups based on their features.     

教师要学会“藏”的艺术——教学中“藏”的内涵、价值及策略

教学中“藏”的艺术主要指在教学中设置悬念、设置障碍、引而不发和境的营造。教学中经过教师精心设计的“藏”,有利于激发学生的想象力和探究欲望;有助于转变教学方式,发挥学生的主体作用;有利于活跃学生思维,促进深度学习;有利于调节课堂气氛。教师在教学中运用“藏”的艺术,需要处理好“藏”与“白”、“藏”与“时”、“藏”与“度”及“藏”与“境”的关系。