AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

Drag-free卫星编队的发展现状和趋势研究

分析了Drag-free卫星编队的发展历程,就动力学建模与系统控制方法进行了综合调研和分析,提出了Drag-free卫星编队的应用前景和需要解决的关键技术,为我国未来空间环境与空间天气等超高精密探测奠定一定的基础.     

螺栓球节点试验及在单层网壳结构中的应用性

为充分利用螺栓球节点的抗弯刚度,实现其在单层网壳结构中的应用,针对螺栓球节点开展力学试验研究,配合以精细化的有限元分析,获得节点的抗弯性能,并采用弯矩-转角关系来描述.利用ANSYS程序,采用弹簧单元模拟节点弯曲与扭转性能并将试验获得的弯矩-转角关系引入节点属性中,构建了螺栓球节点单层网壳的有限元模型.在此基础上系统开展了网壳结构的稳定性能研究.结果显示:采用螺栓球节点的网壳对于荷载不对称分布较为敏感,而且失稳过程中总伴随有节点的弯折效应;单层球面网壳的极限承载力最低可达到对应刚性节点网壳的32%,最高则超过98%,而单层柱面网壳则仅为10%,这表明此类节点可以应用在单层球面网壳中,但不宜在单层柱面网壳中采用.     

喷管轴线、摆角等参数的红外光电探测

提出了一种基于多目视觉红外光电探测和圆锥曲面拟合的喷管轴线、摆角等参数估计方法.假定前端装有红外LED发光板和红外滤光片的4台高速相机实现了同步数据采集,且已完成标定.以红外反光标记球贴着喷管表面移动的大量三维坐标采样为基础,采用圆锥曲面拟合的方法求取喷管轴线的向量表示以及喷管圆锥曲面的虚拟顶点.通过喷管摆动的大量瞬时转轴拟合得到最小二乘意义上的摆动轴.将喷管轴线和摆动轴的公垂线与喷管轴线的交点作为摆心.喷管在摆动前后任意两时刻间的摆角可以用喷管上标记点的前后坐标到摆动轴的垂线向量的内积求得.摆角变化量除以时间间隔可得摆动角速度.摆动角速度的变化量除以时间间隔可得摆动角加速度.使用双轴摇摆-直线升降运动校准装置模拟喷管运动,摆心位移、摆角、摆动角速度和角加速度的测量误差分别为0.17mm、0.03°、0.12(°)/s、0.4(°)/s2.实验结果证明了算法的可行性.     

城市水系统健康循环理论与方略

为了实现城市水系统的健康循环及人类社会的可持续发展,从生态学的观念出发利用系统科学的分析方法,对自然资源的循环规律、人与自然关系的思想根源以及追求经济发展的传统生产方式的弊端进行了系统全面的论证,对水危机的根源进行了深刻的剖析.提出了传统排水系统功能、水资源利用模式的变革以及社会用水健康循环和水环境恢复的方略.指出只有把握和利用自然规律,将人类的生产与生活活动限定于自然生态平衡之中,才能维护生态系统的平衡实现可持续发展.     

IEEE802.15.4a信道对UWB功率谱影响分析

研究超宽带功率谱密度,从路径损耗模型、多路径模型和小尺度衰落模型方面分析IEEE802.15.4a工作组信道模型.采用直接序列脉冲(direct-sequence pulse-amplitude modulation,DSP-PAM)超宽带(ultra-wideband,UWB)系统的信道响应,仿真分析了8种信道对2～10 GHz超宽带系统功率谱分布情况.仿真结果表明,多路径信道对UWB功率谱影响不大,脉冲UWB具有抗多路径干扰能力强的特点.     

一种基于Voronoi图求解车辆路径问题的混合启发式算法

针对由多个配送中心和多个客户点组成的物流网络中的车辆路径问题,提出了一种基于“集群第一,路线第二”的路径优化策略,即首先使用Voronoi分割对配送区域进行划分,然后引入综合插入算法和变邻域搜索算法的混合启发式算法求解配送区域内车辆路径问题。通过算例和应用系统的分析与验证表明,该混合算法既能获取质量较优解,同时也具有较好的实时性,能较好地满足实际应用需求。     

数据流中基于滑动窗口的最大频繁项集挖掘算法*

挖掘数据流中最大频繁项集是从数据流中获得信息的一种有效手段,是数据流挖掘研究的热点之一。结合数据流的特点,提出了一种新的基于滑动窗口的最大频繁项集挖掘算法。该算法用位图来存储数据流中流动的数据;采用直接覆盖的方法存储和更新数据流上的数据;在深度优先搜索挖掘最大频繁项集时,除采用经典的剪枝策略外,还提出了与父等价原理相对应的子等价剪枝策略;最后将挖掘结果存储在索引链表中以提高超集检测效率,进一步减少挖掘最大频繁项集的时间。理论分析和实验结果证实了该算法在时间和空间上的有效性。     

基于多元图形特征与云模型理论的质量评价方法研究*

针对综合质量评价中评价结果不能充分反映主、客观因素共同作用的问题,提出了一种基于多元图表示原理与云模型理论相结合的综合质量评价方法。该方法基于多元图表示原理,应用雷达图表示方法的图形面积融合多指标参数,结合云模型理论定性定量转换强大功能,实现综合质量评价,得到符合人类思维方式的定性定量综合评价结果。以成都市土壤为研究对象,实验结果表明,该方法得到的定性定量相结合的综合评价结果符合实际数据的分布和人的思维方式,是一种充分反映主、客观因素共同作用的评价方法。该方法适用于多指标参数的质量评价问题。     

基于包络线和函数拟合的录波数据分析

提出了一种基于包络线和函数拟合来分析短路电流录波数据的实用算法.首先对短路电流录波波形取包络线,利用指数函数拟合,滤除衰减直流分量;然后对周期分量取包络线,通过指数函数拟合来分析短路电流衰减基波分量,最终实现对暂态短路电流基波分量有效值时域内的多分辨率观察与研究.