首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   5篇
  国内免费   1篇
  完全免费   3篇
  自动化技术   9篇
  2011年   2篇
  2010年   2篇
  2009年   1篇
  2007年   1篇
  2006年   1篇
  2003年   1篇
  2001年   1篇
排序方式: 共有9条查询结果,搜索用时 31 毫秒
1
1.
一个通用报表工具的设计与实现   总被引:13,自引:3,他引:10  
在应用系统的开发中,各种各样的报表是系统的重要组成部分。这些报表的制作是一项复杂而繁琐的工作,因此通用的报表工具对系统开发具有重大的意义。详细阐述了一个通用报表工具(EMReport)的设计和实现,提出了一个抽象报表模型,最后概括了报表工具的主要特点,介绍了报表工具在工程领域和商业领域中的实际应用,证实了该报表工具的通用性。  相似文献
2.
面向服务的多参与者协调事务建模方法   总被引:1,自引:0,他引:1       下载免费PDF全文
为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性。  相似文献
3.
基于描述逻辑的数据挖掘元数据的一致性检验   总被引:1,自引:0,他引:1  
针对目前数据挖掘元模型DMM的自然语言和图形化方式缺乏精确的语义,基于DMM的数据挖掘元数据集成中的冲突问题难以发现,提出一种描述逻辑家族的形式逻辑DLRDM,给出DLRDM的语法和语义,使用DLRDM形式化数据挖掘元模型和元数据.证明DLRDM上的推理问题可以规约到ABox上的一致性检验问题.利用描述逻辑推理引擎RacerPro,对基于DLRDM的数据挖掘元数据进行推理检测以发现不一致信息,结果表明DLRoM在处理数据挖掘元数据一致性检验问题上的正确性与有效性.  相似文献
4.
我公司在 1988年从德国SEN公司引进一套每分钟灌装 1 2 5L、12 0瓶的饮料灌装线 ,后为了提高生产能力 ,要求灌装速度提高到 2 0 0瓶 /min ,结果经常产生倒瓶 ,瓶中饮料溢出等一系列问题 ,无法正常运行。经过对灌装线的控制系统分析 ,我们采用变频控制器对控制系统进行改造 ,使生产线重新正常工作。1 灌装线流程及控制方法1.1 灌装线的构成灌装线主要包括灌装机、旋盖机、输送带及相关控制装置组成。设备布局示意图如图 1所示。图 1 设备布局示意图1.2 灌装工艺要求①饮料瓶是用PET材料制成的 ,饮料灌满后瓶子软 ,不能互相冲撞…  相似文献
5.
构建了公路路政管理综合评估模型,提出了利用层次分析法对模型进行分析,确定模型中各指标权重,并依据该模型开发的相应软件计算出评估结果。软件运行结果证明了该评估模型的科学性和有效性。  相似文献
6.
7.
当前许多工程领域产生大量高速实时的流式数据,基于流式数据的关联规则挖掘应用广泛,与传统的静态数据相比,流式数据上关联分析面临极大的资源挑战。提出了流式数据上关联规则的形式化定义和基本挖掘算法,系统地回顾了近年来流式数据上关联规则挖掘的研究进展,详细分析了目前挖掘算法研究中存在的主要问题和解决途径,阐述了未来的研究方向。  相似文献
8.
外汇及资金清算业务是现代商业银行的主营业务之一,而外汇及其资金清算的业务开展必须依赖于SWIFT报文系统。本文通过对SWIFT系统在我国商业银行的使用现状及发展需求,按照服务性、可靠性、可扩充性等原则设计报文系统的功能架构和系统架构,为商业银行的报文通信渠道及清算体系的整合提供全面的解决方案。  相似文献
9.
模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTS元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL对MARTS元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MAR"I'E模型到价格时间自动机模型的转换;最后通过形式化工具UPPAAL对模型转换结果进行形式化验证。实例分析表明了该方法的可行性与有效性,它能够提高实时软件资源建模的可信性。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号