重庆大学软件工程学院
- 作品数：955 被引量：4,009H指数：26
- 相关作者：胡海波陈欣谢军钟明洋袁锐更多>>
- 相关机构：重庆邮电大学软件学院怀化学院计算机科学与技术系重庆理工大学电子信息与自动化学院更多>>
- 发文基金：重庆市自然科学基金国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学经济管理更多>>
- 网格环境下基于属性的访问控制策略合成研究被引量：5
- 2011年
- 为了满足网格环境下资源聚合对访问控制策略合成的需求,达到建立统一的安全策略的目的,提出了一种扩展的基于属性的访问控制(ABAC)策略合成代数来实现安全策略的合成,该合成在策略表达式中引入了环境属性,并结合了一种新的策略合成算子实现访问控制策略的合成。用一个具体的策略合成案例展示了策略的合成,说明策略合成方法有良好的语义表达能力、灵活性以及可扩展性。
- 黄廷森叶春晓胡海波
- 关键词：网格访问控制
- 基于Java技术的应用研究被引量：2
- 2010年
- Java是一种简单的,面向对象的,分布式的,解释型的,健壮安全的,结构中立的,可移植的,性能优异、多线程的动态语言,文章从不同领域对其进行了分析和研究。
- 李杰
- 关键词：JAVA多线程仿真系统
- 对称三进制编码的同态加密算术运算研究
- 2018年
- 全同态加密可以在不泄露明文信息的情况下,支持对密文的任意函数运算并在解密后得到与在明文上执行相应运算一致的结果.全同态加密应用需要先通过编码将待处理的数据编码为明文串,然后将编码得到的明文同态加密为密文并进行密文上的函数运算,再将运算得到的密文进行同态解密,最后将解密结果解码为应用中的数据类型.不同的编码方案对全同态加密应用的效率有较大的影响.本文将对称三进制编码方法应用于全同态加密应用,设计了整数的对称三进制编码算术运算方法.同时,分析了对称三进制编码下的整数加法、整数减法和整数乘法的位乘法深度.设计的整数对称三进制编码算术运算不需要对编码设置符号位,并且按照减少位乘法运算次数和深度的原则对运算过程进行了优化,最后,利用HElib库实现了整数的对称三进制编码下10个比特位的同态加法、同态减法和同态乘法的算术运算,计算期间不需要Bootstrapping过程.实验结果表明,整数在对称三进制编码下的同态算术运算效率优于二进制编码.
- 傅海军蔡斌蔡斌桑军
- 多级安全数据库系统的推理分析
- 2005年
- 介绍了多级安全数据库系统的推理问题,及用于推理的信息来源和方法策略;研究并分析了目前在多级安全数据库系统中推理问题的成果:推理的形式化,数据库设计中的推理控制技术,数据库系统运行时的推理控制方法,以及数据级的椎理控制方法,并指出了各个方法的局限性。
- 杨武李立新文俊浩
- 关键词：多级安全数据库系统控制技术
- 适于高职计算机课程的三段教学模式被引量：5
- 2007年
- 在信息化的今天，传统职业教育培养的计算机人才已不再适应社会的需要，因此，高职院校计算机专业应该根据实际生产的需要，通过专业教学改革，革新专业课程的体系和内容，使学生具有合理的知识结构与较强的应变和开拓能力，培养既有一定理论水平、又有较强实践能力的技能型计算机人才。作为技能型人才培养的指导者，高职院校的教师也应结合新的市场形势，积极改变陈旧的思想观念和行为模式，完成从思想到行动上的切实转变。
- 张杨文俊浩
- 关键词：计算机课程计算机人才专业教学改革教育培养计算机专业
- 基于全对偶算法的自动化测试方法被引量：2
- 2005年
- 自动化测试的关键在于自动生成测试用例并自动选择,其中涉及到参数取值的组合以及对这些组合的取舍和重组.对用全对偶算法实现测试用例生成和选择作了相关论证,提出了自动化测试的假设,结合实例论证了该方法的可行性,经初步测试表明该算法的执行效率是令人满意的.
- 文俊浩朱灿张杨
- 关键词：软件测试测试用例
- 全视图模式下实现决策支持系统的可行性分析
- 2009年
- 传统的决策支持系统大都采用数据仓库与业务数据库分离的方式,利用ETL程序将业务数据抽取到数据仓库中,然后对数据仓库中的数据进行分析。采用这种模式的主要原因在于,不会影响业务系统的运行速度;在业务系统离线的基础上能够进行分析;可以从多个异构的业务系统中抽取数据并加以分析,等等。但是这种模式数据会比业务系统滞后很多,数据不及时的现象比较严重。但随着数据库系统和商务智能系统的逐渐完善,上述问题已经渐渐的不那么严重。本文结合一个实际的例子来论证全视图模式下实现决策支持系统的可行性。
- 张明刚李腾
- 关键词：商务智能数据仓库ETLOLAP
- 高校软件开发项目中的软件过程改进被引量：2
- 2012年
- 针对高校软件项目开发过程无序、软件开发质量不高等问题,建立基于CMM2软件开发流程规范,分析PSP的具体应用实施、TSP与敏捷开发的有效结合方法,探讨在高校实施软件改进的具体措施,为如何在高校软件开发项目中控制软件过程、改进软件质量、培养高素质的软件人才提供新思路。
- 徐玲胡海波杨梦宁张小洪
- 关键词：软件过程改进高校软件项目开发CMMPSPTSP
- 基于邻接关系的空间聚类算法研究被引量：6
- 2003年
- 聚类指的是把数据库里的对象分组成有意义的子集,使得一个聚类内的成员尽可能相似,而不同聚类间的成员差异尽可能大。空闻对象的主要特性受其邻接对象的影响,并且随着距离的增加或减少,影响作用也相应地增加或减少。论文针对相邻空间对象的特性总是相似或相关联的特点,以邻接关系为基础对空间聚类算法进行了分析与研究。
- 文俊浩向宏李立新吴红艳
- 基于多尺度模糊逻辑的小波边缘检测方法被引量：7
- 2005年
- 针对非极大抑制法中由于单一选定阈值所带来的确定性对边缘提取效果的影响,提出了一种新的基于模糊逻辑的图像边缘检测方法,即在不同尺度下实现图像的模糊增强,从而提高边缘检测精度.该方法对图像分别在不同尺度下低通滤波后实施广义模糊增强算法,增强灰度的区域对比度,更好地实现了在大尺度下抑制噪声、在小尺度下精确定位的效果.实验证明了该方法对影子(phantom)边缘的检测有较好的效果.
- 张强劲杨丹张小洪葛永新
- 关键词：边缘检测广义模糊算子多尺度积小波变换
