6月30日由中国软件行业协会嵌入式系统分会的挂靠单位:北京经开投资开发股份有限公司和中国低碳高端智慧园区产业技术创新战略联盟联合主办的“突破物联网软件技术瓶颈研讨会”,在北京经济技术开发区国际企业大道Ⅲ北京京开光谷置业有限公司成功举办。
中国科学院物联网研究发展中心常务副主任、中国科学院微电子研究所副所长陈大鹏、联合国工业发展组织物联网项目负责人蒋国平、联合国工业发展组织物联网建网模式研究组 执行主任覃伯淇、中国软件联盟秘书长孙彦、全联城市基础设施商会物联网专委会秘书长张晓敏、中关村物联网产业联盟产业投资总监姜大利、工信部电子一所 副主任张红、工业和信息化部软件与集成电路促进中心咨询顾问宋涛、北京市电子科技情报研究所 副所长张莹、中国信息通信研究院工业互联网研制组等二十多个物联网相关单位的30多位领导和专家应邀出席本次研讨会。
本次研讨会重点研讨了北京乾坤化物数字技术有限公司分阶段成功研制和运行多年的136X网络空间信息互联工程EM258.COM的核心技术:无限增长量(天量)快速检索技术和大软件下没有BUG的编程方法。
研讨会上由中国嵌入式系统产业联盟和中国软件行业协会嵌入式系统分会秘书长郭淳学首先采用严格的数理学方法推证出一种新型的整数排列结构的存在,该整数结构的结点可无限增长且每个结点的位置码与结点上的值一一对应相等。在此基础上,利用新发现的数据结构、定义了一种新的幂进制数(整数树上的每个结点的位置码),该数据结构可快速进行无限增长量(天量)的检索。
与会领导和专家对于该数据结构的发现给于很大关注,具有引发许多技术创新的实用价值,应该从理论和应用两个方面对该数据结构进行深入研究,将对信息技术和数学的发展有深远的意义。
随后,由北京乾坤化物数字技术有限公司总经理赵文银从哲学的角度提出物联网大软件系统里的bug难题,只能通过设定准确的网络空间属性才能解决。
赵文银总经理以136X工程为例,介绍了他创建的FO编程方法:FO 软件开发方法是以哲学方法论为指导的新一代软件开发方法。包含三个部分,即面向事实的分析(Fact-Oriented Analysis)、面向结构的设计(Frame-Oriented Design)、面向形式的编程(Form-Oriented Programming)。
(1)面向事实的分析。把客户需求当成存在的事实,采用哲学的方法进行分析。
(2)面向结构的设计。把上述分析过程中得到的事实和对象的连接形式整理出来,并采用维的方式表述。
(3)面向形式的编程。对形式部分编写程序代码,即得到一个无具体含义的功能模块。该模块和配置(用规格化的文字描述参数)结合,就得到一个对象。
FO软件开发方法将有助于实现软件工厂化生产的想法,真正解决长期困扰工程师们的“软件危机”难题。
与会领导和专家们对赵文银总经理从哲学角度分析提出的物联网下大软件概念,特别是赵文银总经理提出物联网的BUG存在是由于当前的物联网在一个一维网络空间里,一维不能完整描述事物,必然会丟失事物的一些信息,所以产生BUG的论述,进行了热烈的讨论。
最后,参会人员一致认为组织有关技术力量,通过原始创新,,构建新型数据库、操作系统、高级语言等计算机软硬件基础体系,将会从根本上改变我国目前在计算机软硬件基础上信息化的落后和不安全的被动局面。