基于公理化理论的自动装配与焊接系统设计

公理设计理论为由多机器人组成的多零部件集成装配与自动焊接系统的设计提供了一种指导性的框架.基于公理设计理论,应用独立公理对多机器人集成焊接系统的结构设计进行了分析和论述,给出了系统的功能需求与设计参数之间的映射关系以及设计流程,然后基于信息公理以上料系统为例,介绍了上料系统设计方案的优化方法.通过对系统进行计算机运动仿真,验证了系统设计的可行性和有效性,该系统已投入实际应用.     

抗复杂环境干扰的通信信号采集系统设计

针对已有的通信信号采集系统在复杂环境中,存在采集信息分散、信号采集规则难以确定等不足。提出了将模糊关联和信号特征提取技术相结合的通信信号采集系统设计方法。给出了系统设计完整硬件、软件设计方案。在系统软件设计中,结合复杂环境下通信信号的特点,引入模糊理论描述信号的突变性信息,采用关联规则方法,对信号的特征量数据进行模糊处理,从而实现信号特征的优劣排序。最后根据排序的结果,把数据输入到采集模块中,对不同的信号状态进行识别,实现系统复杂环境下信号采集。测试表明,这种方法能够实现复杂环境下通信信号的采集,有效地提高了信号采集的抗干扰能力,较传统采集方法有较大的优势。     

基于Vague关系数据模型的数据依赖

基于提出的Vague关系数据模型和Vague集之间的相似度量,研究了Vague关系数据库中的数据依赖问题,给出了Vague函数依赖(VFDs)和Vague多值依赖(VMVDs)的定义及其相应的推理规则.该规则类似于经典关系数据库中函数依赖和多值依赖的Armstrong公理系统,称之为Vague公理系统.并对Vague公理系统的有效性和完备性进行了证明.同时还给出了VFDs满意度的概念及计算VFDs满意度的公式.     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

4腿机器人足球比赛的通信机制及协作控制

针对4腿机器人足球比赛中机器人的通信机制及协作控制等问题,提出了一种新的完整的分布式多主体系统控制方法,包括通信控制、路径规划以及动态角色分配.该方法通过启发式投标函数进行任务分配,通过电场法表示抽象的环境信息.协作控制中不必进行大量的计算,主体之间不必频繁地进行数据交换.该方法能够满足比赛动态性和不确定性的需要,并在实际比赛中得到了很好的验证.     

基于多Agent联合灭火救援作战仿真方法

为实现联合灭火救援组织指挥的相互协作,建立了多Agent联合灭火救援作战模型框架.对系统中的指挥Agent、作战Agent和环境Agent进行描述,定义Agent之间以及Agent与环境之间的交互规则,描述系统的相互关系,构建联合灭火救援仿真模型,最后用多Agent软件工具集和通用软件平台(Swarm),采用JAVA语言编程,对模型及相应机制进行了功能验证.结果表明,该方法实现了联合灭火救援组织指挥相互之间的信息交换,完成快速、高效、科学决策,可以提高消防部队的作战能力.     

协同设计中基于本体的产品信息模型的构建

针对协同设计中存在着产品信息模型的描述缺乏足够的"语义",无法表达基于描述的事实、公理、判断和规则,难以进行合理的推理和验证等问题,提出了在协同设计中引入本体论,利用本体构建产品信息模型,根据机械产品的特点构建零件本体。解决了协同设计中产品信息模型语义简单,不同的协同设计者无法进行语义层面的信息共享和互操作问题。     

CPS中环境信息的建模方法

基于元建模设施和建模技术, 提出一种物理信息融合系统中环境信息的建模方法. 该方法利用层次化的建模思想和领域化的建模方法, 定义了环境信息的元元模型及不同领域中环境信息的元模型, 实现了环境信息的元信息统一和不同领域中展现形式的多样性. 该方法有利于解决物理信息融合系统中由于多维异构性导致的环境信
息描述不统一和环境信息融合交互困难的问题.     

基于CSP的进程行为取证方法研究

针对取证过程中所获取的进程异常行为,提出进程行为事件重建犯罪过程的方法.该方法使用CSP(通信顺序进程)理论来形式化描述具有威胁乃至破坏性的进程操作及进程间的通信,根据系统保存的进程行为记录建立进程通信状态模型,使用基于路径搜索的进程行为解释算法分析模型内所有可能的进程通信序列,形成进程通信行为规则,在排除不符合规则的通信序列的基础上,找到能够形成合理证据链的通信序列.通过案例分析进行了证据的形式化及CSP建模,给出了进程行为的具体分析解释和原型系统,验证该方法的可行性和有效性.     

WSDL→Radl-WS生成方法及自动转换系统

精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明.为支持模型转换,提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统.最后采用真实案例,验证了该方法的有效性.     

基于知识推理支持异地设计的面向制造的设计(DFM)评价反馈系统

基于特征造型的CAD系统，在异地协同设计的环境下，建立了零件可制造性评价系统的方法，提出了基于智能代理的面向制造的设计（DFM）方法，该方法可应用于Internet/Intranet环境，并支持不同类型的CAD系统评价，在评价知识的表示方面，采用了面向对象与产生式规则相结合的混合表示方法，该方法适合于根据零件对象的类型对可制造性规则进行有效组织，在推理过程中，可以根据对象类型选择不同的规则，从而加快推理速度，本文提出的基于智能代理的可制造性评价的方法，具有灵活的系统可重构特点。     

基于移动Agent的物流管理信息系统研究

针对现代物流系统的特点和发展的需求,阐述了基于移动Agent的物流管理信息系统的体系结构,分析了该结构的主要功能及特性,对Agent之间的通信模式和通信交互进行了说明.研究表明,该系统具有敏捷处理全局信息的能力、响应迅速、可重构性及可扩展性,能应用于实践.     

大气污染化学事故危害预测数值模拟(CDM)与验证

建立了对复杂地形上大气污染化学事故进行危害评估与预测的数值模式(CDM), 该模式可以快速预测大气污染化学事故的危害范围、危害等级、危害面积和危害纵深等, 为事故应急处置提供快速、直观和定量的决策依据。分别应用外场扩散和水槽模拟实验对CDM进行了验证。数值模拟与外场扩散实验的验证结果表明, 二者在危害范围、危害纵深和危害等级等方面均具有很好的一致性, 不同距离上剂量相对误差在1倍以内, 平均相对误差为20.6%, 剂量阈值为0.66和0.24 g?s/m³ 的危害纵深相对误差分别为-26.3%和10.2%。数值模拟与水槽模拟实验结果表明, 不论是在中性大气条件下还是在稳定大气条件下, 二者均吻合很好。     

网络拓扑结构对于局域少数者博弈行为的影响

建立了一个经纪人既利用全局信息，又通过局域信息进行决策的少数者博弈模型，研究了系统的动力学行为．数值模拟结果显示，系统总收益与网络拓扑结构及记忆长度m有关，且在引入局域信息后，系统总收益高于基本少数者博弈．结果还表明，系统中个体的成功率与网络中节点的度存在一定相关性，节点的度越大，能获取的局域信息越多，经纪人成功的几率也就越大，反之越小．     

基于分布智能传播的自动故障管理

提出一种新的基于分布智能传播的自动故障管理系统(AFMDIP),该系统采用人工智能和网络分布管理技术,引入协作代理,提高了系统数据采集能力.代理用神经网络和事例暂存库进行告警收集、分类和事例管理.域内的故障首先由代理进行诊断,域内不能解决的问题将提交给管理中心.管理中心综合考虑各个域的信息,进行基于事例推理的故障诊断,并将事例传播到代理中.后续的类似故障将由代理直接完成诊断,提高了故障管理的效率,达到了信息和事例共享的目的.实验证明,AFMDIP有效降低了管理中心的带宽消耗,提高了在大范围多故障情况下的故障诊断速度.     

Second-order consensus in networks of agents with delayed dynamics

This paper proposes second-order consensus protocols and gives a measure of the robustness of the protocols to the time-delays existing in the dynamics of agents with second-order dynamics. By employing a frequency domain method, it is proven that the information states achieve second-order consensus asymptotically for appropriate time-delay if the topology of the network is connected. Particularly, a nonconservative upper bound on the fixed time-delay that can be tolerated is found. The consensus protocols are distributed in the sense that each agent only needs information from its neighboring agents, which makes the proposed protocols scalable. It reduces the complexity of connections among agents significantly. Simulation results are provided to verify the effectiveness of the theoretical results for second-order consensus in networks in the presence of time-delays existing in the dynamics of agents.      

[99mTcN(PNP)(DTC)]+类心肌放射性药物的构效关系研究

采用多元回归分析及Hansch方法,对[99mTcN(PNP)(DTC)] 类配合物心肌灌注显像剂配体取代基结构与心肌摄取率的关系进行了探索研究,得到了较为理想的心肌摄取率与配合物结构间的构效关系(QSAR)方程,为该类心肌灌注显像药物的设计提供了一定的理论指导依据.     

Chilli anthracnose disease caused by Colletotrichum species

Anthracnose disease is one of the major economic constraints to chilli production worldwide, especially in tropical and subtropical regions. Accurate taxonomic information is necessary for effective disease control management. In the Colletotrichum patho-system, different Colletotrichum species can be associated with anthracnose of the same host. Little information is known concerning the interactions of the species associated with the chilli anthracnose although several Colletotrichum species have been reported as causal agents of chilli anthracnose disease worldwide. The ambiguous taxonomic status of Colletotrichum species has resulted in inaccurate identification which may cause practical problems in plant breeding and disease management. Although the management and control of anthracnose disease are still being extensively researched, commercial cultivars of Capsicum annuum that are resistant to the pathogens that cause chilli anthracnose have not yet been developed. This paper reviews the causal agents of chilli anthracnose, the disease cycle, conventional methods in identification of the pathogen and molecular approaches that have been used for the identification of Colletotrichum species. Pathogenetic variation and population structure of the causal agents of chilli anthracnose along with the current taxonomic status of Colletotrichum species are discussed. Future developments leading to the disease management strategies are suggested.     

[99mTcO2(-P-P-)2]+心肌放射性药物的构效关系研究

采用多元回归分析及Hansch方法对16种[^99mTcO2(－P－P－)2]^ 类心肌灌注显像剂配体取代基结构与心肌摄取率的关系进行了探索研究，得到了较为理想的心肌摄取率与配合物结构间的构效关系（QSAR）方程，为该类心肌灌注显像药物的设计提供了一定的理论指导依据。     

基于可验证秘密分享的移动代理安全支付协议

移动代理的安全问题是移动代理技术面临的一个很大障碍,为保护移动代理支付时的信息安全,采用Pedersen可验证秘密分享方案,设计了一个基于移动代理技术的安全支付协议．文中详细分析和讨论了协议的性能,包括安全性、不可否认性以及协议的运行效率．结果表明,和已有的方案相比,该协议在保证具有合适运行效率的同时,弱化了已有方案的安全执行条件,增加了系统的安全性和灵活性,因此具有更好的应用价值。