一种基于算法机制设计的社会法则合成方法

社会法则是在多Agent系统中为确立某种目标属性而对各个Agent实施的行为限制集合.在Agent具有“个体理性”及“私有信息”的“策略情况”下,社会法则合成问题不应建模成通常的优化问题,而应建模成算法机制设计问题.“最小化副作用”经常是社会法则需要满足的基本要求.从博弈论的角度来看,“最小化副作用”与“最大化社会福利”的概念紧密相关,可以将“最小化副作用的社会法则合成”建模为一种效率机制设计问题.不仅需要为给定目标属性找到有效且社会福利最大的社会法则,还需要向Agent支付适当的金额,以实现激励相容性和个体理性.首先基于VCG机制设计一种名叫VCG-SLM的效率机制,证明它可满足所有必需的形式属性.然而,由于发现可证明该机制的计算是一个FP^(NP)-完全问题,针对性地提出该机制的一种基于整数规划的实现方式VCG-SLM-ILP,基于ATL语义将分配及支付的计算转化为整数规划,并严格地证明其正确性,从而可有效利用目前已非常成熟的工业级整数规划求解器,成功解决棘手的机制计算问题.

载人深潜器运动操纵模拟

为检验和评估载人深潜器的运动特性,针对深潜器的特点,建立了6自由度空间运动仿真数学模型;提出了载人深潜器实时运动模拟的原理和方法,进行了载人深潜器典型运动轨迹和姿态的仿真计算。仿真计算结果表明,所提出的深潜器操纵运动模拟方法能实时预报载人深潜器的操纵机动,解决了载人深潜器运动操纵模拟器研制中的核心技术问题。

载人潜水器—机械手系统动力学研究

首先介绍了潜水器—机械手系统的一般动力学模型;针对载人潜水器(HOV)作业运动仿真培训的需要,提出了适用于运动仿真的HOV水下机械手动力学、运动学数学模型。结合已建立的HOV六自由度运动仿真模型,进行了HOV—机械手系统动力学运动学仿真计算,给出了三自由度水下机械手典型作业运动时,机械手手端运动轨迹及HOV姿态角变化的仿真结果。计算结果表明了研究的可行性和有效性;研究结果已被用于HOV的模拟培训器中。

台风中心定位中的螺旋线自动识别算法

本文是台风中心定位系统的核心算法，运用图象处理和模式识别技术进行云图螺旋线特征提取，得到有螺旋线特征的曲线段，最后运用曲线拟合技术进行螺旋线拟合定解决了台风中心定位依靠于工操作加工经验的判定方式而使台风预报准确偏低的问题，提高了台风预报的速度和精度。

基于模糊综合评判理论的载人深潜器操纵技巧评价方法

简要介绍了模糊综合评判的基本理论及其评判原理;简述了模糊综合评判多层次模型的建模与分级评判方法;提出了载人深潜器航行和作业技巧综合评价体系,构建了载人深潜器操纵技巧综合评价的二级模型,对航行和作业技巧综合评价的各因素及权重的确定方法作了说明,并在载人深潜器操纵仿真系统上进行了模拟运行,获得了预期的效果。如果考虑海况、海底海流、海底地质地形、作业对象等因素,该方法可运用于实艇海上驾驶作业训练的综合评价。

一种虚拟现实的深潜器运动仿真系统

本文提出了一种基于虚拟现实的深潜器运动仿真设计思想。文中简述了该仿真系统的硬件组成和软件体系结构、实时仿真算法以及仿真数学模型,同时也介绍了仿真系统的其它模块,如三维航迹显示模块和避碰检测模块等。文中最后给出了该系统的一些仿真结果和结论。

遥控水下机器人(ROV)分布式控制体系结构

本文阐述了我国自行研制的600米水深作业型缆控水下机器人（ROV）Bitbus（位总线）分布式控制系统的硬件结构和软件体系。本遥控水下机器人（ROV）经水池及海上试验，技术性能指标完全达到研制要求。它的航行性能及作业能力达到或超过了国际同类产品。位总线分布式控制系统的采用大大增强了显控系统的能力．

现代科技在深潜载人潜器上的应用分析

本文主要介绍了“深海6500”载人潜器的基本性能情况和采用的现代科技成果 ,包括钛合金耐压壳、浮力材料、充油逆变器、声学电视、水声定位、水声图像传输等。

遥控水下机器人(ROV)分布式控制系统

本文阐述了我国自行研制的６００ｍ水深作业型缆控水下机器人（ＲＯＶ）Ｂｉｔｂｕｓ（位总线）分布式控制系统的硬件结构和软件体系

传感器高低温环境试验室温湿度模糊控制系统

阐述传感器高低温环境试验室温湿度模糊控制的设计思想,控制系统框图及软件流程。

一种基于遗传算法的BP神经网络算法及其应用

主要分析了神经网络和遗传算法的特点和存在的一些缺陷,研究了遗传算法和BP神经网络学习算法相结合的相关技术,设计并实现了一个基于遗传算法的BP神经网络算法BP-GA,已应用于肺癌早期细胞病理诊断系统中.实验结果表明,该算法具有较强的收敛性和鲁棒性,其应用效果很好.

PC／104工控机在水下机器人测控系统中的应用设计

阐述了水下机器人测控系统的应用特点，介绍了ＰＣ／１０４嵌入式工控机在机器人本体及中继站测控系统中的应用设计。

基于UML的工作流建模

工作流模型是对工作流的抽象表示,也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行,因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点,在分析了传统工作流建模的不足之处的基础上,结合工作流公共数学描述,提出了基于UML的工作流建模方法,并详细分析了它对传统工作流建模的改进。

Web智能研究现状与发展趋势

Web智能是近年出现的一个崭新的研究方向,它是人工智能和高级信息技术在新的Web和Internet环境下相互融合的产物.首先从总体上讨论了Web智能的概念、研究内容和功能技术框架,然后分别就Web智能的几个核心方面的研究现状进行了综述,主要包括语义Web与ontology,WebAgent和Web挖掘等,并进一步给出了它们的研究重点和发展方向,最后是关于Web智能的研究展望和面临的挑战,指出智慧Web是Web智能研究的目标和中长期发展方向.

FICoM:一种防火墙和入侵检测协同工作的模型

防火墙和入侵检测是当前最为常用的安全技术。因为它们在功能上互为补充,所以在许多安全解决方案中结合使用防火墙和入侵检测技术。但是,这种结合却也引入了入侵检测系统检测不到已被防火墙过滤掉的来自外网的攻击等问题,这必须由这两个系统间的通信来解决;另外,防火墙和入侵检测有功能上相同的模块,若分别实现、独立使用这两个系统就忽略了信息的可复用性,造成资源的浪费。因此,该文提出了一种防火墙和入侵检测协同工作的安全构架模型FICoM及其设计。

分布式安全审计系统设计与实现

安全审计愈来愈受关注,但是大多数分布式安全审计系统仍不成熟。首先阐述了分布式安全审计的概念。然后介绍了一个基于数据挖掘技术的分布式分层的安全审计系统的功能及体系结构设计,并详细阐述了XML日志格式、多模式串匹配、模糊聚类和关联安全规则等系统设计实现中采用的一些重要技术。提高了检测效率和发现未知攻击的能力,增强了系统的安全性,可以有效的对整个系统进行安全级别的评估。

一种有效的一次性口令身份认证方案

分析了几种常用的一次性口令认证方案,在质询响应方案基础上,基于单钥体制设计了一种实用有效的一次性口令身份认证方案。该方案克服了通常的质询响应认证方案的弱点,可以用在网络环境下,实现通信双方的相互认证,防止重放攻击和冒充攻击,实现简单,执行效率高。可与应用系统集成,用于应用系统本身的身份认证,以增强应用系统的安全性。

社会网络中基于局部信息的边社区挖掘

近年来,随着社交网络的发展,许多重叠社区挖掘算法被提出来.传统的方法都是将节点作为研究对象,而最近的一些研究表明,以边为研究对象的边社区挖掘方法相对于点社区挖掘方法来说具有更加明显的优势.因此,我们提出了基于局部边社区的挖掘算法(LLCM),利用网络中的局部信息去挖掘边社区结构.给定一条初始的边,通过不断最大化一个适应度函数来获取该边所在的局部社区,而这条初始的边可以预先通过一些排序算法进行选择.算法经过在计算机生成网络和真实网络上测试,并且同其他边社区挖掘算法进行了比较,实验结果表明LLCM算法获取了合理的边社区的结构.

一个基于积件思想的新一代多媒体辅助教学系统的设计与实现

从我国当前多媒体辅助教学软件的发展情况出发，在积件思想和多媒体著作系统设计思想指导下，介绍了一个多媒体辅助教学系统的设计与实现，其中主要讨论了系统总体结构、积件平台的选取，提出了一个平台制作的课件的结构模型．