泛函微分方程的一类边值问题

在逐段连续函数空间,研究了滞后型泛函微分方程和超前型泛函微分方程的一类边值问题,讨论了边值问题解的存在性、惟一性及解对边值的边续依赖性。     

ATM网中的ABR业务及其拥塞控制和拥塞检测

ABR业务是ATM网络提供的新型业务 ,它的特点是能充分利用网络资源 ,同时又采用基于速率的闭环拥塞控制机制 ,从而保证了服务质量 .在控制机制中选择良好的检测方法又保证了控制的有效性     

纳米二氧化钛催化剂的制备及其光催化性能

利用酸催化的溶胶-凝胶(Sol—Gel)法制备了纳米二氧化钛半导体催化剂．用XRD,TEM技术对其结构进行了表征．并利用环己烷在其上的光催化氧化进行了结构与其催化性能关系的研究．结果表明：利用热处理技术可以制得不同粒径、不同相结构的纳米粒子;粒子粒度分布均匀,粒径分布范围窄;该纳米催化剂的光催化活性随粒子粒径的大小、相结构的不同而改变;催化剂对产物环己醇具有很高的选择性(选择性大于85％)．     

AHILL局部一次积分C -正则余弦函数的Hille-Yosida型定理(英文)

受文章 的启发 ,处理了一次积分C 正则余弦函数 ,在没有假定其次生成元稠定时 ,建立了一个Hille Yosida型定理     

横向风冷偏焦相交圆聚光腔YAG激光器的研究

对开腔式强迫风冷结合半导体制冷系统的ＹＡＧ激光器进行了理论分析和实验研究,设计了开腔式偏焦相交圆聚光腔,并利用横向强迫空气流动和半导体制冷两种方式同时进行冷却,获得了一种新型气体冷却结合半导体制冷聚光腔腔型的激光器。     

介入治疗股骨头缺血性坏死9例疗效观察

采用Seldinger's法经股动脉穿刺,5F Cobra导管注入溶栓剂,对股骨头缺血性坏死进行治疗,血管造影计数动脉血管数目并对关节活动度及疼痛程度进行观察,评价其疗效.结果表明9例患者经治疗后,有6例疼痛消失、关节功能恢复正常,2例明显好转,1例无明显改变;X线示坏死骨质有不同程度的吸收及修复.经介入溶栓治疗股骨头缺血性坏死具有一定的疗效.     

砌体开裂的原因及防治

砌体开裂是目前工程质量中普遍存在的问题,不仅影响建筑物的美观和使用,还可能危及房屋的结构安全。对砌体开裂的类型及原因进行了分析,针对不同成因的裂缝提出了不同的预防措施及处理方法。     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

从归纳逻辑视角解读人工智能的哲学意蕴——普特南人工智能思想窥探

普特南探究了人工智能的发展历程,认为图灵是在哥德尔扣杰克斯赫伯德工作的基础上重新构造了计算概念并且发明了计算机模型.计算机科学和人工智能不是等同的,我们应从原则和经验两个层次来看待将大脑思维模拟为数字计算机的思想.归纳推理面临的问题给人工智能研究带来很多的启示.人类本质活动不必然是人工智能的本质活动.即使大脑的计算机模型是正确的,我们也不能断言人工智能就会成功.因为,计算机模型不能够模拟人类总体的知识能力,对于人类认知的研究并不必然要求我们将认知要么还原为计算要么还原为大脑程序,我们可以很成功地发现大脑的理论模型,这有助于我们更好地理解大脑的工作机制,但是这并不要求我们必须借助于心理学.