扩充修正程序的一些基本结果

文献[4,5]为修正程序提出了一种包含经典否定的扩充,其关键特征在于能够区分“没有知识”和“具有否定的知识”,即区别“不知道”和“知道为否”。在这篇文章中,除了为该扩充修正程序提出了计算其合法修正的算法外,更重要的是,还研究了它的一些基本特征。这些特征形式化地表明了扩充修正程序的本质。     

多层随机拟合法测量样方植被覆盖度

应用普通数码相机,以兴隆山国家级自然保护区为研究区域,在多层拟合法基础上,提出了多层随机拟合法.通过理论模型推导得出该方法误差大小由照片拍摄点数目决定;再利用实测植被覆盖度数据得出了误差-照片数目曲线,确定了误差与照片拍摄点数目的定量化关系.在满足绝对误差小于0.05的前提下,野外测量的照片拍摄点数目分别至少为:森林15个、灌丛15个、草地10个.该方法快速且精度较高,能够满足野外测量需要.     

论“一房二卖”的物权归属

一房二卖纠纷在现实生活中屡见不鲜,为妥善解决此类问题,本文拟从契约自由、债法原理、物权制度区分原则和物权变动的无因性等寻求解决此类问题的法理支持和逻辑支撑。     

关于人肉搜索的法律分析

人内搜索是利用人工参与来提纯搜索引擎提供信息的一种机制,实质是人在搜索,人肉搜索也由此引发了是是非非。人内搜索的合法性问题、如何保护网络隐私权问题等值得从法学上进行厘清。     

基于虚拟裂纹闭合法计算裂纹扩展的能量释放率

研究利用虚拟裂纹闭合法(VCCT)和通用有限元程序计算裂纹扩展能量释放率(G).利用开发的接口单元,将VCCT集成于有限元软件中.基于这一原理,通过ABAQUS用户单元子程序UEL编写9,16,20节点接口单元,将VCCT法集成于8节点和20节点6面体网格中,直接通过有限元计算输出能量释放率,无需进行复杂的后处理.最后,通过2个算例对该接口单元进行了验证.结果表明,利用所编写的界面单元能够得到准确的计算结果,同时提高了计算效率.     

X射线全谱图拟合定量相分析铁矿石

应用X射线粉末衍射技术和Rietveld全谱图拟合法分析铁矿石中所含的物相及其含量。该铁矿石主要由Fe2O3,FeOOH,SiO2,Al2(Si2O5)(OH)44种矿物组成,它们的含量分别为86.20%,9.59%,3.58%,0.64%。精修得到铁矿石各物相结构参数与已报道的数据相当接近,所测试样中铁的百分含量与化学分析法所得结果非常接近。该方法定量相分析铁矿石所获得的结果是可靠的。     

磁性灭藻剂的制备及性能分析

以壳聚糖为原料,用反相悬浮聚合法合成磁性壳聚糖微球(MCS),经进一步改性,制备出磁性灭藻剂———载铜磁性壳聚糖微球.采用傅里叶变换红光谱对样品进行表征,并研究MCS的载铜能力和载铜MCS的释铜性能.研究结果表明:硫酸铜初始质量浓度为750mg.L-1,MCS用量为15mg,pH值为5,吸附平衡时间为15min,温度为25℃,是MCS对Cu2+的最佳载铜条件.载铜MCS的释铜量随着时间和用量的增加而增加,且载铜MCS的用量在比较低的情况下,理论上能保证有效而持续地灭藻;当pH值在6～8的范围内变化时,对释铜量影响不大.     

N—丁基来酰亚胺／双环戊二烯共聚物的合成与表征

以偶氮二异丁腈为引发剂,采用溶液聚合法首次合成了NBMI-co-DCPD共聚物,用IR、DSC和TGA对共聚物进行了表征,结果表明：该共聚物具有较高的玻璃化转变温度、耐热性能良好。     

飞机声疲劳裂纹扩展的分析方法研究

随着近年来各种大型、超高速飞行器的加速研制,发动机噪声越来越高,随之而来的结构声疲劳问题也越来越引起人们的重视。作为一种非常规的高周低应力振动疲劳问题,声疲劳裂纹扩展的处理是一项工程难题。分析了声疲劳裂纹扩展问题的主要技术难点,改进了虚拟裂纹闭合法(VCCT),并将其应用到某飞机结构声疲劳问题中,对某飞机结构在噪声载荷作用下的裂纹扩展情况进行了计算。结果表明,改进后的VCCT方法合理可行,具有一定的工程应用价值。不过由于材料在随机振动载荷作用下的裂纹扩展参数与静态(或准静态)下会有所差异,故对于分析中使用的材料参数,应该进行静-动转换或者通过专门的动态试验来测得。     

高校管理与师生权益的保护

当前,因高校管理引发的法律纠纷呈上升趋势,究其原因是师生的法治观念在增强,另一方面说明高校在师生管理等方面也存在诸多不适应。要改变这些不适应,就要进行依法治校,更新管理理念。做到规章制度合法、管理行为合法。努力加强法制教育工作和师德校风建设,切实保障师生的合法权益。