期刊文献+
共找到221篇文章
< 1 2 12 >
每页显示 20 50 100
基于.NET框架的在线考试系统的设计与实现
1
作者 罗雨滋 《信息与电脑》 2024年第5期227-229,共3页
网络考试系统作为现代教育教学的重要组成部分,起着检测学生自主学习结果,减轻教师负担的作用,一直是教学管理系统研究的课题。文章结合主流.NET技术和异步JavaScript和可扩展标记语言(Asynchronous JavaScript and Extensible Markup L... 网络考试系统作为现代教育教学的重要组成部分,起着检测学生自主学习结果,减轻教师负担的作用,一直是教学管理系统研究的课题。文章结合主流.NET技术和异步JavaScript和可扩展标记语言(Asynchronous JavaScript and Extensible Markup Language,AJAX)技术,介绍在线考试系统的设计和实现方法。 展开更多
关键词 .NET 异步JavaScript和可扩展标记语言(AJAX) 用例图 在线考试系统
下载PDF
半群X^*的一族极大自由幺子半群 被引量:2
2
作者 胡华碧 《重庆文理学院学报(自然科学版)》 2009年第1期29-31,共3页
考虑自由幺半群X*的一族特殊幺子半群,并以X*为顶点集构造了一个语言图,利用它证明了该族子半群是一族极大自由幺子半群.
关键词 语言图 极大码 自由幺半群 极大自由幺子半群
下载PDF
半群X^*的一族极大自由幺子半群的构造性证明 被引量:2
3
作者 赵平 徐波 《毕节学院学报(综合版)》 2007年第4期27-29,共3页
分析自由幺半群X﹡的一族特殊幺子半群,并以X﹡为顶点集构造了一个语言图,利用它证明了该族子半群是半群X﹡的一族极大自由幺子半群。
关键词 语言图 极大码 自由幺半群 极大自由幺子半群
下载PDF
带有并发行为的UML状态机图的形式语义
4
作者 陈华豪 蒋建民 +2 位作者 谢嘉成 陈卓然 唐国富 《计算机技术与发展》 2024年第5期87-94,共8页
在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、C... 在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、CHAM化学抽象机等作为状态机图的形式语义,但这些语义都是行为语义,并没有从结构上直接形成体现真并发的形式语义。该文提出一种新的模型——统一结构模型作为带有并发行为的UML状态机图的形式语义,该模型不会增加或减少状态机图的任何信息。基于统一结构模型首先定义了状态机图的格局(全局状态),用于表现状态机图的执行过程,并且给出了UML状态机图的格局的转换规则,说明格局如何在状态机图中执行,在此基础上给出了状态机图的可达性算法,然后还对状态机图的死锁等性质进行了介绍,最后开发出一个原型工具,实现了状态机图的可达性分析,并用实例说明了该方法的应用。 展开更多
关键词 统一建模语言 状态机图 形式化模型 并发行为 可达性 死锁
下载PDF
基于UMCS树的UML类图的混合相似性度量
5
作者 袁中臣 马宗民 《计算机应用》 CSCD 北大核心 2024年第3期883-889,共7页
软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含... 软件重用是基于给定条件从存储库中检索以前开发的软件产品,检索基于相似性度量。UML(Unified Modeling Language)类图被广泛应用于软件设计,UML类图重用作为软件设计重用的核心而备受关注。因此,对UML类图的相似性开展研究。类图包含语义和结构信息。目前,UML类图的相似性研究主要集中在语义,也有个别讨论结构相似性,但没有考虑将语义和结构相结合。因此,提出一种结合语义和结构的混合相似性度量。鉴于UML类图的非形式化特征,将UML类图转换成图模型,搜索最大公共子图列表,构建了最大公共子图树,提出一个基于最大公共子图序列的混合相似性度量方法。针对概念公共子图和结构公共子图分别定义了语义匹配和结构匹配,并开展了相似性对比和基于相似性的分类质量比较实验,实验结果验证了所提出方法的优势。 展开更多
关键词 UML类图 模型转换 混合相似性 最大公共子图树 语义匹配 结构匹配
下载PDF
DEPENDENCE ANALYSIS FOR UML CLASS DIAGRAMS 被引量:2
6
作者 WuFangjun YiTong 《Journal of Electronics(China)》 2004年第3期249-254,共6页
Though Unified Modeling Language (UML) has been widely used in software development, the major problems confronted lie in comprehension and testing. Dependence analysis is an important approach to analyze, understand,... Though Unified Modeling Language (UML) has been widely used in software development, the major problems confronted lie in comprehension and testing. Dependence analysis is an important approach to analyze, understand, test and maintain programs. A new kind of dependence analysis method for UML class diagrams is developed. A set of dependence relations is definedcorresponding to the relations among classes. Thus, the dependence graph of UML class diagram can be constructed from these dependence relations. Based on this model, both slicing and measurement coupling are further given as its two applications. 展开更多
关键词 UML 分类图表 相关分析 程序分片 耦合测量 软件开发
下载PDF
Softw are Maintainability Prediction with UML Class Diagram
7
作者 刘丽 朱小冬 郝学良 《Journal of Donghua University(English Edition)》 EI CAS 2015年第1期157-161,共5页
Software system can be classified into many function modules from the perspective of user. Unified modeling language( UML) class diagram of each function module was extracted,and design characteristic metrics which in... Software system can be classified into many function modules from the perspective of user. Unified modeling language( UML) class diagram of each function module was extracted,and design characteristic metrics which influenced software maintainability were selected based on UML class diagram.Choosing metrics of UML class diagram as predictors,and mean maintenance time of function module was regarded as software maintainability parameter. Software maintainability models were built by using back propagation( BP) neural network and radial basis function( RBF) neural network, respectively and were simulated by MATLAB. In order to evaluate the performance of models,the training results were analyzed and compared with leaveone-out cross-validation and model performance evaluation criterion. The result indicated that RBF arithmetic was superior to BP arithmetic in predicting software maintainability. 展开更多
关键词 unified modeling language(UML) class diagram software maintainability back propagation(BP) neural network radial basis function(RBF) neural network
下载PDF
Islay3D—A Programming Environment for Authoring Interactive 3D Animations in Terms of State-Transition Diagram
8
作者 Dandy Ling Kwong Michitoshi Niibori +2 位作者 Shusuke Okamoto Masaru Kamada Tatsuhiro Yonekura 《Journal of Software Engineering and Applications》 2014年第3期177-186,共10页
An educational programming language is a programming language that is designed primarily as a learning instrument and not so much as a tool for writing programs for production. Three-dimensional (3D) interactive anima... An educational programming language is a programming language that is designed primarily as a learning instrument and not so much as a tool for writing programs for production. Three-dimensional (3D) interactive animations provide an effective means to engage the attention of the audience to learn programming language. Traditionally, creating 3D games had been difficult as it requires specialized programming skills. However, it had been proven that the state-transition diagram, which is the most fundamental principle for automata, is intuitively so comprehensive that even children can create programs for interactive animations and video games in the two-dimensional world. Islay3D is a programming environment for authoring interactive 3D animations based on this concept. In this paper, the Islay3D animation language is introduced, where a character is modeled as an object, and its behavior is defined in term of a set of state-transition diagrams. The interpretation of the state-transition diagrams to JavaScript is also presented. Finally, the web-based programming environment is introduced. With the web-based platform, the public will be able express their creativity in creating interactive 3D animations and video games easily from within their browser. 展开更多
关键词 3D Visual PROGRAMMING language Computer GAMES State TRANSITION diagram Web Service
下载PDF
Automatic Generation of UML Class Diagrams for Object-oriented Design and Programing Course
9
作者 Chunyan Ma Jing Chen +1 位作者 Zheng Chang Jiangbin Zheng 《计算机教育》 2021年第12期157-165,共9页
UML Class diagram generation from textual requirements is an important task in object-oriented design and programing course.This study proposes a method for automatically generating class diagrams from Chinese textual... UML Class diagram generation from textual requirements is an important task in object-oriented design and programing course.This study proposes a method for automatically generating class diagrams from Chinese textual requirements on the basis of Natural Language Processing(NLP)and mapping rules for sentence pattern matching.First,classes are identified through entity recognition rules and candidate class pruning rules using NLP from requirements.Second,class attributes and relationships between classes are extracted using mapping rules for sentence pattern matching on the basis of NLP.Third,we developed an assistant tool integrated into a precision micro classroom system for automatic generation of class diagram,to effectively assist the teaching of object-oriented design and programing course.Results are evaluated with precision,accuracy and recall from eight requirements of object-oriented design and programing course using truth values created by teachers.Our research should benefit beginners of object-oriented design and programing course,who may be students or software developers.It helps them to create correct domain models represented in the UML class diagram. 展开更多
关键词 UML class diagram Natural language Processing(NLP) object-oriented design and programming course automatic generation
下载PDF
基于UML活动图的用例识别
10
作者 陈卓然 蒋建民 +2 位作者 唐国富 谢嘉成 陈华豪 《计算机系统应用》 2023年第10期75-84,共10页
在面向对象的软件开发过程中,统一建模语言(unified modeling language, UML)的用例图用于捕获用户的需求.传统描述用例的方法一般是开发者根据自己的经验,从需求中人工获取用例.然而,如何自动生成准确的用例仍然是一个待解决的问题.本... 在面向对象的软件开发过程中,统一建模语言(unified modeling language, UML)的用例图用于捕获用户的需求.传统描述用例的方法一般是开发者根据自己的经验,从需求中人工获取用例.然而,如何自动生成准确的用例仍然是一个待解决的问题.本文提出了一种通过用UML活动图半自动生成用例的方法.首先通过引入形式化模型——统一结构来描述用例图与活动图,其次给出分解活动图的算法,然后根据分解活动图得到的依赖链生成对应的用例的事件流,从而得到用例模型,最后通过所开发的原型CASE工具进行案例的演示,验证了本文所提出的方法的可行性。 展开更多
关键词 UML 用例图 活动图 形式化模型 用例识别
下载PDF
选矿工艺流程图计算机生成技术研究与应用
11
作者 张海洋 宋晓梅 杨佳伟 《中国矿业》 2023年第S01期167-172,共6页
将计算机语言与传统工艺流程图的绘制规则相结合,借助数据库录入系统实现流程图的计算机生成,同时可对生成的流程图进行在线编辑配置。详细介绍选矿工艺流程图计算机生成技术,尤其是选矿工艺流程图布局方法的计算机语言实现。展示选矿... 将计算机语言与传统工艺流程图的绘制规则相结合,借助数据库录入系统实现流程图的计算机生成,同时可对生成的流程图进行在线编辑配置。详细介绍选矿工艺流程图计算机生成技术,尤其是选矿工艺流程图布局方法的计算机语言实现。展示选矿工艺流程图计算机生成技术在流程项目中的具体应用。 展开更多
关键词 工艺流程图 绘制规则 在线编辑 布局方法 计算机语言
下载PDF
UML活动图在工作流过程建模中的应用研究 被引量:16
12
作者 欧阳元新 熊璋 侯亚荣 《计算机工程与设计》 CSCD 2004年第9期1479-1481,共3页
UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对UML活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出... UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对UML活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。 展开更多
关键词 UML活动图 工作流 控制流 建模语言 过程建模 扩展 子过程 具体应用 企业建模 目的
下载PDF
PSL的有界模型检验 被引量:2
13
作者 虞蕾 赵宗涛 《电子学报》 EI CAS CSCD 北大核心 2009年第3期614-621,共8页
基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性... 基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程. 展开更多
关键词 PSL(property specification language) 有界模型检验(bounded model checking BMC) SAT(propositional satisfiability) OBDD(ordered binary decision diagram)
下载PDF
R语言在生物科学研究绘图中的应用 被引量:15
14
作者 蓝洋 何秀 +1 位作者 朱诚勖 张玉娟 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2019年第1期124-135,143,共13页
R语言具有强大的数据分析处理和可视化绘图功能,可以在Window、Linux以及Mac系统上使用,并且根据其编写新代码或调整已有代码可轻松实现科研中数据呈现与图形绘制的要求.然而其代码学习较为艰难、R-package使用复杂,所以未受到科研新手... R语言具有强大的数据分析处理和可视化绘图功能,可以在Window、Linux以及Mac系统上使用,并且根据其编写新代码或调整已有代码可轻松实现科研中数据呈现与图形绘制的要求.然而其代码学习较为艰难、R-package使用复杂,所以未受到科研新手的青睐.基于生物科学相关领域的背景,整理汇集已出版的文献、公共数据库以及国家统计局中提供的数据,使用R语言、R编辑器RStudio并载入相关的R-package绘制出地图、热图、关联网络图、韦恩图和柱形图等高质量的图片,并提供相应的脚本与说明,以方便生物科研人员直接更改使用.本研究对生物科研中合理、直观地表述研究结果提供了良好的范例,并进行了详细讨论,且与其他绘图软件作了比较,以期R语言能够成为生物科学领域科研工作者入门学习、研究应用中绘制图片的首选工具. 展开更多
关键词 地图 热图 关联网络图 韦恩图 柱形图 R语言
下载PDF
UML的供应链订单管理系统分析与设计 被引量:9
15
作者 吴建锋 汪毅 《华侨大学学报(自然科学版)》 CAS 2003年第2期213-217,共5页
供应链管理是经济全球化发展的产物 ,对企业的管理信息系统提出了更高的要求 .分析供应链管理面向需求的特点 ,结合软件工程和面向对象技术 (UML) ,提出以订单为整个企业管理信息系统核心的观点 .基于 UML类图和顺序图设计供应链订单管... 供应链管理是经济全球化发展的产物 ,对企业的管理信息系统提出了更高的要求 .分析供应链管理面向需求的特点 ,结合软件工程和面向对象技术 (UML) ,提出以订单为整个企业管理信息系统核心的观点 .基于 UML类图和顺序图设计供应链订单管理系统模型 ,并运用 展开更多
关键词 供应链管理 企业管理信息系统 供应链订单管理系统 UML 软件工程 面向对象 系统设计
下载PDF
基于场景构件式实时软件设计的一致性检验 被引量:13
16
作者 胡军 于笑丰 +2 位作者 张岩 李宣东 郑国梁 《软件学报》 EI CSCD 北大核心 2006年第1期48-58,共11页
在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口... 在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性. 展开更多
关键词 实时软件 构件式设计 模型检验 接口自动机 顺序图 统一建模语言
下载PDF
UML序列图的Z形式规范 被引量:5
17
作者 李景峰 李琰 陈平 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2002年第6期772-775,795,共5页
用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持.
关键词 UML序列图 Z形式规范 统一建模语言 形式化 Z语言
下载PDF
UM L顺序图的形式化定义与特性分析 被引量:4
18
作者 李晓丽 龙翔 +1 位作者 包晓露 李虎 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2010年第3期350-352,362,共4页
以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步... 以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具. 展开更多
关键词 统一建模语言 顺序图 形式化 模型验证
下载PDF
袋自动机 被引量:4
19
作者 张继军 吴哲辉 +1 位作者 董卫 耿霞 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期190-195,共6页
提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系... 提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言. 展开更多
关键词 袋自动机 状态转换图 袋语言 重复序列
下载PDF
基于扩展UML活动图的工作流建模及其到XPDL的转换 被引量:3
20
作者 申利民 隋峰 +3 位作者 李峰 雷炳银 白莲 王磊 《计算机集成制造系统》 EI CSCD 北大核心 2009年第8期1514-1521,共8页
针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法。为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活... 针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法。为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活动等建模元素,给出了建模元素的定义和建模规则。为了使统一建模语言活动图的工作流模型能适应不同工作流引擎的执行,定义了统一建模语言活动图到可扩展标记语言的过程定义语言的形式化转换规则。最后,通过订单处理实例,说明了该方法对增强模型描述能力、适应性和柔性具有积极作用。 展开更多
关键词 工作流模型 统一建模语言活动图 可扩展标记语言的过程定义语言 形式化转换 适应性 柔性
下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部