关于高师数学教育的一点思考

本文分析了目前高师数学教育的现状及存在的问题，并提出几点思考性建议，以便与同行共同商讨。     

UNITY逻辑中关于unless的若干结果

本文的工作主要分为两部分．首先，我们把验证ｐｕｎｌｅｓｓｑ是否是ＵＮＩＴＹ逻辑的定理转化为一阶定理的验证．其次，设ｐ１ｕｎｌｅｓｓｑ１，…，ｐｎｕｎｌｅｓｓｑｎ在一ＵＮＩＴＹ程序Ｆ中成立．我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证，其中强推出是本文引进的新概念．     

基于复杂适应系统的群体组织形成模型及其模拟

以复杂适应系统理论为基本指导思想,利用基于主体的计算机建模方法,在Swarm平台上构建和实现了群体组织形成过程模型.通过设置模型的各种模拟参数,对组成群体组织的微观主体行为,以及主体与主体之间的相互作用进行模拟实验,在可视化窗口观察组织形成的整体动态演化过程,并对模拟结果进行了分析.该模型与实际现象相符合,表明了模型的有效性.     

基于物场分析法的机械产品创新

首次在机械产品创新中应用物场分析法，并对物场分析法加以改进和完善，提出了通过变换和完善物场模型实现机械产品创新的有效方法，解决了机械产品创新过程中的技术难题，并结合实例说明物场分析法的应用过程。     

借鉴兄弟院校经验完善实践教学体系

对武汉理工大学材料专业的实践教学体系及其特点进行了介绍,就完善湖南科技大学材料专业的实践教学体系进行了探讨.     

EGRET伽马射线源光变的数值分析

高能γ射线天文是当今天体物理学中重要的研究领域之一,康普顿γ射线天文台的高能γ射线望远镜(EGRET)提供了大量的观测数据,发现了271颗高能γ射线点源,其中170颗未被证认.目前的研究表明,一些未证认源可能是活动星系核,银盘附近的一些未证认源可能与脉冲星和超新星遗迹(SNRs)有联系.也发现几个未证认源可能是星系扩散发射所造成的伪造源.但就像大家所讨论的那样,未证认源的数目比所期望的更多.这些未证认高能γ射线点源的基本物理特性是什么呢?以此为动机,利用不同的光变分析方法,对这些未证认源进行了仔细的统计分析.目前,共有3种光变分析方法用来研究γ射线源的γ射线光变,它们分别是V指数方法、I指数方法和τ指数方法.通过数值计算EGRET源的I值和V值,发现这两种光变方法在统计上是一致的.把计算结果与Tompkins(1999)所计算的r值进行比较,发现如果观测数据足够精确,这3种方法在统计上也是一致的.联合这3种光变分析方法,分析了30个与脉冲星位置一致的EGRET点源的光变以及40个低纬度持续稳定未证认源的光变.结果表明30个与脉冲星位置一致的EGRET点源中有14个与脉冲星有本质的或很可能的联系,40个低纬度持续稳定未证认源中有16个是可能的脉冲星候选源.     

聚丙烯酸丁酯胶乳的合成与性能：Ⅰ聚合工艺参数的影响

本文研究了丙烯酸丁酯乳液聚合中乳化剂种类和用量、引发剂用量、及聚合反应温度等工艺参数对乳胶颗粒的平均直径及其分布、乳液聚合物及乳液表面张力的影响。     

用AutoCAD的VBA开发标准零件图库

采用标准零件图形元素库辅助绘图是提高计算机绘图速度的基本方法之一.本文以模具标准件为例,详细介绍了在AutoCAD2000中建立可视化标准零件图形元素库的具体方法与步骤.     

油烟机回收废油脂的开发应用

以油烟机回收废油为原料，经预处理、水解、氧化以及皂化等，分别得到壬二酸和肥皂，为上述资源的合理开发利用，作出了一个新的尝试。     

组织工程

组织器官衰竭是危害人类健康的大敌。美国每年用于这方面的开支约占全年医疗费用的一半。治疗措施包括：器官移植（同种或异种移植）、外科手术、人造假体、机械装置，少数患者还可借助药物治疗。但对那些损伤严重的组织器官而言，上述方法均不能完全修复衰竭的组织器官，获得令人满意的效果。