GPS软件接收机的频域相关捕获算法

GPS软件接收机在移植性、灵活性等方面具有很大的优势。本文从GPS软件接收机的角度讨论了GPS频域相关捕获算法。本文分析了算法的理论模型,并利用Matlab对算法进行仿真实现,成功地解算出GPS信号的码相位偏移和载波多普勒偏移。与传统的滑动相关算法进行了运算量的比较,证明了频域相关捕获算法的优越性。     

空间机器人目标捕获过程中碰撞运动分析

针对空间机器人目标捕获过程中的碰撞问题,提出了一种碰撞运动分析算法．基于空间机器人运动学 和动力学模型,利用碰撞过程中产生冲量的原理建立了碰撞动力学模型．针对具体的碰撞模型,利用空间解析几何 的方法进行了空间机器人与目标物之间的碰撞检测,设计了碰撞发生后机器人的运动分析算法．最后,通过仿真实 验验证了该算法的正确性和适用性．     

GPS软件接收机信号捕获频率分辨率的研究

为了提高GPS软件接收机信号捕获的载波频率分辨率,在频域并行频率空间搜索捕获方法中,利用加大分析数据长度可以提高频率分辨率的优点,结合频域并行码空间搜索捕获方法,构成了一种混合搜索方法。仿真结果表明本方法在略微增加捕获时间的基础上提高了载波频率分辨率,保证了后续信号频率跟踪环节的准确性和快速性。     

空间机器人目标捕获的自适应规划

与地面固定基座机器人不同的是,空间机器人的运动学方程中含有动力学参数。在执行目标捕获任务时,目标动力学参数的不精确会给空间机器人的规划带来致命的影响。针对目标捕获后动力学参数不精确情况下的关节空间规划问题,在建立了自由飘浮空间机器人运动学模型的基础上,给出了雅可比矩阵及其动量守恒方程中的惯性参数以及惯性参数的组合参数线性化的具体形式,提出了一种关节空间的自适应规划方法。以平面二连杆空间机器人为研究对象进行仿真验证。结果表明,所提出的自适应规划方法可以有效降低惯性参数不精确给运动规划带来的影响,为空间机器人执行目标捕获等任务时提供了任务空间内精确轨迹跟踪的能力。     

软件GPS接收机捕获算法的研究

数字信号捕获是软件GPS接收机的重要组成部分,同时也影响软件GPS接收机的工作性能指标。通过对GPS信号结构的分析后,通过对GPS导航信号进行仿真,分别在时域和频域范围对信号搜索捕获进行了算法仿真,根据信号搜索捕获理论结合仿真试验结果,对时域/频域两类处理方法进行了分析和比较,不同捕获方法各有优点,针对不同的情况应采用不同的算法或者对不同的算法进行适当的组合以实现快速捕获的目的。     

空间机器人捕获目标的自适应控制

本文首先推导了基座姿态受控空间机器人系统运动学关系,得到了广义雅可比矩阵。根据目标的运动来规划机械臂末端在惯性空间的期望轨迹。对机器人动力学和运动学关系进行线性参数化,分别对动力学待估参数和运动学待估参数设计在线修正律,在关键空间采用自适应控制。对于存在动力学参数不确定性的机器人系统,该自适应控制算法保证了系统的渐近稳定,在完成目标捕获任务的同时,控制基座姿态保持在期望范围之内。以平面两关节空间机器人系统为对象进行了仿真,结果表明了算法的可行性和有效性。     

问题驱动的需求捕获中问题分析与解决技术研究

问题驱动的需求捕获方法广泛应用于需求获取.然而,利益相关者通常难以找到真实的、一致的问题解决方案并清晰地表达出来.协同式的问题分析与解决方法可以帮助利益相关者找到并表达出真实、一致的解决方案.方法的基本思想是:首先各个利益相关者平等地、按照一定流程协同地分析问题表述的可理解性、问题的价值、问题存在原因;然后利益相关者协同地识别解决方案.通过关联原因和解决方案来保证解决方案的客观性.通过问题的分类,提出问题及协同元素的元模型,及时关注相关联的问题,评估利益相关者的参与程度,用以帮助利益相关者分析与解决问题.选取“高校学生选课系统”进行实例研究,结果显示协同式问题分析与解决是一种在实际应用中行之有效的方法.     

面向软件产品线中特征选择的多目标优化算法

软件产品线中产品定制的核心是选择合适的特征集.由于多个非功能需求间往往相互制约甚至冲突,特征选择的本质是多目标优化过程.优化过程的搜索空间被特征间错综复杂的依赖和约束关系以及明确的功能需求大大限制.另外,有些非功能需求有明确的数值约束,而有些则仅要求尽可能得到优化.多样的非功能需求约束类型也给优化选择过程带来极大挑战.本文提出一种含修正算子的多目标优化算法MOOFs.文中首先设计特征间依赖和约束关系描述语言DCF-DL来统一规范特征选择过程中必须遵守的规则.所有的非功能需求都转化为优化目标,相关的数值约束则作为优化过程中特征选择方案的过滤器.另外,设计了修正算子用于保证选择出的特征配置方案必满足产品线的特征规则约束.通过与四个常用的多目标优化算法在四个不同规模的特征模型上的运行结果做对比,证明本文的方法能够更快地产生满足约束的优化解,且优化解具备更好的收敛性与多样性.     

基于用户自添加规则的自动推理程序

基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题.但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理.设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理.该算法已被编制成程序.     

基于图形软件EGS的用户界面的设计

EGS是运行于多种工作站环境的图形软件,它同时包括用于用户界面设计的基本的窗口工具。本文在介绍EGS的设计背景和功能特点的基础上,根据用户界面的基本模型和设计原则,结合集成化电子CAD系统(EDCADS)和工程数据库管理系统(EDBMS/2)等系统的用户界面的设计和实现,提出了满足实用性和可移植性的图形软件和用户界面的设计方法。     

CONSIDERATION OF THE USER IN TELEPHONE RESEARCH

Some general points of method in determining the preferences of users for new technical devices are illustrated with example sobtained in the course of telephone-user research.     

AOP技术在面向用户的软件组件测试中的应用

面向方面编程AOP(Aspect-Oriented Programming)是一种支持横切关注点的分解技术,表达了更高的抽象层次,能够提供明确的截获横切结构的语言机制.讨论AOP技术在面向用户的软件组件测试技术中的应用,分析了如何使用AOP提高组件测试的可维护性和可复用性.     

一种新的软件Agent设计的评价标准:用户自治性

本文提出了软件Ａｇｅｎｔ设计中的用户自治性标准,我们认为用户自治性是Ａｇｅｎｔ设计中需要考虑的重要方面,探讨了自治性标准在Ａｇｅｎｔ设计中的定义以及Ａｇｅｎｔ如何影响用户自治性,并在此基础上提出了一个新的软件系统模型。     

系统软件开发过程中的软件工程技术

因为系统软件的复杂性和特殊性，如何控制和管理系统软件的开发过程是直接关系到开发成败的重要问题。本文认为系统软件不同于应用软件，有其自身的特点和规律。现有的应用软件开发方法和软件工程技术不能完全满足系统软件开发的需要。本文结合一个编译系统开发的实例介绍了系统软件开发过程中的一点经验和体会。     

软件保障环境中的软件配置管理研究

软件保障是软件工程领域用于解决软件维护问题的新的途径和方法,软件配置管理（SCM）更是软件保障环境中的关键问题。本文阐述了软件保障环境,构建了该环境中的SCM静态和动态模型,描述了SCM的实施过程,为软件保障的成功奠定了坚实的基础。     

JAVA新类库的UI机制的分析

为了给程序员提供更多的方便，ＳＵＮ公司对ＡＷＴ作了重大改进，发布了ＪＦＣ，在其中使用了全新的事件机制和ＵＩ机制。本文对ＪＦＣ中所使用的ＵＩ机制作了初步分析，包括对ＵＩ使用的类的介绍，ＪＦＣ向第三方程序员提供的编程接口等内容，具有较好的参考价值。     

目标驱动的软件质量保证实施

软件业发展日新月异,部分软件公司注意力集中投入资本在新产品的开发上,却往往忽略了软件质量保证体系的建立与改进.介绍如何以目标驱动的软件质量保证实施,怎样从软件质量保证(SQA)目标出发,建立必要的质量保证活动规范,平衡SQA在各个开发阶段的工作量,缩短整个开发周期,从而在满足商业目的的同时完善软件开发过程,提高软件质量.     

基于JSP的MIS系统中菜单权限控制的实现

阐述了MIS系统中用户权限与菜单的关联,以及如何控制用户的操作权限到菜单按钮级的设计及实现。