首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   22篇
  免费   3篇
  国内免费   6篇
综合类   1篇
无线电   6篇
自动化技术   24篇
  2021年   1篇
  2019年   1篇
  2018年   2篇
  2016年   1篇
  2015年   1篇
  2012年   1篇
  2011年   3篇
  2010年   5篇
  2009年   6篇
  2008年   3篇
  2007年   2篇
  2004年   3篇
  2002年   1篇
  1995年   1篇
排序方式: 共有31条查询结果,搜索用时 15 毫秒
1.
通过对数字化校园网络应用传统统一身份认证和资源访问控制机制不足之处的分析,提出了一种基于Web服务的统一身份认证系统模型,并采用基于票据的集中式架构,以跨域Cookie共享为核心来完成用户的登录、认证和权限控制。实例证明,此方案可以方便的将分散网络节点加入认证体系,完成网络节点单点登录和资源访问控制问题。  相似文献   
2.
任胜兵  吴斌  张健威  王志健 《计算机应用》2016,36(10):2806-2810
针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大,直接影响验证的效率和准确率的问题,提出一种基于可满足性模理论(SMT)求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式,构造无循环控制流图(NLCFG);然后通过基本路径法对控制流图(CFG)进行遍历,提取基本路径信息;最后利用SMT求解器作为约束求解器,将路径验证问题转化为约束求解问题来进行处理。与同样基于SMT求解器的路径验证工具CBMC和FSoft-SMT相比,该方法在对测试集程序的验证时间上比CBMC降低了25%以上,比FSoft-SMT降低了15%以上;在验证精度上,该方法有明显的提升。实验结果表明,方法可以有效解决路径搜索空间过大的问题,同时提高路径验证的效率和准确率。  相似文献   
3.
4.
引入正向、逆向Markov一步状态转移概率矩阵构造序列数据库,并将逐层投影的PrefixSpan序列挖掘算法改为伪投影和隔层投影算法结合,以改进经典序列算法中存在的时间或空间开销太大的缺陷。性能分析表明,与经典算法相比,这种基于Markov链的Web访问序列模式挖掘新算法能够通过较少的计算量和空间复杂度获得较优的Web访问序列模式。  相似文献   
5.
目前大多数软件演化操作的描述方法缺乏明确的语义,可扩展能力和描述能力较差。针对这些问题提出了一种结合谓词逻辑的软件演化操作语言SEOL(Software Evolution OperationalLanguage)。在Eclipse插件开发环境下,根据插件的开发机制,设计并实现软件演化操作的编辑器。该编辑器具有一定的语法检查功能,为演化操作分析和运行的实现打下基础。  相似文献   
6.
基于事件序列的用例描述形式化及分析   总被引:4,自引:0,他引:4  
针对用例描述,提出了基于事件序列的轻量形式化定义。对于由包含、扩展或泛化关系构成的复合用例,构造了相应的算法确定其对应的事件序列,并证明了任意一个无关联环的复合用例均可通过这些算法确定对应的事件序列表达式。在形式化定义基础上,可进行用例描述间关联的正确性分析及语义等价分析。  相似文献   
7.
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.  相似文献   
8.
基于概率影响图的软件体系结构安全风险分析*   总被引:1,自引:0,他引:1  
针对传统安全分析方法过于复杂的问题,提出将概率影响图引入体系结构的安全性风险分析中。该方法首先基于用例识别出系统功能故障,建立以系统安全性为目标节点的初级影响图;再对系统功能故障进行分解,确定各构件功能故障模式,并从构件内部失效及输入失效两方面进行考虑;最后根据这些事件的相关性建立从系统安全风险到构件失效的概率影响图,并开发了相应的基于概率影响图的辅助分析工具。  相似文献   
9.
任胜兵  陈军  谭文钊  左兴 《计算机应用研究》2021,38(11):3387-3392,3397
软件缺陷的存在导致软件无法满足用户的需求,如何高效高质量地定位缺陷是消除软件缺陷的关键.基于模型的缺陷定位技术是当前的研究热点,可以用于检测软件系统故障找到软件失效的原因.现有基于模型的缺陷定位技术中,未考虑非相邻节点间传递依赖和测试用例对可疑度的影响,导致缺陷定位精度和效率低.提出了基于概率模型检测的软件缺陷定位方法(probabilistic model checking method for software fault location,PMC-SFL),首先提出一种程序概率模型用于提高模型的推理能力;然后设计了基于执行路径构建程序概率模型的学习算法;最后设计了基于概率模型检测的软件缺陷定位算法,用于缺陷定位分析.通过在公共数据集Siemens上进行实验和分析,表明了PMC-SFL方法与五种现有的缺陷定位方法RankCP、BNPDG、Tarantula、SOBER和CT相比,具有更高的软件缺陷定位精度和效率.  相似文献   
10.
本文分析了基于SystemC的片上网络软件仿真平台。我们以NIRGAM模拟器为例,实现并评估了JPEG编码器和XYYX路由算法,体现了NIRGAM软件模拟器方便的扩展能力及性能评估能力。实例表明,片上网络采用软件模拟提供了更灵活的实验方式,缩短了设计和验证的周期,有利于培养创新能力。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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