基于角色访问控制管理模型的安全性分析

在基于角色的访问控制管理模型中,采用安全查询来描述系统安全策略,引入状态变换系统定义基于角色的访问控制管理模型及其安全分析,用图灵机理论和计算复杂性理论进行安全分析.将安全查询分类为必然性安全查询和可能性安全查询,证明了必然性安全查询和与状态无关的可能性安全查询能在多项式时间内被有效解决,给出了满足NP-完全问题的可能性安全查询的条件,而一般的可能性安全查询是不可判定的.     

DNA计算的原理及研究进展

阐述了DNA计算的机理及其数学原理,介绍了Adleman实验,指出了DNA计算目前的应用领域和存在的问题,并对DNA计算的发展前景进行了展望。     

紫木凼金矿矿石工艺性质研究

紫木凼金矿石是黔西南地区较典型的难处理金矿石。矿石工艺性质研究的重点是查明金矿物在矿石中的赋存状态、嵌布粒度等工艺特性；同时，对矿石物质组成，特别是对选冶工艺有害成分的矿物也进行了系统研究。该研究的主要目的是为原矿沸腾焙烧一氰化提金工艺试验提供依据。     

桐柏银矿低品位锌精矿再选的研究及应用

桐柏银矿试生产期间产出的大量低品位难选锌精矿,经过试验和生产实践,实现了银、锌分离,产出了合格的银精矿和合格的锌精矿,锌精矿中SiO2含量小于4.0%,阢含量小于1.0%,经济效益显著.     

金的生物冶金发展

生物冶金是一种细菌作用与湿法冶金相结合的新工艺。生物氧化预处理工艺为难处理金矿提供了可持续发展路线。本文介绍了金的生物冶金原理;综述了国内外生物浸金的发展;并指出生物冶金研究和发展过程中亟待解决的问题。     

广西贵港高砷浮选金精矿微波预处理试验研究

对微波加热时间、微波场中添加剂的种类及用量进行了试验研究,结果表明微波预处理方法对该浮选金精矿有效,能显著提高金的氰化浸出率。     

微生物群落在难降解物质生物降解中的作用

分析了微生物群落在难降解物质生物降解中的重要作用．指出微生物群落可通过协调利用底物、共代谢污染物质、转移中间代谢物质等途径对难降解物质进行降解．但要获得高的去除率需对微生物群落进行优化，提高群落整体代谢活性，一般考虑成功驯化、合适的初级基质、充足的营养物质、有效的微生物群体结构等优化因子．厌氧、厌氧-好氧、限氧产甲烷系统是能对难降解物质进行有效降解的3种生态系统．     

图的顶点着色问题的DNA算法

图的顶点着色问题是指无向图中任意两个相邻顶点都分配到不同的颜色,这个问题是著名的NP-完全问题,没有非常有效的算法.但在1994年Adleman^[1]首次提出用DNA计算解决NP-完全问题,设计出一种全新的计算模式—模拟生物分子DNA的结构并借助于分子生物技术进行计算,使得NP-完全问题的求解可能得到解决.本文首先提出了基于分子生物技术的图的顶点着色问题的DNA算法,算法的关键是对图中的顶点和顶点的颜色进行恰当的编码,以便于使用常规的生物操作及生物酶完成解的产生及最终解的分离,依据分子生物学的实验方法,本文提出的算法是有效和可行的;其次指出了该算法的优点、存在的问题及将来进一步的研究方向.     

另辟蹊径求解工厂作业调度问题

为了找到一种求解工厂作业调度问题的好方法,文章首先阐述了拟物法的思想,紧接着在此思想上提出了前沿沉底法,并根据前沿沉底法对相关算法经过反复的测试后,终于找到了一种求解工厂作业调度问题的实用快速算法.此算法的提出,对于解决NP难相关的问题有很好的借鉴意义.     

正则无析取缺省理论

知识表示和推理一直是人工智能领域中的一个非常重要的研究课题。早在1958年，McCharthy就提倡用逻辑方法来研究知识表示和推理以达到人工智能的目的。Reiter的缺省逻辑就是最有效的工具之一，这是因为它能够很好地刻画和处理不完全信息下的推理。然而，缺省逻辑并不是完美无缺的。首先，有的缺省理论没有扩充。这样的缺省理论是没有意义的。其次，缺省推理具有高难度。在一般情况下，缺省推理处在复杂性分层的第二层上。即使对于disjunction-free缺省逻辑，它的复杂性也是NP-完全的。