基于语义形式化的XBRL链接库优化

来源 :财会月刊 | 被引量 : 0次 | 上传用户:jayden1986
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
XBRL链接库用于表示XBRL财务元素之间的关系,具有可选性。本文探讨添加不同链接库形式化表示后的系统推理的效率问题,并通过对个别利润表实例证明该优化方法是有效的,能降低形式化表达的规则数,提高逻辑推理的效率。
其他文献
大量研究表明,银屑病是由T细胞介导的免疫炎症皮肤疾病,常见病变部位为颈背、四肢,伴有瘙痒的症状,其难根治、易复发的特点给银屑病患者的日常生活带来巨大的困扰。洋金花(Da
脑的可塑性不是脑组织对损伤所做出的消极被动反应,而是大脑对环境积极适应的特性。目前,脑的可塑性研究进展主要集中于脑解剖的可塑性与脑机能的可塑性上,其中脑机能的可塑性表
<正>石墨经化学氧化制得氧化石墨烯。氧化石墨烯具有良好的溶解性和发光性能,可用作其与聚合物复合材料的相分离指示剂。当其在溶剂中的浓度高于一临界值时,氧化石墨烯会形成
根据全国克山病病情监测方案要求,我们于1997年5月对克山病监测点洛宁县进行了监测,现将结果报告如下:1材料与方法1.1对全县原定慢型病人及可疑慢型病人进行临床检查、描记心电图、拍摄心
在发电机组运行的过程中,转子绕组接地是一种比较常见的不正常运行状态,同时也是严重影响机组安全运行的故障隐患,往往转子的接地故障在检测时都需要耗费大量的时间,因此研究
对隆化县30个乡(镇)小学生和职能部门的各类人群实施消除IDD健康教育,通过防疫医生-教师-学生-家庭-社会健康教练,使各类人群消除IDD知识知晓率和卫生行为形成率由健教前问卷76分
近年来,港台等许多学校采用团队学习来培养学生的综合素质。本文针对传统教学模式存在的问题,提出了基于互联网+团队学习的新的《纺织商品检验学》教学模式,指出了这种教学模
目的探索皮肤性病学多媒体双语课件制作方法,评价多媒体双语教学模式在临床教学中应用的效果。方法录制双语音频,编辑中英对照文本,制作双语教学讲义;采集、收集、整理各种皮
自1999年6月我院在高速公路上设立救护站以来,共治疗高速公路伤患者228例,其中失血性休克55例,总结其救治经验,报告如下。1临床资料1.1病例:55例患者中,男37例,女18例;年龄6~70岁,平均38
从茅盾早期小说的创作脉络里看,继《蚀》三部曲之后,《虹》在表现"时代性"方面更有突破,即强调了历史前进取决于先进"集团"的领导。小说描写梅行素在四川受到"五四"的启蒙而
会议