聚类算法研究

对近年来聚类算法的研究现状与新进展进行归纳总结.一方面对近年来提出的较有代表性的聚类算法,从算法思想、关键技术和优缺点等方面进行分析概括;另一方面选择一些典型的聚类算法和一些知名的数据集,主要从正确率和运行效率两个方面进行模拟实验,并分别就同一种聚类算法、不同的数据集以及同一个数据集、不同的聚类算法的聚类情况进行对比分析.最后通过综合上述两方面信息给出聚类分析的研究热点、难点、不足和有待解决的一些问题.上述工作将为聚类分析和数据挖掘等研究提供有益的参考.

一种新的基于扩展规则的定理证明算法

基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提出了一种新的基于扩展规则的定理证明算法NER,将判定子句集可满足性问题转化为一系列文字集合的包含问题,而非计数问题.实验结果表明,算法NER的执行效率较原有扩展规则算法IER和基于归结的有向归结算法DR有明显提高,有些问题可以提高两个数量级.

真核生物启动子的预测技术

启动子是基因表达过程中非常重要的调控序列,是影响基因能否转录的重要功能单位之一,真核生物的启动子预测已经成为生物信息学研究的热点。将结合人工神经网络、支持向量机、二次判别分析和位置权值矩阵技术,对国内外真核生物启动子的预测研究进行介绍,并在最后采用合适的技术应用到模拟真核生物基因表达过程的电子细胞模型Analog-Cell中。

一种基于预处理技术的约束满足问题求解算法

相容性技术作为约束满足问题的一种有效求解技术，不论是在求解前的预处理过程中，还是在搜索过程中，都扮演着极为重要的角色。文中对预处理阶段的相容性技术进行改进和信息抽取，提出两种应用于搜索过程中的新算法Pre-AC和Pre-AC^＊，并嵌入到BT框架中，形成新的搜索算法BT＋MPAC和BT＋MPAC^＊，给出了其正确性证明，通过复杂性分析得到Pre-AC和Pre-AC”的时间复杂度分别是O（nd）和O（ed^2），明显低于目前最流行的弧相容技术的时间复杂度O（ed^3）．实验测试结果表明：对于不同类别的用例，新算法的执行效率是弧相容维护算法的2～50倍。

一个基于最小冲突修补的动态约束满足求解算法

约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu-LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统"明月1.0"架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu-LC算法在求解效率和解的质量上都明显优于LC算法.

粮食调拨决策支持系统的设计与实现

为满足粮食调拨的时间及降低调拨成本的要求,设计并实现了一个粮食调拨决策支持系统。该系统通过粮食调拨计划汇总、分配方案制定和粮食运输方案制定等物流过程,给出粮食分配和运输的优化解决方案,最大限度地提供系统的灵活性和可用性,为制定粮食调拨运输方案提供快捷有效的决策支持,同时提供了决策者人工干预的接口。在对比了CS(Cost Scaling),RELAX,RNET,NETFLOW算法实际效率的前提下,选择实现了高效的CS算法。该系统作为粮食行业决策支持系统的子系统已得到实际应用。

最先失败原则的约束传播算法

约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域的变量并提前进行回溯,从而提高问题求解效率.同时,在"明月1.0"架构下实现了该算法,实验结果表明使用最先失败原则的弧相容算法要比原来的算法效率上提高了约40%.

非二元约束满足问题求解

在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .

量子搜索算法

结合Grover和Tad Hogg的算法框架,叙述了量子算法中非结构化和结构化的两类搜索算法的设计思想.在Grover算法中,结合复杂性、临界点、非单调性、完备性和鲁棒性分析总结了一些性质,分析了Grover算法的优缺点.在Tad Hogg算法中对独立于问题的映射和相位调整分别作了介绍.重点分析了一种相位调整策略,解释该策略有效的原因和适用的场合,讨论了影响算法效率的因素.在上述论述的基础上对量子搜索算法与传统搜索算法进行了比较和分析,总结了隐藏在不同量子搜索算法背后的深刻思想.

计算机学科教学与人才培养现状及分析

培养面向未来、适应能力强、有发展后劲的高级计算机人才，是计算机专业教学的根本任务。培养优秀的计算机专业人才对促进我国信息产业及其相关产业发展，缩短我国计算机工业与发达国家的差距具有重要意义。我国早在20世纪50年代就已经开始创建、发展计算机科学与技术的高等教育事业，当时的计算机课程主要开设计算数学。

不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架。

Cialdea一阶模态归结系统的不完备性及其改进

Ｃｉａｌｄｅａ的一阶模态Ｄ逻辑归结系统具有符号冗余较少和机器上较容易实现等优点，但它是不完备的．本文中，我们改进了Ｃｉａｌｄｅａ归结系统，引入了两个可能算子约束的公式间的归结规则，得到了一种新的一阶模态Ｄ逻辑的归结系统，记为ＦＭＲＤ．ＦＭＲＤ很好地保持了Ｃｉａｌｄｅａ归结系统的优点，同时，我们证明了ＦＭＲＤ的可靠性与完备性．

模态归结弱包含删除策略

本文提出了一种模态归结的弱包含删除策略，证明了使用弱包含删除策略模态归结的完备性．从而，将Ａｕｆｆｒａｙ等人提出的开问题（ＯｐｅｎＰｒｏｂｌｅｍ）——模态归结包含删除策略的完备性向前推进了一步．

四川省成人性犯罪社会心理因素研究

本文采用卡塔尔１６人格、生活事件及婚姻质量表对四川省重庆、宜宾等六地市监狱１７８名性犯罪份子（试验组）及１７９名其他犯罪份子、１９４名正常人（对照组）作１∶２的对照研究。运用方差分析，结果表明：聪慧性、稳定性、自律性、生活事件、婚姻质量等因素与性犯罪有关。

独身及非独身老年人幸福度影响因素探讨

本文通过涪陵市２１０例老年人（独身１０１人，非独生１０９人）幸福度影响因素分析，结果显示：独身老年人幸福度明显低于非独生老年人。通过多元逐步回归处理，影响独身及非独身老年人幸福度的共同因素是：有无子女、子女是否孝顺；影响独身老年人幸福度主要因素：文化程度、职业、有无亲密朋友。影响非独生老年人幸福度的主要因素是：家庭关系、性别、对再婚的态度、经济收入等。

大规模线性优化求解系统的设计与实现

从建立实用系统出发,以解决实际中各类大规模线性优化问题为目标,研究了大规模线性优化求解技术,设计实现了用于大规模线性规划、整数规划及运输模型的线性优化求解系统LOSS(LinearOptimizationSolvingSystem),并结合具体应用实例做了模拟实验研究。大规模测试数据样例实验结果证明,该系统在求解线性优化类问题时,效果优良,并具有灵活性、友好性、可移植性、可扩充性和可重用性等特点。

基于溯因问题求解的知识库更新

在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法，检查知识库协调性，对知识库进行扩展、约减和修正。

150例离退休老年人幸福度调查

为了探讨离退休老年人的生活状况,本文通过对四川省宜宾地区6O岁及以上离退休老年人幸福度随机抽样调查,结果表明:年龄较小、非独居、中等学历、业余爱好较多、读老年大学、经济收入高、身体健康的老年人幸福度高.艾森克个性问卷中:外向型、稳定型及P分低的老年人幸福度高于内向型、不稳定型及P分高的老年人.本文认为:加强老年医学的研究,对离退休老人创造良好的卫生保健条件,形成全社会的尊老、敬老的社会风气,是增进离退休老人幸福的重要措施.

电子细胞Analog-Cell的并发机制

结合并发约束理论提出了并发Analog-Cell模型框架;基于扩展的并发约束理论,提出了并发Analog-Cell中定量的随机控制机制以及模拟细胞中RNA聚合酶介导转录起始过程的算法模型,可有效地避免系统中随机错误的发生并提高运行效率;最后,提出了并发Analog-Cell模型中DNA转录过程的模拟算法.

模态K_4、D_4系统的归结推理

本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑Ｋ４和Ｄ４系统，建立了Ｋ４逻辑的归结推理ＲＫ４；Ｄ４逻辑的归结推理ＲＤ４，分别证明了ＲＫ４和ＲＤ４关于Ｋ４和Ｄ４的可靠性与完备性．