论文部分内容阅读
本文对办公自动化系统安全模型进行了研究。文章对办公自动化系统基本元素进行了分析；阐述了办公流程(工作流)；介绍了典型安全模型。
办公自动化系统安全模型研究
【摘 要】
：
本文对办公自动化系统安全模型进行了研究。文章对办公自动化系统基本元素进行了分析；阐述了办公流程(工作流)；介绍了典型安全模型。
【机 构】
：
解放军理工大学通信工程学院,南京,210007
【出 处】
：
2004年全国理论计算机科学学术年会
【发表日期】
：
2004年6期
其他文献
在人工智能领域内,博弈是很重要的一个研究分支.通过对博弈的研究,可以解决很多实际问题,使电脑智能向人类智能迈进一大步.1997年,世界头号国际象棋大师卡斯帕罗夫与IBM的超级计算机"深蓝"较量后不得不俯首称臣,让人脑第一次尝到了在电脑面前失败的滋味.博弈理论在这场人机大战中起了关键性的作用.博弈理论已被用于很多棋类游戏的设计中.本文以五子棋问题为例,讨论了一个基于博弈树的五子棋算法及其具体实现,在
基于案例推理(Case-BasedReasoning简称CBR)是近十几年来人工智能中发展起来的,有别于基于规则推理的一种新的推理模式,它是指借用已有的事例或经验来解决新问题,评价解决方案,解释异常情况或理解新情况.采用基于规则的人参病虫害专家系统存在系统难于维护,系统不会学习,维护耗时,知识难于获取和推理脆弱性等问题,而CBR在进行问题求解时,使用以前求解类似问题的经验进行推理的方法,其核心在于
离散数学是研究离散量的结构及其相互间关系的一门学科,是计算机科学的数学基础.集合论中的有关关系的研究在计算机科学中得到了广泛的应用.关系的各种闭包运算实际上是获得具有良好性质的关系的方法,而由关系矩阵直接判断关系的传递性、求解关系的传递闭包是一个经常碰到但又不容易解决的问题.
感知器(perceptron)是由美国学者F.Rosen-blatt于1957年提出的,其目的是为了模拟人脑的感知和学习能力.感知器是最早提出的一种神经网络模型,是一个具有单层神经元的网络,网络的激活函数是线性阈值单元.原始的感知器算法只有一个输出结点,相当于单个神经元.早期的研究人员试图用感知器模拟人脑的感知特征,但后来发现感知器的学习能力有很大的局限,如只能对线性可分的输入向量进行分类,以致于
应用热动力学最小自由能量方法从RNA序列预测其二级结构起始于Tinoco等人,Zuker将动态规划算法用于复杂的Tinoco模型,设计了Mfold算法,算法的时间复杂度为O(n3).Mfold算法不允许伪结点存在,但伪结点在几种已知RNA中具有重要功能.包含伪结点的RNA二级结构预测问题是NPC问题.Rivas与Eddy提出了简化的包含多个伪结点的热动力学模型,并首次相应的多项式时间算法,算法的时
最短路径问题一直是计算机科学、地理信息学、交通工程学等学科的一个研究热点.在关于最短路径算法的各种研究中,能取得比经典Dijkstra算法好的结果却很少.在Dijkstra算法以后提出的很多最短路径算法研究文献都愿意与Dijkstra算法进行对比,本文也不例外.Dijkstra算法复杂度为O(n2).通过扩展编码路径视图结构,给出了一个支持最短路径查询的层次模型,但在算法中需要进行一定的预先计算,
在计算机软件开发领域,多年的经验积累得出这样的结论:在软件过程中软件测试占有最大百分比的技术工作量.并且伴随着软件功能的极度提高和软件规模的扩大,这种趋势还在加剧.为此科技人员作了大量的研究工作,无论是在传统的生命周期方法学中,还是在面向对象方法学中,已经研究出了一系列比较成功的软件测试技术.本文通过与传统的生命周期方法学以及面向对象方法学的比较，对嵌入式实时系统的特点作了综合描述。针对嵌入式实时
按照通常的观点,软件由程序和文档两部分构成,文档的检测涉及太多的非技术的因素,而目前在软件测试性计算的文献中多把程序测试性和软件测试性当作同一概念,借用此观点,这里所讨论的软件的功能验证,也就是程序的功能验证.程序的正确性验证包括两个方面的问题:一是在准确给出程序的功能的情况下,对给出的功能一一验证;二是在没有准确给出程序功能的情况下,看给定的程序可以完成哪些功能.前者是功能验证,后者是功能检测.
软件测试是保证软件质量、提高软件可靠性的关键.目前国内外传统的面向功能或面向过程的测试理论与方法已经较为成熟.以Weyuker的测试充分性公理系统为基础形成了较为一致的测试层次划分法:单元测试、集成测试、系统测试.20世纪80年代以来,面向对象的技术以其良好的系统结构,规范的编程风格,极大地优化了数据的安全性,提高了代码的重用率.使得面向对象技术的应用日益广泛,并且正向软件开发的全过程发展.但是一
本文对基于角色访问控制在舰载分布式处理系统中的应用进行了研究。文章阐述了舰载指控系统发展的主要方向；对访问控制进行了概述；对RBAC模型构件进行了分析；介绍了RBAC实现过程。