基于CSCW的协同编著系统的设计

讨论了计算机支持的协同工作(CSCW)的主要技术，其中重点讨论了协同编著系统设计中的并发控制技术，指出了其与传统的并发控制技术的区别。根据CSCW的基本原理设计出了一个基于Browse／Server结构的协同编著系统的系统模型。该系统模型比传统的模型更加方便了用户之间通过Internet的浏览器进行协作。     

A Framework for Monitoring Progress and Planning Teaching Towards the Effective Use of Computer Algebra Systems

This article suggests a framework to organise a cluster of variables that are associated with students' effective use of computer algebra systems (CAS) in mathematics learning. Based on a review of the literature and from the authors' own teaching experience, the framework identifies the main characteristics of students' interactions with CAS technology and how these may be used to monitor students' developing use of CAS; from this, the framework may be used to plan teaching in order to gain greater benefit from the availability of CAS. Four case studies describing students' development over a semester are reported. These demonstrate a variety of combinations of technical competencies and personal attributes. They indicate the importance of both the technical and personal aspects but suggest that negative attitudes rather than technical difficulties can limit the effective use of CAS. Finally practical suggestions are given for teaching strategies which may promote effective use of CAS.This revised version was published online in September 2005 with corrections to the Cover Date.     

Formula 1 – A Mathematical Microworld with CAS: Analysis of Learning Opportunities and Experiences with Students

In this article we describe a mathematical microworld for investigating car motion on a racing course and its use with a group of grade 12 students. The microworld is concerned with the mathematical construction of courses and functions which describe car motion. It is implemented in the computer algebra system, Maple^®, which provides the means to represent courses and functions symbolically and graphically. We describe the learning opportunities offered by the microworld in relation to the research literature on functions. Various facets and layers of the function concept are addressed in the microworld, and we suggest how work in the microworld might help in overcoming some well-known misconceptions.This revised version was published online in September 2005 with corrections to the Cover Date.     

Using interactive algebra software to support a discourse community

In this work we studied the impact of using NuCalc, an interactive computer algebra software, on the development of a discourse community in a college level mathematics class. Qualitative and quantitative data were collected over the course of 3 weeks of instruction. We examined the influence of the software on: group interactions; the mathematical investigations of learners; and the teacher’s interactions with students. Data points to four distinct ways in which the presence of NuCalc positively impacted the learning community we studied: (1) it served as a tool for extending students’ mathematical thinking, (2) it motivated students’ engagement in group discourse, (3) it became a tool for mediating discourse, (4) it became a catalyst for refining the culture of classroom, shifting the patterns of interactions between the teacher and learners.     

On searching for solutions of the Diophantine equation

We propose a new search algorithm to solve the equation for a fixed value of . By parametrizing min, this algorithm obtains and (if they exist) by solving a quadratic equation derived from divisors of . By using several efficient number-theoretic sieves, the new algorithm is much faster on average than previous straightforward algorithms. We performed a computer search for 51 values of below 1000 (except ) for which no solution has previously been found. We found eight new integer solutions for and in the range of .

     

组合计数的群论与计算机方法

本文综述组合数学和图论中解决计数问题的群论与计算机方法及其最新发展。传统的计数方法得到有限的计数公式或递推公式等，然而许多复杂的问题很难得到有限的表达式，即使能得到，公式也往往非常复杂。由于计算机技术的发展不仅使复杂的计数公式有了实际意义，而且可以设计恰当的计算方法进行数值计算，使计数问题有更为广阔的发展领域。另一方面，为了计算不同构的图或组合结构，最有效的方法是群论方法，因此把群论方法与计算机方     

两个非线性方程的准确解

借助于计算机代数系统Ｍａｔｈｅｍａｔｉｃａ利用直接代数方法获得了两个有数学物理意义的非线性耗散－色散方程的准确解，这种方法也适用于高维非线性方程。     

Parallel Algorithm for Unconstrained Optimization Based on Decomposition Techniques

We present a numerical implementation of the parallel gradient distribution (PGD) method for the solution of large-scale unconstrained optimization problems. The proposed parallel algorithm is characterized by a parallel phase which exploits the portions of the gradient of the objective function assigned to each processor; then, a coordination phase follows which, by a synchronous interaction scheme, optimizes over the partial results obtained by the parallel phase. The parallel and coordination phases are implemented using a quasi-Newton limited-memory BFGS approach. The computational experiments, carried out on a network of UNIX workstations by using the parallel software tool PVM, show that parallelization efficiency was problem dependent and ranged between 0.15 and 8.75. For the 150 problems solved by PGD on more than one processor, 85 cases had parallelization efficiency below 1, while 65 cases had a parallelization efficiency above 1.     

Measuring Lineup Difficulty By Matching Distance Metrics With Subject Choices in Crowd-Sourced Data

Graphics play a crucial role in statistical analysis and data mining. Being able to quantify structure in data that is visible in plots, and how people read the structure from plots is an ongoing challenge. The lineup protocol provides a formal framework for data plots, making inference possible. The data plot is treated like a test statistic, and lineup protocol acts like a comparison with the sampling distribution of the nulls. This article describes metrics for describing structure in data plots and evaluates them in relation to the choices that human readers made during several large Amazon Turk studies using lineups. The metrics that were more specific to the plot types tended to better match subject choices, than generic metrics. The process that we followed to evaluate metrics will be useful for general development of numerically measuring structure in plots, and also in future experiments on lineups for choosing blocks of pictures. Supplementary materials for this article are available online.     

Full-field speckle pattern image correlation with B-Spline deformation function

A full-field speckle pattern image correlation method is presented that will determine directly the complete, two-dimensional deformation field during the image correlation process on digital images obtained using computer vision systems. In this work, a B-Spline function is used to represent the object deformation field throughout the entire image area. This is an improvement over subset-based image correlation methods by implicitly maintaining position and derivative continuity constraints among subsets up to a specified order. The control point variables within the B-Spline deformation function are optimized iteratively with the Levenberg-Marquardt method to achieve minimum disparity between the predicted and actual deformed images. Results have shown that the proposed method is computationally efficient, accurate and robust. The general framework of this method can be applied ton-dimensional image correlation systems that solve for multi-dimension vector fields.