智能教育软件《数学实验室之一——立体几何》

有了自动推理功能的教育软件会是什么样子？本文主要介绍智能教育软件《数学实验室之一--立体几何》的总体设计思想，系统结构和功能等。     

宽带数字下变频的高效实现方法研究

针对软件无线电接收机中数字下变频的特点,提出了一种合理的基于FPGA实现宽带数字下变频的方案,即分级实现以降低抗混叠滤波器的阶数;并且每级采用不同算法实现滤波抽取以占用不同资源,从而实现FPGA总体资源的合理、高效利用。另外,论述了一种适合FIR抽取滤波器的算法——时钟选择运算法,并通过Altera公司的EP2S60F484C4对该算法进行了测试,验证了它的高效性。     

项目管理在高校软件开发中的应用

随着信息产业的飞速发展,项目管理在软件开发中的应用日益受到重视。而高校软件开发中的项目管理应用却相对落后于企业,本文主要分析了高校软件开发中在项目管理方面存在的问题及解决方案。     

正交优化法的软件设计及其应用

本文用BASIC语言编制了正交优化法软件，并通过实例对其应用进行探讨，研究结果表明：用正交优化法处理化学、环保等方面的非线性模型的参数估值和非线性回归问题是非常有效的。     

合成邏辑TAC中合子的生成

近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。     

Structural Nested Models and Standard Software: A Mathematical Foundation through Partial Likelihood

Abstract.  In observational studies treatment may be adapted to the patient's state during the course of time. These covariates may in turn also react on the treatment under study, and so on. This makes it hard to distinguish between treatment effect and selection bias. Structural nested models aim at estimating treatment effect in such complicated situations, even when treatment may change at any time. We show that structural nested models can often be calculated with standard software, by using standard models to predict treatment as a tool to estimate treatment effect. Robins ( Survival analysis, Volume 6 of Encyclopedia of Biostatistics , John Wiley and Sons, Chichester, 1998) conjectured this, but so far it was unproven. We use a partial likelihood approach to choose the estimators and tests as a subclass of the estimators and tests in Lok (math. ST/0410271 at http://arXiv.org , 2004). We show that this is the class of estimators and tests that can be calculated with standard software. The estimators are consistent and asymptotically normal, and have interesting asymptotic properties.     

高等学校学生成绩分析方法的研究

学生的考试成绩一直是直接评价学生学业的重要标准，也是评价学生综合素质的一个主要指标。综合分析高等学校学生的学习成绩，掌握学生的学习动态，对培养学生成才至关重要。应用软件Microsoft Office Excel研究了综合分析普通高等学校学生成绩的方式，并将分析的结果应用到学生的培养。实践证明，该学习成绩的分析方法可以有效地提高学生的培养成效，在实际应用中可以作为培养学生成才的重要依据，为高等学校培养学生成才提供重要的分析工具。     

Windows 2000 Server典型实验在VMware中的实现

Windows 2000 Server的实验需要专门的网络实验室,从而需要很大的设备投入。随着虚拟仿真技术在计算机网络中的应用,可以利用虚拟机软件构造虚拟计算机网络实验平台。VMware是一个功能强大的虚拟机软件,本文介绍VMware环境下Windows2000 Server的多个典型实验的实现原理与方法。     

服务业三种生产模式的选择：外包、FDI和本国生产

外包、FDI和本国生产是服务业国际化战略中最重要的三种生产模式。本文通过建立发达国家的国际化选择模型，利用柯布道格拉斯函数，根据最小成本原则，比较了外包模式、FDI模式和本国生产模式下的成本差异；通过建立短期和长期的国际化选择模型，分析了发达国家如何将服务业产品在外包、FDI和本国生产三种生产模式之间进行分配。并对我国如何做好服务业国际转移的承接工作提出了建议。     

三维绘图软件在“工程制图”课堂教学中的应用

文章结合"工程制图"课程的章节内容以及工科学生的专业特点,就课堂教学过程中引入三维绘图软件进行了探讨,以期实现"工程制图"的融合性教学,在生动教学中调动学生的学习热情,培养其学习兴趣。