检索结果-内蒙古大学图书馆

计算机集成制造系统 2025年第3期31卷 760-777页

作者：何援军于海燕方志刚上海交通大学计算机科学与工程系上海200240 东华大学机械工程学院上海201620 华为云工业软件广东深圳518129

追溯CAD技术之根,剖析计算难之源。CAD的数字化模型基于“形”。审视基于“数”的计算机制与“形”计算对象间的原始矛盾,探索用几何的思路去寻求全局、直观、简单、稳定的新计算机制。介绍了一种基于“几何问题几何化”的“形计算”机... 详细信息

追溯CAD技术之根,剖析计算难之源。CAD的数字化模型基于“形”。审视基于“数”的计算机制与“形”计算对象间的原始矛盾,探索用几何的思路去寻求全局、直观、简单、稳定的新计算机制。介绍了一种基于“几何问题几何化”的“形计算”机制。阐述了形计算的总体思想和主要策略,给出了形计算的应用实例,对算法性能作了理论与实验分析。最后,讨论了形计算在CAD中的作用,提出以形计算重构CAD的计算基础,给出了实施建议和方案,在CAD中发挥形计算在几何表示、几何计算、几何关系重组、几何奇异处理,以及几何变换、降维计算等方面的特色与优势,建设以形计算作为理论基础的CAD根技术,实现几何内核在算法简单化、计算稳定性和计算效率上有大的提升。

关键词： CAD 工业软件形计算几何几何计算代数计算计算基础

来源：评论

学校读者我要写书评

暂无评论

基于局部流程结构优化的归纳式模型挖掘方法

引用

计算机集成制造系统 2025年

作者：焉佳馨刘聪苏轩闻立杰曹健曾庆田山东理工大学计算机科学与技术学院山东科技大学计算机科学与工程学院清华大学软件学院上海交通大学计算机科学与技术系

模型挖掘旨在从给定的事件日志中发现能够描述流程的最佳模型。已有的模型挖掘方法大多难以在有限时间内得到一个健全的流程模型。归纳式挖掘方法虽然可以保证在绝大多数情况下都能挖掘出健全的流程模型，但在处理复杂活动关系时常常存... 详细信息

模型挖掘旨在从给定的事件日志中发现能够描述流程的最佳模型。已有的模型挖掘方法大多难以在有限时间内得到一个健全的流程模型。归纳式挖掘方法虽然可以保证在绝大多数情况下都能挖掘出健全的流程模型，但在处理复杂活动关系时常常存在局限性，导致模型中可能出现局部不精确结构而降低模型质量，如并发关系中的选择或循环关系往往是该方法对复杂活动关系处理不当的结果。针对上述问题，提出了一种基于局部流程结构优化的归纳式模型挖掘方法。具体而言，首先识别归纳式挖掘方法所得初始流程树中不精确结构并提取不精确结构对应的子日志，然后在提取的子日志上使用基于频次的归纳式挖掘方法对不精确结构进行迭代优化，最后使用优化后的新子流程树替换初始流程树中不精确结构，构造多棵新流程树，将所有流程树转换为Petri网以评估模型质量，最终得到一个最佳Petri网。所提方法已在开源流程挖掘平台ProM中实现。基于6组公开的真实事件日志，对本文方法与已有模型挖掘方法进行对比实验。实验结果表明，本文方法相较于已有方法能够挖掘出质量更高，复杂度更低且健全性能够得到保证的模型，可以为后续的流程分析和改进提供更加有力的支持。

关键词：模型挖掘归纳式挖掘局部流程优化不精确结构识别流程树

来源：评论

学校读者我要写书评

暂无评论

基于代数关系的轻量级密码DEFAULT统计故障分析

引用

软件学报 2025年第5期 2270-2287页

作者：李玮秦梦洋谷大武连晟温云华东华大学计算机科学与技术学院上海交通大学计算机科学与工程系上海市可扩展计算与系统重点实验室(上海交通大学) 上海市信息安全综合管理技术研究重点实验室(上海交通大学)

DEFAULT是于2021年亚洲密码学年会中提出的一种新型轻量级密码算法,适用于保护物联网中的微型芯片、微控制器和传感器等设备的信息安全.基于唯密文的基本假设,针对DEFAULT密码提出了一种基于代数关系的统计故障分析方法.该方法使用随机... 详细信息

DEFAULT是于2021年亚洲密码学年会中提出的一种新型轻量级密码算法,适用于保护物联网中的微型芯片、微控制器和传感器等设备的信息安全.基于唯密文的基本假设,针对DEFAULT密码提出了一种基于代数关系的统计故障分析方法.该方法使用随机半字节故障模型,通过对代数关系的构造分析并结合故障注入前后中间状态的统计分布变化来破译密码.此外,采用AD检验-平方欧氏距离(AD-SEI)、AD检验-极大似然估计(ADMLE)和AD检验-汉明重量(AD-HW)等新型区分器,最少仅需1 344个故障即可以99%及以上的成功率破解该算法的128比特原始密钥.理论分析和实验结果表明, DEFAULT密码不能抵抗基于代数关系的统计故障分析的攻击.该研究为其他轻量级分组密码算法的安全性分析提供了有价值的参考.

关键词： DEFAULT 轻量级密码系统密码分析统计故障分析代数关系

来源：评论

学校读者我要写书评

暂无评论

格签名综述

引用

密码学报(中英文) 2025年第2期12卷 265-282页

作者：夏雯雯谷大武王更西安电子科技大学网络与信息安全学院西安710071 上海交通大学LoCCS实验室上海200240 上海交通大学计算机科学与工程系上海200240

目前尚未有有效的量子算法能够在多项式时间内攻破格上困难问题,故基于格的密码协议的相关研究是当下公钥密码学领域的研究热点.本文对当前基于格的数字签名方案进行了汇总和整理,按构造方式将它们分为了三大类:GGH/NTRUSign格密码方案... 详细信息

目前尚未有有效的量子算法能够在多项式时间内攻破格上困难问题,故基于格的密码协议的相关研究是当下公钥密码学领域的研究热点.本文对当前基于格的数字签名方案进行了汇总和整理,按构造方式将它们分为了三大类:GGH/NTRUSign格密码方案、基于格的Hash-and-Sign方案和基于格的Fiat-Shamir签名方案,目前所有格签名方案均使用了其中的一种或两种构造方式.本文按此分类列举了典型的格签名方案,重点描述了入选NIST后量子签名方案标准的两个格签名方案Falcon和Dilithium,以及NIST于2023年公布候选的7个格签名方案.此外,本文还对目前现有的几种格签名方案在安全参数与执行效率方面进行了对比评估,对格签名在设备及应用部署上给出了建议.最后对格签名方案发展未来进行了展望.

关键词：格签名 GGH NTRU Hash-and-Sign Fiat-Shamir

来源：评论

学校读者我要写书评

暂无评论

面向业务过程的概念漂移检测方法D-SPC

引用

小型微型计算机系统 2025年第2期46卷 266-273页

作者：戎小玉赵海燕曹健陈庆奎上海市现代光学系统重点实验室光学仪器与系统教育部工程研究中心上海理工大学光电信息与计算机工程学院上海200093 上海交通大学计算机科学与技术系上海200030

企业内部存在着大量的业务过程,这些业务过程的模型可能会发生变化从而使得一些数据分析的算法失效.检测过程模型变化这一“概念漂移”现象对业务过程管理具有突出的意义.目前的过程模型概念漂移检测存在参数过多,特征抽取复杂等问题.... 详细信息

企业内部存在着大量的业务过程,这些业务过程的模型可能会发生变化从而使得一些数据分析的算法失效.检测过程模型变化这一“概念漂移”现象对业务过程管理具有突出的意义.目前的过程模型概念漂移检测存在参数过多,特征抽取复杂等问题.本文中从过程模型的变化伴有新活动对的出现、旧活动对的消失以及活动对出现频率的变化这一基本现象出发,设计了一种简洁高效的检测框架.在该框架中,针对活动对的出现和消失设计了对活动对出现的轨迹索引进行差分的检测方法;针对活动对频率的变化,在轨迹索引差分的基础上首次运用统计过程控制的工具来检测概念漂移.为了验证本文提出方法的性能,使用合成日志和真实生活日志进行评估,并将本文方法与2种相似方法和4中不同方法进行了实验对比,实验结果表明,本文的方法有效且有更高的精度.

关键词：过程挖掘概念漂移差分分析统计过程控制变更点检测

来源：评论

学校读者我要写书评

暂无评论

一种事件日志时间属性的匿名方法

引用

小型微型计算机系统 2025年

作者：王淞颢赵海燕曹健陈庆奎上海市现代光学系统重点实验室光学仪器与系统教育部工程研究中心上海理工大学光电信息与计算机工程学院上海交通大学计算机科学与技术系

过程挖掘（Process Mining）技术在分析和优化业务流程中扮演着重要角色，然而，在实际应用中，事件日志通常包含敏感信息，如个人身份信息（PII）和商业隐私，这些敏感信息的暴露可能导致隐私泄露和数据滥用的问题.因此，如何在保留事... 详细信息

过程挖掘（Process Mining）技术在分析和优化业务流程中扮演着重要角色，然而，在实际应用中，事件日志通常包含敏感信息，如个人身份信息（PII）和商业隐私，这些敏感信息的暴露可能导致隐私泄露和数据滥用的问题.因此，如何在保留事件日志的有效性和完整性的同时，实现数据匿名化处理，成为过程挖掘研究中的一个重要挑战.当前主流的事件日志匿名中大多注重于控制流视角的匿名，而忽略时间戳属性的保护.本文提出了一种有效的事件日志时间属性匿名化方法，使用基于组的方法对事件日志的时间戳属性提供了隐私保证.实验证明，该方法在保护敏感信息的同时，能够保持日志数据的分析价值.

关键词：过程挖掘事件日志匿名化隐私保护 k-匿名差分隐私

来源：评论

学校读者我要写书评

暂无评论

算网融合下的多层次计算资源系统

引用

计算机研究与发展 2025年

作者：徐家豪余辰李健金海大数据技术与系统国家地方联合工程研究中心(华中科技大学) 服务计算技术与系统教育部重点实验室(华中科技大学) 集群与网格计算湖北省重点实验室(华中科技大学) 华中科技大学计算机科学与技术学院上海市可扩展计算与系统实验室(上海交通大学) 上海交通大学软件学院

算力网络旨在将泛在算力与网络进行深度融合，以期通过网络将计算、存储等多维基础资源在云、边、端之间进行有效调配，让用户可以像使用水电资源一样透明的使用算力资源，按需索取，随取随用.然而对于云边端异构的计算资源、动态的网... 详细信息

算力网络旨在将泛在算力与网络进行深度融合，以期通过网络将计算、存储等多维基础资源在云、边、端之间进行有效调配，让用户可以像使用水电资源一样透明的使用算力资源，按需索取，随取随用.然而对于云边端异构的计算资源、动态的网络负载和多样化的用户需求，如何有效的进行资源的调度和路由成为了算力网络面临的核心挑战之一.为解决上述挑战，设计了一套多层次的计算资源系统（computing resource system，CRS）.不同于现有的资源调配，CRS是一套建立在应用层之上并且兼顾考虑算网感知和算力路由的完整的算力网络技术方案.计算资源系统由算网资源感知策略和算力资源路由协议组成.算网资源感知策略定义了辖区系统内部的域内感知规则和不同辖区之间的域间感知规则，并基于此提出了一种基于贪心的资源路由算法（greedy-based resource routing algorithm，GBRA），为每个任务动态生成感知搜索树.算力资源路由协议通过CRS请求报文、授权通告报文、通告确认报文和CRS响应报文来完成资源的申请与调配工作.通过大量的数据仿真实验证明，与其他算法相比，CRS可以在任务容忍的最大响应时延内，完成对更多任务的资源分配工作.此外，对于辖区系统内部计算节点之间可以实现较优的负载均衡.

关键词：算力网络计算资源系统算网资源感知策略算力资源路由协议辖区系统

来源：评论

学校读者我要写书评

暂无评论

行为规范作为类型

引用

软件学报 1995年第5期6卷 280-289页

作者：梅宏孙永强北京大学计算机系上海交通大学计算机系

在面向对象程序设计中，继承性是导致语义复杂性的因素之一．本文讨论了作为代码共享机制的继承和表示功能特殊化的子类型的共存及相互关系．采用了将行为规范视为类型的概念，即类型为命名操作的集合．并在此基础上给出了类型、类及子... 详细信息

在面向对象程序设计中，继承性是导致语义复杂性的因素之一．本文讨论了作为代码共享机制的继承和表示功能特殊化的子类型的共存及相互关系．采用了将行为规范视为类型的概念，即类型为命名操作的集合．并在此基础上给出了类型、类及子类型关系的形式描述．

关键词：面向对象程序设计数据类型行为规范

来源：评论

学校读者我要写书评

暂无评论

国产CAD软件重启之路

引用

计算机集成制造系统 2021年第11期27卷 3057-3075页

作者：何援军上海交通大学计算机系上海200240

回顾了国产CAD软件开发和应用的发展史,展示了我国在CAD和计算机图形学方面的基础研究,以及大型应用软件系统的开发和实际应用。以上海市CAD应用工程软件产品白玉兰CAD为例,梳理了我国在CAD软件开发中形成的理论基础、技术基础、算法基... 详细信息

回顾了国产CAD软件开发和应用的发展史,展示了我国在CAD和计算机图形学方面的基础研究,以及大型应用软件系统的开发和实际应用。以上海市CAD应用工程软件产品白玉兰CAD为例,梳理了我国在CAD软件开发中形成的理论基础、技术基础、算法基础、系统设计基础和应用定制基础。论证了重启国产CAD软件的可能性,提出一些重启策略,并给出一些重启方案。

关键词：计算机辅助设计软件应用定制形计算计算机图形学

来源：评论

学校读者我要写书评

暂无评论

FP──VLSI自动综合系统

引用

软件学报 1994年第1期5卷 26-32页

作者：孙永强胡振江袁昕上海交通大学计算机系

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质... 详细信息

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．

关键词：自动综合超大规模集成电路

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：