排序方式: 共有23条查询结果,搜索用时 328 毫秒
11.
本文讨论了企业信息安全解决方案。从身份验证和存取控制、消息发布和工作流、电子商务、安全管理和任务控制管理、开发启用安全性的应用等五个方面论述企业网络的安全体系结构。 相似文献
12.
在本文中我们探索如何将统一建模语言(UML)与由国际电信联盟(ITU)标准化了的规格与描述语言(SDL)结合在一起使用.在研究中,我们发现SDL用户可以从UML中获得益处,同样UML用户也可以利用SDL的优点.特别是对于实时系统的开发,我们应当用UML进行系统的需求分析,使用SDL进行系统设计. 相似文献
13.
14.
在连续的数据流上提供查询的应答对很多应用环境来说是一个极为重要的需求。本文主要探索了如何使用有限的内存在数据流上进行聚集SQL查询,以获得近似的结果。使用随机草图技术,计算非常小的数据流草图,以获得泉集查询的近似结果,并保证误差能在一定的范围之内。并讨论了.在草图方法中如何利用已有的直方图统计信息来提高应答的质量。其关键的思想就是对属性域进行智能化的划分,分解草图化问题,确保所获得查询的结果具有合适的近似精度。不论从理论还是实验上都可以证明草图提供的聚集查询结果比传统的直方图更有效、更精确。 相似文献
15.
在网上电子市场要对电子谈判提供有效支持是非常重要的需求,然而目前对电子谈判媒体设计的研究很少。本文构建了电子谈判媒体进行设计与实施模型。在此模型下.能够在概念级上对谈判方案进行设计.能对电子谈判的过程和特性进行形式化描述,确保各谈判伙伴对谈判相关的问题作相同的理解;能够对谈判方案的设计与选择提供足够的支持,能将可重用的谈判支持组件与具体的设计结合在一起。 相似文献
16.
在线分析处理(OLAP)是数据库系统的最新、最重要的应用。OLAP的数据一般称作多维“数据立方体”,在大多数商品化的OLAP系统中,先精选出需要预计算的总结表,然后在它们上面选择合适的索引。使用试探法将可用空间划分成总结表和索引各自需要的空间。由于总结表和索引都要消耗相同的资源──存储空间,应当将它们做得相互紧密一些,才能最大限度地提高空间的利用率。在本文中。我们提供这样一个算法,它能够自动地选择总结表和索引。算法的复杂度越高,其性能就越优越。由于复杂度太高也会影响性能的提高,为此我们提出一个适度的复杂度的算法,使其接近理想状态。 相似文献
17.
电算化会计系统的实际作用在于它能够简明快速地将当前的最新会计数据转换成“有用”的信息,为经营管理决策提供依据。通用集成电算会计系统能在以下方面帮助中小型公司:1.提高员工的工作效率以节省时间。2.节省资金提高利润。3.获得更好的财务金融控制。4.提高现金流量。5.能跟踪利润率,提高收入。6.增强公司专业形象。 相似文献
18.
19.
基于UML和Petri网的用户界面原型的研究 总被引:2,自引:1,他引:1
1 引言众所周知,概要是理解需求和分析人机交互最有效的方法。一个典型的基于概要的需求工程有两个主要的任务。一是生成描述系统行为的概要规格说明;二是用户通过仿真和原型开发来验证概要的有效性。如果没有支持这项工作的自动工具,这仍然是一件费时乏味的工作。在开发早期的阶段,快速原型开发非常有效,因而得到了普及和广泛的使用。最近,虽然用户界面原型开发工具都有了很大的改进(如UI builders和UI管理系统),但用户界面的开发仍然是一个费时的工作,因为必须建立每一个UI对象,并准确地安置它们,而且每一个对话规格说明还要通过编程(如UIbuilders)或专门的语言(如UI管理系统)加上去。本文为需求工程提供一种基于统一建模语言(UML)和着色Petri网的用户界面开发方法。它是一个交互式过程,分四步进行,只需要有限的人工干预就 相似文献
20.
基于Petri网的RBAC策略验证的研究 总被引:5,自引:1,他引:5
本文为RBAC模型提出了一个基于着色Petri网的策略规格说明和分析的架构.Petri网能够捕获基数、责任分离等约束,而且能对优先和依赖约束进行说明、使用Petri网的可达到性分析技术对RBAC策略进行正确性验证. 相似文献