建设郑州综合性国家科学中心的战略思路 及对策建议

郑州建设综合性国家科学中心机遇与挑战同在、优势与劣势并存,未来要优化申建策略,创造特色申建模式:明确建设目标、优化建设路径、突出特色领域、构建框架体系,推进科技、产业、城建联动互动,构建"1+4+1+2"科创框架体系;突出农业特色,聚焦农业、大健康、新一代信息技术、高端装备、新材料、新能源等六大领域,形成"北部黄河、南部嵩山、北部科学、南部产业"布局,南北遥相呼应,一体化连接;推进科学基地与产业基地一体化布局,形成"知识发现—技术创新—孵化基地—新兴产业"完整链条和生态圈体系.     

历史时期气候变化与中国蚕桑业中心转移

历史时期中国蚕桑业中心发生过明显的转移。元代以前黄河流域的蚕桑业虽迭经兴衰,但始终居于中心地位,元代中后期中国蚕桑业中心由黄河流域转移到江南地区。气候变化是导致蚕桑业变迁和中心转移的直接因素。气候的转折期和冷期蚕桑灾害的发生剧烈而频繁,冷期的持续低温显著抑制蚕桑生产。因此历史气候的冷暖变化节律与黄河流域蚕桑业变迁高度一致,即暖期兴盛、冷期衰落。元代中后期中国气候由温暖急剧转冷,蚕桑灾害空前剧烈,随后进入长达6个世纪的明清小冰期,终使中国蚕桑业中心完成了南移。     

借助知识产权区域资源助推地方经济高质量发展

随着专利审查协作京外中心的快速发展,其在优化、提升专利审查职能的同时,也充分发挥了京外中心的区域优势和人才优势,带动和服务地方经济发展,探索知识产权服务转变经济发展模式,促进创新型经济的不断发展与完善。     

Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

春芝堂 科技创新

2021年3月8日,春芝堂“联合科技创新中心”成立,标志着春芝堂食用菌事业在大健康产业迈向了新的历史时刻,将科企联合、科技创新提升到新高度。世界食用菌生物学和产品学会主席、上海市农业科学院副院长谭琦,国家食用菌工程技术研究中心、上海市农业科学院食用菌研究所所长张劲松携食用菌研究所的多位领导和专家莅临上海春芝堂集团总部,春芝堂集团董事长王爱兴、总裁王爱庭及多位春芝堂高管出席仪式并共同为“联合科技创新中心”揭牌。据悉,该“联合科技创新中心”为春芝堂集团与国家食用菌工程技术研究中心、上海市农业科学院食用菌研究所合作共建。双方将以此为核心强强联手,在新工种、新工艺、新技术、新融合的推动下,促进上海市农业科学院食用菌领域科研成果的产业化,提升春芝堂公司的可持续发展能力,提高科技创新能力及食用菌深加工产品的技术含量,达到产学研结合、优势互补的目的。     

单位球上含梯度项的椭圆边值问题径向解的存在性与唯一性

用Schauder不动点定理, 讨论单位球Ω={x∈R^N: |x|<1}上含梯度项的椭圆边值问题径向解的存在性与唯一性,  其中N≥2, f:[0,1]×R×R⁺→R连续. 在允许非线性项f(r,ξ,η)关于ξ,η超线性增长的情形下, 获得了该问题径向解及正径向解的存在性结果. 此外，还讨论该问题径向解的唯一性.     

基于弹跳射线技术的三维GTD模型构建方法

传统的基于弹跳射线(shooting and bouncing ray, SBR)技术的散射中心提取方法只考虑了理想点模型, 但理想点模型无法描述散射中心的频率依赖特性。对此, 提出一种基于弹跳射线技术的三维几何绕射理论(geometrical theory of diffraction, GTD)模型构建方法, 在通过传统方法获取的理想点模型的基础上, 利用射线管数据正向推算散射中心的频率依赖参数并修正其径向位置, 实现了高精度三维GTD模型构建。仿真结果表明, 点频、单视角下构建的三维GTD模型不仅能准确重构相同条件下的雷达散射截面(radar cross section, RCS), 还能实现宽带RCS外推, 能够满足目标宽带散射数据高效压缩和快速重构的应用需求。     

等周约束条件下泛函的无条件极值曲线求法证明

利用函数的连续偏导数,积分分部求解,函数极值的性质,在结合常微分方程中隐函数定理性质,以及高阶常微分方程求解知识,证明了在等周问题约束条件下将条件极值转为无条件极值的类Euler方程.     

内容中心网络缓存污染防御技术研究

内容中心网络是下一代互联网体系的研究热点,但其安全性研究国内外均尚处于起步阶段。文中针对内容中心网络如何防御Locality-Disruption和False-Locality两类典型缓存污染攻击的问题,提出了两种缓存污染防御策略:基于稳态内容存储分布的CPDP-SCCD与基于内容请求分布的CPDP-CRD,对比分析了基于内容请求分布以及基于稳态内容存储分布的防御有效性。仿真结果表明:相比较基于内容请求分布类策略仅对于Locality-Disruption攻击有防御效果,CPDP-SCCD的综合性能更佳,可以同时有效控制Locality-Disruption与False-Locality两类攻击。