期刊文献+
共找到81篇文章
< 1 2 5 >
每页显示 20 50 100
AlphaFold时代的蛋白质相关人工智能算法及其应用 被引量:2
1
作者 孙雨楠 叶川 赵东宇 《生理科学进展》 北大核心 2025年第3期202-209,共8页
蛋白质是生命活动的物质基础。蛋白质的功能取决于其空间结构,因此解析蛋白质的空间结构对于理解其功能至关重要。人工智能(artificial intelligence,AI)模型的利用极大地推进了蛋白质空间结构预测算法的开发,AlphaFold2是该领域里程碑... 蛋白质是生命活动的物质基础。蛋白质的功能取决于其空间结构,因此解析蛋白质的空间结构对于理解其功能至关重要。人工智能(artificial intelligence,AI)模型的利用极大地推进了蛋白质空间结构预测算法的开发,AlphaFold2是该领域里程碑式的成果,使得快速、准确且大规模的蛋白质空间结构预测成为可能。此外,蛋白质语言模型、蛋白质相互作用预测以及蛋白质设计等领域均在AlphaFold时代迎来快速发展,代表性的模型包括ESM2、ScanNet、RFdiffusion和RoseTTAFold-All Atom等。这些基于人工智能的新算法的开发极大地促进了蛋白质功能、诱发疾病的机制和药物设计等领域的研究。 展开更多
关键词 蛋白质结构预测 AlphaFold2 蛋白质语言模型 蛋白质相互作用预测 蛋白质设计
在线阅读 下载PDF
大语言模型驱动的交互式建筑设计新范式——基于Rhino7的概念验证 被引量:3
2
作者 蒋灿 郑哲 +3 位作者 梁雄 林佳瑞 马智亮 陆新征 《图学学报》 CSCD 北大核心 2024年第3期594-600,共7页
随着社会对建筑设计质量要求越来越高,建筑设计软件也变得越来越专业和复杂。现在的设计软件不仅学习成本高,而且交互模式复杂。大语言模型(LLM)的最新突破使计算机清晰地理解人类自然语言指令,并准确生成代码语言具有可行性,有望为人... 随着社会对建筑设计质量要求越来越高,建筑设计软件也变得越来越专业和复杂。现在的设计软件不仅学习成本高,而且交互模式复杂。大语言模型(LLM)的最新突破使计算机清晰地理解人类自然语言指令,并准确生成代码语言具有可行性,有望为人与软件的交互范式提供新思路。因此,本文提出了LLM驱动的交互式建筑设计新范式--将设计师通过多次键鼠操作与设计软件交互转变为LLM根据设计师自然语言指令生成并执行API调用脚本的方式;提出了技术路线并验证了其在建筑设计场景落地的可能性。该技术路线包括:①LLM根据用户指令从API库中搜索与任务相关的API;②LLM基于指令和候选API摘要信息编写程序脚本并运行;③LLM根据来自软件环境、用户等反馈改进优化所编写的程序脚本。通过Rhino7设计软件、GPT-4和CodeLlaMa完成多个设计任务,测试当前LLM是否具备执行该技术路线各关键环节的能力。测试结果不仅证明了LLM驱动的交互式设计范式在建筑设计场景已初具落地前景,也为技术落地提供经验和建议。该设计范式的落地可以降低软件的使用门槛和学习成本,提高设计师工作效率;有望在未来的建筑设计软件中发挥重要作用。 展开更多
关键词 建筑设计软件 软件交互 大语言模型 应用程序接口 GPT-4 Rhino7 LADYBUG
在线阅读 下载PDF
基于IEC61850的变电站智能电子设备的统一建模语言设计及改进 被引量:12
3
作者 童晓阳 王晓茹 汤俊 《电网技术》 EI CSCD 北大核心 2006年第3期85-88,93,共5页
从对变电站核心的智能电子设备(Intelligent Electronic Device,IED)设计的角度出发,运用IEC61850的思想和信息模型,采用面向对象的统一建模语言(Unified Modeling Language,UML)为IED建立了功能、静态对象、动态交互行为等模型,以变压... 从对变电站核心的智能电子设备(Intelligent Electronic Device,IED)设计的角度出发,运用IEC61850的思想和信息模型,采用面向对象的统一建模语言(Unified Modeling Language,UML)为IED建立了功能、静态对象、动态交互行为等模型,以变压器差动保护为例说明了整个设计过程。针对IEC61850主要采用通信信息片(Piece of Information for Communication,PICOM)描述逻辑节点间的交互,未给出交互时序的不足,采用UML的时序图技术描述保护的交互过程,对IEC61 850的动态建模加以补充和改进,以指导IED运行程序的设计与实现。 展开更多
关键词 IEC61850 智能电子设备 差动保护 统一建模语言设计 动态交互
在线阅读 下载PDF
基于场景构件式实时软件设计的一致性检验 被引量:13
4
作者 胡军 于笑丰 +2 位作者 张岩 李宣东 郑国梁 《软件学报》 EI CSCD 北大核心 2006年第1期48-58,共11页
在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口... 在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性. 展开更多
关键词 实时软件 构件式设计 模型检验 接口自动机 顺序图 统一建模语言
在线阅读 下载PDF
一种基于结构查询的UML设计模式识别方法 被引量:12
5
作者 许涵斌 张学林 +2 位作者 郑晓梅 张天 李宣东 《计算机科学》 CSCD 北大核心 2014年第11期50-55,共6页
随着模型驱动技术的逐渐成熟和广泛应用,大量反映程序结构、行为以及性质的模型产生于软件的开发过程中,并成为软件文档的重要部分保存下来。其中,尤以UML模型的应用最为广泛,也因此形成了通过理解UML模型来理解大规模、高复杂性软件系... 随着模型驱动技术的逐渐成熟和广泛应用,大量反映程序结构、行为以及性质的模型产生于软件的开发过程中,并成为软件文档的重要部分保存下来。其中,尤以UML模型的应用最为广泛,也因此形成了通过理解UML模型来理解大规模、高复杂性软件系统的研究思路。对UML模型理解的一个难点是如何有效地从大量复杂的模型中,快速查找并定位具有一定结构特征的模型片段。幸运的是,设计模式的普遍应用为我们快速、高效地理解和定位模型提供了一条重要的线索。然而,随着技术的发展,设计模式数量在不断增长,其自身在应用中的结构也在微妙变化,这些都给相应查询和识别工具的开发带来一定的困难。文中从查询和匹配UML模型中特定结构的角度入手,利用UML自身特点设计相应查询算法,通过分析和理解设计模式的结构特征,从UML模型中查询相应的设计模式,以达到灵活和高效地理解软件系统的目的。 展开更多
关键词 模型查询技术 统一建模语言 信息抽取 设计模式
在线阅读 下载PDF
基于UML的弹道导弹攻防对抗仿真系统建模研究 被引量:10
6
作者 王晔 张朴睿 +1 位作者 孙红 甄明安 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第10期2712-2716,2729,共6页
提出了一种基于EATI面向实体的系统建模分析方法,阐述了利用UML工具实现分布式仿真系统建模的一般过程,然后针对弹道导弹攻防对抗仿真系统这一具体的应用,进行了建模研究。该方法在较大程度上解决了从需求分析到软件开发全过程的分布式... 提出了一种基于EATI面向实体的系统建模分析方法,阐述了利用UML工具实现分布式仿真系统建模的一般过程,然后针对弹道导弹攻防对抗仿真系统这一具体的应用,进行了建模研究。该方法在较大程度上解决了从需求分析到软件开发全过程的分布式仿真系统的建模问题,具有一定的工程指导意义。 展开更多
关键词 弹道导弹防御 标准建模语言(UML) 仿真建模 EATI
在线阅读 下载PDF
UML建模在常住人口管理信息系统开发中的应用 被引量:12
7
作者 王红燕 陈志刚 曾志文 《计算机工程与应用》 CSCD 北大核心 2002年第19期238-240,249,共4页
统一建模语言UML(UnifiedModelingLanguage)是面向对象软件开发方法的重要技术。该文在介绍UML的基础上,以常住人口管理信息系统的建模作为实际例子,描述了通过UML来进行静态建模和动态建模的详细过程。
关键词 建模 常住人口 管理信息系统 UML语言 软件开发 面向对象 公安厅
在线阅读 下载PDF
面向并行工程的组合夹具辅助设计系统设计与开发 被引量:9
8
作者 陈蔚芳 欧志球 吕平 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第9期1196-1201,共6页
提出了一种基于Web的计算机辅助夹具设计系统原型 ,并采用基于UML的ICONIX开发过程实现 ,通过用例图、对象类图、Robustness图和顺序图明确了系统对象类的功能。
关键词 并行工程 组合夹具辅助设计 统一建模语言 例图 对象类图 Robustness图 系统对象类
在线阅读 下载PDF
基于Web的数控机床动态仿真系统的研究 被引量:10
9
作者 朱立达 梁伟立 +1 位作者 董圣广 王宛山 《计算机集成制造系统》 EI CSCD 北大核心 2009年第5期954-958,共5页
为解决机床产品信息发布单一以及客户难以深入了解产品性能等问题,开发了一种基于Web的数字化产品信息展示平台的三维动态仿真系统。该系统充分利用Java语言在网络上的优越性与虚拟现实造型语言技术的交互性,实现了Web环境下产品三维特... 为解决机床产品信息发布单一以及客户难以深入了解产品性能等问题,开发了一种基于Web的数字化产品信息展示平台的三维动态仿真系统。该系统充分利用Java语言在网络上的优越性与虚拟现实造型语言技术的交互性,实现了Web环境下产品三维特征、信息的浏览及加工仿真等动态演示。该产品信息发布系统基于Web的特性,方便了客户对产品的了解。由于系统能实施数控机床多种动态演示功能,加深了客户对产品性能的全面认识。该方法具有通用性,适合其他产品浏览及动态演示。 展开更多
关键词 数控机床 虚拟现实造型语言 JAVA语言 动态交互式 仿真
在线阅读 下载PDF
工作流管理系统动态变更模型与实例迁移方法研究 被引量:12
10
作者 高新勤 李宗斌 杜轩 《计算机集成制造系统》 EI CSCD 北大核心 2008年第8期1521-1528,共8页
为提高工作流管理系统的柔性,研究了工作流动态变更模型和实例迁移方法。在基于统一建模语言和多色集合的工作流集成建模方法的基础上,建立了工作流动态变更模型,对节点(分支)的增加、删除和结构变化等常见动态变更进行了形式化描述。... 为提高工作流管理系统的柔性,研究了工作流动态变更模型和实例迁移方法。在基于统一建模语言和多色集合的工作流集成建模方法的基础上,建立了工作流动态变更模型,对节点(分支)的增加、删除和结构变化等常见动态变更进行了形式化描述。提出了工作流区域的概念,将当前运行节点和动态变更节点放在同一个层次上排序。基于基本模型结构的简化规则,提出了工作流区域的识别算法和排序规则。按照工作流实例迁移过程中可能采用的迁移策略,提出了支持动态变更的工作流实例迁移方法,并分析了实例迁移前后结构和语义的正确性。最后,以客户订单处理流程为例,验证了以上模型和方法的有效性。 展开更多
关键词 柔性工作流 管理 统一建模语言 多色集合 动态变更 实例迁移
在线阅读 下载PDF
基于虚拟现实的远程协同诊断系统研究 被引量:4
11
作者 李德刚 于德介 +1 位作者 刘坚 郭建文 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第5期56-60,共5页
针对设备故障协同诊断在支持工具通用性和诊断信息交互手段两方面的不足, 借助统一建模语言UML方法规范了协同诊断系统的分析与建模,应用IP组播通讯、Java 媒体框架JMF、虚拟现实建模语言VRML和实时传输协议RTP技术增强了协同诊断系统... 针对设备故障协同诊断在支持工具通用性和诊断信息交互手段两方面的不足, 借助统一建模语言UML方法规范了协同诊断系统的分析与建模,应用IP组播通讯、Java 媒体框架JMF、虚拟现实建模语言VRML和实时传输协议RTP技术增强了协同诊断系统的信息表达和多媒体交互能力,以此为基础所开发的基于虚拟现实的多媒体远程协同故障诊断系统在中石化巴陵分公司的实际实施中取得了良好的应用效果. 展开更多
关键词 协同诊断 统一建模语言 虚拟现实建模语言 多媒体交互
在线阅读 下载PDF
统一建模语言UML及其建模实例 被引量:34
12
作者 王瑞金 段会川 Martin Gogolla 《计算机应用研究》 CSCD 北大核心 2002年第8期80-84,共5页
以统一建模语言 (UnifiedModelingLanguage ,UML)的九种图为重点 ,简要介绍了UML的基本概念、历史、内容及其应用 ;并通过对一个超级市场销售管理系统的实际建模 。
关键词 面向对象 软件工程 统一建模语言 UML 建模
在线阅读 下载PDF
模型驱动的开放式结构悬挂物管理系统设计方法 被引量:4
13
作者 冯金富 刘安 +1 位作者 左伟 梁晓龙 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2010年第4期1-5,共5页
开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了... 开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了基于UML Profile的UML模型到AADL模型的转换方法,最后,以一个设计实例描述了该方法的设计过程。结果表明:基于模型驱动的开发方法为开放式结构悬挂物管理系统的设计提供了有效的解决方案,实现了系统设计与平台实现的分离。 展开更多
关键词 模型驱动架构 开放式结构 统一建模语言 UML扩展机制 体系结构分析与设计语言
在线阅读 下载PDF
土石方开挖数学模型和仿真系统的设计与研究 被引量:4
14
作者 许应成 王理 +1 位作者 夏国平 王廷梁 《计算机工程与应用》 CSCD 北大核心 2009年第30期214-219,共6页
建立了土石方开挖数学模型,将开挖过程简化为相应的数学问题,利用数学理论进行分析和研究,为土石方分区分层分块开挖原则提供了科学的方法和理论的指导。讨论了土石方开挖仿真系统的组成、统一建模语言(Unified Modeling Language,UML)... 建立了土石方开挖数学模型,将开挖过程简化为相应的数学问题,利用数学理论进行分析和研究,为土石方分区分层分块开挖原则提供了科学的方法和理论的指导。讨论了土石方开挖仿真系统的组成、统一建模语言(Unified Modeling Language,UML)的建模机制,提出了一种基于UML土石方开挖仿真系统的建模方法,并利用RationalRose工具对其进行面向对象的可视化建模,详细阐述了系统用例模型、静态模型和动态模型的建模过程。实例分析说明了土石方开挖数学模型、UML建模机制是有效的、可行的。 展开更多
关键词 土石方 统一建模语言(UML) 仿真 静态建模 动态建模
在线阅读 下载PDF
一种软件体系结构风险评估方法 被引量:4
15
作者 徐建 荆文娟 +1 位作者 严悍 张宏 《南京理工大学学报》 EI CAS CSCD 北大核心 2010年第5期680-685,690,共7页
为了改进软件开发过程,提高软件产品质量,提出了一种适用于软件开发设计阶段的软件体系结构风险评估方法。采用动态复杂度来度量体系结构元素(构件)的复杂度因子,可达矩阵来度量体系结构元素的危害因子,组合复杂度因子和危害因子构成体... 为了改进软件开发过程,提高软件产品质量,提出了一种适用于软件开发设计阶段的软件体系结构风险评估方法。采用动态复杂度来度量体系结构元素(构件)的复杂度因子,可达矩阵来度量体系结构元素的危害因子,组合复杂度因子和危害因子构成体系结构元素的风险因子;提出了一种风险累积算法,把体系结构层的风险因子表示成所有构件风险因子的函数,用于评估体系结构的风险。对嵌入式软件数字录音机进行了实例分析,结果表明,本文方法能够通过评估构件、场景、子系统的风险因子来识别他们。 展开更多
关键词 风险评估 统一建模语言规范 软件体系结构 动态度量
在线阅读 下载PDF
软件体系结构描述语言研究现状分析 被引量:5
16
作者 田丽从 张莉 周伯生 《计算机科学》 CSCD 北大核心 2005年第2期109-113,共5页
软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确AD... 软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确ADL的研究进展情况,分析了ADL的研究现状,讨论了ADL研究中存在的主要问题及解决思路。 展开更多
关键词 ADL 研究现状 分析 研究进展 主要问题 软件体系结构 描述语言 支持工具 表示 项目开发
在线阅读 下载PDF
网络化控制系统的协同设计与形式化建模 被引量:5
17
作者 彭可 罗安 +1 位作者 张伟 涂春鸣 《计算机集成制造系统》 EI CSCD 北大核心 2011年第2期433-441,共9页
为满足网络化控制系统的综合性能要求,实现其设计过程的形式化和规范化,针对其设计过程进行了形式化建模。给出了网络化控制系统中网络、控制、结构实体三个子模型的定义,分析了三者的构成要素以及相互之间的映射关系;进而提出了基于网... 为满足网络化控制系统的综合性能要求,实现其设计过程的形式化和规范化,针对其设计过程进行了形式化建模。给出了网络化控制系统中网络、控制、结构实体三个子模型的定义,分析了三者的构成要素以及相互之间的映射关系;进而提出了基于网络服务质量和控制性能质量的协同设计框架,并利用统一建模语言进行网络化控制系统的结构实体子模型设计,分析了网络化控制系统建模中类的概念和构造,针对类的属性和方法进行了扩展,归纳了建模过程的一般性步骤。最后以一台网络化三轴数控钻床的设计过程为例,实现并验证了所提出协同设计框架与形式化建模过程的可行性。 展开更多
关键词 网络化控制系统 协同设计 形式化建模 统一建模语言 网络服务质量 控制性能质量
在线阅读 下载PDF
三维钢结构CAD软件中的节点设计 被引量:3
18
作者 赵卫东 孙浩波 +1 位作者 卫刚 李启炎 《计算机工程》 CAS CSCD 北大核心 2003年第7期33-34,51,共3页
介绍了面向对象分析与设计的基本思想,利用Factory Method设计模式,解决了钢结构节点设计CAD软件中节点多样的难题。该方法可以大幅度提高程序员的工作效率。
关键词 钢结构 节点设计 CAD UML 设计模式 C++
在线阅读 下载PDF
基于UML的仓库管理数据库系统设计 被引量:10
19
作者 张裔智 冯春辉 《计算机科学》 CSCD 北大核心 2008年第6期295-296,F0003,共3页
本文主要针对基于UML的仓库管理数据库系统分析方法进行研究。在基于面向对象UML的平台上,以仓库管理为研究对象,对其需求模型和总体设计模型进行了分析设计,并结合基于UML建模语言的CASE工具Power Designer进行进一步的辅助分析,最终... 本文主要针对基于UML的仓库管理数据库系统分析方法进行研究。在基于面向对象UML的平台上,以仓库管理为研究对象,对其需求模型和总体设计模型进行了分析设计,并结合基于UML建模语言的CASE工具Power Designer进行进一步的辅助分析,最终实现了数据库系统的设计。 展开更多
关键词 面向对象 统一建模语言 UML 数据库 Power designER
在线阅读 下载PDF
一个可构造的反演状态模式 被引量:6
20
作者 何克清 应时 何非 《软件学报》 EI CSCD 北大核心 2001年第8期1242-1249,共8页
为了构造可扩充、可配置、可控制的状态模型 ,提出了一个可构造的反演状态模式 .基于体系结构的反演模式和角色对象模式 ,讨论了状态设计模式中结构和行为的反演方法及其手段 ;给出了其反演模式体系结构的元级和基本级对象结构 ;使用 MO... 为了构造可扩充、可配置、可控制的状态模型 ,提出了一个可构造的反演状态模式 .基于体系结构的反演模式和角色对象模式 ,讨论了状态设计模式中结构和行为的反演方法及其手段 ;给出了其反演模式体系结构的元级和基本级对象结构 ;使用 MOP(meta objectprotocol)规程给出了元级和基本级的关系 ,讨论了反演状态模式的元对象反演到基本级对象群的“截取和求精 (interception和 reification)”机制 .此外 。 展开更多
关键词 角色模型 反演模式 角色对象模式 软件工程 软件模式
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部