智能CAA中基于语法树的程序正确性验证研究

基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.     

含聚污水对回注储层的适应性研究——以海上某油田含聚污水回注为例

随着含聚污水的采出量逐年增加,含聚污水的处理问题已成为当前聚驱油田的首要问题。采用静态和动态方法研究了含聚污水与回注储层的适应性,利用某油田的储层砂填砂管模拟岩心和处理后的含聚污水、清水做了岩心驱替实验,在室内筛选了单一水质指标和综合水质指标,对含聚污水回注对储层造成的损害程度做了定量的评价。结果表明,该油田以馆陶组地层水作为清水水源时,清水与含聚污水在目前混合比例下的配伍性较好;并优化了含聚污水回注储层的水质指标,为确定含聚污水回注储层的可行性提供依据。     

基于灰色关联分析的“白屋顶计划”评价模型

在已知人为热释放、风速、日照时数和相对湿度的前提下,以芜湖市为例,运用灰色关联分析求出以上四个影响因素对行为因子(城市热岛效应)的关联影响程度,算出日照时数在四个环境因子中的比重,从而将白色屋顶计划对城市热岛效应的作用量化,建立了灰色预测模型。通过回归分析计算白屋顶计划对城市温度的影响,最后将预测数据与真实数据进行对比,模型结果表明"白屋顶计划"是合理且可行的。     

基于GraphSage节点度重要性聚合的网络节点分类研究

传统的图嵌入算法及图神经网络模型在对网络节点分类时仅使用了节点本身的属性信息或者特征信息,很少使用节点在网络中的结构信息。如何在图神经网络聚合时引入节点网络结构信息来提升分类准确性也是一个值得深入研究的问题。因此,在GraphSage模型的基础上,根据网络中节点度及节点重要性设计了新的聚合函数并提出了GraphSage-Degree模型。首先,模型根据节点度获得节点在邻域中的重要性,然后再以重要性为依据来聚合节点的特征,使得网络中重要的节点能够尽可能的聚合更多的特征信息,并且在GraphSage-Degree中设置了一个与节点度有关的超参数D,能够通过调节该参数D使得在不同的数据集上达到最佳分类状态。在Cora、Citeseer和Pubmed 3个公开数据集上进行了测试,GraphSage-Degree与其他方法相比,macro-F1的平均提升值分别为8.72%、10.37%和8.29%,在Pubmed上有最大提升值38.84%;micro-F1的平均提升值分别为8.97%、11.16%和6.9%,在Pubmed上有最大提升值38.39%。     

基于数据列变换的自回归预测方法的改善

证明了利用反双曲正弦函数变换能提高数据列的光滑程度,获得结论:设｛x_(k)｝为递增数据列,x_(1)>0,y(k)=ln(x_(k) (x_(k)~2 1)~(1/2)),则数据列｛y_(k)｝比数据列｛x_(k)｝光滑.给出了改善的自回归预测方法,并且举例加以论证.     

重载三自由度旋转并联平台的位置逆解及其分析

介绍了一种重载车辆运动模拟用三自由度旋转并联平台的结构与特点,该平台具有3个独立的角度运动参数,但平台在绕航向、俯仰和侧倾三轴转动时,会产生附加的平移运动,在一定的角度范围内附加平移运动的量值很小,因而可以用作车辆运动模拟器.讨论了其中一种典型结构的位置逆解方法,并推导了相应的计算公式.通过数值计算,分析了结构参数对附加运动量值的影响,并得出了相关结论.     

n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.     

改性淀粉絮凝剂DTCS-AM的制备及絮凝性能

以淀粉为原料,通过交联、醚化等反应得到二硫代氨基甲酸盐改性淀粉(DTCS),然后以DTCS为骨架与丙烯酰胺在引发剂作用下进行接枝共聚反应,合成DTCS-AM改性淀粉絮凝剂。考察单体用量、引发剂浓度、反应温度和反应时间对接枝共聚反应的影响,通过红外光谱、扫描电镜对产物进行表征,并考察DTCS-AM改性淀粉絮凝剂对胜利油田钻井废水的絮凝能力。结果表明,DTCS-AM改性淀粉絮凝剂的最佳合成条件为:反应温度40℃,时间3 h,引发剂用量4 mmol/L,淀粉与单体质量比1∶2.2;DTCS-AM具有较好的絮凝结构,对胜利油田钻井废水具有较强的絮凝能力,絮凝剂用量为80 mg/L时,其COD去除率大于95%。     

一类二阶非线性迭代微分方程的周期解

用更精确的先验估计及重合度理论研究一类二阶迭 代微分方程x¨(t)+g(x(x(t)))=f(t,x(t),x·(t))周期解的存在性, 得出了周期解存在的充分条件.     

2-外平面图的无圈边色数

研究了2-外平面图的无圈边染色问题.运用删点变换,得到了2-外平面图的结构性质;继而,运用数学归纳法,得到了图的一个无圈(Δ(G)+3)-边染色,即得到:若G是一个2-外平面图,则a’(G)≤Δ(G)+3.