Examining the significance of high-level programming features in source code author classification

The use of Source Code Author Profiles (SCAP) represents a new, highly accurate approach to source code authorship identification that is, unlike previous methods, language independent. While accuracy is clearly a crucial requirement of any author identification method, in cases of litigation regarding authorship, plagiarism, and so on, there is also a need to know why it is claimed that a piece of code is written by a particular author. What is it about that piece of code that suggests a particular author? What features in the code make one author more likely than another? In this study, we describe a means of identifying the high-level features that contribute to source code authorship identification using as a tool the SCAP method. A variety of features are considered for Java and Common Lisp and the importance of each feature in determining authorship is measured through a sequence of experiments in which we remove one feature at a time. The results show that, for these programs, comments, layout features and package-related naming influence classification accuracy whereas user-defined naming, an obvious programmer related feature, does not appear to influence accuracy. A comparison is also made between the relative feature contributions in programs written in the two languages.     

一种基于C#的通用软件安装程序的架构设计与实现

可以说每个商业化软件都必须具备安装工具,使用系统软件自带的打包程序有时很难满足实际需求,为此提出了一种基于C#的通用软件安装程序的架构,给出了实现这一架构的设计方法和关键代码.通过该架构,可以非常容易地实现安装程序的功能扩展和代码维护.     

基于用户聚类的播客节目推荐

许多播客推荐机制一般根据整体点击次数来向用户推荐节目,但是一些点击次数很高的节目未必就是某类用户所喜欢的,因而推荐的节目对用户的喜好针对性不是很强.为了提高推荐节目对用户喜好特点的针对性,提出基于用户聚类的节目推荐.对用户在播客平台上的采集数据进行聚类分析后,把用户归为某一类型,并把该类型的所有节目根据点击次数多少存放入相应的推荐表.在用户下次登录时,根据其所属用户类型从推荐表中选出其最可能观看的尚未浏览的节目.试验结果证明,该播客推荐系统能很好地根据用户的喜好特点来进行针对性节目推荐.     

浅谈DVB—C系统在数字电视中的应用

根据DVB—C的原理,提出基于DVB—C的数字电视系统实现方法。阐述DVB前端、条件接收系统（CAS）的加密体系、电子节目指南（EPG）系统方案、宽带传输网络、用户终端DVB接收系统等技术原理和系统组成。同时对DVB-C系统技术方案进行一些技术探讨和总结。     

基于课程延续性的VFP教学改革

本文通过分析Visual Foxpro课程教学中存在的问题,从课程的延续性角度进行了教学改革探讨,在VFP与力公自动化软件数据交换方面,提出了合理编写教材、改革理论教学方法和加强实践教学等多种教改方法,同时对实践结果进行了分析。     

基于图灵机的递归技术的实现陈晓亮[1] 卢朝辉[2] 宋文[1]

图灵机是通用的计算机模型,一般程序设计和以图灵机为机器模型的计算也是支持递归的。本文首先分析了递归的特征,利用多带图灵机作为计算模型,定义了递归技术转移 函数形式,提出了图灵机递归过程信息传递与保存的方法,给出了图灵机调用的实现,继而给出了图灵机递归技术的实现,同时证明了图灵机的调用与图灵机的递归调用是图灵可识别的。     

Hoare's logic and VDM

A relational framework which unifies Hoare's logic and VDM is presented. Within this framework a partial correctness version of VDM is defined. It is argued that this partial correctness version of VDM is intuitive and consistent with the original total correctness version. Furthermore it is shown how both partial and total correctness formulae and specifications can be translated from Hoare's logic into VDM and vice versa. VDM's satisfiability requirement is briefly discussed, and a similar condition for Hoare's logic is defined.:Supported by NWO/SION project 612-316-103: Fault Tolerance: Paradigms, Models, Logics, Construction.     

基于程序模块化建模的智慧电站一体化平台构建

为实现在智慧电站高度一体化融合的同时,提高电站报警响应时效性和准确性,开展基于程序模块化建模的智慧电站一体化平台构建。通过电子式互感器选型、全站智能组件装置整合等硬件设计和基于程序模块化建模的三维一体化信息模型构建、电站门禁管理与人员轨迹跟踪、电站危险源识别与动态预警等软件设计,提出一种全新的智慧电站一体化平台。通过将新的平台应用到某电站火电厂中,验证了该平台能够实现对电站异常故障问题的快速响应,并保证误报警次数始终为0,在促进智慧电站安全性不断提升的同时,实现高度一体化融合。