计算机专业函授课程教学改革与实践

本文总结了作者多年从事计算机专业函授课程教学的经验,介绍了解决实际问题的一些方法,以及在实际工作中被证明为行之有效的改革措施,还提出了一些在今后的函授教学实践中需要依靠广大从事相关工作的教师共同探索、交流、解决的问题。     

软件协同中基于中介的协同模型应用研究

在开放、动态的Internet平台上实现软件资源的协同是网络技术研究热点之一．传统的软件协同存在协同模式单一的不足，不能很好适应网络资源的多模式协同．本文在我们开展的多模式软件协同研究背景下。基于共享空间协同技术。针对多模式协同特点，在基于agent的多模式协同中间件中，设计并实现了一个基于中介的协同环境，为多模式软件协同提供了良好的中介协同支撑．     

ND-P0lya中协变-反变问题的处理方法

协变－反变问题讨论面向对象语言中继承机制和多态计算的关系,晃当前面向对象程序设计语言中的一个重要的理论问题。反变的方法重定义不符合思维习惯,一盘采用协变精化的设计方法。但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题。针对这一问题,该文基于Ｃａｓｔａｇｎａ的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ＮＤ－Ｐｏｌｙａ语言及系统中具体实现。该方法可以应用到其它协变面向对     

构件化软件服务及其在Artemis-ARC系统中的应用

在Web服务的基础上提出一种构件化服务方法.它显式化地描述了服务间的依赖关系,并保证了统一的功能抽象和良好的复用性.对构件化服务的描述、搜索、集成等关键技术进行了讨论;在基于Axis 和JBoss 基础平台以及Eclipse 公用环境的Atremis-ARC系统中初步实现了构件化服务的思想.     

面向对象范型体系结构中构件行为相容性研究

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.     

GridDroid---An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface

Repackaging brings serious threats to Android ecosystem.Software birthmark techniques are typically applied to detect repackaged apps.Birthmarks based on apps'runtime graphical user interfaces(GUI)are effective,especially for obfuscated or encrypted apps.However,existing studies are time-consuming and not suitable for handling apps in large scale.In this paper,we propose an effective yet efficient dynamic GUI birthmark for Android apps.Briefly,we run an app with automatically generated GUI events and dump its layout after each event.We divide each dumped layout into a grid,count in each grid cell the vertices of boundary rectangles corresponding to widgets within the layout,and generate a feature vector to encode the layout.Similar layouts are merged at runtime,and finally we obtain a graph as the birthmark of the app.Given a pair of apps to be compared,we build a weighted bipartite graph from their birthmarks and apply a modified version of the maximum-weight-bipartite-matching algorithm to determine whether they form a repackaging pair(RP)or not.We implement the proposed technique in a prototype,GridDroid,and apply it to detect RPs in three datasets involving 527 apks.GridDroid reports only six false negatives and seven false positives,and it takes GridDroid merely 20 microseconds on average to compare a pair of birthmarks.     

“引导式自学”教学模式探索

针对创新型人才培养中如何加强学生自学能力的问题,分析在"计算机问题求解"课程建设过程中教师引导下的学生自学方法,提出深度引导与自我探索相结合的"引导式自学"教学模式,介绍以自学、授课、讨论和监督为一体的教学方式,并对"计算机问题求解"课程中的实际案例进行系统分析。     

移动Agent系统的一个因果保序通信协议

讨论了移动Agent系统通信中因果序的保持问题。在界定系统模型和基本假定的基础上,对已有的Agent通信协议做了扩充,给出了一个支持因果保序的新协议。此协议对Agent数目的动态变化具有良好的适应性,较好地解决了移动所带来的影响。     

一种面向动态软件体系结构的在线演化方法

为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果.     

基于KQML的agent安全通讯模型

KQML是软件agent之间通讯的消息协议和格式,为了支持agent之间安全通讯以保护agent通讯的私有性和完整性及身份认证,本文对KQML行为原语进行扩弃,提出了基于KQML的安全通讯模型。