关于C语言函数参数应用问题的研究

函数是C语言程序设计的核心,函数的参数的地位更显得重要,本文从C语言中参数的使用语法、指针参数、数组参数、函数的返回值几个方法论述了C语言中函数参数的使用技术,并对其进行了小结,为C语言教学中及C语言程序设计提供参考。     

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#的通用软件安装程序的架构,给出了实现这一架构的设计方法和关键代码.通过该架构,可以非常容易地实现安装程序的功能扩展和代码维护.     

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

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

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

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

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.     

以能力为导向的程序设计类课程教学体系

计算机专业程序设计能力是计算机及相关专业学生最重要的专业能力之一。本文分析现有程序设计类课程的目标定位、课程教学内容、实践教学模式等方面存在的不足,结合浙江财经学院程序设计类课程教学实际,提出基于能力目标导向,设计程序设计类课程教学体系(包括实践教学体系),构建开放式的实践教学平台,改革课程教学内容、教学模式和考核方式,以加强对学生专业程序设计能力的培养,提高学生的实践能力和创新能力。在该课程教学体系中,我们强调程序设计思想和方法的运用,强调程序设计的在线实践和项目实训,强调团队协作和创新能力的培养。最后,本文介绍了改革和实践的成效。