研究用飞行模拟器点对点采集系统

为了使高逼真度研究用飞行模拟器满足更多机型的实验需求,加快座舱面板的重构速度,提出了一种基于CAN总线的分布式点对点采集系统.分析了采集系统的特点,给出了点对点采集系统的软硬件结构,并针对其特点进行了层次划分.基于嵌入式处理器构建通用采集卡,使用面向对象方法对采集系统软件进行实现.将点对点采集系统应用于构建737系列模拟器座舱,结果表明,该系统可以减少面板变更影响,降低系统重构难度.     

一次性求解多个SAT问题

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

基于灰色关联度的集对分析差异系数研究

针对集对分析中差异不确定系数i的取值不确定问题,分别将差异度与同一度和对立度的关联度作为i的取值,运用灰色理论巾的绝对关联度计算方法对i进行求解,并应用到富锦市土壤质量评价中,结果符合实际情况。研究结果表明,采用灰色绝对关联度计算差异系数是可行的,为集对分析中差异系数i的求解提供了新的思路和方法。     

基于集对分析相似预测模型的最高洪水水位预报

针对洪水变化过程难以预料、洪水水位与其影响因子之间复杂的非线性关系及其危害范围广等特点,提出将集对分析检验与互相关系数统计假设检验相结合,识别影响最高洪水水位变化的主要预测因子,进而建立了基于集对分析的最高洪水水位相似预测模型（SPA-SF）。计算结果表明：采用SPA-SF预测最高洪水水位,预测概念清晰,计算直观,结构清晰且预测精度较高,为准确预测最高洪水水位提供一种新的理论依据。     

一种可重构机器人运动学求解方法

针对可重构机器人没有统一的运动学求解形式问题,提出通过构形平面匹配方法求解可重构机器人的运动学.采用改进形式的D-H建模方法,可自动形成可重构机器人运动学模型;将机器人在目标点的位形分解成若干个构形平面,通过三级构形平面的匹配,可求得具有单一串连形式可重构机器人运动学逆解;对搭建的6自由度机器人和8自由度机器人构形的运动学进行实例仿真.仿真结果表明,采用有限个构形平面匹配方法能够求解出可重构机器人运动学,验证了算法的正确性和实用性.     

基于增量词集频率的文本主题词提取算法研究*

提出了一种基于增量词集频率的文本主题词提取算法,其核心思想是计算主题词集频率增量,算法从候选主题词集提取主题词时,计算单个候选主题词对主题词集频率的增量,若增量小于给定阈值,则主题词提取算法结束,否则将该候选主题词加入主题词集,继续考察下一个候选主题词。实验结果表明,该算法取得了较好的效果,所获得的主题词能更贴切地反映文章的主要内容。     

基于敏感数据加密的分布式安全数据库服务研究*

针对目前基于数据加密技术的安全数据库服务不能有效平衡数据处理性能与数据隐私保护的不足,提出一种新的基于分布式安全数据库服务的隐私保护方法,通过引入准标志属性集的自动检测技术,采用对部分敏感属性加密和分解准标志属性集的方式实现数据的垂直分解,通过基于元数据的查询分解实现分布式查询处理。实验结果表明,该方法能较好地平衡查询性能与隐私保护之间的矛盾。     

基于块和游程混合编码的有效测试数据的压缩和解压

提出了一种新的测试数据压缩编码方法,称之为块和游程混合编码。将测试集划分成块模式和游程模式,并分别进行编码.解压结构由一个控制器和一个哈夫曼解码器组成.对ISCAS89标准电路Mintest测试集的实验结果表明,该方法能够有效压缩测试数据,并且更优于Golomb码和FDR码的压缩效果.     

房地产项目开发前期风险的可拓评判研究

针对房地产投资周期长、金额大、变现能力差的特点,以房地产项目开发前期为分析对象,将可拓工程方法引入到房地产风险分析评价中,构建房地产项目开发前期风险的可拓评判模型,并通过具体实例验证了这种方法的可行性．     

面向矛盾问题的动态描述逻辑扩展研究

为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.