Bell-LaPadula模型研究综述

下载全文  总被引：1，自引：0，他引：1

对BLP(Bell-LaPadula)模型进行了简单的描述,并从完整性、可用性、灵活性等几个方面归纳了该模型的局限性;讨论了目前国内外针对BLP模型这几个方面的不足进行的相关研究和改进,并进行了总结和展望。  相似文献

刘波  陈曙晖  邓劲生 《计算机应用研究》2013,30(3):656-660

基于语义识别的虚拟装配运动引导研究

下载全文  总被引：19，自引：0，他引：19

目前的虚拟现实交互方式尚难以保证用户在虚拟装配过程中对零件的运动进行精确控制.通过语义识别捕捉虚拟装配过程中用户交互意图,进行装配零部件的运动引导与精确定位,使得用户能够在虚拟环境中自如地、准确地进行装配定位.从装配语义元的空间位置属性匹配、空间方向属性匹配、类型属性匹配与参数属… …   相似文献

刘振宇  谭建荣  张树有 《软件学报》2002,13(3):382-389

安全苛刻系统自动化测试的形式化语义模型

  

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高… …   相似文献

吕江花  马世龙  李先军  高世伟 《软件学报》2014,25(3):489-505

三维芯片制造成本分析

下载全文  

三维芯片由于其集成度高、功耗小、性能好等优点成为未来芯片制造的一种趋势,其制造成本问题成为该技术是否有应用前景的关键.分析了三维芯片的制造成本模型,并通过实验数据得到了三维芯片的成本最优划分方式;然后对多核处理器的二维芯片和三维芯片制造成本进行了对比,证明了在核数较大的情况下三维… …   相似文献

吴际  王高峰  王豪 《计算机应用研究》2012,29(9):3292-3294

基于MB-LBP算子和Multilinear PCA算法的人脸识别

下载全文  

针对运用MB-LBP算法提取的人脸特征维数较高、而直接用MB-LBP算法提取的特征进行人脸识别时计算量较大的问题,提出一种融合MB-LBP和Multilinear PCA算法的新的人脸识别方法。首先利用MB-LBP算法提取人脸图像的特征;然后用Multilinear PCA算法对… …   相似文献

杨海燕  刘国栋 《计算机应用研究》2012,29(12):4733-4735

受启动空间约束的装箱问题

下载全文  总被引：1，自引：0，他引：1

提出了一种带有启动空间的约束装箱问题(start-up bin packing problem,简称SBPP),即不同类型的物品放入同一箱子中需要一个启动空间.该问题在工作分配、任务调度和日常生活中的包装等问题中有着广泛的应用背景.给出了一个求解SBPP的线性脱线算法C-NF,其… …   相似文献

顾晓东  许胤龙  陈国良  黄刘生 《软件学报》2002,13(3):390-397

基于模糊最大散度差判别准则的聚类方法

下载全文  总被引：2，自引：0，他引：2

基于最大散度差判别准则提出了一种模糊最大散度差准则,并根据模糊最大散度差准则提出一种聚类方法(fuzzy maximum scatter difference discriminant criterion based clustering algorithm,简称FMSDC).该方法通过迭代优化方法实现聚类的同时还可以实现特征降维.该方法首先在最大散度差判别准则中引入模糊概念;然后通过具体原则设定模糊最大散度差判别准则中的参数η,从而在一定程度上降低了由参数η引起的敏感性;最后分别根据模糊隶属度μ_ik、最优鉴别矢量ω进行聚类和特征降维.实验结果表明,FMSDC方法不但具有基本的聚类功能,而且具有较好的鲁棒性和较强的特征降维能力.… …   相似文献

皋军  王士同 《软件学报》2009,20(11):2939-2949

最大熵阈值处理算法

下载全文  总被引：16，自引：0，他引：16

阈值法是图像分割的一种重要方法,在图像处理与识别中广为应用.提出了一种基于灰度-梯度共生矩阵模型和最大熵原理的自动阈值化方法.该方法不仅利用了图像的灰度信息,而且也利用了梯度信息,通过计算基于灰度-梯度共生矩阵的二维熵,并使边缘区域的熵最大来选择阈值向量.仿真结果显示,该算法比其… …   相似文献

周德龙  潘泉  张洪才  戴冠中 《软件学报》2001,12(9):1420-1422

基于POSC的油田业务分析与建模方法

下载全文  

通过分析总结国际石油数据模型标准POSC模型的业务域和业务流程的划分方法和描述方法,结合国内油田企业业务特点,以测井解释等业务为例研究其中的油田业务分析与建模方法。  相似文献

王海平  葛珺  王娟 《计算机系统应用》2010,19(3):100-102

一种更有效的K-means聚类算法

下载全文  总被引：1，自引：0，他引：1

一个好的聚类算法不仅要考虑“同类内尽可能的相似,不同类间尽可能的相异”,而且也要考虑算法的时间复杂度。针对K-means算法依赖于初始聚类中心而影响聚类结果,提出了一种基于样本分布选取初始聚类中心的方法;针对K-means算法中每次调整聚类中心后指定聚类所需要的大量的距离计算,提… …   相似文献

单玉双  邢长征 《计算机系统应用》2009,18(8):96-99