基于Java多线程机制解决哲学家进餐问题的深入探究

简要阐述了操作系统中哲学家进餐这个经典同步问题，探讨了该问题的多种解决策略，并通过Java语言的多线程编程技术，给出了实现此问题相应解决策略的代码，有效地避免了饥饿和死锁现象的产生。     

论债权人代位权的性质

代位权制度是合同法中的一项重要制度。它对于保护债权人的利益、维护交易安全具有十分重要的意义,已为各国所广泛运用,但该制度在我国还很不完善。债权人代位权是为维护交易安全,保全债权的手段,其性质应为第二层次的请求权。     

三峡工程库区谭家坪滑坡系统工程地质研究

从易滑地层、断层和结构面等几个方面分析了谭家坪滑坡的形成条件，在此基础上详细地分析了谭家坪滑坡的变形破坏机理，并对谭家坪滑坡的稳定性作了评价与预测，研究表明，谭家坪老滑坡是由于河流侵蚀作用加剧、河谷深切、岩体内部构造残余应力释放、回弹、松驰，导致卸荷裂隙生成和软弱结构面贯通，加之水动力作用强烈，当剪应力大于垂向应力的情况下而形成的；白岩沟滑坡和白水沟滑坡则是谭家坪老滑坡的局部复活。     

三相不对称相分量谐波潮流计算

随着电力系统中谐波的日益增多，单相谐波潮流计算已不能满足要求。详细讨论了三相配电网络中谐波情况下的发电机、变压器、线路、负荷的模型，尤其考虑了变压器接线方式、移相作用和非标准变比对三相不对称谐波潮流的影响，推导了变压器两侧相应的相电压、相电流关系，并针对在传统谐波潮流算法中考虑了变压器三相模型后有可能不收敛的问题，提出了一种基于支路电流前推回代的相分量谐波潮流算法。算例计算表明该算法是非常有效的。     

LSM法制备TiB2/Al复合材料的反应模式和微结构

热力学分析表明,铝熔体中TiB2比TiAl3和AlB2更稳定·TiAl3和AlB2可以继续反应生成TiB2·试验结果表明,混合盐中Ti和B按一定比例时,在铝合金熔体中K2TiF6和KBF4通过反应得到的TiB2/Al复合材料组织中未发现除TiB2以外的其他反应产物,TiB2为接近等轴的多面体·用TEM观察金属薄膜中TiB2形貌能有效避免盐膜包覆对SEM观察效果的影响·     

远洋船舶燃油加装计量远程监控系统的设计

为实时监测远洋船舶燃油整体消耗状况,设计了基于流量采集、RTU远传终端和GPRS DTU技术的燃油整体消耗监测系统。系统在燃油加装处计量监测,采用ZigBee无线通信技术,实时完成数据的无线短距离传输;使用RTU远程控制终端,对数据采集处理,控制输出;利用GPRS DTU无线模块实时地将小流量数据远传到岸基平台上。实际应用表明,该系统既保证了油耗信息的准确性、实时性,又能降低成本。     

短小芽孢杆菌Y106对棉花黄萎病的防治作用

短小芽孢杆菌Y106(Bacillus pumilus Y106)是从土壤中筛选分离得到的一株对黄萎病菌具有拮抗作用的细菌菌株.平板对峙实验结果显示,Y106和黄萎病菌共同培养至10d时,处理组的黄萎病菌菌落直径为3.82cm,比对照组减小了38.7%,说明Y106菌株对棉花黄萎病菌有较强的拮抗作用;在液体PDA中共同培养Y106菌和带有绿色荧光蛋白基因标记的棉花黄萎病菌Vd-gfp77,随着Y106菌浓度增加,Vd-gfp77菌液在发射光波长为530nm处的荧光吸收值从217.43下降至97.49,说明黄萎病菌液浓度减小,黄萎病菌的生长受到抑制.土壤中拮抗实验结果显示,对照组长出菌落数目约为79个,处理组长出菌落数目随着Y106浓度的增加而减少至44个,比对照组菌落数目减少44.3%,表明在土壤中Y106菌株对棉花黄萎病菌的增殖有抑制作用.进一步的实验表明,Y106菌株可使盆栽棉花黄萎病发病率从76.47%下降至52.94%.因此,短小芽孢杆菌Y106对棉花黄萎病菌有较强的抑制作用,可用于棉花黄萎病的生物防治.     

列控-安全信息传输系统可靠性及安全性的形式化分析

基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求.     

离子风作用下液滴的振荡蒸发特性

设计搭建了离子风作用下液滴蒸发试验装置,研究了不同电场和环境气体中去离子水液滴的蒸发速率、振幅和振荡频率等动态蒸发行为参数,并测量了离子风的流场速度分布.结果表明：当电压低于起晕电压时,电场力会降低液滴蒸发速率;当电压高于起晕电压时,离子风的形成会强化液滴蒸发;电压和气体离子迁移率的增加均会提高离子风的风速,加剧液滴振荡,提高液滴蒸发速率;相比液滴自然蒸发,离子风作用下液滴蒸发速率的最大增强比可达9.89;随着电压增大,离子风从不稳定状态转变为稳定状态.     

最低形变能条件下摆线针轮承载啮合区间确定方法

针对摆线针轮缺乏有效载荷分析方法的问题,本文提出了一种基于最低形变能的摆线针轮负载特性分析方法。通过引入最低形变能,确定了实际的同时啮合齿数,获取了符合工程实际的真实负载特性,并通过有限元仿真和测量实验,验证了引入最低形变能理论分析方法的正确性和有效性。结果表明：最大可能啮合齿数的预测结果、利用能量最低原理计算的结果和有限元分析结果均为16齿,理论计算、实际测量和仿真分析的传动误差曲线都呈现出相对一致的抛物线趋势,其最大波动幅度分别为3.83′、3.66′和3.70′。