两种死锁分析的逻辑方法

从逻辑的角度出发,根据请求模型用谓词逻辑分析死锁,并统一于一个通用的表示中;然后用时序逻辑方法进一步给出了一个更通用的死锁表示用逻辑方法表示死锁,便于程序的安全性验证 最后,把这些方法用于 Ａｄａ 程序的验证系统中     

对比分析两种规范确定的桩基竖向承载力

分析了《建筑地基基础规范》《建筑桩基技术规范》所确定的桩基承载力计算公式和参数影响。通过工程实例的对比分析，得到了两个承载力的差异程度，并对桩基规范的基础设计提出了建议的简化设计方法。     

降低轴流风机噪声的两种方法

本文对轴流风机的噪声源进行了理论和实验分析,对降低风机噪声的方法进行了总结。在此基础上,研究了降低风机噪声的两种新方法——叶片不等距分布方法和叶片穿孔方法。理论分析和实验结果表明,这两种方法为降低轴流风机噪声提供了新的途径。     

两种脉冲压缩方法性能比较

根据高频地波雷达探测海洋表面状态参数时,雷达系统要同时具备较高的距离分辨率和速度分辨率的基本原理,结合大范围内的连续目标的特殊性,本文从6个方面比较了线性调频中断连续波与伪随机码调相连续波两种脉冲压缩方法的性能特点,解决了雷达总体设计时工作波形选择的问题。结论指出,考虑到工程实现时设备的复杂程度,海洋探测高频地波雷达,采用线性调频中连续波体制较合适。     

一种基于核主成分分析的驾驶疲劳状态预测方法

针对在驾驶疲劳状态识别研究中采集的脑电信号(Electroencephalograph,EEG)具有非线性特点,以及目前基于EEG的驾驶疲劳状态识别方法仍存在识别准确率不很理想的问题,提出基于样本熵和核主成分分析的驾驶疲劳状态识别方法。所研究的方法结合了基于样本熵在驾驶疲劳状态识别方法具有较好的识别准确率优势以及核主成分对主成分是非线性的情况下具有较好的降维效果优势。实验结果表明所提出的方法是有效的。     

检测抗冻蛋白生物学活性两种方法的比较

为了比较两种方法测定昆虫抗冻蛋白生物学活性的优劣,通过抗冻蛋白细菌低温保护实验测定菌液OD600和菌落计数两种方法同时研究洛氏脊漠甲抗冻蛋白对大肠杆菌的低温保护效果.实验表明发现这两种方法所得结果相近,相关系数r=0.82~1.0,相关性显著(p<0.05).菌落计数法的误差小于OD值法,适用于菌落数少的情况,OD值法适用于菌落密度大的情况,两种方法都可用于研究抗冻蛋白低温保护活性.     

两种不同功能蜘蛛丝的物理化学结构表征与力学性能

蜘蛛丝是一种具有优良机械性能的天然动物蛋白纤维,它特有的结构和性能与其生物学功能密切相关.采用氨基酸自动分析仪、傅立叶转换红外光谱仪、单纤强力仪和电子显微镜对棒络新妇(Nephila clavata)卵袋框丝(纺自大壶状腺)与内层丝(纺自柱状腺)两种不同功能蜘蛛丝的物理化学结构表征、力学行为与性能进行测试研究.结果表明这两种蜘蛛丝的氨基酸组成和蛋白二级结构与其力学行为与性能相一致,蜘蛛丝似乎呈现出一定的机械性能,以适应其不同的功能要求,这对人们进行新型安全防护材料的仿生设计将有重要的指导意义.     

两种不同养殖模式对青鱼肌肉营养品质的影响

为了评价池塘内循环"水槽式"养殖(试验组)与池塘传统养殖(对照组)模式的商品青鱼(Mylopharyngodon piceus)肌肉营养品质差异,试验分析了鲜活鱼肌肉的蛋白质、氨基酸、脂肪酸、挥发性风味物质等营养品质指标.结果表明:与对照组青鱼相比,试验组青鱼肌肉脂肪含量降低14.23%(P0.05),蛋白质、水分、灰分含量基本相当(P0.05);试验组青鱼肌肉氨基酸总量高于对照组0.90%(P0.05),呈味氨基酸含量高于对照组6.86%(P0.05),必需氨基酸低于对照组1.91%(P0.05);两组青鱼肌肉脂肪酸组成一致,试验组青鱼肌肉中不饱和脂肪酸总量略低于对照组1.29%(P0.05),但是二十二碳六烯酸(DHA)和二十碳五烯酸(EPA)分别高出对照组187.10%和28.00%(P0.05);试验组青鱼中醛类、醇类和含苯环类等挥发性的风味物质低于对照组,但是试验组壬醛和1-辛烯-3-醇等腥味物质含量也更低.综上所述,青鱼在池塘内循环"水槽式"养殖模式下能有良好的适应性,各营养指标都处于较好的状态,该养殖模式是一种适合青鱼集约化养殖的水产养殖新模式.     

一种对称损失下两参数广义Pareto分布形状参数的Bayes分析

在加权对称损失函数下,使用Bayes估计方法,讨论了两参数广义Pareto分布形状参数的Bayes估计及其性质,得到了形状参数的Bayes估计的一般形式与在两种不同先验下的精确形式,并由此得到形状参数的最小最大估计的一种形式,将不同的估计联系在一起。并通过模拟研究了所得估计的精度,结果表明所得估计的精度较高。     

急诊剖宫产术应用抗生素两种方法的临床观察

目的 :探讨急诊剖宫产术应用抗生素不同用药方法预防手术后感染的效果 .方法 :选用我院急诊剖宫产分娩的孕妇 10 0例 ,随机分为A、B两组 ,A组 5 0例单独术后静脉用药 ,B组 5 0例采用术前术后静脉用药 ,即开腹前 15～ 30min静注海夫佳 (阿莫西林钠 +克拉维酸钾 ) 1.2g加上术后全身性静脉给药 .结果 :A、B两组产褥病率分别为 (11例 ,2 2 % ;3例 ,6 % ) ,两者差异显著 (P <0 .0 5 ) .结论 :急诊剖宫产术前术后静脉用药法预防术后感染效果肯定 ,明显优于单独术后静脉用药法     

箱形桥梁估算剪力滞效应的两种简捷方法

讨论两种估算超静定箱梁剪力滞效应的简捷方法。第一种方法，在受荷的超静定体系中取一基本静定体系，将梁上的载荷、反力分别作用于基本体系上，然后利用叠加原理求得剪力滞系数．即利用λ＝∑λｉλｉ，这里．Ｍｉ，λｉ分别表示基本体系中的指定截面上求得的静定结构弯矩及剪力滞系数。第二种方法是在受荷的超静体系中，根据弯矩图中的反弯矩割切成若干简文体系。指定截面上的剪力滞效应（或剪力滞系数），即在所在的简支梁上求得．最后通过两等跨常截面承受均布荷载的连续证明两种简捷方法计算结果相当吻合．同样证实这两种简捷方法在工程上实用有重要意义。     

生物质制汽油两种工艺的环境影响分析

本文以1hm2土地种植生产的玉米秸秆为基准, 研究了生物质转化为生物质汽油过程中的能源效率和污染物排放. 综合分析了玉米农作物在种植生长、收储运和转化阶段的能量投入和环境贡献值, 比较了直接法和间接法制生物质汽油这两种技术的能源与环境效益. 结果表明直接法制汽油技术的能量投入低, 间接法单位排污量相对少但能量投入高. 相比直接法, 间接法制汽油所投入的能量多22.45%, 单位能量产生的全球变暖潜值和酸化效应分别减少23.24%和5.92%.     

纤维素纳米晶4种巯基化改性方法的对比研究

通过4种不同的改性方法:酯化、酰胺化、Schiff碱反应、硅烷化反应,对纤维素纳米晶(CNCs)进行巯基化改性,通过傅里叶变换红外光谱(FT-IR)和X射线光电子能谱(XPS)对其表面进行表征,采用透射电子显微镜(TEM)和X射线衍射(XRD)评价其物理性能,通过与Ellman’s试剂反应确定其巯基含量,依据元素分析中硫元素含量确定CNCs的取代度.由于具有:1)反应条件温和,如反应温度较低、反应时间较短以及用水作溶剂;2)能较好地保持CNCs棒状形貌和结晶度指数(巯基化CNCs 80.3%);3)较高的巯基含量(0.348 mmol/g)和取代度(0.224),Schiff碱反应是4种改性方法中较优的方法.     

侵彻环境下两种钨合金的细观响应特性

本文实验发现具有较大密度和较高速度的93W钨合金长杆模拟弹的穿靶深度反而比密度较小，速度较低的90W钨合金长杆弹的穿靶深度小．针对这一现象，本文从两种材料在侵彻环境下的细观响应特性的差异上给出了有实验根据的合理分析，结论是90W在侵彻环境下较易于形成绝热剪切带，从而在弹头部发生“自锐化”效应所致．     

一种基于闭环优化的新型鲁棒预测控制方法

针对带约束的凸多面体线性不确定模型，提出了一种新型鲁棒预测控制方法，它采用离散化的不确定模型构造最小－最大优化控制问题，并在其中直接引入状态反馈机制，与其他最小－最大预测控制方法相比，这种方法等效于增加了控制序列的长度，为优化问题增加了更多的自由度，从而扩大了可行域，作为最小化目标的是离散化不确定系统在整个预测时域上二次型成本函数的最大值，而不是各预测阶段应成本项的上界之和，从而减少了与最小－最大优化相关的方程个数，有利于降低计算复杂性，文中进一步证明了不确定系统的闭环稳定性取决于优化问题在初始时刻的可行性，并将优化问题转化为线性矩阵不等式形式。最后，以数值仿赵例子验证了方法的有效性。     

一种基于百度指数的城市日游客规模预测方法

百度指数数据为预测游客规模提供了新思路。以杭州市为例,首先研究新浪微博签到数据与统计年鉴中实际游客量的关系,用新浪微博签到人数模拟实际旅游人数,建立杭州市日游客规模自回归移动平均（auto regressive moving average,ARMA）模型,并进行预测;然后结合计量经济学中的协整检验和格兰杰因果关系检验,分析百度指数与微博签到人数之间的关系,利用百度指数空间分布特征及主成分分析后提取的3个解释变量构建向量自回归（vector auto regression,VAR）模型;最后比较了2个模型的预测精度。结果显示,百度指数存在地理空间属性,且与新浪微博签到人数互为格兰杰因果关系,存在1~23 d的滞后期。此外,相比ARMA模型,考虑了百度指数地理属性的VAR模型在样本期内的预测精度提高了13.1%,在样本期外的预测精度提高了27.9%。研究表明,百度指数的时间和空间属性对游客规模预测有重要意义和价值。     

一种基于百度指数的城市日游客规模预测方法

百度指数数据为预测游客规模提供了新思路。以杭州市为例,首先研究新浪微博签到数据与统计年鉴中实际游客量的关系,用新浪微博签到人数模拟实际旅游人数,建立杭州市日游客规模自回归移动平均（auto regressive moving average,ARMA）模型,并进行预测;然后结合计量经济学中的协整检验和格兰杰因果关系检验,分析百度指数与微博签到人数之间的关系,利用百度指数空间分布特征及主成分分析后提取的3个解释变量构建向量自回归（vector auto regression,VAR）模型;最后比较了2个模型的预测精度。结果显示,百度指数存在地理空间属性,且与新浪微博签到人数互为格兰杰因果关系,存在1~23 d的滞后期。此外,相比ARMA模型,考虑了百度指数地理属性的VAR模型在样本期内的预测精度提高了13.1%,在样本期外的预测精度提高了27.9%。研究表明,百度指数的时间和空间属性对游客规模预测有重要意义和价值。     

5种不同体色黄鳝RAPD的初步分析

应用RAPD技术对鄱阳湖区5种不同体色黄鳝进行了遗传多样性研究,结果发现,该物种种群总基因多样性(Ht)为0.272 4,各群体内的基因多样性(Hs)为0.1948,占总群体基因变异的71.51%,提示鄱阳湖黄鳝具有较高的遗传多样性,且遗传变异主要存在于群体内.结果还发现,5种不同体色黄鳝群体间的遗传距离在0.040 0-0.180 l之间,其中细花斑群体与黄黑斑群体之间的遗传距离最小,大花斑与隐花斑之间的遗传距离最大;群体间的遗传分化系数(Gst)为0.2849,这表明,5种不同体色群体间存在明显的遗传分化.     

两嵌段共聚物在不同形状受限下的自组装行为

嵌段共聚物体系在受限情况下的自组装过程与受限结构的几何形状、界面性质密切相关,会表现出与本体不同的相行为特征,人们可以利用这些受限特征制备结构新颖的纳米材料.本文采用自洽场理论方法研究了两嵌段共聚物在不同形状受限情况下的自组装现象,发现受限形状不同,相行为也各不相同,在本体状态中人们难以观察到的相近体系间的相行为差异,在受限状态下也可以清晰的展现出来.由于受限的原因体系出现了层状相弯曲、柱状相和层状相兼并存在等结构,计算结果与现有实验结果吻合,并预测了部分自组装结构.     

稀土配合物Gd(TTA)3Phen的两种不同效应

研究了稀土配合物Gd(TTA)3Phen(TTA=噻吩甲酰三氟丙酮；Phen=邻菲咯啉）的2种不同效应，即作为光致发光中分子间能量转移的能量给体和电致发光中的电子转移层的性质，这些性质是由配合物中的中心离子Gd(Ⅲ）的电子层结构决定。