关于形式化方法与软件可靠性的研究

形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示方法是提高软件系统,特别是Safety-Critical系统的安全性与可靠性的重要手段.     

蒙医治疗高血压病概况

蒙医对高血压病具有独特的认识和丰富的临床经验.笔者论述了蒙医药对高血压病发病机制、辩证分型、实施治疗的特点及实验研究方面,为高血压病的蒙医药研究提供参考.     

关于Hermite-Hadamard积分型不等式的推广

利用r-平均凸函数的定义,将把凸函数的Hermite-Hadamard积分型不等式推广到了r-平均凸函数,从而加细了r-平均凸函数的Hadamard积分型不等式,并改进了相关文献的结果.     

新型离子液体[BDBU]BF_4合成与表征

采用两步合成法,用1,8-二氮杂双环(5,4,0)十一-7-烯(DBU)和1-溴丁烷为原料,以丙酮为溶剂合成中间体溴化1-丁基-1,8-二氮杂双环(5,4,0)十一-7-烯([BDBU]Br),经阴离子交换合成新型碱性离子液体四氟硼酸化1-丁基-1,8-二氮杂双环(5,4,0)十一-7-烯[BDBU]BF4;经红外光谱(IR)、核磁共振氢谱(1H NMR)表征产物结构并对其热分析(TGA)。结果表明:离子液体有较高的热稳定区间,约330℃开始分解。     

企业集团内部合作技术创新的博弈分析

企业集团内部各成员单位之间通过建立合作技术创新组织,可以更好地发挥各自优势,获得集团整体利益最大化。从博弈论角度对企业集团内部合作创新的成本与收益分配问题进行了分析。结果表明:协同合作博弈时的技术创新总收益要大于非合作时的技术创新收益;集团公司合作创新组织总存在帕累托最优;合作创新的收益可以运用Rub inste in的讨价还价模型在成员企业之间进行分配。     

我国财政科技支出优化分析

科学技术是推动一国经济和社会发展的重要推动力,财政的科技投入被作为衡量一个国家综合国力的重要指标。从我国的实际情况看,我国科技财政支出存在相对量不足,中央地方财政支出责任划分不清等问题,为了提高我国的自主创新能力,需要依据国家战略调整我国财政科技支出,建立财政科技支出稳定增长机制。     

一种改进的分水岭分割算法

为了提取人脑CT图像中的脑部组织,提出了一种改进的分水岭算法,首先采用K-means聚类算法对图像进行初始分割,从而有效地抑制了由图片表面的灰度变化引起的过分割,使边缘定位更加准确;然后在聚类图像的梯度图上利用自动阈值法增强其对比度,进行分水岭分割。最后为了避免过分割现象,对分割后的图像进行了相似区域合并。实验表明该方法简单有效,能够得到符合人类视觉系统特性的分割结果。     

采油平台在海上风电支撑体系中的应用研究

海上风电安装和并网成本是制约其发展的行业瓶颈之一.现有油气田的海洋平台有经济并网条件和改造成风电支撑结构的技术可能性.本文通过比较采油平台和风电格构式支撑组成的两种结构体系的动力性质,分析了固有频率约束限制对风电支撑结构改造的影响,以及环境荷载引起的荷载效应在两种体系上的不同分配机理.考虑环境荷载动力放大性质,通过风机额定运转与特定海区浪流荷载组合作用下两种支撑结构体系的刚度和强度特点分析,给出了风电支撑结构的受力特点和利用采油平台作为风电支撑结构的注意事项.该结论可作为海上类似风电支撑结构的设计参考.     

稠油污水回用处理技术室内模拟研究

为实现高含盐稠油污水回用于热采锅炉,采用气浮和生物接触氧化除油、双膜法除盐的处理工艺对稠油污水进行回用处理.试验结果表明:气浮可以有效去除悬浮油,保证生化进水含油量小于20mg/L;生物接触氧化可以将含油量降到1mg/L以下,COD降到100mg/L以下;超滤出水的含油去除率为100%,COD小于20mg/L,SDI3.反渗透出水的总硬度去除率97%,脱盐率89%.反渗透出水可代替清水用于热采锅炉.