首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   61篇
  国内免费   5篇
  完全免费   34篇
  自动化技术   100篇
  2018年   1篇
  2017年   4篇
  2016年   1篇
  2015年   4篇
  2014年   9篇
  2013年   7篇
  2012年   8篇
  2011年   5篇
  2010年   8篇
  2009年   10篇
  2008年   8篇
  2007年   15篇
  2006年   9篇
  2005年   5篇
  2004年   3篇
  2001年   1篇
  1999年   1篇
  1996年   1篇
排序方式: 共有100条查询结果,搜索用时 31 毫秒
1.
基于对象和实例互操作行为模型的工作流研究   总被引:10,自引:1,他引:9  
通过工作流程逻辑领域和活动领域的划分,建立了逻辑领域的过程对象和活动领域的活动实例局部互操作行为模型和全局互操作行为模型,并分别对这两个行为模型内部的互操作逻辑关系进行了分析和研究,从对象和实例集成的角度对工作流的运作机理进行了探讨,为实现工作流模型的扩展和行为活动的复用提供了理论基础。并通过实例对工作流过程对象和活动实例全局互操作行为模型的运作关系进行了阐述和说明。  相似文献
2.
对象互操作的行为模型   总被引:4,自引:0,他引:4  
对象互操作表达了一组对象在完成某一任务时的动态协作关系,对象互操作的行为描述与抽象是支持面向对应互操作的基础,对此提出一种活动模型作为描述对象互操作行为的方法,该方法以一阶时态逻辑为基础,表达了互操作对象之间交换消息的时态顺序和不同活动之间的行为关系,在该方法中,提出了活动特化和活动聚合两种行为抽象机制,实现了对象互操作行为的复用,最后讨论了给定论域的类模式和活动模式的一致性集成问题。  相似文献
3.
基于系统调用的软件行为模型   总被引:3,自引:0,他引:3       下载免费PDF全文
由于系统调用信息可以在一定程度上反映程序的行为特性,因此利用系统调用来对程序行为进行建模是目前入侵检测领域的研究热点。以静态建模、动态建模和混合建模这3种不同的建模方式为切入点,按照时间顺序将基于系统调用的软件行为模型的发展划分为3个阶段:初期阶段、发展阶段和综合发展阶段。然后剖析了各阶段内的模型的发展轨迹以及它们之间的内在联系,并对它们做了横向对比分析。研究表明,基于系统调用的软件行为建模技术的发展趋势应是结合静态和动态建模技术以及结合系统调用的控制流信息和数据流信息,并综合考虑其他实时信息,如环境变量和上下文信息等,开发出检测能力更强、完备性更高以及实际可行性高的软件行为模型。  相似文献
4.
管理信息系统开发中的用户行为及系统开发策略   总被引:2,自引:0,他引:2  
李怡文  刘杰 《计算机工程》2005,31(16):61-63
从系统的观点和分析用户行为要素的角度出发,讨论了在管理信息系统开发过程的不同阶段里不同层次信息用户的行为心理和表现,并进一步提出了相应的系统开发策略。  相似文献
5.
支持协商的网构软件体系结构行为建模与验证   总被引:2,自引:0,他引:2       下载免费PDF全文
周 立  陈湘萍  黄 罡  孙艳春  梅 宏 《软件学报》2008,19(5):1099-1112
针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题.  相似文献
6.
有限状态机在动画角色行为中的建模应用   总被引:1,自引:0,他引:1  
角色行为设计是动画设计的重要环节,也是动画设计的难点。文中提出使用有限状态机来指导动画的角色行为设计,并对有限状态机在动画中的角色行为设计应用作了比较全面的论述。阐述了有限状态机的数学模型,介绍了利用有限状态机建立动画角色行为模型的基本原理。以键盘打字动画中的角色行为设计为例详细介绍了有限状态机建模方法的应用。结果表明,通过使用有限状态机的方法来对动画角色行为建模,能够有效处理复杂的动画角色行为模型,并简化动画的设计。  相似文献
7.
基于Pspice模拟行为模型的光伏阵列建模   总被引:1,自引:1,他引:0  
王章权  张超  何湘宁 《计算机仿真》2007,24(8):225-228,240
根据光伏电池物理机制的数学表达式,利用Pspice仿真软件的模拟行为模型构建光伏电池的Pspice仿真模型.在此基础上,通过分析光伏阵列和光伏电池的关系及电路等效变换,建立任意功率级的PV仿真模型.该模型可以仿真任意太阳光照强度、环境温度、光伏模块参数及任意个光伏电池串并联组合下光伏阵列的I-V 、P-V特性.实验和仿真结果表明,仿真模型的输出特性与实际电池的输出特性基本一致,能较好体现光伏阵列的输出特性.模型的建立为光伏发电系统的动态仿真提供了有效的模拟输入电源.  相似文献
8.
基于行为模型的IP Forwarding异常检测方法   总被引:1,自引:0,他引:1       下载免费PDF全文
郭琳  张大方  黎文伟  谢鲲 《计算机应用》2006,26(3):564-0566
通过研究网络流动态特征,基于路由变化、流变化和包延迟,以及IP报文头信息(例如TTL、源/目的地址、报文长度和路由器时间戳)建立网络行为模型,通过高性能测量和在线分析网络流和路由信息对初始网络异常产生实时报警,实现了IP forwarding网络异常的有效检测和识别。定义了网络行为模型的五种功能模块,通过关联空间和时间状态信息检测识别网络异常为大范围监测网络提供强大支持。  相似文献
9.
虚拟计算环境中服务行为与质量的一致性   总被引:1,自引:0,他引:1       下载免费PDF全文
胡昊  殷琴  吕建 《软件学报》2007,18(8):1943-1957
提出了一种用Petri net对服务行为和服务质量进行统一建模的框架.基于该框架所提出的统一的服务行为和服务质量的一致性规则可以在服务的查找和替换中综合判断服务行为和服务质量的一致性.自行开发的SOBECA(service-oriented, behavior and capability support architecture)中间件系统在现有的Web服务标准上增加了服务行为和服务质量的描述,可以更好地自动化支持服务行为和服务质量的一致性检查,同时也验证了上述框架的合理性.  相似文献
10.
面向CPS系统仿真的建模方法研究与设计   总被引:1,自引:0,他引:1       下载免费PDF全文
CPS仿真建模在构建CPS系统时具有重要意义,不仅能够在系统开发过程中对系统进行验证和测试,而且是模型驱动开发中的重要环节。CPS系统通过精化和提炼可分为物理实体和计算实体,采用具有动态连续性、基于时间的运动状态行为模型构建物理实体;计算实体模型则采用基于有限状态机的离散系统行为模型进行构建。通过面向时间的状态精化对两种行为模型进行扩展,将两种扩展模型进行融合,完成CPS系统的建模仿真。分析了构建计算实体模型的统一建模语言(UML)以及构建物理实体模型的simulink/RTW建模工具的可行性,提出了基于UML框架的两种异质模型融合方法。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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