【摘 要】
：
电子机构是人类机构代理的副本,为提供支持、信任和合法性商业应用而具体设计。它是以网络为基础的,一种虚拟的管制环境,然而在现有的研究中,并没有实现电子机构基于角色的访
论文部分内容阅读
电子机构是人类机构代理的副本,为提供支持、信任和合法性商业应用而具体设计。它是以网络为基础的,一种虚拟的管制环境,然而在现有的研究中,并没有实现电子机构基于角色的访问控制。本文根据电子机构的基本概念,提出了电子机构基于角色的访问控制模型,并从系统权限、身份认证以及访问控制的角度,研究电子机构的安全性。描述了重写逻辑Maude工具建模的方法和过程。最后,用重写逻辑Maude工具实现了网上购物系统的登录身份认证。
其他文献
VC＋＋在实现矩阵运算、数值分析、工程计算等方面比较复杂，应用VC＋＋与MATLAB混合编程方法可以充分发挥VC＋＋和MATLAB各自优势，提高仿真和开发效率。着重介绍了利用组件对象模型（COM）技术
ADO.NET是为WEB应用程序中的数据库处理而专门设计的,通过对其对象模型和WEB数据库访问模型的分析,给出了一种基于ADO.NET的WEB数据库访问中间件的实现方法,使用该方法可以简
2011年12月27日，装载着国内首台NGL再生铜冶炼炉设备的拖车，缓缓驶出山东恒成机械制造厂厂区。据悉，这台成功下线的总重量达260余t的NGL炉，创下了国内再生铜冶炼行业机械设备加工
PageRank是Web主题检索最成功的算法之一，但它同时也存在一些问题。PageRank算法仅仅考虑了Web的链接结构，并没有考虑链接所携带的内容信息。针对这种情况，本文提出了根据链接临
合理的资源调度算法可以在很大程度上提高网格系统的有效利用率。在网格环境中,用户希望自己的任务尽可能快地得到完成,而网格环境则希望尽可能充分地利用所有资源。针对这种
从分析城市道路网地理相关性特征入手,研究利用道路网的空间特性信息来解决道路网中两点间的最短路径问题。通过建立体现道路网空间特性的数据模型,根据两点间直线距离最短的原理,提出一种道路网两点间最短路径的算法,利用VC++进行了算法实现和最短路径的可视化显示。实验结果证明:利用空间特性信息可以有效地减少最短路径的搜索花费,同时算法的实现和最短路径的可视化不须依赖地理信息系统平台,具有较好的可移植性和实用
本文在分形理论的基础上,结合Diamond-square正方形细分算法,设计并实现了三维地形交互生成系统;结果表明本算法生成速度快,且只需输入几个简单的地形参数即可生成不同的地形。
提出一种确定RED控制测度与网络性能耦合关系的方法。通过限定范围内调变多维控制测度的重复场景仿真方法,获得RED队列模型控制测度对同构网络的影响曲线,甄选线性代数数学模
从保持织物图形图案的连续性和完整性出发,提出一种针对织物图形图案设计的纹理合成方法。在建立纹理边界结构信息图的基础上,利用结构相似性算法进行纹理合成,从而解决了纹理合成时出现纹元紊乱的问题,弥补了单纯考虑颜色误差的不足,保证了织物纹理间结构信息的连续性,从而更好地保证了纺织品的印花图案在视觉上的连贯性。
大数据量的网络传输速度和空间信息的分布式处理效率成为影响WebGIS系统性能的关键因素。缓存技术是改进系统性能的关键技术。针对胖客户模式、瘦客户模式存在的不足,提出一种适用于电网可视化管理系统的混合缓存模式,即通过运用服务器缓存和客户端缓存技术,在服务器端基于地图缓存和无状态的池式服务,在客户端采用内存缓存,提高用户请求响应用速度。实验表明,这种模型可以减少数据的网络传输量,提高空间数据的存取效率