基于数理逻辑的航空图概念体系研究

来源 :测绘科学与工程 | 被引量 : 0次 | 上传用户:werr2000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前,航空图的定义还不统一,致使其在分类、新图种的功能定位等方面难以明晰;需要加强航空图基础理论,特别是其概念体系的研究,使其与航空图的发展相适应,更好地指导航空图的研究与制作。本文借鉴数理逻辑中的谓词逻辑方法,在分析现有航空图概念的基础上提出了航空图新定义;采用基本逻辑和真值树构建规则相结合的方法,构建了航空图的概念体系;旨在为航空图的研究、制作提供基础理论支撑。
其他文献
“抗美援朝战争中,我负责将急救包送到前线,经过一座桥时,敌机突然将桥炸断,我腿部受伤昏迷近6个小时。醒来后,我简单包扎了伤口,硬是杵著木棍完成了任务。”荆门市东宝区马河镇93岁的抗美援朝老兵彭良明回忆。  1948年10月,彭良明加入中国人民解放军,跟随部队战斗,见证了新中国成立。1950年,彭良明所在部队作为第一批入朝志愿军,奔赴朝鲜前线作战。在战斗中,彭良明荣立三等功,于1952年加入中国共产
炎炎夏日,我们家迎来了一件火热火热的大喜事——我的母亲佩戴上了“光荣在党50年”纪念章!7月初的一天傍晚,我和母亲正在家吃晚饭,突然接到一个电话。对方说:“我是咱们村的唐委员,根据入党记录和上级党组织的决定,你妈妈荣获了‘光荣在党50年’纪念章。我现在就过去给你妈妈颁发。”这可是大事啊,我激动得三口两口扒完饭,早早就去门口等着了。
目的探讨脑梗死病人血浆脂蛋白相关磷脂酶A2(Lp-PLA2)、Toll样受体4(TLR4)水平及临床意义。方法将我院收治的179例脑梗死病人分为稳定性脑梗死组(93例)与进展性脑梗死组(86例),另选取同期体检的90名健康者作为对照组,采用酶联免疫吸附法检测血浆Lp-PLA2、TLR4水平,采用Logistic回归分析进展性脑梗死发生的影响因素;采用受试者工作特征(ROC)曲线评估Lp-PLA2、TLR4在稳定性脑梗死及进展性脑梗死中的诊断价值。结果与对照组比较,脑梗死病人血浆Lp-PLA2、TLR4水平
媒体从没像今天这样,面临如此全方位的变化。从今日头条、微信公众号等传播平台出现开始,以自媒体为代表的新传播主体迅速融入媒体圈,紧接着短视频、直播等媒体传播形态走红,再一次冲击着传统媒体。在内容和形式的双重冲击下,传统媒体被裹进信息洪流中。
随着数字化转型的不断深入,以广播电视、报刊杂志等为代表的传统媒体越来越意识到,未来媒体的发展之路,势必将朝融合的方向发展,最终形成资源通融、内容兼容、宣传互融的媒体新生态。目前来看,广电行业正在新兴技术的驱动下,加速与新兴媒体的融合发展。
期刊
目的探讨参附注射液行辅助治疗心肺复苏(CPR)的疗效及其对血流动力学的影响。方法选取2017年6月—2019年5月西安市中心医院急诊科CPR后自主循环恢复时间>48 h病人90例,随机分为试验组和对照组,各45例。对照组采用生理盐水200 mL静脉输注,试验组采用参附注射液100 mL+生理盐水100 mL静脉输注。参照格拉斯哥昏迷评分量表(GCS)和急性生理和慢性健康状况评分系统(APACHEⅡ)评定治疗效果,监测血流动力学指标及不良反应发生情况和存活率。结果治疗后,两组GCS评分均高于治疗前,A
林立的商业楼,形形色色的园区,蓬勃发展的新城区,在繁荣的市场发展下,招商需求几乎遍布经济社会的每个场景。时至数字时代,大数据逐渐渗透于各行各业,招商行业也亟待数智赋能,以提高合作成功的效率。在撼地数智(重庆)科技有限公司(以下简称“撼地”)CTO龙非池看来,高质量的大数据服务是企业在智慧招商赛道行稳致远、获取竞争优势的关键所在。
在消费升级的趋势下,护肤品正从可选消费类产品逐渐成为消费者的每日“必需品”。特别是以“95后”为代表的新消费主体成为了护肤品牌最重要的消费群体。“敢赚敢花”“悦己至上”是Z世代人群的鲜明特性。“网红直播带货”“KOL测评种草”和“社交电商”等亦成为该人群购买决策的有效推手。
目的探讨立体定向系统下经小脑幕颅后窝血肿微创清除外引流术对颅后窝血肿病人脑功能恢复及并发症的影响。方法将2017年12月—2018年12月我院收治的颅后窝血肿病人102例根据病情选择不同术式分为对照组和研究组,各51例。对照组给予传统开颅手术治疗,研究组给予立体定向系统下经小脑幕颅后窝血肿微创清除外引流术治疗。术后4周观察并比较两组临床疗效,于术前1 d和术后1周观察比较两组血清神经元特异性烯醇化酶(NSE)、S100B水平,记录两组术后血肿排空时间、住院时间,术后6个月对两组日常生活能力分级进行评定,同