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

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

高低温环境航天机构力矩特性测试平台研制

为了测试在太空环境下航天机构中弹性机构的性能指标,研制了高低温环境下测量角度-力矩特性的测试平台.分析测试平台测试原理后,设计了平台的机械结构、设计电气系统结构并搭建软件系统.机械结构考虑对被测对象的保护,针对高低温测试带有高低温箱,可以为被测对象提供-100℃～100℃的温度环境,具有热变形偏差测量与补偿设计,减少温度变化对测量精度的影响.软件系统具备收集、处理、存储数据和图形化显示能力.分析平台不确定度的组成,对传感器进行测试校准并对航天弹性机构进行测试,测试结果验证了:该测试平台的力矩检测范围为0～50 N·m,力矩检测精度≤0.5％FS,角度测量扩展不确定度为U=35.6″,得到了被测对象的角度-力矩特性曲线图.     

云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

移动视频学习资源建设——以微信公众号为平台

结合高职院校《Flash二维动画》课程,在现有移动学习模式设计理念基础上,提出基于微信公众平台的教学设计框架和移动视频学习资源的设计模式及开发流程。为基于微信公众平台的移动教学提供了一个新的视角,也为Flash二维动画爱好者提供了崭新的学习模式。     

光束在不衰减的情况下实现了小角度转弯

一种类似蜂窝的塑料材料不但能引导光束实现精确的小角度转弯,还能在整个过程中保证光束的强度和完整性丝毫不受影响。由美国得克萨斯大学埃尔帕索分校(UTEP)和中佛罗里达大学(UCF)两校联合开发出的这种技术有望进一步拉近高性能光学计算机,特别是小型光学计算设备和现实的距离。相关论文发表在最近出版的《光学快报》杂志上。     

嵌入式VOD系统客户端缓存机制研究与实现

基于S3C2410 ARM硬件平台和嵌入式Linux2.4系统设计了一个嵌入式Linux视频点播系统,同时提出一种基于切片式的数据块队列的视频缓存算法,应用于系统的客户端进行缓存管理。试验表明,此系统能够合理地利用有限的嵌入式硬件资源,减少服务器负载,提高网络资源利用率,满足远程教育中用户的点播需求。     

一种三维DNA构象的交互式参数化模拟方法

提出一种适用于移动平台的交互式参数化DNA三维动态模拟方法.依据不同的DNA模式参数,利用基于自然特征的AR识别技术和曲线,直观形象地展示DNA的多种三维构象,动态模拟碱基互补配对、碱基对边堆叠边螺旋、 DNA复制的边解旋边半保留半不连续复制等微观过程.研发DNA三维动态模拟原型系统,实验结果表明,通过视、听、触、实物等多通道交互,有利于用户随时随地自主使用,增强用户对DNA知识的理解、掌握,引导用户进行更深层次的思考,提高知识的传递效率.     

基于有限状态机的售卖机控制器的设计与仿真

自动售卖机是商业模式下自动化实现的典型应用之一,随着嵌入式系统和自动化技术的不断发展,其应用也越来越广泛。有限状态机作为一种反映状态间转移的数学模型,可以被用在嵌入式系统控制器的设计开发中。利用有限状态机技术对自动售卖机的控制器进行设计,利用Verilog HDL语言将控制器编程实现,并在Model Sim中进行了仿真,实验结果证明了该方法的可行性。