有界域上具有局部全纯核的Leray公式及其应用

利用局部化方法直接构造Ｃｎ中有界域上的一个局部全纯单位分解和相应的核，获得了具有局部全纯核的Ｌｅｒａｙ公式，作为应用获得了方程的局部解及其局部一致估计．     

企业社会责任发展的“三维”综合机制

首先从新古典经济学理论、公共选择学派的个体理性与集体理性理论的视角对企业社会责任发展进行了理论分析,然后提出了企业社会责任发展的三维综合机制,在此基础上分别对企业社会责任发展的市场机制、行政机制、社会机制的作用机理进行了阐述.认为市场机制是企业社会责任发展的牵引动力;行政机制是企业社会责任发展的主要推动力量;社会机制是...     

中小企业协同创新对策研究——以江西省为例

本文通过阐述目前中小企业科技创新现状,以江西为例,分析江西省大力推进中小企业协同创新的主要做法以及成效,找出欠发达地区中小企业协同创新存在的问题和困惑,有针对性地提出深化中小企业协同创新的对策建议。     

计算机科学的逻辑基础

对数理逻辑在计算机科学发展过程中的作用进行了评述，指出可计算性理论、图灵机数学模型为电子数字计算机的发明奠定了基础；开关电路、时序电路、自动机是网络理论的应用与发展；计算复杂性是递归论的具体应用；形式语言是一阶逻辑的深化；程序正确性证明了应用了模态逻辑；Ｈｅｒｂｒａｎｄ定理和范式定进是机器证明的理论基础。