隐蔽集求解的相关问题分析

SAT命题可满足性问题的隐蔽集作为引导搜索SAT问题的关键决策变量,可以优化SAT问题的求解,成为人工智能方向的研究热点之一。本研究对SAT问题隐蔽集中的若干问题进行研究,分别从隐蔽集的概念、隐蔽集的分类进行全面分析,提出影响求解隐蔽集大小的相关因素,论述隐蔽集的参数复杂性与问题难度的关系。     

一次性求解多个SAT问题

在实际应用中通常需要求解对应CNF（ConjunctiveNormalForm）公式之间仅相差几个子句的一系列SAT（SatisfiabilityProblem）问题,但目前绝大多数SAT求解算法都是针对单一SAT问题设计的。为此,基于DPLL提出了nDPLL算法,并在随机问题上对该算法的效率进行测试。实验结果表明,nDPLL算法能一次性求解多个SAT问题,对于特定范围的CNF公式集具有较高的效率,CNF公式集的规模越大、相近因子越高、子句数和变量数的比值越大,则nDPLL算法的效率越高。     

基于SAT的程序谓词抽象技术研究

软件模型检验面临的难题是状态空间爆炸问题.解决此问题的重要方法是谓词抽象.在传统的反例导向精化方法中,谓词抽象是通过调用定理证明器计算抽象程序,然而计算效率不高,因此引入了SAT求解器计算抽象程序.通过具体迁移关系的布尔公式构造,用SAT计算抽象程序的方法,包括基本块和控制流语句抽象迁移关系的构造,完成基于SAT抽象程序构造方法的优势.实例分析表明,基于SAT的谓词抽象技术是一种构造程序抽象模型更高效的方法.     

云环境下网络感知的虚拟机分配问题的求解方法

提出了一种云环境下网络感知的虚拟机分配问题的求解方法,该方法能求解带有任务优先级和强制任务的最大虚拟机分配问题等5类问题。该方法通过将虚拟机分配问题编码成对应的SAT类问题,并调用现有的SAT类求解器进行求解,可以更有效地解决较大规模的虚拟机分配问题。最后,通过实验验证了本文算法的合理性和有效性。通过与现有算法在以上5类问题中进行对比,表明了本文算法具有更高的求解效率和更大的求解规模。     

水质防垢除垢设备的选用与运行

本文分析了静电除垢仪，电子水处理器及内磁式水处理器选用和运行中应注意的问题，以及它们在性能和安装使用中的差异。     

超立方体上0／1背包问题的并行算法

文中提出了在超立方体计算机上解０／１背包问题的并行算法。如果Ｐ表示超立方体上处理器地的数目，Ｔ是在一个处理器上解决给定问题所需要的时间，那私这一算法的时间特性为）（Ｔ／Ｐ）。     

二级处理出水中DOM在粉煤灰改性SAT系统中的去除

为进一步改善土壤含水层处理(SAT)系统对城市污水处理厂二级处理出水中溶解性有机物(DOM)的去除效果,在传统SAT系统中以不同的混合比例及填充方式加入粉煤灰对其进行改性,并通过紫外254^nm处吸光度(UV²⁵⁴)、溶解性有机碳(DOC)、比紫外吸收值(SUVA)及三维荧光光谱(EEM)技术对二级处理出水中三卤甲烷(THMs)前体物在粉煤灰改性SAT系统中的去除情况进行探讨．粉煤灰改性SAT系统对二级处理出水中的UV254、DOC、SUVA及三卤甲烷生成势(THMFP)的去除效果优于传统SAT系统．粉煤灰添加量的增加能大幅度提高SAT的处理效果,但会影响土壤中微生物的活性,故有效结合粉煤灰的吸附性与土壤层的生物降解作用可提高SAT的处理效果．量化的荧光强度数据表明,粉煤灰改性SAT系统可有效去除二级处理出水中以络氨酸类芳香性蛋白质、腐殖酸及富里酸类物质为主的THMs前体物．     

一种新的并行分类算法

提出一种建立在由独立的处理器构成的计算机网络（例如由Ｔｒａｎｓ－ｐｕｔｅｒ构成的计算机网络）上的并行分类算法，用以解决分布式数据库的分类计算问题。本文基于并行算法应与并行计算的拓扑结构相匹配的思想，设计了一种旨在减小处理器之间通讯开销的网络结构。在这样一种并行计算环境中，每个处理器运行同样的程序，计算负载均匀分布在每个处理器中，因而算法具有高度的并行性。同时这种基本结构还可以灵活地不断扩展，且随着网络的不断扩大，该并行算法的并行加速性更高。     

基于EBE技术三维电磁场的并行计算

阐述了用有限元法求解三维电磁场问题时，基于单元接单元即ＥＢＥ技术的并行共轭梯度法（ＣＧ）和并行对角预处理共轭梯度法（ＤＣＧ）方法。我们的四个处理器的晶体计算机上实现了这两种算法，取得了相对于处理器个数几乎线性的加速比。由于不需存储整体系数矩阵，在很大程度上节省了内存，大大提高了用微机求解电磁场问题的能力。     

充分运用DSP提高学生创新实践能力

本文通过介绍数字信号处理器(DSP)的特点和应用，指出了在高等院校学生实验中引入数字信号处理器的必要性，并且给出了基于数字信号处理器的实验系统构建。     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

FMS中加工质量故障预报的新方法

对引起加工质量故障的原因进行了研究,建立了用于加工中心加工质量故障分析的与/或故障树,提出了隐加工质量故障(FMQF)的概念和由·FMQF 找出制造系统故障的决策树方法.本文在模糊理论基础上,提出了隐加工质量故障识别的新方法,用这种方法可以根据控制图的变化进行设备状态估计.基于以上研究,建立了可用于柔性制造系统隐加工质量故障预测和预报的专家系统.     

立方准晶的反平面问题与Ⅲ型裂纹问题

发展了立方准晶材料的断裂理论 .通过应用Fourier分析和对偶积分方程理论 ,得到了立方准晶材料Ⅲ型裂纹问题的精确解析解 ,并由此确定了位移与应力场 ,应力强度因子和应变能释放率 .结果表明 ,应力强度因子与材料常数无关 ,而应变能释放率依赖于所有的材料常数 .这些为研究此新固体材料的变形和断裂提供了重要的信息 .     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

Genomics,metagenomics,and microbial oceanography—A sea of opportunities

Microbial oceanography is an emerging discipline resulted from the interaction,cross-fertilization and integration of life science and ocean science.Microbial oceanography integrates the principles of marine microbiology,microbial ecology and oceanography to study the role of microorganisms in the biogeochemical dynamics of natural marine ecosystems.The application of genomics tools to study marine microbes is resulting in rapid advancements in microbial oceanography that has important implications in globa...     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.     

Information for Authors

正General Journal of Beijing Institute of Technology(JBIT),an English language journal sponsored by Beijing Institute of Technology,was established in 1992.JBIT mainly publishes research articles that reflect the latest achievements in basic theory and experimental studies in various engineering fields and in applied mathematics,mechanics,physics,chemistry,and so on.JBIT is listed in Ei,CA,SA,AJ,CSA,MR,ZM and many other abstracting indexes.     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.