切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
逻辑框架的语法,语用脑语义
逻辑框架的语法,语用脑语义
来源 :软件学报 | 被引量 : 0次 | 上传用户:cultra
【摘 要】
:
逻辑模型架用以定义逻辑的类型系统,在爱丁保逻辑框架ELF(Edinburgh logical frame-work)和马丁诺夫逻辑框架的基础上,本文提出了一个集两者优点一身的新型逻辑框架,此逻辑框架特别适用于语义分析,文中还给出一
【作 者】
:
傅育熙
宋哲炫
【出 处】
:
软件学报
【发表日期】
:
1996年A00期
【关键词】
:
逻辑框架
类型理论
泛类
类型
数理逻辑
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
逻辑模型架用以定义逻辑的类型系统,在爱丁保逻辑框架ELF(Edinburgh logical frame-work)和马丁诺夫逻辑框架的基础上,本文提出了一个集两者优点一身的新型逻辑框架,此逻辑框架特别适用于语义分析,文中还给出一结如何在此逻辑框架中表示目标语言的应用实例。
其他文献
饮食及运动习惯与急性胰腺炎发病相关性研究
目的研究急性胰腺炎(AP)发病与居民饮食习惯及运动关系,为有针对性的饮食策略改变提供科学依据。方法以郑州市某医院2019年1—6月诊治为AP患者作为病例组,以同期同医院健康体
期刊
急性胰腺炎
运动习惯
饮食行为
影响因素
如何将幼儿数学活动生活化
生活即教育,教育只有通过生活才能发出力量而成为真正的教育。回归生活的数学不仅要使教学活动贴近幼儿的生活,更重要的是要从生活中寻找学习的素材,到生活中去应用,验证所学的知
期刊
活动生活化
数学
幼儿
生活即教育
教学活动
学以致用
学习
滇东北地区2008—2012年ML≥3.5地震震源机制
选取云南省数字地震台网记录的滇东北地区20082012年M1≥3.5地震波形资料.运用全波形模拟的方法.计算得到震源机制解,对其进行综合分析。结果表明:①地震破裂面走向分布具有多样性
期刊
震源机制解
全波形模拟
滇东北地区
focal mechanism solution
full waveform simulation
northeaste
羊布鲁菌外膜蛋白Bp-26基因的克隆及其原核表达
应用PCR扩增羊布鲁菌M5-90株基因组DNA,得到大小为753bp的Bp-26基因,将其克隆入pMD20-T载体上,测序正确后,构建重组质粒pET-28a-Bp-26,转化到大肠埃希菌BL21(DE3)中,经IPTG诱导其表达
期刊
羊布鲁菌
Bp-26基因
克隆
原核表达
Brucella melitensis
Bp-26 gene
cloning
prokaryotic expr
一种基于FPN的电力系统故障诊断方法
针对变电站故障推理过程中存在的不确定性问题,文章提出一种变电站故障诊断方法,将业务规则模糊化,并映射到模糊Petri网,利用Petri网本身所具有的异步性、并发性、并行性等特
期刊
不确定性
模糊PETRI网
模糊规则
单纯故障
组合故障
uncertainty
fuzzy petri net
fuzzy rule
pure faul
浅层地震勘探在工程选址中的应用及断层活动性鉴定
石油地质资料显示,沧州某拟建工程厂址地下深部展布有3条断层,通过浅层地震勘探确认,其中2条断层埋深较深,另1条断裂埋藏较浅,延伸至近地表。通过跨断层钻探、地层年代测试等详实
期刊
浅层地震勘探
跨断层钻探
断层活动性
shallow seismic exploration
cross fault drilling
fault activi
原发性三叉神经痛患者抑郁发生情况及其影响因素分析
目的分析原发性三叉神经痛(TN)患者抑郁发生情况及其影响因素,为提高患者生存质量提供参考。方法以2014—2019年首次在沧州市某医院诊治的TN患者为研究对象进行问卷调查,包括
期刊
原发性三叉神经痛
抑郁
负性情绪
影响因素
张家口市老年人轻度认知功能障碍患病现状及影响因素分析
目的分析张家口市老年人轻度认知功能障碍(MCI)患病现状并分析其影响因素。方法采用多阶段随机抽样方法对张家口市≥60岁居民进行抽样及问卷调查,调查内容包括人口学情况、日
期刊
老年人
轻度认知功能障碍
影响因素
补中益气丸对糖尿病大鼠胃黏膜MUC1和iNOS表达的影响
观察补中益气丸对糖尿病大鼠胃黏膜胃肠黏蛋白1(MUCl)和诱导型一氧化氮合酶(iNOS)表达的影响。大鼠随机分为正常组、模型组和中药组,采用链脲佐菌素(STz)腹腔注射结合乙醇灌胃的方法
期刊
糖尿病大鼠胃损伤
胃肠黏蛋白1
诱导型一氧化氮合酶
补中益气丸
diabetic rat gastric iniury type 1 mucin inducib
鸡传染性法氏囊病病毒PCR检测及VP4基因序列分析
从滨州地区某养鸡场疑似鸡传染性法氏囊病病鸡初步分离到一株记为HSJ12分离株的IBDV毒株,从该分离株中提取总RNA,采用RT-PCR技术扩增VP4基因。结果表明,测序结果与GenBank中
期刊
传染性法氏囊病病毒
VP4基因
克隆和序列分析
Infectious bursal disease virus
VP4gene
cloning and se
与本文相关的学术论文