Unique-MU(2)和SYM-MU(2)的结构和复杂度

SAT问题(可满足性问题)是计算机科学的核心问题,研究问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 文章主要利用,(1,*)-消解和分裂方法研究了差为2的唯一极小不可满足公式集(Unique-MU(2))和差为2的对称极小不可满足公式集(SYM-MU(2))的结构和复杂度.     

HIT—MU（2）的结构和复杂度

SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 本文主要利用1(,)*-消解和分裂方法研究了差为2的碰撞极小不可满足公式集()2(MUHIT-)的结构和复杂度.此前,只有G.Davydov, I.Davydova 和H.Kleine Büning对)1(MU和)2(MU的结构和复杂度得出了较好的结果.     

Unique-MU（2）和ISYM-MU（2）的结构和复杂度

SAT问题（可满足性问题）是计算机科学的核心问题，研究SAT问题的方法很多，利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向．文章主要利用（1，＊）-消解和分裂方法研究了差为2的唯一极小不可满足公式集（Unique-MU（2））和差为2的对称极小不可满足公式集（SYM-MU（2））的结构和复杂度．     

一个极小不可满足公式子集的构造

对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向.极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的.找到了一个能递归构造的极小不可满足公式的子类M4X+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例.     

极小不可满足核及其提取

在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。     

极小不可满足核及其提取

在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。     

集合的某些子类间的包含关系

通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和之间的包含关系.     

集合MU的某些子类间的包含关系

通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和SYM-MU之间的包含关系.     

一个极小不可满足公式子类改名的复杂性研究

改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用,对于一些具有对称结构的难例公式,可以通过改名来降低其证明的复杂性.研究了一个极小不可满足公式子类,给出了该子类的改名算法,并证明了对该子类中改名问题可以在多项式时间内判定.     

两种亚洲百合的核型分析

利用染色体常规压片法,对亚洲百合杂种系的两种百合进行了核型分析,结果表明:克得利亚(Cordelia)的染色体核型公式2n=2X=24=2m+4sm(4SAT)+10st(2SAT)+8t(2SAT),核型不对称系数(As.K%)为76.33%.黑美人(Negro)的染色体核型公式2n=2X=24=2m+4sm(2SAT)+8st(2SAT)+10t,核型不对称系数(As.K%)为79.60%.核型类型都属于3B型.     

辅助变元之于命题与量化布尔公式的作用

使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复.这篇论文中,我们形式地定义了辅助变元的概念,检验了其表达力并讨论了有趣的相关应用.我们把以下两者联系起来:一是,反复使用中间结果而不通过定义重复;二是,布尔函数其他表达中的相似概念.特别的,我们表明带定义的命题逻辑与具有任意输出端的布尔线路以及约束变元满足Horn性质的存在量化布尔公式(记作(E)HORNb)具有相同的表达力.本文还考虑了定义结构的限制,以及命题定义的扩充.特别的,我们检验了正命题定义与带存在量化的正定义之间的关系(或等价地,检验了(E)HORNb公式和约束变元未被Horn限定的存在量化的CNF公式(记作(E)CNF*)之间的关系).对命题定义的进一步扩充,是允许在定义中使用任意的量词,或等价地,允许布尔公式的嵌入.我们还证明了,量化CNF公式中的约束变元的表达力,是由子句中被约束部分的极小不可满足子公式或极小假子公式的结构所决定的.     

层次图(混合Horn)公式的部分极大可满足性

本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究.具体地,我们首先在随机CNF公式的MAX2SAT及MAX3SAT问题上进行WalkSAT和Tabu-Sat(及其变种)的比较,其次,我们在层次图公式上比较了上述过程的改进版本,这些公式编码了随机生成层次图的最小化跨边问题.本文所引入的Tabu-Sat过程,当在搜索空间中检测到一个圈的时候,动态地改变Tabu长度参数.另一个被称为Vector-Tabu-Sat的过程,对所有的布尔变元进行独立的Tabu长度参数管理.一些数值实验的结果显示,我们改进的Tabu-Sat变种在子句个数增长的时候优于Walksat.     

Predicting College Performance of American Indians: A Large‐Sample Examination of the SAT

Extensive research has examined the validity and fairness of standardized tests in academic admissions. However, due to their underrepresentation in higher education, American Indians have gained much less attention in this research. In the present study, we examined for American Indian students (1) group differences on SAT scores, (2) the predictive and incremental validity of SAT over high school grades, (3) the effect of socioeconomic status on SAT validity, (4) differential prediction in the use of SAT scores, and (5) potential omitted variables that could explain differential prediction for American Indian students. Results provided evidence of predictive and incremental validity of SAT scores, and the validity of SAT scores was largely independent of socioeconomic status. Overprediction was found when using SAT scores to predict college performance and it was reduced when including high school grades as an additional predictor. This study provides substantial evidence of the validity and fairness of SAT scores for American Indians.     

一类Pell方程最小解的计算公式

给出特殊条件下Pell方程x2-Dy2=1(D为非平方的正整数)的最小解公式.     

基于判别规则的最小不一致知识子集识别

为解释本体中概念不满足的原因,利用2个对等转换（即公理细化和本体约减）与3个判别规则识别不满足概念C的最小不一致知识子集（MUPS）.其中,判别规则基于不满足概念的传递性,将MUPS分为3类：完全依赖于C（MUPSf）、传递依赖于C（MUPSt）和不确定依赖于C（MUPSu）.实验结果表明：在本体不满足概念的MUPS中,MUPSt往往占大多数,但只有MUPSf可以明确指出概念不满足的根本原因.本体建模人员和领域专家可以采用迭代修复方式,每一次修复只考虑MUPSf,以提高修复效率.所得分类结果对于从修复角度评价本体质量以及指导修复工作都具有重要意义.     

Sponsored Research Versus Graduating Students? Intervening Variables and Unanticipated Findings in Public Research Universities

This article examines the relationship between sponsored research monies and the graduation of undergraduate students at 22 public research universities. Using institutional and student characteristics for 59,982 students at these universities, we conducted chi-square, cross-tabulation, correlation, and hierarchical nonlinear modeling (HNLM) analyses to determine the relationship between our principal independent and dependent variables, and among them and other individual and institutional variables, including SAT (individual and institutional mean), gender (individual and percentage), underrepresented minority (individual and percentage), and graduate academic program rating. In contrast to a basic premise of most policymakers and academic managers, our findings suggest that an institution's sponsored research expenditures are positively related to undergraduates' graduation. We also find that mean SAT has a powerful impact on student graduation, although at the individual level gender is a more powerful correlate of graduation than is SAT score.     

Contextual Factors Associated With the Validity of SAT Scores and High School GPA for Predicting First-Year College Grades

Prior research has shown that there is substantial variability in the degree to which the SAT and high school grade point average (HSGPA) predict 1st-year college performance at different institutions. This article demonstrates the usefulness of multilevel modeling as a tool to uncover institutional characteristics that are associated with this variability. The results revealed that the predictive validity of HSGPA decreased as mean total SAT (i.e., sum of the three SAT sections) score at an institution increased and as the proportion of White freshmen increased. The predictive validity of the three SAT sections (critical reading, mathematics, and writing) varied differently as a function of different institution-level variables. These results suggest that the estimates of validity obtained and aggregated from multiple institutions may not accurately reflect the unique contextual factors that influence the predictive validity of HSGPA and SAT scores at a particular institution.