累进评分法在体育课田径技术教学考核中的应用

采用累进评分方程计算新标准进行田径课程的评分,并对该方法进行理论验证和实际应用的检验,证明新的评分标准能反映学生的整体水平,是一种科学、合理和实用的方法.     

Auto CAD与高级语言的联接

本文应用Auto CAD软件设计和绘制叶轮零件工作图,按图形交换文件格式的要求,编制接口程序与高级语言程序联接。     

C语言源程序汉字处理

本文在找出汉字区位码地址码转换关系的基础上，阐述了用Ｃ语言开发的，在西方图形方式下能显示一、二级汉字库中所有汉字的处理软件的设计考虑，并给出有关程序。     

悬空树状刚体系统动力学方程应用

本文简述了R.E.Roberson, J.Wittenburg推出的关于用球铰连接的刚体系统动力学方程.作者根据该方程编写了计算程序.该程序功能是:给定系统初瞬时的姿态和各刚体之间的相对运动,计算出系统质心和主块质心的位置及速度的变化规律,各刚休的相对角速度、绝对角速度、布里恩角和布里恩角对时间的一阶导数的规律等.将该程序应用于人体运动分析时,可帮助教练员论证设计动作的可行性.作者用该程序计算了一实例.对运算结果所作的扼要分析,表明该程序是行之有效的.     

框式约束凸二次规划的预估校正光滑算法

研究了框式约束凸二次规划的一种光滑算法，算法中应用了牛顿法及其变形形式，证明了算法的全局收敛性．     

DK——2A型单体液压支柱低压密封质量检测仪

单体液压支柱低压密封质量,直接影响到工作面安全生产。为使密封质量检测过程自动化、定量化,研制了DK—2A型单体液压支柱低压密封质量检测仪。该检测仪采用单片机控制,以PC—1500计算机进行数据处理,一次可检测15根支柱,提高检测效率四至八倍。本文论述检测仪的工作原理、硬件及软件设计,并给出程序流程图。此外,对单片机测周期误差进行了分析。     

Spatiotemporal programs and genetics of orientation

Summary A number of migratory bird species have endogenous annual rhythms that regulate the entire annual cycle including the migratory portion. Moreover, captive migrants display inherited migratory activity; this could theoretically also be used by free-living migrants as a time-program for migration. Finally, this heritable migratory activity is oriented in a seasonally appropriate direction even in naive birds. These, characteristics should enable inexperienced migrants isolated from contact with experienced conspecifics to utilize a heritable vector-navigation program to migrate from the breeding grounds to the winter quarters. That is, migrants should reach goal areas they have never experienced by migrating in programmed directions, for as long a period as the genetically fixed time-program for migratory activity induces them to do so. The time-course of migration as established by trapping stations, theoretical influences of environmental variables on migratory programs, and also compensatory behavior and migratory backup measures, are discussed. The present evidence supports the view that a large number of migrants are essentially brought to their wintering areas by vector-navigation systems.     

高校图书采购招标项目用户满意度评价指标体系探析?

确立科学合理的评价指标体系是对高校图书采购招标项目进行用户满意度评价研究的基础,本文结合高校图书采购招标项目的特点,在评价指标体系一般理论的基础上,对高校图书采购招标项目用户满意度评价指标做了层层剖析,并运用德尔菲法对所选指标进行遴选,建立了一套简便的、可操作性强的高校图书采购招标项目用户满意度评价指标体系。     

Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

高职院校开办新媒体采编与网站管理专业初探

借助互联网、卫星通信、数字电视等高科技平台,以三网融合,信息产品与数字娱乐为载体的新媒体产业迅猛发展,成为国家新的经济增长点。新媒体与传统媒体的交融互补,深刻地改变了社会态势和人们的生活方式。国家的宏观需求和珠三角地区的具体调研都表明,新媒体采编与网站管理人才,在未来十年内都有相当大的缺口。高职学院开办新媒体采编与网站管理专业正逢其时。