引入微元法思想的混合测控资源联合调度方法

针对混合测控资源联合调度中存在的资源属性繁多、偏好差异大以及可能出现的调度弧段冲突等问题,借鉴单体制测控网调度研究中的任务需求描述方法,对混合测控任务需求的特点进行分析,给出其任务需求的规范化描述。以测控调度收益值最大为目标,建立混合资源联合调度模型;引入微元法思想,提出了可用弧段扩展复用方法,以此为基础提出了基于改进遗传算法的求解策略。仿真结果表明：所建模型和相应的解冲突算法能有效提高测控需求满足率和测控收益。     

区域淡水资源供应的定量研究——以青岛市为例

为了解决水资源短缺,使用了因子分析法、因果预测法、马尔科夫链蒙特卡罗方法、OLS、D-PSE-R的逻辑框架等方法,建立了静态和动态的水资源满足能力评价和因果预测模型,评价并预测青岛地区水资源的现况。同时采用MCMC方法二次证明了因果预测的准确性。综合2种预测方法,预计在不加干预的条件下,未来15年内,青岛将处于水荒状态。     

可满足性理论及应用研究进展

由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所和德国Paderbom大学数学与计算机学院联合主办的第11届可满足性理论及其应用（SA佗008）国际学术年会于2008年5月12-15日在广州隆重召开。这是计算机科学研究领域的一个重要国际学术年会，也是逻辑与人工智能研究领域的一次顶级国际会议。这次会议是首次在欧美之外的地区举办。     

基于DNA自组装模型解决图的最大独立集问题

为了寻找图的最大独立集问题,先利用DNA自组装模型解决可满足性问题,再把最大独立集问题转化为可满足性问题,从而解决最大独立集问题。整个过程只用到凝胶电泳操作,在很大程度上减少了误差。     

基于DNA自组装的全错位排列问题模型

针对全错位排列这类NP完全问题,提出了一种基于DNA自组装的全错位排列问题计算模型。该模型利用了DNA分子间的自组装能力,在具体操作时只用到凝胶电泳技术,在一定程度上减少了实验误差。     

四款全能型Mp4的选择

过了年，许多学生拿到了长辈给的压岁钱．就有了充足的资金来选择一款全功能播放器．让自己的生活变得更加美妙。无论是视频播放还是音乐功能，它们都能更好地让学生朋友打发闲暇时光．同时也随时保持和潮流接轨。全能产品自然有它出色的功能，可满足人们的需求。     

心理信箱

老师:您好!这件事已经困惑了我几个月,到目前为止,仍然不知道如何作出正确选择。事情是这样:我现在读高中二年级,小学到高一,总是班级的前三名,但从上学期开始     

论人的需要在体育发展中的作用

本文从人的需要的角度出发,论述了体育的产生、形成和发展,提出了人的需要及体育对这一需要的满足是体育发展的根本动力的观点,同时也指出了目前我国体育的发展与人的需要之间存在着某种不平衡性,并希望通过正视进而改变这种不平衡性而促进社会主义体育事业的发展。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

一种面向变量传播的弧一致性算法

在AC-3算法的基础上,提出了采用面向变量的约束传播机制新的弧一致性算法(Improved-AC3),算法(Improved-AC3)完全脱离附加的数据结构,使得程序的空间复杂度非常小,也避免了新算法在维护数据结构上的开销,是一种空间复杂度优先的通用弧一致性算法.新算法对于通用弧一致性算法的改进效果是明显的,是对现有弧一致性算法的提高和完善,使其实用性更好,应用前景更宽.