The Research Experience for Education Graduate Students: A Phenomenographic Study

This article presents the findings of an exploratory study of education graduate students’ information-seeking behavior and attitudes. Qualitative data included interviews with education students, focusing on their research habits, and analyzed from phenomenographic approach that focused on variations in individuals’ experiences. The quantitative analysis stemmed from participants’ responses to the survey of their information-seeking behavior. A comparison of interview participants and survey respondents’ search skills, research strategies, and attitudes toward previous library instruction illustrate the wide variation in students’ abilities and experiences between the groups. This suggests the need for further analysis of these students’ information seeking behaviors.     

Using Courseware Discussion Boards to Engage Graduate Students in Online Library Workshops

ABSTRACT

Librarians at Oregon State University (OSU) Libraries used the discussion board features of Blackboard courseware to create an interactive experience for graduate students at a distance who could not attend the on-campus “Literature Review Workshops.” These recently developed workshops have been extremely popular with graduate students across the disciplines and have generated a growing demand from distance education graduate students and faculty to offer similar information online. Reluctant to simply deliver content via an online tutorial, librarians sought to duplicate the workshop atmosphere by making the sessions available for a short time-period online, asking participants to respond to discussion questions at specific points in the workshop, and offering audio-mediated online demonstrations of tools and resources. Student feedback and follow-up requests for more workshops support the perception that this approach offered a rewarding learning experience that addressed their specific adult learning needs.     

浅谈中职计算机项目教学

随着社会的不断发展与进步,用人单位对人才需求的不同,传统的中职计算机授课方式在很大程度上有一定的缺陷与不足。文章具体分析了这些缺陷和不足,并提出了相应的应对措施,为在中职计算机教学中更好的开展项目教学奠定了基础。     

基于.NET的研究生管理信息系统的设计与实现

随着我国的研究生教育规模不断扩大,迫切需要科学化、信息化的管理。针对研究生管理现状,建立一个适应研究生管理规律的基于Web的研究生管理信息系统,规范研究生教育教学过程,对提高研究生教育管理水平和工作效率有很好的促进作用,同时,也有利于提高研究生的教育教学质量。     

基于修正的PRM网进行并行程序性能预测的方法

Petri网是使用很广泛的用于复杂系统描述的工具。PRM网是一种特殊的Petri网,主要用于并行程序的性能评价和预测,使用PRM网进行预测,通常使用的是程序模拟的方法。本文首先对PRM网作了简要的介绍并做出适当的修正,然后基于修正后的PRM网提出了一种基于计算的性能预测方法。该方法主要可以分成三个步骤:首先根据P网建立一个状态跃迁列表,然后根据资源映射图建立执行图,最后计算执行图中最长路径的长度。对于不同的资源映射图,只需要重做后两步,就可以预测出其运行时间,相对于模拟来说,这种方法要便捷得多。     

A computer program for estimating the re-transformed mean in heteroscedastic two-part models

The population of health care costs is typically skewed, heteroscedastic, and may include zero costs. Without proper accounting for these special distributional features, resulting prediction may be biased, and wrong inferences about the distribution of patients’ health care costs may be made. Welsh and Zhou [A.H. Welsh, X.H. Zhou, Estimating the retransformed mean in a heteroscedastic two-part model, J. Stat. Plan. Inference 136 (2006) 860–881] proposed a semi-parametric regression model, which addressed these special features. In this paper we developed a software program to implement this statistical method, which would provide better prediction of health care costs for clinical researchers.

Our program computed two mean estimators, their asymptotical standard deviation, confidence interval, and optional bootstrap confidence interval. Our program included user-friendly interactive mode and more efficient and flexible batch mode. It was written in free statistical computing language R and could be run on a wide variety of platforms.     

Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

测试顺序选择策略研究

在面向对象程序的测试中,合适的测试顺序能够极大地节省测试成本.目前已有的相关工作大多忽略了包括Java在内的主流面向对象程序语言的一个重要特征--动态绑定.考察了动态绑定在对于选择测试顺序的影响,提出了一种新的测试顺序的选择策略,并给出了相应的选择算法,实现了减少测试桩数目,降低测试成本的目标.     

基于角色管理的研究生信息管理系统分析与建设

在分析现有的研究生信息管理系统基础上,提出了基于角色管理的研究生信息管理系统建设方案.基于不同角色、访问和管理系统,完成从学生报名-考试-录取-报到-培养计划-学籍-成绩-科研-学位-毕业-就业以及导师信息-导师管理-导师与学生查询等工作.由于采用角色管理,从而提高了工作效率和系统的安全性.     

IoT设备程序同源性智能检测技术综述

IoT设备与各行业的深度融合方兴日盛,使得IoT程序快速开发的需求不断增长。开发者习惯于集成第三方库或常用代码。不幸的是,若这些代码中隐藏着潜在的漏洞,那他们也会被扩散到不同的程序中,为其大规模扩散创造了条件。这也是造成近年来IoT设备群体性安全事件频发的重要原因之一。为了降低危害,发现具备相似漏洞的程序并进行相关的处置是一个有效的方法。同源性分析作为挖掘程序间关联关系的重要手段之一,可高效地实现程序漏洞的智能溯源取证。结合机器学习和深度学习技术,它表现出解决大规模程序安全性检测的巨大潜力。然而,IoT设备的软硬件特点仍使得该技术的使用面临挑战。当前已有诸多方案在IoT设备程序的同源性智能检测方面取得了进展。因此,本文将系统性回顾近年来相关技术研究的成果,将他们分为相似性分析和创作者归属技术。首先,我们介绍了两种方式的数据来源。接着,检测过程中涉及的特征选择、特征表示以及相对应的检测方法也被依次介绍。进一步的,本文不仅比较和总结了方案的特点和局限性,还对他们在不同类型IoT设备程序的适配性进行了对比分析。最后,文章针对IoT程序分析提出了一些研究建议。作者希望本综述可为研究者阐明这些工作的核心技术点,并为他们在IoT设备上的进一步应用提供启发。