一个求解P_*(K)-矩阵线性互补问题的宽邻域路径跟踪算法(英)

基于预校正方法,对P*（K）-矩阵线性互补问题给出了一个迭代复杂性为O（k＋1）n2/3L）的宽邻域路径跟踪算法,算法改进了Zhang等的可行宽域路径跟踪算法的迭代复杂性;比迭代复杂性为O的小邻域路径跟踪算法为好．     

以非洲为代表的原生态文化对现代设计的影响

非洲艺术是原始艺术文化范畴的一种特有形式,具有几千年悠久的历史.它所体现的自由个性和材质的自然属性,无论从古代到现代,还是从形式到意义,都具有深刻的文化内涵和精神价值.非洲的现代或当代艺术是作为后现代主义中的多元文化力量的佐证而被展示出来的.社会文化交融和信息多样化,已是大势所趋.     

图书馆员能力的开发与利用

将图书馆工作岗位分为基础岗位和技术岗位,根据岗位的要求,提出了对图书馆员的文化素质和业务能力的要求,并提出了激活图书馆员潜能力的措施和激活能力以后的管理对策。     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法; 然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式; 最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

南京体育学院大学计算机信息技术基础教学的现状及对策

通过对南京体育学院大学计算机信息基础教学现状进行网络问卷调查。调查针对教学常见问题,使用EnableQ网络调查系统对365名南京体育学院本科学生进行问卷调查。结果体现出课程教学比较重视基础,缺少深层次的教学和指导,信息意识薄弱,信息处理能力不强,有4．2％的学生具有网络成瘾现象,需引起关注。讨论和结论认为大学计算机信息技术基础课程内容应注重与体育领域应用结合,体现出体育院校的特殊性,课程教学应注重学生养成良好信息素养培育,并需加强课外教学和网络教学平台建设．实现全面盲人的目标。     

《中外医疗》投稿说明

1、稿件应具有科学性、先进性和实用性,论点明确、数据准确、逻辑严谨、文字通顺。 2、计量单位以国家法定计量单位为准;统计学符号按国家标准《统计学名词及符号》的规定书写。 3、所有文章标题字数在20字以内。