论文部分内容阅读
1LD12模锻件残余应力状态的研究
【出 处】
：
中国核科学技术进展报告（第五卷）——中国核学会2017年学术年会
【发表日期】
：
2017年10期
其他文献
在运行时验证中,通过判定线性时序逻辑公式的可监控性和弱可监控性可以衡量一个公式是否适合用于验证。现有的可监控性和弱可监控性的判定算法主要有三种:基于监控器的判定算法、基于公式重写的判定算法、基于无限义务公式的判定算法。其中,基于无限义务公式的判定算法是一个不完备的算法,只能和另外两种算法同时使用,加快算法的判定速度。但是,已有的针对可监控性和弱可监控性的研究主要存在两个问题。第一,在实际的运行时验
学位
自然语言生成是自然语言处理的一个重要分支,它的主要目的是将结构化或非结构化数据转化为人类可以理解的语言,被广泛应用于自动新闻写作、聊天机器人、文本摘要等系统。在一般自然语言生成任务(如文本摘要、机器翻译、对话系统等)中,源输入能够提供足够的信息生成目标文本。主题文本生成任务则是通过有限的主题词生成新颖、多样且主题一致的段落级文本的,输入源信息极度不足导致生成的文本质量较低,研究进展也落后于其他文本
学位
上个世纪末是网络游戏的萌芽阶段,在本世纪初依赖科学技术这一第一生产力的迸发而进入突飞猛进的发展阶段。相较于发达国家的成熟的网络游戏产业,我国的产业发展虽然稍显稚嫩,但是却是具有澎湃发展潜力的新兴土壤。尽管法律不断的推陈出新,但是由于法律的滞后性,始终在挑战着法律从业者的思维神经。外挂程序正是不断妨碍着建设优越的网络环境和大力发展游戏产业的绊脚石之一。网络外挂程序依靠游戏的发展不断壮大,违法金额不断
学位
本研究以广西环保产业投资集团有限公司为研究对象,以构建合理的公司发展战略为目标,以便更好地指导公司发展。文章运用PEST分析法对公司所处的政治、经济、社会自然及技术环境进行梳理,运用波特五力模型对公司所处行业进行市场竞争分析,运用SWOT分析法构建公司战略矩阵。在此基础上,提出公司发展思路与原则,明确战略定位与目标,提出战略选择及其实施内容,划分战略实施步骤与关键措施。其中,公司战略定位是从事环保
学位
非诉行政执行是我国行政强制执行制度的一大特色,体现了立法者通过牺牲效率的方式确保公正价值的立法初衷。随着非诉行政执行实践的发展,传统的“裁执合一”模式使得法院承担了过重的执行压力,“执行难”问题日益严峻。通过牺牲效率来保障公正的做法已经不符合实践的需要,非诉行政执行需要重拾对效率价值的追求。最早在国有土地上房屋征收补偿领域得以确立的“裁执分离”模式,将非诉行政执行案件的执行权从法院剥离,由行政机关
学位