全国软件业恢复增长——2020年1-11月全国软件业收入增速平稳

2020年1—11月,我国软件和信息技术服务业(以下简称软件业)持续恢复,收入增速平稳,利润增速略有下降,电子商务平台技术服务和集成电路设计收入保持较快增长。总体运行平稳回升软件业务收入增速平稳回升。2020年1—11月,我国软件业完成软件业务收入73142亿元,同比增长12.5%,增速较上年同期回落3.0个百分点,较2020年1—10月提高0.8个百分点。     

汉英翻译中隐性逻辑的显性化研究——以刘宇昆译《北京折叠》为例

汉语句子或句群内部的逻辑关系通常由语序来实现,而英语则通过外在形态体现逻辑关系。因此,汉英翻译时,需要对汉语源文的隐性逻辑进行显性化处理。参照英汉语言对比、语篇分析和句法学的相关理论,以汉语科幻小说《北京折叠》的刘宇昆英译本为研究对象,分析并归纳出八种汉英翻译中隐性逻辑的显性化途径,提出中国译者应着重借鉴情景具体化、增译总说词、逻辑重组这三种难度系数较高的逻辑显性化途径。     

一款新型睫毛增长液的研制及其功能性研究

本项目将水、睫毛生长因子、苯扎氯胺、透明质酸、乳酸、磷酸二氢钠、蛋白质和磷酸氢二钠等材料配制成一种能促使睫毛生长的精华液。家兔急性眼刺激试验和多次皮肤实验均表明睫毛生长液安全无刺激。为验证产品的安全性和有效性,共计招募30名不同年龄不同性别的志愿者,最终24位受试者纳入有效统计范围。结果表明,受试者连续使用13周后,睫毛肉眼可见地变长、浓密。所有受试者均未出现刺激性或过敏反应,也未观察到其他不良反应。24位受试者中,睫毛平均增长2.11mm,本品促睫毛生长成功率为100%。     

具有Logistic增长项的两种群竞争Keller-Segel模型的稳定性分析

应用线性化方法研究两种群竞争的Keller-Segel模型常数平衡解的个数及其稳定性问题.     

带有临界增长的Kirchhoff方程极小能量变号解的存在性

为了深入研究Kirchhoff方程的性质,讨论了带有Hartree项和临界增长非线性项的Kirchhoff方程极小能量变号解的存在性。利用能量泛函在变号Nehari流形上的下确界C_λ收敛于0,得到空间E紧嵌入L~6(R~3)这一技术性结果。结果表明,利用限制变分方法和定量形变引理获得极小化序列对应的极小值点是该问题的非平凡解。研究方法在理论证明方面得到了良好的结果,对研究其他Kirchhoff方程解的存在性有一定的指导意义。     

科技创新获利能力形成机理研究

科技创新已成为影响企业获利和社会经济增长的关键性因素。在对科技创新获利能力的形成动因厦路径进行详细分析的基础上，对其形成过程中的规律及效果进行了深入的研究与评价．并运用指标体系法构建起科技创新获利能力形成评价体系．对科技创新获利能力的增强提供了理论依据与指导．具有一定的前瞻性和可行性。     

New Develoopment of the Basic Theory of Extenics

In this paper,the new development of three basic theories of Extenics,incluing basic-element theory,extension set theory and extension logic theory ,has been introduced.And the new theoretical frame of Extenics has also been set forth.     

数学难以理解的逻辑透视

对数学教学内容的逻辑结构、逻辑规则和方法以及数学语言进行逻辑透视，探讨数学难以理解的客观因素及对策．     

略论中国民营中小企业的特点和存在的问题——中国民营中小企业发展战略研究之一

<正> 进入二十世纪九十年代以来,随着经济的全球化及知识经济革命的深入,国外发达国家都在积极动手扶持中小企业的发展。以美国未来学家《大趋势》作者奈斯比特为首的革新者,更是提出了世界经济规模越大,则中小企业经济实体越有力量的理论。国际经济普遍认为:中小企业将是二十一世纪经济发展的主角。     

同步设计方法在CPLD中的应用研究

同步设计和异步设计是时序电路设计中的两种基本类型。通过在CPLD器件中同步设计方法和异步设计方法的应用对比,可知同步设计方法所得电路的工作频率较高且电路中不易产生竞争-冒险现象,因此在复杂可编程逻辑器件的设计中采用同步设计方法是保证电路高效、可靠工作的有效措施。