空间机器人目标捕获过程中的载体姿态扰动优化

针对自由飘浮空间机器人在捕获目标的过程中会对其载体姿态产生扰动的问题,提出了一种新的笛卡儿轨迹参数化方法.建立了反映载体姿态变化的日标函数,该函数既可以限制机器人关节角的运动范围,也可以避免动力学奇异的影响.利用遗传算法进行目标函数的优化,有效降低了空间机器人末端执行器在跟踪笛卡儿轨迹时对载体姿态的影响.仿真结果验证了...     

基于缩进轮廓的HTML文档重复模式挖掘方法

HTML文档重复模式挖掘是找到Web页面编码模版的关键,是Web数据自动抽取和Web内容挖掘的基础。传统的基于字符串匹配和树匹配的重复模式挖掘方法虽然具有较高的精确度,但是其性能对于处理海量的Web页面来说仍然是一个挑战。为了提高性能,提出了一种基于缩进轮廓的HTML文档重复模式挖掘方法。该方法首先定义了缩进轮廓模型,是一种由HTML文档每行代码的缩进值及行首的HTML标签构成的数据结构,它是HTML文档的一种简化抽象;该方法通过检测缩进轮廓中的串联重复波段,间接地挖掘HTML文档中的重复模式。实验表明,该方法不但具有较高的精确度,而且较明显地提升了性能。     

面向嵌入式应用的数据并行语言设计

根据基于PIM(Processor-In-Memory)技术的数据并行计算机体系结构的特点和面向多媒体计算的应用需求,提出了面向嵌入式SIMD(Single Instruction Multiple Data)计算的数据并行语言PIMC。简单讨论了PIMC语言的形式化定义,并以数据并行图像处理的均值滤波算法为例对语言的使用作了说明。结合其他大量的数据并行编程实例,说明了该语言能够在基于PIM技术的SIMD并行计算机上正确描述基本多媒体处理算法的数据并行实现。     

一类并发实时系统的自动验证

一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率.     

分布式存储的并行串匹配算法的设计与分析

并行串匹配算法的研究大都集中在PRAM(parallel random access machine)模型上,其他更为实际的模型上的并行串匹配算法的研究相对要薄弱得多.该文采用将最优串行算法并行化的技术,利用模式串的周期性质,巧妙地将改进的KMP(Knuth-Morris-Pratt)算法并行化,提出了一个简便、高效且具有良好可扩放性的分布式串匹配算法,其计算复杂度为O(n/p+m),通信复杂度为O(ulogp相似文献   

Agent的意图模型

意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等).这种意图模型与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,实际上,为非正规模态算子基于正规可能世界的语义表示提供了一种新的方法.     

基于物理模型的窗帘运动实时动画

提出了一个基于物理的窗帘实时动画模型.该模型不仅大大地减少了绘制的时间,而且保证了画面的视觉效果.通过把描述非刚体运动的半刚性杆相互连接来得到窗帘的模型.在该模型中,首先在经线和纬线的方向上分别进行处理,然后再把它们组合起来,从而得到窗帘的模型.     

锁相环电压-频率-窄脉冲转换特性的改善及应用

介绍锁相环 (PLL)电压 -频率 -窄脉冲转换原理及其微功耗机制 ,并结合集成锁相环路特性及其随环境温度的变化 ,提出了优化锁相环线性度的方案和改善频率 -温度特性的温度补偿电路。该电路已应用于光纤光推动高压电流传感器的测量探头中 ,其功耗小于 0 .3mW。     

微机联锁系统中广播通信模块的设计与实现

介绍了Windows环境下的网络接口WinSock中广播通信部分,结合实例,以C++ Builder 4.0为开发工具进行广播通信程序设计,实现了微机联锁系统上位机在系统中的实时数据传输.     

用Java实现与SMTP服务器通信发送电子邮件

只要网上有一台Web运行本系统 ,任何人都可以通过浏览器发送电子邮件 ,而无须考虑其是否有个人的E -mail地址和帐号。文中介绍实现该系统所用的技术 ,着重讨论了搜寻邮件服务器问题、与邮件服务器通信问题、通讯协议实现问题以及实现过程中遇到的问题及其解决方案。