PROLOG抽象分析及在并行性分析中的应用

深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性程度高，无需增加用户负担的新方法，利用Ｑｕｉｎ－ｔｕｓＰｒｏｌｏｇ在Ｓｕｎ３／２６０上实现了一开发逻辑程序中与并行性的静态预编译系统。     

当代中国体育教学的嬗变

通过对近20年体育教学观发展变化的回顾,认为体育教学观变化的特点是从传统的“教学”变为“学教”;由教“学”变为教“思”。在这样的教学思想指导下,体育教学发生了深刻的变化,出现了学生自主学习的教学模式,注重学生体育能力和创新能力的培养,使体育教学呈现出前所未有的新局面。     

自然科学论文中摘要写作应涵盖的主要内容之浅见

摘要是学术论文的精华所在,是展示学术水平信息的窗口,是被收录和被运用的主要依据之一。摘要的内容是衡量摘要质量的决定因素。通过对林业科学等多种国家级自然科学期刊近年来所登刊的800多篇学术论文的中外文摘要开展检索并上传到网上,发现凡是被国内外收录和被引用频率高的学术论文,其摘要的内容既包括了目的、方法、结果、结论等传统4要素,又增加了创新或特色、展望等新内容。说明当代自然科学学术论文摘要的内容既要反映论文的完整性,更要反映论文的创新性和展望研究领域的发展趋势。     

理念、知识与实践相结合的个案社会工作教学模式探索

个案社会工作是社会工作的三大方法之一,它秉承社会工作的价值理念,运用科学的方法,通过社会工作者与案主面对面的互动向案主提供所需要的帮助,具有很强的实践性。个案社会工作教学应采用灵活多样的教学方法,将社会工作的理念、知识、技巧、实践与反思融合在一起。文章提出了以社会工作价值理念的认同和内化为核心、强对专业知识与技巧的掌握,注重实践与反思的教学模式。     

基于KBE技术的注塑模浇注系统数据库的构建与开发

从注塑模浇注系统的设计出发，通过对浇注系统在设计与生产过程中积累的各类经验知识和理论知识进行收集、总结，形成了比较完善的、用于浇注系统设计的工程知识总和，然后采用一定的知识表示方法，将总结的设计经验、设计规则、工程数据、工程图储存于专用于浇注系统设计的知识库中，从而可以通过知识的推理技术，从已建立的数据库中获取设计过程中所需的各类知识，形成完整的注塑模具浇注系统的设计流程，从而为注塑模浇注系统知识库的建立奠定了基础。     

建立和谐三峡库区的构想

构建三峡库区和谐社会是三峡工程建设关键时期的发展趋势,是库区移民安稳致富的保障。分析了构建和谐库区的必要性,并结合和谐库区建设的基本要求,提出建立和谐三峡库区的对策建议。     

中小民营企业文化构建的思考

阐述了企业文化的特征和作用,分析了影响民营企业构建企业文化的障碍,指出了塑造企业文化的途径。     

Banach空间中积分-微分方程的周期边值问题

考虑Banach空间中非线性积分-微分方程的周期边值问题u ′=f(t,u,Tu),u(0)=u(2π) ∈E。其中Tu=∫0t h(t,s)u(s)ds, h > 0,f∈C[J×E×E,E].利用抽象锥、推广了的比较定理和定义域与值域不同的非线性算子的不动点定理,构造出两个单调迭代序列,证明了Banach空间中非线性积分-徽分方程具有周期边值的最小值、最大解存在定理。     

抽象三级周期有界变差函数的逼近性质

讨论抽象三级周期有界变差函数的逼近性质，证明x(t)∈V2π^3依多项式的逼近阶并且证明x(t)∈V2π^3的一个充分必要条件。