从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT (Satisfiability)问题是自动推理最重要的问题之一。基于扩展规则的方法是由林海等人
目的了解重庆市糖尿病(DM)、高血压(HBP)、血脂紊乱及代谢综合征(MS)等病的患病情况.方法采用横断面调查方法对重庆市局部地区3 717例20岁以上自然人群进行口服葡萄糖耐量试
目的 探讨西比灵治疗椎基底动脉供血不足（VBI）性眩晕的临床疗效。方法 椎基底动脉供血不足性眩晕的住院和门诊患者共80例，其中50例为给口服西比灵治疗，另30例为给静脉用654-2治疗
肠套叠足婴幼儿常见的急腹症，多见于1岁以内婴儿,约占65％，其中5～9个月婴儿发病率最高，男婴发病率约为女婴的2～3倍。我院自1995年以来共收治小儿急性肠套叠52例，现对所有资料进行分析
文章结合轨道交通建筑的特点,分析其应用太阳能的可行性、必要性和优势,然后介绍太阳能光伏发电系统、光热系统在国内外轨道交通建筑中的应用情况,并提出了进一步扩大太阳能
与上市公司涉矿即鸡犬升天的境遇不同,春兴精工却不得不面对"见光死"的残酷现实。春兴精工(002547)近日发布了4000万参股矿企广核金钼的消息,却并未引起市场的认同,公布利好
面对油田持续遭遇“寒冬期”的严峻生存形势,中原油田第七社区管理中心为战寒冬、求生存、谋发展,结合自身优势和工作特点,主动出击,走出中原,积极开拓外部市场.该社区以实际
中日两国作为一衣带水的友好邻邦,其交往历史源远流长,两国又同属汉字文化圈,在使用语言交流的过程中存在很多相互借用、相互影响的情况,因此在中日词汇中出现了大量的同形词。这些同形词对以汉语为母语的日语学习者来说,提高学习效率的同时带来了很多问题。了解中日同形词到底有何异同,掌握以汉语为母语的日语学习者对中日同形词的误用情况,对日语教学有举足轻重的意义。本文基于中级《大家的日语》教材,对中日同形词进行词
心脏性猝死（sudden cardiac death，SCD）是临床医学、预防医学、法医学领域共同关注的课题。SCD指由于心脏原因引起的以意识骤然丧失为特征的、意外的、急速的自然死亡。无论是否