论文部分内容阅读
基于UVM模型的HIPHY系统验证方法研究与实现
【出 处】
：
西安电子科技大学
【发表日期】
：
2020年01期
其他文献
为了更好地保护劳动者的合法利益,有效打击和遏制恶意欠薪的行为,2011年通过的《刑法修正案（八）》设立了“拒不支付劳动报酬罪”,将以恶意转移财产、逃匿等方法逃避支付劳动者的劳动报酬或者有能力支付而不支付劳动者劳动报酬的行为进行犯罪化处理。拒不支付劳动报酬罪正式入刑十年以来,在打击恶意欠薪行为,保护劳动者权益和维护社会秩序上都发挥了一定的积极作用。但在司法实践中仍存在着对拒不支付劳动报酬罪犯罪主体认
学位
综述了绿色集装箱港口节能减排策略，总结了国内外针对在港船舶、场桥、集卡与岸桥节能减排的措施与减排效果量化方面的研究成果，提出了未来的研究方向。研究结果表明：船用替代燃料（包括液化天然气、生物燃料、新能源）减排效果明显，针对替代燃料动力船应用困难问题，未来可重点研究替代燃料配套设施建设时序、补贴政策确定等问题；船舶采用岸电技术依据各地区碳排放系数不同可减少48.0%～70.0%的船舶在泊CO2排放，
期刊
＜正＞ 治疗方法:新鲜猪胆1个,用浓白糖水送服,每周1次,每晚用温开水熏洗肛门。治疗最长时间4～5周,最短3周。治疗结果:治愈;便时无痔脱出,便血,肛门搔痒疼痛等症状消失。肛门镜检病理改变消失,共48例;好转:临床症状明显好转,便血等症状消失。肛门镜检仍有部分内痔存在,共2例。治愈率96%。
期刊
＜正＞ 取鲜嫩肥厚地黄烟叶1个,卷成约直径1cm2cm长的“叶棒”,与每晚临睡前插入肛门内,次日起床时取出,每晚1次连用7～10天。此方不但有杀灭蛲虫的作用,而且对一般性痔疮也有明显的效果。
期刊
随着共享经济的不断发展,互联网与企业进行了深度的融合,新型就业形式不断涌现,出现了网约司机、外卖骑手等新型就业群体。据统计,我国灵活就业人数达到2亿人,其中外卖骑手就有770万人,作为典型的灵活就业群体,外卖骑手展现出比传统用工模式更具灵活性的特点,并以此优势迅速占领了劳动力市场。外卖骑手虽然比普通劳动者更具优势,能够快速融入劳动力市场当中,但是权益保障却比普通劳动者更难。由于外卖骑手用工模式的从
学位
美国当代画家阿历克斯·卡茨（Alex Katz）是当前国际最具影响力的画家之一,尤其对年轻的画家有巨大影响力。所以本文以阿历克斯·卡茨作为个案进行深度剖析。卡茨作品大多以美国中产阶级的日常生活为表现题材,时尚的人物形象,时髦的配饰以及充满现代化气息的场景,熟悉的画面气息使观者更容易进入绘画感受中,也使其画面既有真实的社会现状又有现代的艺术气息。平面化的处理手法高度简化物像,细腻自由的笔触,大面积的
学位
教育是国家的立国之本,编程教育和个性化教育是未来教育的趋势。人工智能作为新一轮科技革命和产业变革的核心力量,正在改变人类生产生活,而教育也急需人工智能技术的赋能。为了将教育和人工智能深度结合,响应编程教育与个性化教育的真实场景,适应中小学人工智能教育的需求,机器人成为人工智能教育的代表性载体。所以,设计并开发一款人工智能教育用机器人成为适应未来教育发展的关键。本次设计在充分调研国内外人工智能教育用
学位