关于方程(n) σ(n)=3n的一个注记

证明了：对１≤ｓ＜ｒ－ ２,如果 ｑ＝ ７· ２（ｒ－２）＋２ｓ－１与ｐ＝ ４９· ２－５·２（ｒ－ｓ－２）－１均为素数,则为方程的解．通过在微机上的探索,对４≤ｒ≤５００,找到了方程的３３组解．     

极小化加权完工时间和的调度问题

讨论目标函数为极小化加权完工时间和的调度问题·对于这类问题,平行机问题是NP 难的·基于对问题的分析,对工件的加工时间相等的恒速平行机问题,给出了多项式最优算法·Openshop问题是强NP 难的·给出了工序的加工时间相等的无等待Openshop问题与工件的加工时间相等的同速平行机问题的联系·根据这种联系,对工序的加工时间相等的无等待Openshop问题,给出了多项式最优算法·算法的复杂性均为O(nlogn mn)·     

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

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

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

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

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

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

单向S-粗集对偶与数据筛选-过滤的扩展应用

S-粗集(singular rough sets)是对Z.Pawlak粗集的改进,单向S-粗集对偶(dual of one direction sin-gular rough sets)是S-粗集的基本形式之一。利用单向S-粗集对偶,给出数据属性,数据筛选-过滤概念,数据筛选-过滤序定理,合成数据筛选-过滤定理,及数据筛选-过滤准则。利用这些结果,给出应用。单向S-粗集对偶是动态数据筛选-过滤研究的一个新工具。     

基于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的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.