基于JAVA-MOP添加逻辑库的方法和策略

来源 :中国电子商情·通信市场 | 被引量 : 0次 | 上传用户：QQ2009sunboy

【摘要】

：

本文结合作者课题内容,对基于JAVA-MOP工具软件添加逻辑库的方法和机制进行了深入的研究,首先,本文详细介绍了JAVA-MOP工具软件,探讨了其采用反射机制调用逻辑库的机理,并对

【作者】

：

周戈于康徐姣

【机构】

：

国防科学技术大学计算机学院,长沙,410073

【出处】

：

中国电子商情·通信市场

【发表日期】

：

2014年1期

【关键词】

：

JAVA-MOP 逻辑库反射机制线性时序逻辑三值语义 ltl3逻辑库

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文结合作者课题内容,对基于JAVA-MOP工具软件添加逻辑库的方法和机制进行了深入的研究,首先,本文详细介绍了JAVA-MOP工具软件,探讨了其采用反射机制调用逻辑库的机理,并对出现的若干问题如多进程的调试等提出了自己的解决方案,最后作者示例如何添加基于线性时序逻辑三值语义监控器生成的ltl3逻辑库.

其他文献

成人原发系统型间变性大细胞淋巴瘤的治疗与预后

间变性大细胞淋巴瘤是非霍奇金淋巴瘤的一种亚型,具有独特的病理学改变和生物学行为,发病率较低,关于其治疗方法、结果及预后的文献报道有限,目前尚无规范成熟的治疗方案。笔

期刊

淋巴瘤大细胞治疗预后

联合应用细胞遗传学、巢式RT-PCR和FISH技术监测慢性髓细胞白血病干扰素治疗中肿瘤负荷

目的探讨常规细胞遗传学(CC)、巢式反转录-聚合酶链反应(RT-PCR)及双色双融合荧光原佗杂交(D-FISH)三种技术监测慢性髓细胞白血病(CML)患者干扰素(INF)治疗过程中肿瘤负荷的

期刊

白血病髓样慢性细胞遗传学聚合酶链反应原位杂交荧光LeukemiamyeloidchronicCytogeneticsPolymerase

脑脊液正常流动的MRI研究

目的探讨MRI相位对比序列(cine PC)研究和分析脑脊液流动的可能性,并运用该技术对正常志愿者进行分析.方法采用MRI cine PC序列, 对正常志愿者进行分析,并测量中脑导水管上

期刊

磁共振相位对比法脑脊液动力学

产后小鼠子宫内膜边缘群干/祖细胞的分离纯化

目的分离和纯化小鼠子宫内膜边缘群(side population,SP)干/祖细胞,为进一步探讨产后子宫修复的细胞机制奠定基础. 方法分别采用酶消化和机械分离结合法与机械研磨分离的方

期刊

子宫内膜边缘群干细胞产后

疟原虫乳酸脱氢酶的研究和应用进展

疟原虫乳酸脱氢酶是疟原虫糖分解途径的关键酶,由无性期和有性期虫体产生.感染人类的4种疟原虫有不同的乳酸脱氢酶异构体,使其具有种属特异性,已成为新一代疟疾快速诊断方法

期刊

疟原虫乳酸脱氢酶研究进展PlasmodiumLactate dehydrogenaseResearch progress

心脏病专科医院麻醉药品使用分析与安全管理对策

目的了解我院麻醉药品使用情况,进一步加强麻醉药品安全管理,使用好麻醉药品.方法统计我院2002年至2006年麻醉药品药库出库数据并进行分析,采用有效管理对策进行麻醉药品管

期刊

毒麻药物分析安全管理NarcoticsAnalysisSafe management

玻璃体切割联合玻璃体腔注药治疗外伤性眼内炎疗效分析

目的探讨玻璃体切割联合玻璃体腔注药治疗外伤性眼内炎的临床疗效.方法回顾性分析22例(22眼)外伤性眼内炎患者的临床资料.结果 4眼单纯药物治疗,18眼行玻璃体切割联合玻璃

期刊

眼损伤眼内炎玻璃体切除术玻璃体腔注药

Hadoop平台下的并行文字识别技术研究

在信息技术及计算机日益普及的今天,利用OCR(光学字符识别)技术将图片类型的文字材料方便、快捷地输入到计算机中并转化为文字已经广泛应用于各行各业,但随着文件数量的急剧

期刊

HDFSMapReduceOCR并行识别

姜黄素对人脂肪组织脂联素分泌的影响

目的探讨在体外培养条件下不同浓度姜黄素干预对内脏脂肪组织与腹部皮下脂肪组织脂联素(APN)分泌的影响.方法用体外组织培养法培养手术中离体脂肪组织(n=84),分别予低浓度

期刊

脂肪组织脂联素姜黄素

不同时期麻痹性痴呆临床对照研究

目的:分析1947年至1966年和2004年至2007年两个不同历史时期麻痹性痴呆(GPI)患者的临床差异.方法:回顾性调查1947年6月至2007年6月GPI住院患者临床情况.病例分旧患者组(1947

期刊

麻痹性痴呆诊断临床症状

基于JAVA-MOP添加逻辑库的方法和策略

其他学术论文