减税如何影响企业高质量创新?——基于中国上市公司的实证研究

以高质量创新促进中国经济高质量发展是贯彻新发展理念的重要途径,企业是市场的主体也应当成为技术创新的主体。近年来的减税政策是否推动企业高质量创新成为值得关注的议题。基于2011-2019年沪深A股上市公司面板数据,采用渐进式双重差分模型,以固定资产加速折旧政策为例,探究了减税对企业高质量创新产生的影响。研究表明：(1)减税显著推动了企业高质量创新的发展,该结论经过一系列稳健性检验后依旧成立;(2)减税主要通过“外延扩张”推动企业高质量创新,政策实施后新增的创新产出数量是推动企业创新质量提升的主要机制,但该政策未能“纵向深化”原有创新的质量,平均专利质量并未提升;(3)减税对企业高质量创新的影响存在异质性效果,其对非制造、规模较大以及存续时间较长企业的激励效果更佳。鉴于此,政府应继续实施减税政策,同时为了发挥更为广泛的激励效应,也应做出诸如增强减税普惠性、分层次有针对性地优惠以及注重政策组合效应等调整。     

不完备信息系统中一个变精度粗糙集模型

针对不完备信息系统的知识获取,提出了一种基于相容度的变精度粗糙集模型,该模型是变精度粗糙集模型在不完备信息系统中的拓展.定义了这种模型上的知识约简,并给出了求约简的一个启发式算法.最后通过实例分析说明了算法的有效性.     

WEB应用系统性能测试的实现

对WEB应用系统进行合理的性能测试是保证系统质量的一个重要过程。以某远程教学系统为案例,借助于测试工具Load Runner,从负载反应层面对系统性能进行验证,并对测试结果进行分析,以保证系统的合理优化。     

跟踪-微分器在全捷联制导中的应用分析

以仅能获取角度信息的全捷联导引头为研究对象,针对采用直接微分提取惯性视线角速率时存在的噪声放大问题,基于跟踪微分器设计了一种全捷联制导信息提取算法。结合导引头的性能指标要求,对3种不同形式跟踪微分器的提取效果进行了对比分析。仿真结果表明,采用非线性微分器进行惯性视线角速率提取,可以减小延迟时间,避免噪声放大,有效提高制导精度,具有一定的工程应用价值。     

基于PHREEQC模拟分析Na2S2O4对退役铀矿山采区地下水生态的修复

酸法原位地浸采铀作为回收铀资源首选工艺,不可避免会存在部分铀进入地下水污染生态环境,而采用还原剂Na2S2O4将游离的铀还原固定可高效解决此类问题。为此,针对某酸法地浸采铀退役铀矿山地下水铀污染,采用PHREEQC模拟分析Na2S2O4还原固定地下水中可溶性铀的机制,讨论NaHCO3在Na2S2O4还原固定可溶性铀的影响。模拟结果表明：1）该区域地下水中铀以U(Ⅵ)为主,其中UO2SO4、UO22+和UO2(SO4)22-为优势物种,分别占63.60%、32.35%和3.89%;2）Na2S2O4还原固定可溶性铀时,会降低地下水Eh值和Fe(Ⅲ)浓度,增强地下水还原性,促进沥青铀矿和黄铁矿沉淀,但会造成地下水酸化和高SO32-浓度;3）NaHCO3+Na2S2O4在还原固定可溶性铀时,减轻了地下水酸化,增强了对U(Ⅵ)和SO32-的去除,对Na2S2O4还原固定可溶性铀的影响较小,在Na2S2O4和NaHCO3浓度比为1︰1至1︰1.5时修复效果最佳。     

在UO_2(NO_3)_2-TBP-CCI_4有机相中光化还原制备铀(Ⅳ)的研究

本文的目的是研究在TBP有机相中光化还原铀(Ⅵ)以制备铀(Ⅳ)。选用了高压汞灯作为激发光源,CCl_4为TBP的稀释剂。研究了反应温度、原始水相溶液组成等因素对铀(Ⅳ)产额和亚硝酸生成量的影响。推荐了制备铀(Ⅳ)的适宜条件。     

硝酸铀酰光化还原的研究

本文的目的是探讨光化还原制备硝酸钠(Ⅳ)。研制了一个与硝酸钠酰的吸收光谱匹配较好的金属卤化物灯——镓灯作为激发光源,在不另加滤光器的条件下,对几种还原剂的还原能力作了比较,并对乙醇作还原剂时,硝酸浓度、乙醇浓度、初始铀酰离子浓度以及温度等因素对光化还原铀(Ⅵ)到铀(Ⅳ)的还原率的影响进行了研究。     

浅谈铝合金板带退火炉节能降耗

主要从生产组织、工艺优化、余热利用等六个方面介绍了铝及铝合金退火炉节能降耗的方法和措施.     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.     

基于多体动力学的汽轮机振动声辐射机理及传递路径

采用多体动力学方法进行汽轮机机械振动激励源精确分析,在激励源分析结果的基础上研究低频激励下的机组振动响应,并采用声传递向量（Acoustic Transfer Vector,ATV）方法研究汽轮机组表面与外场辐射的声压传递贡献量,从多体动力学的角度并结合流固耦合的方法综合分析汽轮机组振动噪声产生机理并研究噪声典型传递路径。研究结果表明,旋转激励源为汽轮机组的主要振动激励源,在低频段汽轮机组辐射模式为单极子,在中高频段汽轮机组辐射模式为偶极子。由噪声辐射的指向性极坐标图可知,在不同高度处噪声指向性相似,并都在长度方向上取得噪声声压级较大值,具有较强的指向性。计算方法对汽轮机组减振降噪研究具有一定的指导意义。