科技闹海 滩涂变宝——潍坊市大力发展海洋化工产业一瞥

近几年,山东省潍坊市海洋化工产业在科技兴海的热潮中异军突起,一支独秀,成为新兴的支柱产业,1993年实现产值17亿元,利税3.2亿元,为全市发展最大、潜力最大的产业。 潍坊市有23处乡镇北临勃海莱州湾,海岸线113公里,占地面积2409平方公里,总人口61.2万。这里地下卤水资源丰富,静储量58.3亿立方米,平均浓度12°Be′以上,是海水浓度的3—6倍,含盐量每升100克以上:储有氯化纳5.4亿吨、溴素136万吨、氧化镁4800万吨、含有碘、硼、锶、铀等多种元素。但是,在科技未能显示神威前,这里幅员广阔的沿海滩涂除了几个盐场外,再也     

航天嵌入式软件运行时错误静态分析方法

提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.      

机载激光对管道自主定位误差的灵敏性分析

针对机载激光对埋地天然气管道自主定位这一特殊应用背景,对其定位原理进行研究,阐述其实现方法,分析激光对管道定位精度影响的因素,介绍定位误差建模方法。以载机位姿误差为例,给出定位误差敏感误差源的辨识方法和步骤。结果表明:载机的位姿精度是影响定位精度的主要因素,俯仰角误差对地面点误差影响最大,滚转角误差对地面点误差的影响较小,地面点的定位误差几乎不受载机高度误差的影响。分析结果提高了定位误差避免和误差补偿的效率。     

P_3(G)的原子键连通性指标（英文）

原子键连通性(ABC)指标为烷烃的稳定性和环烷烃的应变能力提供了一个好模型,其定义为ABC(G)=∑uv∈E(G)((du+dv-2)/dudv)1/2.得到了P3(G)的原子键连通性指标的上界和下界.     

基于FP-Growth算法及补偿性入侵证据的攻击意图识别

针对现有方法的入侵证据单一,系统资源消耗大及最终结果不准确等问题,提出了一种新的攻击意图识别方法.将IDS的告警事件与其他安全工具如扫描器等的数据相融合,构成补偿性入侵证据,并在此基础上使用贝叶斯网络构建攻击场景;使用FP-Growth算法从攻击场景中挖掘出频繁攻击模式;最终将产生的频繁攻击模式关联以重构攻击路径,从而推断最可能的攻击意图.实验结果表明,该方法可准确识别攻击意图并有效节省系统资源.     

H型钢开坯过程的热力耦合有限元分析

利用ABAQUS6．5对H型钢的开坯过程进行数值分析，由于单元的严重畸变导致数值分析的异常终止。为了保证数值分析过程的顺利进行，提出了一种适用于型钢轧制及其类似过程的六面体网格重构及数据映射方法，利用显式积分分析瞬态轧制过程、利用隐式积分分析轧制间隙的瞬态温度场，保证了较高的计算效率。基于ABAQUS6．5编制相关程序，分析H型钢的前两道次轧制，通过和直接利用ABAQUS6．5获得的结果进行对比，验证了方法的有效性，为型钢轧制等类似过程提供了确实可行的计算思路。     

线图的几何算数指标

设 G＝（V ,E）是一个简单的连通图,V （G）和 E（G）分别是图 G 的顶点集和边集,其中｜V （G）｜＝n,｜E（G）｜＝m．Vukicˇevic＇等定义了一个新的拓扑指标———第一个几何算数指标,记作 GA1（G）．获得了线图的第一几何算数指标的上界和下界．     

线图的几何算数指标

设 G＝（V ,E）是一个简单的连通图,V （G）和 E（G）分别是图 G 的顶点集和边集,其中｜V （G）｜＝n,｜E（G）｜＝m．Vukicˇevic＇等定义了一个新的拓扑指标———第一个几何算数指标,记作 GA1（G）．获得了线图的第一几何算数指标的上界和下界．     

超高强钢等离子弧焊接头冷弯性能分析

通过与氩弧焊的对比试验 ,分析了焊后热处理强化的超高强钢等离子弧焊接头冷弯性能不足的原因 ,研究表明焊后热处理并不能完全改善HAZ的结晶形态 ,接头的一次结晶组织、焊缝化学成分以及焊缝形状是影响接头冷弯性能的主要原因 ,并提出了用焊趾重熔和增强焊缝塑性的方法来改善接头冷弯性能 .