非完整约束对于运动规划问题的影响

本文回顾了机器人无碰撞运动规划的若干有代表性的工程方法，分析了非完整约束对于这些方法所产生的影响及其主要矛盾，得到了一些有意义的结论。     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

利用运算矩阵数值求解常微分方程的改进方法

给出一种基于Haar小波积分运算矩阵求解常微分方程的改进方法,称之为区间分段法.在相同误差条件下,该方法计算速度更快,同时,对于不同的子区间,可根据精度的要求来设定离散点数,增加了应用的灵活性.     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

权重信息不完全的区间数多属性决策GRA方法

针对属性权重信息不完全,且属性值以区间数形式给出的多属性决策问题,提出了一种灰色关联分析的决策方法。该方法依据一般的灰色关联分析方法的基本思路,给出了解决属性权重信息不完全的区间数多属性决策问题的计算步骤。其核心是通过构建并求解一个单目标最优化模型,得到每个方案与正、负理想方案的关联度,进而计算出每个方案与正理想方案的相对关联度,即可得到所有方案的排序结果。最后给出一个数值例子,结果表明该方法简单、有效并易于计算。     

实数连续性理论在平面几何上的应用

本文利用实数的连续性理论解决了平面几何方面的问题，具体用闭区间套定理证明了平面上任给一个三角形都存在任意方向上的一条直线，可将该三角形分成面积相等的两部分，进一步又禧到：对于一个三角形和一个多边形，至少存在一条直线可将它们同时分成面积相等的两部分．     

二维连续型随机变量和的分布的计算

本文给出一种较直观又简洁的计算二维连续型随机变量和函数分布的方法.     

汽车内部布置概念设计建模

用面向对象分析方法给出了汽车内部布置概念设计对象的层次结构,建立了对象之间面向舒适坐姿的连接依赖关系,并用动态约束网络描述了对象之间的动态约束关系,采用约束满足问题求解策略求得满足约束条件的布置参数.     

OFDM信号保护间隔的设计方案

在无线通信中，由于无线信道的多径衰落极大地恶化了通信质量。为了达到优良的误码率性能。考虑在传送通路上产生的多径衰落状态和符号同步的位置是重要的，合适的保护间隔（GI）设计是必须的。在OFDM通信方式中，把指数函数型延迟作为多径环境的模型，从传送效率和误码率特性的角度出发，研究了关于在发送端应附加的GI长度和接收端应去除的GI长度的设计方法，在考虑同步误差时，使OFDM具有能承受多径衰落的优良特性。     

课堂教学质量的区间值模糊综合评判

在分析了传统课堂教学质量评价方法之不足的基础上，设计了供教师和学生用的评价指标体系，改进了有效分的获取方法，用模糊综合评判方法，确定了教师课堂教学质量的优劣等级，利用区间数的排序方法，排列出了参评教师的的成绩名次．