知识赋能的新一代信息系统研究现状、发展与挑战

信息系统的发展目前正处于感知智能迈向认知智能的关键阶段,传统信息系统难以满足发展要求,数字化转型势在必行.数字线索(digitalthread)是面向全生命周期的数据处理框架,通过连接生命周期的各阶段数据,实现物理世界与数字空间的映射与分析.知识图谱(knowledgegraph)是结构化的语义知识库,以符号形式描述物理世界中的概念及其相互关系,通过知识驱动形成体系化的构建与推理流程.两者对知识赋能的信息系统研究具有重要意义.综述了知识赋能的新一代信息系统的研究现状、发展与挑战.首先,从数字线索系统出发,介绍数字线索的概念和发展,分析数字线索的六维数据构成和6个数据处理阶段;然后介绍知识图谱系统,给出普遍认同的知识图谱的定义和发展,概括知识图谱的架构与方法;最后,分析和探索数字线索与知识图谱结合的方向,列举KG4DT (knowledge graph for digital thread)和DT4KG (digital thread for knowledge graph)的受益方向,对未来知识赋能的新一代信息系统提出开放问题.     

面向智能制造的刀具全生命周期智能管控技术

智能制造是未来制造业的主攻方向,以航空航天、汽车领域为代表的高端制造装备关乎国防安全和国家经济命脉.复杂多样化的零部件加工对刀具管控提出了更高的要求.刀具作为切削过程中最活跃、状态变化最多的要素,其性能直接影响加工精度和生产效率.大数据时代的到来引领刀具管理模式的变革,制造商、供应商、应用企业对刀具全生命周期数据的需求与日俱增.通过分析刀具管控现状可知,设计制造精准性、寿命预测准确性、刀具管控科学性是亟待解决的核心问题.提出刀具全生命周期智能管控的内涵及关键技术,综述国内外学者在刀具设计制造智能优化、刀具切削过程状态监测和刀具多源数据管理共享方面的研究成果,最后结合刀具管控技术的应用情况对未来的研究方向进行展望.随着智能制造的不断深入,以人工智能、大数据、数字孪生、云计算等现代信息技术为依托的刀具全生命周期智能管控技术,必将推动刀具产业链转型升级.     

基于最小二乘拟合的剪切带间距测量方法

提出了一种基于两次最小二乘拟合的应变局部化带间距的数字图像相关测量方法,该方法的本质是对应变局部化带内应变高值点的位置进行两次线性最小二乘拟合。第一次拟合用于确定两条相邻的应变局部化带各自拟合直线的斜率。第二次拟合是在已知拟合直线平均斜率的基础上确定各自拟合直线的截距。采用平行线距离公式计算应变局部化带间距。测量了单轴压缩黏土试样剪切应变局部化带(剪切带)间距随纵向应变的演变规律,并对剪切带间距的测量结果进行了统计分析。研究发现,剪切带间距随纵向应变的演变规律可以划分为两类:平稳变化和非平稳变化,前者的比例较大;剪切带间距发生突变是由于剪切带的倾角发生了突变;剪切带间距主要分布在3~7 mm,均值为4.787 5 mm。     

中国光电子产业发展探讨

随着我国科学技术的不断发展,我国的光电子产业得到了很大程度的发展.但是,我国光电子产业还是和国外一些光电子产业非常发达的国家存在一定的差距的,要想缩短之间的差距,让我国光电子产业发展更上一层楼,我国需要加大资金投入,只有保障了经济和物质的需求,才能让它得到更好发展,我国的综合国力也能得到一定的提高.     

风电高渗透率互联电网CPS考核 结算方式的优化研究

介绍了东北电网控制性能标准(CPS)考核指标的基本情况及计算方法。以实际CPS考核结果为例,指出了当前CPS考核办法在风电高渗透率互联电网执行时存在的问题。以尽量最大限度接纳风电为原则,提出了适用东北电网的CPS考核结算方式,以火电实际超出最小运行方式的区域控制偏差(ACE)计算考核罚款电量,既避免了调度员对考核结果的人为干预,又使考核结果便于执行。     

舰载机弹药保障作业调度的形式化建模与验证

航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证中存在的弹药保障系统难建模、作业执行行为难描述、形式验证工具难实现等挑战,基于分离逻辑的思想,提出一种弹药保障系统的行为模型,并利用定理证明器Coq对作业规划方案进行形式化验证.首先提出一个符合弹药保障作业特征的序列化双层资源堆模型;基于该模型,构造一套可用于描述作业执行行为的建模语言及其操作语义;最后在Coq中实现一种证明辅助工具.通过几个典型弹药保障作业规划方案的交互式证明实例,验证工具的可用性与工程实用性.     

基于改进的数学形态学的OCT图像快速边缘提取算法

提出了一种基于形态学的OCT图像的边缘检测方法,即对原始图像预处理,增加图像的对比度和边缘特性,使用形态学腐蚀和膨胀两个基本算子进行,选取了合适的结构元素,最后采用canny算法提取边缘。实验结果表明,经过改进的数学形态学方法处理的图像边缘特性的提取效果显著增强,且效率高、处理速度快。与经典的边缘检测算子和传统形态学边缘检测算法相比,该算法优势更加明显,边缘提取质量显著提高,且速度有显著提升。