关于余代数逻辑的研究

余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr(o)der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个rank-1的模态逻辑都有一个可靠的、强完备的余代数语义.另一方面,Clemens Kupke 等提出模态逻辑可以描述成布尔代数上的自函子,并基于对偶理论研究余代数逻辑的可靠完备性.通过对偶理论重新证明了rank-1的模态逻辑都是余代数的,并且证明通过对偶理论构造出来的函子和Schr(O)der所构造的函子是等价的.     

关于高维代数族的nef-值态射的结构

设M是有末端奇点的n维正规代数簇，L是M上的丰富线丛,（M,L）的数字有效值为τ=u/v（u、v是互素的正整数），φ：M→X是由（M，L）决定的nef-值态射，F是φ的一般纤维。通过研究τ的取值情况对（M，L）进行分类．给出了当u=n＋1，n时（M,L）和（F，LF）的较完整的分类，推广了一些文献的结果。     

关于高维代数族的nef-值态射的结构

设M是有末端奇点的n维正规代数簇,L是M上的丰富线丛,(M,L)的数字有效值为τ=uv(u、v是互素的正整数),:M→X是由(M,L)决定的nef-值态射,F是的一般纤维。通过研究τ的取值情况对(M,L)进行分类,给出了当u=n+1,n时(M,L)和(F,LF)的较完整的分类,推广了一些文献的结果。     

两个代数曲面沿平面截口的光滑拼接

将一个二次曲面和一个三次曲面沿平面接口的拼接曲面的存在性转化为求三个多项式理想交的成员问题,进而化为一组齐次线性方程组的非零解的存在问题。给出了三次和四次拼接曲面存在的条件,并且给出了拼接曲面的计算方法。     

3个代数曲面的高光滑拼接

利用计算机代数方法，讨论3个代数曲面的高光滑拼接，并将其转化为求解齐次线性方程组的问题，从而给出3个代数曲面GC^2拼接的条件．在数学软件的辅助下，给出具体实例．     

2021年青海玛多MW7.4地震震后余滑研究

构建应力驱动震后余滑模型,对2021年青海玛多M_W7.4地震的震后余滑效应进行数值模拟,得到震后160 d的GPS形变时间序列。结果表明,余滑主要分布在同震断层显著滑动的下倾和两侧区域,最大滑动量达1.24 m,累积释放地震矩1.08×10¹⁹ Nm,相当于M_W6.62地震,5～15 km深度的震后余滑约占总量的80%。最优拟合模型显示,以13 km深度为界,断层上部和下部的参考滑动速率参数V₀分别为6.50 m/a和0.15 m/a,表明玛多地震震后余滑界面的摩擦属性在深度上存在明显差异。     

代数体函数对数导数增长的估计

本文给出了代数体函数对数导数在整个复平面上除去一些小测度集外的增长估计。这些结果是Gary G.Gundersen 关于亚纯函数结果的推广,但在证明中使用了不同的方法。     

基于地图代数的地球椭球面空间分析系统的研究与设计

基于地图代数方法和组件式GIS开发技术研究了地球椭球面空间分析系统的设计和原型开发。系统实现了地球椭球面上的长度和面积度量、航迹线可视化、缓冲区生成、Voronoi图构造等特色功能,对于传统的以投影平面为基础的空间分析方法进行了改进,特别适用于地球椭球面上的空间分析和全球范围内复杂地理数据的快速高精度计算,在数字地球的建设以及其他全球性问题的研究当中可以发挥重要作用。     

基于向量代数的点与多边形拓扑关系的推理

在分析向量代数的几何意义的基础上,提出了利用向量叉积的几何性质来判断点与多边形的拓扑关系,通过判断点生成一个水平向量,通过该向量和多边形各边的向量叉乘运算,利用k分量的符号来判断两向量的位置关系,并对各种位置关系赋予相应的权重值,最后根据权重值之和的奇偶性来判断点与多边形的位置关系。该算法无需计算出实际的交点,同时,还对某些特殊位置关系作了几何等价处理。从程序运行效果来看,该算法具有稳定性高、运行速度快等优点。     

P-反演半群上的强P-同余的刻画

利用P-反演半群的强P-核正规系刻画其上的强P-同余,证明了P-反演半群的每个强P-同余由它的强P.核正规系唯一确定.     

通用土壤流失方程最新研究改进分析

通用土壤流失方程(USLE)是水动力土壤侵蚀研究领域应用广泛的经验模型。其结构简单,所需输入数据量少,计算结果可满足一定精度下,土壤侵蚀预测的要求。模型的改进使其应用范围扩大,适用性增强,计算精度提高。通用土壤流失方程的发展趋势:其一,传统方法,不改变模型的结构,通过引进合理的新参数或优化参数的取值来提高模型的预测能力;其二,非传统方法,通过模糊逻辑或人工神经网络方法来改变模型的结构,使土壤侵蚀影响因子的确定更加灵活合理,土壤流失量的计算结果更加精确可信。     

油气资源地质调查大数据架构与应用研究

分析了我国油气资源地质调查数据共享及应用服务存在的主要问题,简析了国内外油气大数据研究现状。基于我国油气资源地质调查服务目标和主流大数据建设技术,提出了油气资源地质调查大数据逻辑架构和应用架构,并展望了油气资源调查大数据中心在油气地质调查、盆地协同研究、社会公益服务等方面的应用。     

Numerical simulation on the extraction of modal back-scattering matrix from reverberation data for high frequency cases

1　Introduction　PredictionofthebottomreverberationinshallowwaterisveryimpotentforSONARsystems .Toex tractthemodalback scatteringmatrixfromreverbera tiondatahasbeenachallengetopicforalongtime .Inpreviousworks,theinversionofmodalback scatteringmatrixfromreverberationwasbasedonapriorias sumptions (EllisandGerstoft,1996 ;Kurdryashov ,1999;JinandZhang ,1997;ZhouandZhang ,1997;WangandShang ,2 0 0 2 ) .Anewapproachofextract ingthemodalback scatteringmatrixhasbeen pro posedbyShangetal.(2 0 0 2 …     

山东平邑“金钱石”地质特征及成因浅析

"金钱石"作为观赏石中的珍品,倍受人们的青睐。岩石自然类型为超基性岩(超镁铁质岩),色暗,密度大,富含铁镁矿物。主要矿物成分为橄榄石、辉石,少量角闪石。岩石成因为幔源岩浆沿构造裂隙或古薄弱带扩张充填的产物。其精美的花纹图案与岩浆自身的结晶分异和后期变质作用等有关。     

An Improved Damage Identification Method Based on Mode Information

This paper presents a new algorithm to predict locations and severities of damage in structures by changing modal parameters. An existing algorithm of damage detection is reviewed and the new algorithm is formulated to improve the accuracy of damage locating and severity estimation by eliminating the ＂erratic assumptions and limits in the existing algorithm. The damage prediction accuracy is numerically assessed for each algorithm when applied to a two-dimensional frame structure for which pre-damage and post-damage modal parameters are available for only a few modes of vibration. The analysis results illustrate the improved accuracy of the new algorithm when compared to the existing algorithm.     

Kerberos协议在无线网络中的应用与改进研究

为给便携式无线设备提供更加便捷的认证服务,提出融合无线公钥基础设施、质询-响应协议、密钥随机化处理等技术来改进Kerberos协议的应用方案,而后用形式化的协议证明语言对改进后的协议进行了安全验证,分析结果表明改进后的协议能完成用户与服务器之间的认证工作,并且协议在通信机密性与防口令猜测方面都有所增强。     

基于WEBGIS的旅游信息服务平台设计与开发

近年来随着我国旅游业的快速发展,旅游信息化日益成为旅游管理部门关注的焦点。本文通过分析旅游信息化过程中存在的问题,提出了旅游信息系统应该具备的功能。并通过功能模块的逻辑谓词公式,建立了系统的逻辑结构和任务树,这种结构化的需求分析,为系统进一步开发提供了保证。     

一种基于分区引导扇区控制的移动存储介质安全控制方法

结合Windows平台存储介质分区原理，给出一种基于逻辑分区引导扇区控制的移动存储介质的安全控制方法。从技术原理、USB设备的检测、对USB盘引导扇区部分的访问和修改以及对文件的格式修改等几个方面进行了阐述。最后给出了部分核心代码。     

青岛市崂山风景区崩塌地质灾害治理方法探讨——以大平岚崩塌人造景观石治理为例

青岛市崂山风景区旅游主线大平岚附近发生崩塌地质灾害,导致崂山风景区南线道路全线封闭,崩落巨石上方的残留危岩体存在严重安全隐患,急需治理。为使原有景观石得以保护,又不致于形成新的视觉污染,利用人造景观石在崂山风景区大平岚崩塌地质灾害治理工程中进行了探索。实践证明,该方案投资少、工期短、效果好,既消除了崩塌地质灾害隐患,使原有景观石得到了保护,又未形成新的视觉污染,为人造景观石在风景区地质灾害治理工程中的应用起到了示范作用。