一类四元素广义Riemann边值问题的封闭形式解

考虑四元素的广义Riemann边值问题a(t)φ+(t)+b(t)φ+(t)=c(t)φ-(t)+d(t)φ-(t)+f(t),t∈L,边界L为简单封闭的Lyapunov曲线.许多学者就该问题的Noether性质、线性无关解的个数、可解条件等方面作了深入的研究,问题求解情况也得到广泛的关注,但是还没有得到圆满的解决.讨论当满足条件a(t)=b(t)≠0,c(t)≠b(t)时,上述问题的Noether性质和求解情况,并通过适当的转化,给出了问题的求解过程和解封闭形式.     

超图的子图特征值的研究

研究了偶一致超图的子图邻接张量的特征值,首先利用其最大特征值得到超图边割的下界,并证明这个界是紧的,指出当且仅当2个子图均为正则超图时下界成立,其次证明了k一致超图是正则超图的充要条件为全1向量是其邻接张量的H-特征向量,这是图谱理论中的相关性质在超图的推广.     

两类k重Mycielski图的邻点强可区别E-全染色

应用反证法和构造染色函数法研究了图M~k(F_n)和M~k(W_n)的邻点强可区别E-全染色,并得出了其邻点强可区别E-全色数.     

基于多架构建模语言的系统工程建模方法

随着系统工程建模技术的进步,复杂装备生命周期所涉及的建模工具多样,模型数据异构为模型集成带来了重大技术挑战.因此,系统工程社区提出了语义建模规范并将其用于解决建模工具之间的模型数据集成难题,提升各工具建模语言的数据互用性.提出一个新的语义式系统工程建模语言KARMA,采用双语义机制支持复杂装备研发过程中的架构建模,并提出了该语言的技术发展路线.最后,通过工程验证案例,从定性及定量角度对语言进行技术验证,结果表明KARMA语言可支持多种复杂装备的体系及系统的架构设计.     

现实主义诗歌的个人化表达——李皓诗歌论

通过对李皓诗歌的文本细读,阐述了李皓作为现实主义诗人,他的诗歌关注乡土与都市的现实世界,感时忧国,多角度、多侧面地书写生活,同时又拥有纯正的个人情怀的表达,对自我的言说、独特的情感体验和生活阅历建构了属于诗人自己的时间与空间之维。     

基于IBFBP的IPv6路由查找算法

总结目前IPv6路由查找算法优缺点,提出了一种新的IPv6路由查找算法(IBFBP).该算法结合改进的布鲁姆过滤器(IBF)与BP神经网络,将IPv6不同长度网络ID作为IBF的输入,以关键字的特征标志创建标志库(LB)进行学习,提前判断是否发生误判.并且将位数组用counter计数数组来代替,支持可删除操作,进而进行BP神经网络学习过程.理论分析和实验结果表明:该算法比已有神经网络路由查找算法需要学习的条目数平均减少了1 500倍,还降低了误判率和搜索成本,提高了查找效率.     

地形测量数据生产及入库流程方法研究

本文以西宁1∶2000数字化地形图成图及数据入库项目为背景,分析了全数字化航空摄影测量一体化成图方法及数据入库的流程,全文是笔者项目实践基础上的理论升华,相信对从事相关工作的同行有着重要的参考价值和借鉴意义。     

“资源三号”卫星立体测图标准与规范研究

针对资源环境等行业应用对“资源三号”产品需求、“资源三号”立体测绘技术需求，研究和分析国外立体测图卫星技术特征及其航天立体测绘发展现状与存在问题，制定基于“资源三号”立体测图卫星的影像产品标准（传感器校正产品、系统几何纠正产品、精纠正产品、核线影像产品）和DSM（1：50000比例尺）产品标准，形成影像产品和DSM（1：50000比例尺）产品生产技术规范，与现有的4D产品标准、专题产品标准和生产技术规范一起形成“资源三号”卫星产品标准规范体系。     

卡拉库里区块异常高速层对勘探的影响及解决方案

卡拉库里区块具有良好的生储盖组合,上侏罗统启莫里-齐顿阶膏盐层是良好的盖层。在该区的油气勘探中发现,膏盐层异常高速对下伏构造形态的精细落实和目的层埋深的精确预测影响很大,使得传统的构造成图方法误差较大。针对卡拉库里区块膏盐岩构造区构造成图的难点,从膏盐层的地质、地震特征对构造成图的影响入手,分析了不同岩层的层速度及其对构造成图的影响,改变以往构造成图的思想,采用平均速度场进行时空转换,再利用钻井计算硬石膏层厚度图和盐岩层厚度图,然后将三者相加进行目的层的时深转化,最后进行校正的方法。实钻效果验证该方法实用可靠,对膏盐岩高速异常层发育的类似区块油气勘探具有借鉴作用。     

洛氏硬度计示值误差的原因分析

本文对实际检定工作中遇到的影响洛氏硬度计示值误差的原因进行了分析。