共查询到20条相似文献,搜索用时 328 毫秒
1.
2.
连通环境下联网系统的智能控制与管理问题 总被引:1,自引:0,他引:1
王飞跃 《模式识别与人工智能》2004,17(1)
本文提出基于代理控制的方法以解决连通环境下联网系统的智能控制与管理问题.这一方法的基本思想是利用网络资源和移动代理编程技术,将"按需求进行编程"转化为"按需求进行控制",从而实现联网系统的低成本、高性能、高智能的运行和管理.从控制理论的角度来看,这一方法的实质是将控制算法转化为控制代理,将依附于被控系统的被动集中式算法解放为自由于网络系统的主动分散式代理,进而为建立网络时代的新的控制体系提供了一条途径.本文还讨论了"当地简单、远程复杂"的联网系统控制器设计原理和对应的模糊神经元网实现方法. 相似文献
3.
4.
本文提出一种基于J2EE架构的SQL执行器的设计与实现方案,为了实现该设计方案的可扩展性及可伸缩性,在设计过程中使用了一些设计模式,如代理模式、Singleton模式、简单工厂模式等,本文就以上设计模式在SQL执行器设计中的应用作了较为详细的介绍。另外,本文还提出了一种解决全局事务处理控制及采用连接池技术解决数据库并发访问性能与控制数据库连接数的解决方案。 相似文献
5.
6.
在本文中我们探索如何将统一建模语言(UML)与由国际电信联盟(ITU)标准化了的规格与描述语言(SDL)结合在一起使用.在研究中,我们发现SDL用户可以从UML中获得益处,同样UML用户也可以利用SDL的优点.特别是对于实时系统的开发,我们应当用UML进行系统的需求分析,使用SDL进行系统设计. 相似文献
7.
8.
本文探讨了基于UML和Rational Rose的CBD技术,CBD是一种面向复用、基于构件的软件开发模式,但是长久以来这种模式很难找到一个合适的开发软件。通过研究我们发现使用UML和Raitional Rose可以很好的实现这项技术,最后举了一个详细的CBD建模实例。 相似文献
9.
应用层多播作为一种新兴的多点数据传输模式,其拥塞控制机制却仍未提出一个成熟有效的方案,这成为了限制其广泛应用的一个瓶颈.提出一种流媒体代理多播系统,数据传输过程中采用基于客户端和基于代理的双层拥塞控制模型,最后实验证明该拥塞控制模型可以使系统充分利用网络带宽,提高了视频服务质量. 相似文献
10.
王行哲 《数字社区&智能家居》2007,(24)
提出一种从XML Schema到UML类图的转换规则和算法,该方法将逻辑层的XML Schema模式文档映射为自定义的逻辑层UML类图,然后以图形化的概念层UML类图表现出来,从而有利于用户对XML模式文档的理解。本文的工作基本包含了XML Schema的各个方面,并给出了实现这一方法的工具。 相似文献
11.
12.
基于UML的指挥控制软件开发建模研究 总被引:14,自引:1,他引:14
指挥控制是C3I系统的核心功能,指挥控制软件的开发是C3I系统开发的关键。应用UML对指挥控制软件进行开发,能有效地增进各类人员之间的交流,提高软件的一致性和可重用性,并降低风险。该文首先简要介绍了UML技术及其在开发应用程序中的一般框架,并以此为依据,使用UML对指挥控制软件开发进行建模,给出了基于UML的指挥控制软件的分析阶段描述。 相似文献
13.
通过基于统一建模语言(UML)对安防监控系统的分析与设计,从整体上建立了系统模型。在介绍了UML和安防监控系统结构的基础上,着重阐述了运用UML在用例分析、动态分析与设计、静态设计等不同阶段,通过用例图、协作图和类图描述系统的方法,以及通过基于UML对安防监控系统的分析与设计,实现了系统结构和功能的直观展示,提高了软件的设计和实现的效率、质量、维护性和扩展性。 相似文献
14.
15.
16.
软件系统建模人们习惯于系统需求、结构、部署建模,而把安全作为系统建立后的补充。文章通过学生成绩管理系统来描述,讨论如何扩充UML图素、引入VBAC描述角色与授权之间的关联,产生XACML描述的访问控制策略,使软件系统UML建模与系统安全建模集成。 相似文献
17.
软件系统建模人们习惯于系统需求、结构、部署建模,而把安全作为系统建立后的补充。文章通过学生成绩管理系统来描述,讨论如何扩充UML图素、引入VBAC描述角色与授权之间的关联,产生XACML描述的访问控制策略,使软件系统UML建模与系统安全建模集成。 相似文献
18.
DPMAS:一种多主体系统设计方法 总被引:1,自引:0,他引:1
提出一种多主体系统设计方法DPMAS。首先,该方法以对象作为主体实现的基础,以UML作为基本的建模语言,保证了与面向对象方法的延续性。同时,该方法提供了新的图来表示多主体系统中的知识模型和主体间交互模型,并对UML符号进行了一些改进以表示主体特有的概念。 相似文献
19.
UML状态机的形式语义 总被引:18,自引:1,他引:18
许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制--状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明.为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotk 相似文献
20.
基于UML活动图的测试研究进展 总被引:2,自引:0,他引:2
UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模.基于UML活动图的测试受到业界的普遍欢迎.然而从UML活动图自动生成完整的测试场景\用例成为一个难点.本文对基于UML活动图的测试进行了比较分析,总结了几种从UML活动图生成测试场景\用例的方法及其使用的算法,即反蚂蚁Agent方法、灰盒方法、自适应细菌Agent方法和系统的形式化方法.对这些方法进行了分析与比较,指出一些不足之处.最后对UML活动图测试的发展趋势做了一些展望. 相似文献