-
题名国际地球参考框架ITRF2020的定义和实现
被引量：2
- 1
-
-
作者
赵冬青
赖路广
程振豪
郭文卓
李林阳
-
机构
战略支援部队信息工程大学地理空间信息学院
-
出处
《海洋测绘》
CSCD
北大核心
2023年第5期35-40,共6页
-
基金
国家自然科学基金(42104033)。
-
文摘
国际地球参考框架(ITRF)是目前理论背景最完善、构建方法最全面、实现精度最高的全球地心基准,也是世界各国在建立区域地心基准时的重要参考。给出了国际地球自转与参考系统服务组织(IERS)最新发布的ITRF2020的理论定义,重点讨论了各专业技术组织提供的数据资源和计算模型,以及IERS在数据整合时的处理策略,并对基于震后形变(PSD)模型的位置计算进行了讨论,给出了相对于ITRF2014的改进和转换参数。ITRF2020首次区分了地球的质量中心和形状中心,并考虑了PSD模型的季节性信号,提高了坐标框架精度,为地球科学研究和应用提供了统一基准,对精化和维持我国地心参考框架具有重要参考意义。
-
关键词
国际地球参考框架
框架定义
数据模型
震后形变模型
处理策略
季节性信号
-
Keywords
international terrestrial reference frame
frame definition
data model
post-rseismic deformation model
computation strategy
seasonal signal
-
分类号
P22
[天文地球—大地测量学与测量工程]
-
-
题名空间逻辑的一个定义框架及其可判定性
被引量：2
- 2
-
-
作者
颜锋
陈韬略
韩婷婷
吕建
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2006年第6期7-10,共4页
-
基金
国家重点基础研究发展规划973项目(2002CB312002)
863项目(2002AA116010)
国家自然科学基金(60273034)。
-
文摘
空间逻辑作为一个模态逻辑,能很好地描述分布式系统的行为和空间属性。其中,逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述,为此首先提出一个空间逻辑的定义框架,据此可以构造各种空间逻辑,并对它们的可判定性进行考察,从而指出影响空间逻辑的可判定性的关键因素。
-
关键词
移动计算
分布式计算
空间逻辑
可判定性
定义框架
-
Keywords
Mobile computation,Distributed computing, Spatial logic, Decidability,Definition framework
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向篇章的框架关系预测的表示学习
- 3
-
-
作者
王燕
吕国英
李茹
任国华
-
机构
山西大学计算机与信息技术学院
山西大学计算智能与中文信息处理教育部重点实验室
山西省大数据挖掘与智能技术协同创新中心
-
出处
《计算机应用与软件》
北大核心
2023年第4期128-133,210,共7页
-
基金
国家社会科学基金项目(18BYY009)。
-
文摘
框架关系可以描述框架与框架之间的语义关系,通过对篇章构建框架关系图发现图中存在孤立框架,一个篇章表达的是一个语义整体,框架间关系缺失阻碍了篇章句子之间建立联系。针对该问题,进行面向篇章的框架关系预测方法研究,分别使用WSABIE算法、Word2vec方法和TransE方法训练得到框架表示作为关系预测的输入;使用余弦相似度方法和以Hing-loss函数为优化目标的神经网络方法进行实验,并在神经网络中融入框架本身的属性信息——框架定义。实验结果验证了基于知识图谱表示学习方法(TransE方法)的优越性以及框架定义信息的有效性,提升了框架关系预测的性能。
-
关键词
框架关系
框架表示
框架定义
框架关系预测
-
Keywords
Frame relationship
Frame representation
Frame definitio
Frame relationship prediction
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于Agent的ERPⅡ网络数据传输模式实现
- 4
-
-
作者
罗剑
-
机构
浙江经济职业技术学院经济信息系
-
出处
《计算机应用与软件》
CSCD
北大核心
2006年第8期90-92,130,共4页
-
文摘
ERPⅡ是伴随着因特网应用,由ERP发展而来的一类企业管理软件。为支持ERPⅡ应对因特网数据传输的需要,基于W eb Service技术架构和微软分布计算平台.NET,通过自定义组件实现了第三方工具开发的表示层和W eb Service之间数据传输的Agent,并对内在机制进行了深入的探讨,给出了相应的性能测试指标。
-
关键词
HTYP/SOAP
AGENT
消息封装
自定义XML数据框架
-
Keywords
Http/Soap Agent Message encapsulation User-defined XML data framework
-
分类号
TP336
[自动化与计算机技术—计算机系统结构]
TP18
[自动化与计算机技术—控制理论与控制工程]
-
