具有计算可靠性的符号模型

来源 :计算机工程 | 被引量 : 0次 | 上传用户:shan43512
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
铜陵化工集团新桥矿业有限公司,是一座以硫为主,伴生铜、金、银、铁、铅、锌等多种金属元素的大型化学矿山,2001年改制成为铜陵化学工业集团有限公司的国有独资全资子公司。
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
我院内科从 1994年 1月至 1999年 10月采用吲哒帕胺伍用卡托普利治疗中、重度高血压病 10 0例 ,临床疗效显著 ,现报告如下 :1 资料与方法1 1 病例选择  10 0例高血压病患
急性白血病(AL)并发糖尿病(DM)并不罕见,但国内报道不多,其发病机理尚不清。本文观察11例,对其临床特征及其发病的有关因素和转归报道如下。1临床资料AL并发DM11例中男6例,女5例。年龄为17~70岁,平均29岁。AL诊
2007年的金融危机使得学术界对CDS相关产品的过度开发、定价缺陷以及风险管理进行反思;近年来欧洲各国主权债务危机的频发,又使得主权CDS在全球范围内备受瞩目。中国2010年推
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
DR是基于市场的需求在基础证券的基础上衍生出来的金融产品,CDR是受美国存托凭证(ADR)的启发,建议外国企业在中国境内发行存托凭证(CDR)并在国内上市交易。基于中国资本市场开
为了给苜蓿的种质资源利用和杂交育种研究提供细胞学依据,试验应用染色体制片方法,分析了龙牧801、WL319HQ、WL343HQ、阿迪娜和先驱者5个国内外苜蓿品种的染色体核型。结果表
安吖啶治疗难治性急性髓细胞白血病20例潍坊医学院附属医院(261031)慈春增李大启杨金平崔为发王占聚近年来,我们应用国产安吖啶(AMSA)治疗20例难治性急性髓细胞白血病(AML),现报告如下。临床资料:本组男
人口老龄化一直是一个热点问题。2000年,中国正式迈入老龄化国家的行列,成为了第一个进入人口老龄化的发展中国家。中国人口基数大,老年人口规模同样庞大,并且老年人口增长迅速,给