机械化信息化智能化融合发展的内在逻辑

从机械化的高级阶段、突破机械化的瓶颈、信息化的高级阶段、突破信息化的瓶颈等4个方面阐述“三化”间的历史联系以及“三化”融合发展的内在逻辑。机械化时代孕育了计算机;计算技术又推动机械化时代突破发展天花板,带来信息化时代;信息化时代孕育了人工智能;智能技术又将推动信息化时代突破发展天花板,带来智能化新时代。“三化”之间是“孕育”与“突破”的阶梯跃升关系,是发展的连续性和颠覆性的循环,这是“三化”融合发展的内在逻辑。据此逻辑,提出应从融合的角度把握军事智能化发展规律,探索大国威慑博弈新范式。

群体智能及产业集群发展战略研究

群体智能是新一代人工智能的重要组成部分,在激发汇聚创新力量、耦合集成大规模智能系统方面发挥决定性作用,对于促进人工智能与传统产业的深度融合、推动国民经济持续发展都具有重大意义。本文凝练了群体智能的技术体系,总结了其主要的技术方向,包括:多智能体系统与优化决策、无人集群系统、开源群智软件和群智联邦学习等;论述了这些核心技术面向应用场景,形成感知-认知-决策-行动的智能化回路,以分布式数智化模式支撑平台经济,重塑产业发展和数字经济产业生态。根据上述技术体系的赋能对象和应用模式,深入分析了与群体智能相关的核心产业,特别是软件服务产业、智慧城市产业群、基于无人集群的智慧农业和智慧港口产业等对群体智能技术的不同需求和赋能路径。最后,提出了群体智能赋能相关产业的发展建议:持续推动群智开源社区的建设,打造人工智能科技创新生态系统的智力内核,加速无人集群系统的国产化替代、集成攻关和推广应用。

基于多输出的多传感器在线航迹融合方法

多传感器航迹融合能够在一定准则下整合数据,获得比单一的传感器数据更接近被测物理量真值的状态估计值和更有价值的综合信息。目前,卡尔曼滤波算法和传统的加权平均融合算法虽然能有效地实现航迹融合,但融合所得测量精度仍然有限。文中针对航迹数据特点,提出基于多输出的多传感器在线航迹融合算法,通过多输出多元线性回归模型实现了航迹数据融合;利用云边协同架构完成模型训练和推理,在中心云端利用历史数据训练得到多输出多元线性回归模型,在此基础上,在边缘端利用在线梯度下降算法完成模型权重系数的实时更新。实验结果表明,文中提出的算法在融合精度上要优于目前的卡尔曼滤波算法和传统的加权平均融合算法。

云际分布记账模型、机理与关键技术展望

云际计算是支持公有云、私有云、边缘云和微云等异源异质云服务以自主对等方式纵横协作共赢的新型计算模式,可为独立云服务实体间行为交互、信任构建和贡献度量等提供防篡改、可追溯能力支持,进而最大限度削弱阻碍不同利益攸关者协作的不确定性因素.提升云际协作意愿和效率需要基于何种机理进行何种机制创新,是云际计算成长演化中需要进一步阐述的新问题.本文首先以基于“数字空间证据”构建或增强信任关系为设计原则,提出了基于区块链的云际分布记账软件定义模型,并系统阐述了分布记账支撑云际服务独立性、可审计性以及释放云际协作潜能的内在机理;其次,面向云际复杂交互行为,深化并固化了云际分布记账运行逻辑流程及关键环节的设计,避免其在错综复杂要素综合作用下呈现不确定冲突和矛盾;再次,针对数据要素流通及复杂异步交互场景,细化并优化了云际分布记账合约逻辑模型;最后,论述了以分布共识、智能合约等为代表的云际分布记账核心技术及相应指标的现状,并对关键技术的目标属性体系、前瞻性挑战等进行了展望.

基于Agent的分布计算环境

为适应分布计算向分散对等的协同计算方向发展，我们开展了基于ａｇｅｎｔ的分布计算环境的研究开发，试图在分布式多ａｇｅｎｔ协同工作系统的开发与当前的分布计算环境之间架起一座桥梁．本文讨论了ａｇｅｎｔ的独立性、自主性和交互性的特点，描述了以事件处理为核心的ａｇｅｎｔ基本模型；研究了基于ａｇｅｎｔ的分布计算环境的构造技术；分析了一种基于ａｇｅｎｔ模型的客户／服务器计算环境ＣＳＥ／ＭＡ的设计与实现，及其超越常规客户／服务器计算的特色．

软件服务的在线演化

软件服务的在线演化技术是当前可信软件研究的一个重要方向,对于实现快速、低成本的成长式可信演化具有重要意义.与离线的演化技术相比,在线演化强调软件系统在结构修改和功能调整期间仍能够持续提供服务.文中在给出软件服务在线演化基本定义、归纳其结构模型和一般性过程模型基础上,提出涵盖演化范畴、演化类型和演化方式等方面的分类模型,并以此分类模型为比较框架,对目前几种具有代表性的演化使能平台和可信演化系统做了综述和比较.最后对值得进一步研究的问题进行了分析和展望.

面向智能主体的程序设计

面向智能主体的程序设计（ＡｇｅｎｔＯｒｉｅｎｔｅｄＰｒｏｇｒａｍｍｉｎｇ，简记为ＡＯＰ）是一种以计算的社会观为基础的新型程序设计范例．本文介绍我们在ＡＯＰ方面进行的研究工作．ＡＯＰ工作以多个智能主体的知识信息处理问题为背景，采用ＡＯＰ的语法途径，强调将知识的表示与处理作为智能主体的知识状态和处理方法有机结合在智能主体的统一框架之中．本文首先讨论与ＡＯＰ相关的智能主体的体系结构．然后，以ＡＯＰ语言ＲＯＯＴ的技术支点（即面向对象程序设计技术、基于条件重写的逻辑程序设计技术和元级推理技术等）为线索介绍ＲＯＯＴ．最后通过一个简单例子说明ＲＯＯＴ的ＡＯＰ特点．

系统软件新洞察

系统软件是计算学科的基本概念之一,从系统软件的本质特征、时代特点和发展趋势这3个方面给出了关于系统软件的新洞察.洞察1认为,通用图灵机和存储程序思想是系统软件的理论源头和技术源头,其本质特征是"操纵计算系统执行",编码加载和执行管控是两种主要的操纵方式.洞察2认为,系统软件在互联网时代的时代特点是持续在线提供基础服务,为"软件即服务"的新型应用模式奠定了基础.洞察3认为,系统软件的发展趋势是持续在线演化,在计算系统创新、信息物理融合和智能技术的推动下,将成为未来软件生态的核心.

人工智能软件中的面向对象程序设计

面向对象的程序设计(OOP)以多种面貌广泛地出现在AI系统中,面向AI的OOP模型与结构依赖于对AI中对象的理解,以及相应的Al软件开发方法。本文提出在三个层次上,即世界观的层次上,方法论的层次上以及语言与环境的层次上,理解OOP。我们根据AI中知识表示假设,将AI软件中的对象规定为智能代理者(intelligent agent),并在此基础上讨论了Al软件的OOP方法学和结构,最后我们介绍反映上述思想的人工智能语言及其环境ROOT。

对象作为智能主体

在知识表示领域如何理解面向对象的程序设计（ＯＯＰ）仍是一个需要深入探讨的问题，本文基于知识表示假设提出“对象作为智能主体”的思想，其中智能主体是封装知识的表示结构与处理方法的统一载体。在此基础上，文章结合我们开发的一种面向智能主体的程序设计（ＡＯＰ）语言ＲＯＯＴ和三个聪明人问题，讨论了人工智能（ＡＩ）软件开发的ＡＯＰ方法。

市场分割、比较优势与加工贸易——对中国城市二元劳动力市场与加工贸易关系的实证研究

本文主要分析了中国城市二元劳动力市场与加工贸易的关系,指出中国城市二元劳动力市场结构是发挥比较优势,并导致外资企业在加工贸易中占据主导地位,国有企业在该领域中淡出的主要原因。本文的实证研究还证明,与利用外资、进口和人口素质的提高等因素一样,城市二元劳动力市场的形成也是中国加工贸易高速发展的一个主要动因。

导学导心导航:班级导师的职能延伸

高校班级导师是具有专业背景的班主任,主要负责指导学生的学业。在实际工作中,班级导师不仅可以发挥专业学科优势为学生提供学业指导,还可以为学生提供思想引导、心理疏导和职业规划的向导,即导学、导心、导航。班级导师通过用"心"工作,可有效地增强大学生思想政治教育的针对性、实效性、亲和力和感染力,开辟大学生思想政治工作的新途径。

长春地区农村小学数学课堂现有教学模式调查分析与改进策略

本文在对长春地区几所农村小学数学课堂教学进行调查研究的基础上,对农村小学数学课堂现有教学模式进行了分析,找出其中存在的问题,给出了一些改进的方法和可供借鉴的策略。

Client／Server模式的智能语言集成框架

将ＡＩ技术集成到主流信息技术之中是提高信息系统智能化水平的一项十分重要的基础性工作。本文讨论一种Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算环境（简称ＣＳＥ），它将Ｐｒｏｌｏｇ系统和Ｃｌｉｐｓ系统作为两种特殊的数据服务系统集成其中。ＣＳＥ支持客户应用使用确定的ＡＰＩ，以规范的Ｐｒｏｌｏｇ语言（或Ｃｌｉｐｓ语言）形式请求Ｐｒｏｌｏｇ服务器（或Ｃｌｉｐｓ服务器）提供问题求解服务。文章阐述了这一设计的合理性，讨论了ＣＳＥ的体系结构和实现技术，说明了与特殊数据服务无关的通信机制、ＡＩ语言服务器的挂接技术以及ＣＳＥ应用。

关于数学教师的文化修养

教师的文化修养决定其知识结构、能力结构和职业道德,只有提高教师的文化修养,教师才能真正发挥应有的作用。应从人文修养、教育情怀和学科专业素养三个方面加强数学教师特别是中小学数学教师的文化修养。

升级大学软件教育

无处不在的软件已经成为现代社会经济活动的基础设施,深刻重塑人们的思维模式。在现代高等教育体系中,软件教育不仅仅是面向软件专门人才的专业教育,还应该成为覆盖全体大学生的通识教育。软件教育要专业教育与通识教育并重,领域学科知识与软件学科知识结合,原理讲授与动手实践融合,实现对软件通识教育、专业教育、领域软件教育以及实践教育的升级。

中间人、转口贸易与加工装配活动关系研究——基于香港与内地的经验

内地加工装配活动对香港中间人的依赖有其历史原因,也与加工产品进出口市场存在不对称信息有关。中间人理论认为,只有存在不对称信息和逆向选择的市场才需要中间人,中间人必须具备鉴定产品质量的资格和能力,必须有良好的信誉、较低的交易成本并能够提高交易效率。通过对香港转口内地产品所进行的实证研究表明,信息不对称、进口方的GDP、内地与有关经济体政治关系等是影响香港中间人地位的主要因素。分析表明,内地对外贸易的发展可以增进市场信息的流动,减轻对中间人的依赖,但信息不对称和逆向选择问题仍将存在,内地开展的加工装配活动仍离不开中间人。

中央与地方分税的博弈分析

通过运用博弈论来对比分析退税机制改革前后对出口企业和地方政府的不同影响和改革的经济效应,可以看出分税制不仅可以减轻中央政府的财政负担,而且具有抑制地方政府出口冲动和企业出口的作用。在分税制下,出口企业将面临更强的财政约束,收入将出现向东部发达地区转移,中西部地区将在出口、产品结构调整和经济增长方面处于更加不利的地位,必须重视出口企业和地方政府可能出现的财务和财政危机。

分布计算技术

由于社会需要的牵引和使能技术的推动，分布计算模式正在深刻地影响着现代信息社会的形成和发展。本文从总体上讨论分布计算技术，试图说明分布计算环境的概念、分布计算技术的发展现状和趋势，以及发展分布计算应用面临的挑战。

产业转移、产业升级与内地贸易中心的建立

分析了20世纪80年代以来香港的产业转移、产业升级及由制造业中心向贸易中心转变的情况,同时借助中间人理论分析了外国进口商和中国内地的加工企业通过香港中间人开展贸易的深层次原因,指出:内地沿海地区开展加工装配活动的劳动力成本优势已经或者正在消失,向中部地区转移加工产业,实现沿海地区产业结构和产品结构升级,既符合加工装配活动发展的客观规律,也有利于实现沿海地区和中部地区的双赢;为了更多地分享加工贸易利益,中国内地必须建立自己的贸易中心,此中心非上海莫属。