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

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

市域社会治理的地方立法模式及其完善

市域社会治理现代化与设区的市的地方性法规制定权天然契合。实践中,已形成"统一型""分散型"和"渗透型"并存的"三元式"市域社会治理地方立法格局。"统一型"立法模式的示范引领作用有待观察。"分散型"立法模式须进行系统化整合。"渗透型"立法模式应深入贯彻治理理念并提升保障措施的可操作性。市域社会治理地方立法的完善措施包括鼓励多模式探索市域社会治理地方立法,赋予设区的市更广立法权,贯彻治理理念和提升法制措施操作性,发挥地方文化优势构建特色社会治理制度,加强立法后评估。     

非同分布φ混合序列加权和的强极限收敛性

利用φ混合序列矩不等式和截尾的处理方法,研究非同分布φ混合序列加权和强极限收敛性质的问题,得到了若干新结果,推广并改进了独立同分布情形下的相应结果.     

适用于联网飞机网络的安全切换方案

本文提出了一种适用于联网飞机的安全切换方案,该方案通过地面基站或卫星周期性地发送签名消息实现消息源认证,不同的飞机预存要经过航路的相关密码学公共参数,然后利用签密实现网络的安全快速切换。在该方案中,由于使用了能够在一个逻辑步骤内同时实现机密性和认证性等安全功能的签密技术,因此具有较高的效率。     

考虑单元互测的测试性指标分配方法

测试性分配是将系统级测试性指标按照一定规则分配给各组成单元的过程。针对现有主流测试性分配方法未考虑单元之间的互测情形,导致分配结果不合理,尤其是部分单元分配指标虚高,难以实现或代价过高等问题,提出了在综合考虑单元故障率、故障危害度等多重影响因素基础上,进一步考虑单元互测因素的测试性指标分配方法。首先实施考虑多重影响因素的指标初次分配;然后基于单元测试性初步设计结果,实施测试性建模与分析,得到单元自检故障率与他检故障率;再利用这两个数据以及初次分配结果构造分配函数实施再次分配,进而得到最终的分配结果;最后应用该方法进行仿真和实例运算,证明了该方法的有效性和先进性。     

大尺寸工程模型试验中的相似材料配比试验研究

大型物理模型试验是研究复杂工程问题的重要方法，如何快速、准确地确定相似材料配比是试验中至关重要的一环.为降低试验成本、简化试验步骤、充分调用原料性能，采用河砂、水泥和石膏这三种最普通的原料，以骨胶比(河砂与水泥石膏的质量比)和水膏比(水泥与石膏的质量比)为变量，进行了45组对比试验，对相似材料的物理及动、静力学参数进行了研究.获得了以河砂、水泥和石膏为原料配制的相似材料各物理量的变化区间；探讨了骨胶比和水膏比对相似材料各物理量的控制作用，并对比了其敏感性；基于多元线性回归分析建立了各因素与物理量间的定量关系，得到的拟合公式能较好地描述相似材料的性质.     

基于电阻阵的红外图像实时生成和显示系统

对基于MOS电阻阵列红外图像转换器的红外图像实时生成和显示系统的实现进行了重点论述。根据红外图像仿真原理对典型目标建模,并利用openGL和开发的图像转换等软件,完成目标动态图像数据序列的计算机生成;论述了基于128×128电阻阵列的红外图像数据处理与驱动控制技术,实现了目标动态红外亮度图像向目标动态灰度图像的转换,并利用驱动控制系统以200Hz的帧频速度驱动MOS电阻阵实时生成目标动态红外图像。该系统已在红外成像目标仿真中得到应用。     

世界主要体系审核标准

欧洲认证认可组织EAC 欧洲认证认可组织始建于1991年,目的是在欧洲建囊一个区域性的认可制度,实现对各成员国的认证机构能力的相互承认,从而达到对认证证书的相互承认。EAC的组成成员主要来自欧洲经济共同体和欧洲自由贸易联盟成员国的国家认可机构。