论体育语言与逻辑思维

体育语言因逻辑思维不同而导致观点和结论各异.鉴于当今逻辑学的最新发展和国内外学术研究的共识,文章指出:自然语言逻辑是研究体育语言问题的最佳方法论基础,应大力开展自然语言逻辑研究.     

基于LOTOS对象模型的并发形式化研究

面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法,是一种实现软件自动化的有效方法。介绍了形式化描述语言LOTOS的组成、操作语义和规则;根据LOTOS对并发操作描述的优势,应用它的操作语义和规则定义,结合面向对象技术和状态图的理论知识,定义出对象的状态变迁、状态图和对象并发的形式化规则,并运用这些规则对软件系统进行并发形式化;给出了GTP管理子系统形式化的实例说明。     

关于建设合肥国家科技创新型试点市的政策建议

为贯彻落实全国科技大会精神,结合合肥市特点,笔者就建设合肥国家科技创新型试点市(以下简称"创新试点市")有关政策提出如下建议.     

浅探互联网应用中的同质化与差异化

从实证角度对互联网应用中最具代表性的门户网站、搜索引擎和即时通讯软件的界面、功能的相似度进行了量化分析,论证了互联网应用中存在着普遍的产品和服务的模仿行为,进而从互联网经济的特点出发,推断资产的专用性、传统经济广泛的供应链关系,以及互联网应用中统一的开发平台是互联网应用中同质化现象日益普遍的原因。最后通过对实例的分析归纳指出:提高差异化速度,致力于细分的客户需求,以及针对特有优势资源进行差异化才是维持差异化优势的根本方法。     

皂角的播种育苗栽培技术

皂角，又称皂荚，学名：Glek：sinensislam[G．macrscsnthaDest；G．officinal sHe—msl]，苏木科，皂荚属，落叶乔木，高达30m，寿命长，可达600—700年；树冠广阔，荫浓，可作庭院荫树及环境绿化用树，是观赏和“四旁”绿化的优良树种：耐烟尘，也可选作工厂抗污染树种。经多年引种栽培实验，该物种在本地可作为主栽树种大规模栽培，以丰富我市的绿化植物品种。为此我园林科研所从2003年开始皂角播种育苗栽培。     

非晶态硅氟合金光电导特性的研究

本文报道了对射频溅射α—Si:F薄膜光电导特性初步研究的结果。含氢和不含氢的样品是在Ar SiF_4和Ar SiF_4 H_2两种混合气体中分别制备的。对所有制得的样品测量了室温暗电导和在λ=6328及光照射样品表面功率密度为0.5mW/cm~2条件下测量了相应的光电导。实验结果表明(1)溅射α—Si:F薄膜有显著的光电响应;(2)光电导和暗电导的比值随气体的流量而接近成比例地变化。得到了最大σ_(ph)/σ_D比值为14000的薄膜样品;(3)溅射气氛中加入氢气对所得薄膜的光电导特性有一定影响。有关结果可用SiF_3、SiF_2H和SiFH_2键合组态的电子态不同解释。     

谈谈断裂力学的辩证发展

断裂力学是近二十年来从固体力学中发展起来的一门新学科,研究含裂纹材料和结构的强度问题。它在生产上具有重要的应用价值,受到原子能、航空、造船、机械、化工、铁道及军工各部门的普遍重视,现在正在生气勃勃地迅速发展着。本文就断裂力学的发生和发展的辩证过程作一概略的分析。     

在入世与出世之间——论梁漱溟的终极关怀

在现代新儒家中间梁漱溟的终极关怀表现出明显的入世与出世的紧张.通过对人类面临问题的分析,梁漱溟断定伦理和宗教都涉及到我们的终极关怀.他在伦理和宗教上安置终极关怀,即沿着儒家伦理传统和印度佛教传统来解决终极关怀问题.按照梁漱溟的理论,无论儒家的入世终极关怀,还是佛教的出世终极关怀,都包含了对现实与超越的双重肯定,它们是统一的东方文明的不同表现.通过一系列的论述,他论证了出世与入世的统一,由此化解了其终极关怀中的紧张.     

AN-g-Casein纤维的结构与性能的研究

利用扫描电镜(SEM)观察,发现AN-g-Casein纤维截面形成了皮芯型结构;芯层Casein组分相畴约20～60nm,拉断时,芯层易产生原纤化;皮层结构致密,断面平整;纤维表面形成细长条纹。AN-g-Casein纤维中二组分的结晶度基本不随酪素含量而变。AN-g-Casein纤维吸湿性、染色性优异,且能采用酸性染料、阳离子染料染色,AN-g-Casein纤维力学性能良好,是一种值得推广应用的新型改性仿真丝纤维。     

数控车床架故障故障树定性分析

采用定性故障树分析法对数控车床架故障进行分析,对可能造成故障的各种因素进行总结,画出故障树,从而确定数控车床架故障发生的主要模式,为同类型数控车床架故障的维修提供借鉴。