期刊文献+
共找到119篇文章
< 1 2 6 >
每页显示 20 50 100
DFDVis:A Visual Analytics System for Understanding the Semantics of Data Flow Diagram
1
作者 Hao Xiong Haocheng Zhang +2 位作者 Xiaoju Dong Lingxi Meng Wenyang Zhao 《国际计算机前沿大会会议论文集》 2017年第1期164-166,共3页
Data flow diagram(DFD),as a special kind of data,is a design artifact in both requirement analysis and structured analysis in software development.However,rigorous analysis of DFD requires a formal semantics.Formal re... Data flow diagram(DFD),as a special kind of data,is a design artifact in both requirement analysis and structured analysis in software development.However,rigorous analysis of DFD requires a formal semantics.Formal representation of DFD and its formal semantics will help to reduce inconsistencies and confusion.The logical structure of DFD can be described using formalism of Calculus of Communicating System(CCS).With a finite number of states based on CCS,state space methods will help a lot in analysis and verification of the behavior of the systems.But the number of states of even a relatively small system is often very great that is called state explosion.In this paper,we present a visual system which combines Formal methods and visualization techniques so as to help the researchers to understand and analyze the system described by the DFD regardless of the problem of state explosion. 展开更多
关键词 data flow diagram(dfd) CALCULUS of COMMUNICATING Systems(CCS) State space VISUALIZATION techniques
下载PDF
Functionality Semantics of Predicate Data Flow Diagram
2
作者 高晓雷 缪淮扣 刘玲 《Journal of Shanghai University(English Edition)》 CAS 2004年第3期309-316,共8页
SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate dat... SOZL (structured methodology + object-oriented methodology + Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD). 展开更多
关键词 predicate data flow diagram (Pdfd) predicate operation (PO) hierarchical predicate data flow diagram (HPdfd) AVAILABILITY functionality semantics.
下载PDF
A New Synthetical Knowledge Representation Model and Its Application in Data Flow Diagram
3
作者 Liu Xiang Wu Guoqing +1 位作者 Yao Jian He Feng 《Wuhan University Journal of Natural Sciences》 CAS 1999年第1期35-42,共8页
A new synthetical knowledge representation model that integrates the attribute grammar model with the semantic network model was presented. The model mainly uses symbols of attribute grammar to establish a set of sy... A new synthetical knowledge representation model that integrates the attribute grammar model with the semantic network model was presented. The model mainly uses symbols of attribute grammar to establish a set of syntax and semantic rules suitable for a semantic network. Based on the model,the paper introduces a formal method defining data flow diagrams (DFD) and also simply explains how to use the method. 展开更多
关键词 attribute grammar semantic network data flow diagram
下载PDF
基于CRCLA的形式化描述与退火遗传映射算法
4
作者 杨晨光 李伟 +1 位作者 杜怡然 陈韬 《计算机工程与设计》 北大核心 2024年第5期1368-1375,共8页
为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长... 为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长的问题,提出一种能快速收敛到全局最优解的退火遗传算法,从初始温度、降温系数等方面对退火算法进行改进,增加遗传算法的筛选、交叉与变异流程。实验结果表明,编译时间与性能平均降低了30.6%与13.4%,验证了算法的高能效映射。 展开更多
关键词 密码算法 数据流图 划分 描述形式 粗粒度可重构密码逻辑阵列 快速收敛 退火遗传算法
下载PDF
基于DFT-MARTE模型的时序分析算法
5
作者 徐嘉 周晴 +1 位作者 杜家昊 王一华 《计算机工程与设计》 北大核心 2024年第1期120-129,共10页
针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DF... 针对航天嵌入式软件(aerospace embedded software,AES)时序需求复杂带来的时序需求定义不准确问题,提出一种基于MARTE(modeling and analysis of real-time and embedded systems)模型的数据流时序(data flow timing based on MARTE,DFT-MARTE)模型,设计基于该模型的处理点缓存计算算法、时序偏离概率检测算法和时序序列分析算法。处理点缓存计算算法动态更新缓存空间,使后续时序检测正常执行;时序偏离概率检测算法利用多线程并发模拟时序特性,检测需求中时序偏离问题;时序序列分析算法是基于梯度下降算法,拟合时序序列,指导用户优化需求。该模型相比传统数据流模型更适用航天嵌入式软件,利于后续开发和维护,具有极高的应用价值。 展开更多
关键词 数据流时序模型 数据流图 嵌入式软件 时序偏离检测 多线程 时序分析 梯度下降算法
下载PDF
核电厂智能化DCS数据管理系统建设
6
作者 卢俊 《仪器仪表用户》 2024年第3期80-82,85,共4页
本文针对福清核电DCS系统,因不同平台的技术差异,图纸、组态和接口数据量大,文件复杂,使用和管理过程效率低下,人因风险高。基于此,提出了一种以面向内容为核心,以计算机数据库技术为基本方法,依托设计输入文件和运行过程数据,构建要素... 本文针对福清核电DCS系统,因不同平台的技术差异,图纸、组态和接口数据量大,文件复杂,使用和管理过程效率低下,人因风险高。基于此,提出了一种以面向内容为核心,以计算机数据库技术为基本方法,依托设计输入文件和运行过程数据,构建要素间普遍联系的DCS数据管理系统。有效梳理了相关业务所需要的各类数据和文件的获取与处理方式,实现数据组织、图纸与组态数据的精确关联,并设计和建设了一站式检索平台,对数据和图纸进行深度分析,实现自动化风险提示的变更管理,以服务于现场执行控制系统相关工作和检查的各个过程。本文详细论述了需求分析和项目建设办法,为类似项目的建设、维护提供经验。 展开更多
关键词 DCS 数据处理 变更管理 组态数据 逻辑图 信号流图 通信
下载PDF
软件需求分析生成环境RAGE/DFD的设计与实现 被引量:1
7
作者 潘侠 王宇颖 洪家荣 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1994年第4期37-41,共5页
随着在软件生命周期后端的开发效率的提高,人们对提高生命周期前端开发效率的要求不断增长。计算机辅助分析和设计工具可大大地提高开发效率。本文介绍一个建立在UNIXOS和X—WINDOW系统上的软件需求分析生成环境RAGE... 随着在软件生命周期后端的开发效率的提高,人们对提高生命周期前端开发效率的要求不断增长。计算机辅助分析和设计工具可大大地提高开发效率。本文介绍一个建立在UNIXOS和X—WINDOW系统上的软件需求分析生成环境RAGE/DFD,描述了它的原理、实现方法、功能和特点。该系统可用于描述各种应用系统的规格说明,并提供良好的人-机接口和直接操纵方式以及语法错误自动检测功能。 展开更多
关键词 软件工程 数据流图 数据字典
下载PDF
CASE工具中DFD子系统的构造
8
作者 王光明 刘君强 《微电子学与计算机》 CSCD 北大核心 1993年第6期42-45,共4页
面向管理信息系统的计算机辅助软件工程(CASE)工具几乎无例外地支持数据流程图(DFD)的描述和生成.在实际建立了一个上游CASE工具的基础上,文章讨论了在图形菜单驱动下交互建立DFD的几项技术:图形段的数据结构、图形文件数据结构以及对... 面向管理信息系统的计算机辅助软件工程(CASE)工具几乎无例外地支持数据流程图(DFD)的描述和生成.在实际建立了一个上游CASE工具的基础上,文章讨论了在图形菜单驱动下交互建立DFD的几项技术:图形段的数据结构、图形文件数据结构以及对图形文件的操作,DFD层次结构的实现——子图的建立方法、通过座标体系变换和窗口与视区的映射实现DFD的比例变换和平移.不同于研究一般通用绘图系统,文章专门研究了如何从DFD中抽取逻辑关系并对它们进行完整性和一致性检验. 展开更多
关键词 软件工具 dfd子系统 构造 CASE
下载PDF
Citizen-Centric Complaint Reporting and Analyzing Mechanism
9
作者 Ahsan Ullah Tonmoy Singha +2 位作者 Hamidur Rahman Sarker Fatema Jahan Pia Afzal Hossain 《Journal of Software Engineering and Applications》 2023年第6期223-263,共41页
The “Citizen-Centric Complaint Reporting and Analyzing Mechanism” project is designed to create an online complaint system, called “e-Complaint”, to allow citizens to file complaints related to crime and misconduc... The “Citizen-Centric Complaint Reporting and Analyzing Mechanism” project is designed to create an online complaint system, called “e-Complaint”, to allow citizens to file complaints related to crime and misconduct in a secure and user-friendly way. The proposed system aims to address the challenges of the current complaint system, ensuring transparency and accountability in the police force. The “e-Complaint” system aims to increase police accountability and transparency and has significant benefits for both citizens and police departments. 展开更多
关键词 E-Complaint Entity Relationship diagram Use-Case diagram data flow diagram
下载PDF
远程供水监控系统设计 被引量:3
10
作者 孙晓松 傅先凤 何志明 《计算机测量与控制》 CSCD 2005年第4期335-337,共3页
通过对供水系统的深入研究, 提出了一种新型供水系统的整体设计方案。这种供水系统通过利用主机与远程测控端通信,实现对远程端的监测与控制, 并利用计算机对测量数据与控制信号进行处理, 从而实现对供水系统的监控。在进行测控的同时,... 通过对供水系统的深入研究, 提出了一种新型供水系统的整体设计方案。这种供水系统通过利用主机与远程测控端通信,实现对远程端的监测与控制, 并利用计算机对测量数据与控制信号进行处理, 从而实现对供水系统的监控。在进行测控的同时, 对采集到的流量数据与已有的用户信息进行处理, 为用户提供方便快捷地查询与交费。文章首先对这种供水系统的控制中心进行需求分析,决定采用C/S与B/S结合的方式设计控制中心, 分析该系统的数据流, 并对系统进行模式划分。 展开更多
关键词 远程供水监控系统 系统设计 远程通信 单片机 高层住宅
下载PDF
设计过程信息建模及重组 被引量:20
11
作者 王玉 邢渊 阮雪榆 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2002年第2期111-114,共4页
在综合分析现有建模技术的基础上 ,将软件设计中的数据流图引入工程设计过程的信息建模 ,提出了一种基于数据流图和设计结构矩阵进行信息建模和重组的新方法。深入讨论了目前尚不很成熟的设计结构矩阵撕裂算法 ,给出了算法流程。并以注... 在综合分析现有建模技术的基础上 ,将软件设计中的数据流图引入工程设计过程的信息建模 ,提出了一种基于数据流图和设计结构矩阵进行信息建模和重组的新方法。深入讨论了目前尚不很成熟的设计结构矩阵撕裂算法 ,给出了算法流程。并以注塑模具设计为例 。 展开更多
关键词 设计结构矩阵 信息建模 重组 数据流图 并行工程 注塑模具 设计
下载PDF
医院代销材料库存管理子系统的软件设计 被引量:2
12
作者 吴凯 熊志强 +1 位作者 邓素彤 姚俏玲 《中国数字医学》 2009年第12期39-42,共4页
为加强对医院卫生材料的管理,降低医疗服务成本,开发了代销材料管理子系统应用于医院代销材料的管理。介绍了系统在软件需求和设计阶段的设计思想,应用的成效及达成的预期目标。
关键词 代销材料 dfd ER图 USE Case类图
下载PDF
关于数据流程图画法原则的研究 被引量:7
13
作者 冯爽 《河北科技大学学报》 CAS 2012年第4期343-346,共4页
数据流程图是信息系统开发中的重要工具,利用它可以沟通开发者与使用者的思想。但如何画好数据流程图,目前并没有统一的标准。提出了画好数据流程图的8条重要原则,遵照这些原则,使数据流程图的编制者能更容易地画出正确的数据流程图,更... 数据流程图是信息系统开发中的重要工具,利用它可以沟通开发者与使用者的思想。但如何画好数据流程图,目前并没有统一的标准。提出了画好数据流程图的8条重要原则,遵照这些原则,使数据流程图的编制者能更容易地画出正确的数据流程图,更准确地描述出一个信息系统的开发思路。 展开更多
关键词 信息系统开发 数据流程图 dfd画法原则
下载PDF
基于动态设计结构矩阵的复杂产品配置过程规划技术 被引量:15
14
作者 裘乐淼 张树有 +1 位作者 徐春伟 邹纯稳 《机械工程学报》 EI CAS CSCD 北大核心 2010年第7期136-141,147,共7页
为降低复杂产品配置任务间的耦合程度,减少配置过程的迭代次数,优化产品配置设计过程,以动态设计结构矩阵(Design structure matrix,DSM)为工具研究了产品配置过程的规划技术。研究基于数据流图的产品配置过程任务建模,在此基础上通过... 为降低复杂产品配置任务间的耦合程度,减少配置过程的迭代次数,优化产品配置设计过程,以动态设计结构矩阵(Design structure matrix,DSM)为工具研究了产品配置过程的规划技术。研究基于数据流图的产品配置过程任务建模,在此基础上通过映射得到配置过程DSM,并将其拓展为三视图结构,通过视图间的双重映射获得配置过程动态DSM,使客户需求和最新配置知识在产品配置过程中得以动态反映。用矩阵的分解和撕裂算法对配置过程进行规划,重组配置任务,优化任务执行次序,为协同配置设计任务分配提供基础。以大型电除尘装备为例子分析配置设计过程规划技术的具体实现。 展开更多
关键词 设计结构矩阵 数据流图 产品配置过程 协同配置设计
下载PDF
基于网络最大流的立体匹配算法 被引量:7
15
作者 黄海赟 戚飞虎 岑峰 《上海交通大学学报》 EI CAS CSCD 北大核心 2001年第2期168-172,共5页
为得到立体图像对的全局最优匹配 ,将视差搜索范围离散化 ,与图像坐标一起构成三维空间网络 .恰当定义网络各边的容量 ,使之兼顾立体匹配的相容性和光滑性约束 ,将立体匹配转化为网络优化问题 .通过求解网络的最大流和最小切割 ,获得全... 为得到立体图像对的全局最优匹配 ,将视差搜索范围离散化 ,与图像坐标一起构成三维空间网络 .恰当定义网络各边的容量 ,使之兼顾立体匹配的相容性和光滑性约束 ,将立体匹配转化为网络优化问题 .通过求解网络的最大流和最小切割 ,获得全局最优的视差分布数据 .实验表明 ,算法生成的视差数据不仅连续稠密而且保留了细节信息 . 展开更多
关键词 立体匹配 视差 最大流 立体图像 算法
下载PDF
简化数据流图的功能点分析方法研究 被引量:7
16
作者 文静 顾勋梅 《计算机工程与应用》 CSCD 北大核心 2011年第36期86-90,95,共6页
随着软件工程在各个行业的日益深入以及软件规模的日益庞大,在软件生命周期的早期阶段对软件系统进行规模度量显得尤为重要。在需求分析阶段所建立的逻辑模型的基础上,使用E-R图来简化数据流图,并结合功能点分析的度量原理,以简化的数... 随着软件工程在各个行业的日益深入以及软件规模的日益庞大,在软件生命周期的早期阶段对软件系统进行规模度量显得尤为重要。在需求分析阶段所建立的逻辑模型的基础上,使用E-R图来简化数据流图,并结合功能点分析的度量原理,以简化的数据流图作为度量要素,详细给出了度量简化数据流图的映射规则和度量规则,以实例验证了这些规则的使用方法,简单实用。 展开更多
关键词 规模度量 实体联系(E-R)图 数据流图 功能点分析
下载PDF
复杂设计过程的信息建模及重组 被引量:10
17
作者 梅成刚 肖人彬 《机械科学与技术》 CSCD 北大核心 2004年第1期105-109,共5页
对软件工程中的数据流图 (DFD)加以改进 ,用扩展的数据流图来描述复杂的设计流程 ,并建立设计信息模型 ;通过对信息模型进行分析、评估获得当前最优的信息模型 ;然后将信息流映射为设计结构矩阵 (DSM )来进行信息模型的重组。深入讨论... 对软件工程中的数据流图 (DFD)加以改进 ,用扩展的数据流图来描述复杂的设计流程 ,并建立设计信息模型 ;通过对信息模型进行分析、评估获得当前最优的信息模型 ;然后将信息流映射为设计结构矩阵 (DSM )来进行信息模型的重组。深入讨论了扩展数据流图和设计信息流 ;对目前尚不很成熟的DSM的割裂算法进行了探讨 ,并给出了相应的算法流程 ;同时 ,结合工厂生产设计流程进行了详细的分析。 展开更多
关键词 扩展数据流图 设计流程 信息模型 设计结构矩阵 重组
下载PDF
基于RCM的雷达装备维修决策支持系统研究 被引量:8
18
作者 黄建军 杨江平 张新生 《计算机工程与设计》 CSCD 北大核心 2011年第8期2909-2912,F0003,共5页
针对传统RCM(reliability centered maintenance)分析存在的信息利用不充分、缺乏模型支持及实施过程不够完整等不足,提出了雷达装备RCM分析的信息化改进思路。在分析了改进的RCM过程模型基础上,设计出雷达装备维修决策支持系统。以数... 针对传统RCM(reliability centered maintenance)分析存在的信息利用不充分、缺乏模型支持及实施过程不够完整等不足,提出了雷达装备RCM分析的信息化改进思路。在分析了改进的RCM过程模型基础上,设计出雷达装备维修决策支持系统。以数据的充分利用和模型的合理支持为核心,描述了系统的逻辑全貌。基于分布式网络技术和面向服务软件技术构建了开放式、智能化的系统应用体系构架。原型系统开发结果表明,该方案能充分利用各类有用信息,在相关模型支持下,实现更规范、更快捷、更准确的装备维修分析与决策。 展开更多
关键词 以可靠性为中心的维修 雷达装备 数据流图 维修决策支持系统 应用体系构架
下载PDF
福清市土地开发与管理决策支持系统设计及应用 被引量:11
19
作者 陈崇成 李军 +1 位作者 黄绚 肖桂荣 《资源科学》 CSSCI CSCD 北大核心 2000年第1期40-44,共5页
以福清市土地开发与管理决策支持系统为例,提出了基于数据分析和功能分解的综合应用“3S”空间信息技术的土地管理决策信息系统设计范式和途径。建立了系统的实体- 关系的数据分析模型和相应的数据流和数据库逻辑和物理结构,并利... 以福清市土地开发与管理决策支持系统为例,提出了基于数据分析和功能分解的综合应用“3S”空间信息技术的土地管理决策信息系统设计范式和途径。建立了系统的实体- 关系的数据分析模型和相应的数据流和数据库逻辑和物理结构,并利用设计的系统实现了福清市上迳乡土地变化动态监测更新,并对应用效果和特点亦做了简要评述。 展开更多
关键词 土地开发管理 决策支持系统 福清市 土地利用
下载PDF
城市快速路交通流速度-密度模型研究 被引量:4
20
作者 曹亚康 刘立英 王卫卫 《物流技术》 北大核心 2013年第4期166-169,共4页
通过对北京市三环路的实测交通流数据进行统计分析,建立分相位的城市道路交通流流量、速度和密度相关关系模型。首先根据不同密度下速度分布的标准差和速度跃迁点来确定不同交通流相位的临界密度,然后应用SPSS统计软件分析各个交通流相... 通过对北京市三环路的实测交通流数据进行统计分析,建立分相位的城市道路交通流流量、速度和密度相关关系模型。首先根据不同密度下速度分布的标准差和速度跃迁点来确定不同交通流相位的临界密度,然后应用SPSS统计软件分析各个交通流相位的数据散点分布。研究发现不同车流密度下车辆速度分布标准差明显变化之处为自由流与谐动流的分界点,以及谐动流与同步流的分界点,后者与速度跃迁点一致。根据拟合精度分别给出了各交通流相位的速度-密度关系的最佳拟合曲线,还利用流量、速度和密度之间的关系得到了流量-密度的关系模型。 展开更多
关键词 城市交通 交通相位 基本图 数据拟合 交通流 速度-密度模型
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部