一种基于主体可信度的联合辩论框架

辩论框架是计算机利用辩论机制来解决实际问题的基础,如商务谈判、法律纠纷和劳动争议等。传统的辩论框架对辩论机制和论证方法作了具体的形式化描述,但忽略了辩论主体及其对辩论结果影响的描述,而且在辩论过程中一个论点通常需要多个论据的联合论证。针对以上问题,在传统辩论框架的基础上,提出了一种基于主体可信度的联合辩论框架(STUAF)。首先引入了辩论主体的概念,并对观点和论据之间的联合论证进行形式化定义;其次给出了完整的框架结构和语义描述,证明了该辩论框架满足Dunk提出的标准辩论框架的基本定理;然后结合辩论树给出了语义计算的算法;最后给出一个具体的应用实例,实例分析表明S I'UAF及其语义算法是有效的。     

嵌入式系统软硬件划分方法研究

软硬件划分是软硬件联合设计中一个关键问题。本文分析了有固定吞吐率约束的软硬件划分问题的模型 ,提出了一种软硬件划分方法和相应的评价方法 ,最后给出了实验数据和进一步的改进设想。     

节能型畜舍地面对肉猪生长表现影响研究

本研究选用三元杂（长大杜）架子猪６４头对应均分为两组,分别饲养在节能型畜舒地面和普通水泥地面,试验期１００天,测定不同畜舍地面对商品猪生长性能的影响。试验结果表明,节能型畜床地板比普通水泥地板对商品猪的生长肥育有良好的促进和保护作用,试验组猪比对照组猪平均每头多增重８ｋｇ左右,平均日增重提高１５．３９％（Ｐ〈０．０１）,料重比降低１２％（Ｐ〈０．０１）,同时猪肢蹄病的发病率也下降了６０％左右。     

MATLAB与Visual C＋＋／Delphi联合编程的研究

文章首先简单地介绍了Matlab,VisualC 和Delphi的发展情况,紧接着介绍了Visual C /Delphi和Matlab联合编程的方法,最后对其效果进行了总结。     

电子称重仪的精度分析

分析了ＯＣＳ－ＸＹ型称重仪的误差产生原因,在原称重仪的基础上,利用微处理器的软硬件技术对系统误差、随机误差和疏失误差进行了一系列的校正,提高了测量精度及可靠性。     

汽车GPS／SINS导航系统中的联合卡尔曼滤波算法

本文简要介绍了汽车ＧＰＳ（全球定位系统）／ＳＩＮＳ（捷联惯性导航系统）组合导航系统的设计,根据联合卡尔曼滤波算法的原理,分析了联合卡尔曼滤波在ＧＰＳ／ＳＩＮＳ组合导航系统的应用,并提出了自适应联合滤波的方法。     

ASOJI:一种基于Agent技术的控制集成方法

本文提出一种基于Agent技术的控制集成方法ASOJ1,它将集成化应用系统的体系结构设计为Agent社团,并通过清晰地定义基于活动分担的联合意向和计算活动的逐层分解和分担,从体系结构方式、Agents协作和语义互操作这三个方面,支持集成化应用系统的开发.     

杂波预处理联合概率数据关联算法

在目标跟踪过程中,数据关联过程一直是信息处理的一个瓶颈.本文主要在JPDA算法的基础上,通过预处理方法简化关联矩阵,减小低概率杂波的影响,提出一种更有效的数据关联算法-PJPDA算法.最后通过仿真试验证明了它在关联精度上的可靠性以及关联速度上的高效性.     

Kerberos协议的应用与改进

本文对Kerberos协议进行了介绍,论述了其实现过程,并在Kerberos协议的基础上设计了一套联合登录系统的模型,为解决多个域间的统一认证和各域内相对独立管理之间的矛盾提供了依据.     

UPF在探测器自主导航中的应用

利用星敏感器和地平仪测量"星光仰角",进行自主导航方案设计.将UPF(Unscented Particle Filter)方法引入导航方案,利用UKF(Unscented Kalman Filter)获得重要性采样函数的同时,通过重采样解决了粒子耗尽问题,改善了系统性能.并与标准粒子滤波方法相比较,通过仿真验证了该方法的优越性.