基于一种匹配函数的ATS资源自动配置方法

提出采用匹配函数描述测试点与仪器端口的匹配程度,用来指导自动测试系统仪器选型和资源配置.匹配函数采用面向信号的方法构建,综合了测点信号属性与仪器性能参数、仪器可靠性、仪器成本、仪器操作复杂度等因素,使得仪器选型和资源配置策略的制定更符合工程需要.给出了资源配置策略和算法,并对资源配置进行了并行测试优化.通过给出一个典型实例,证明该方法能有效降低测试成本,增强系统可靠性,提高测试效率和吞吐量,并为自动测试系统硬件设计的自动化奠定了基础.      

基于MBD的飞机测试工艺数字化定义方法

飞机测试可模拟飞行环境,验证飞机功能符合性和性能精准性。近年来,飞机装配过程已逐步转变至三维装配工艺设计,而飞机测试仍局限于通过文档形式进行测试任务描述和过程执行。基于模型定义（MBD）对飞机测试顶层设计进行了研究,提出测试工艺设计概念和测试工艺数字化定义方法。将飞机全过程测试分为4个阶段,形成从测试设计到测试结果的工艺模型定义,并实现部分工程化验证。结果表明:基于MBD的测试工艺数字化定义结果可作为唯一数据源,实现飞机测试的统一表达与信息传输。      

异构计算系统中独立任务调度的混合遗传算法

有效的任务调度是异构计算系统获取高性能的关键因素之一,由于任务调度问题是NP-困难的,为了获取尽可能好的解,文献中存在许多启发式调度算法.针对异构计算系统的独立任务调度问题,基于遗传算法和最小完成时间算法MCT(Minimum Completion Time),提出一种新的混合遗传算法,它采用遗传算法来进化任务调度的优先队列,然后再使用MCT算法把优先队列解码为一个有效的调度,与文献中其它算法进行比较表明,它不但能产生更好的调度结果,而且有很好的收敛速度.      

基于混合遗传算法车间多工艺路线批量调度

结合启发式分派规则和模拟退火算法,给出了改进的遗传算法——遗传退火算法(GASA,Genetic Algorithm-Simulated Annealing Algorithm).该算法采用新型POX交叉算子,通过结合模拟退火算法,有效地避免了基本遗传算法解决车间调度早熟的问题,并通过实验验证了该算法的有效性.基于GASA研究了航空复杂产品制造车间中,考虑生产批量、生产转换时间、允许多设备加工路线的车间静态与动态调度问题,分析并验证了不同分批方法对考虑以上因素的车间生产调度结果的影响.该算法已应用到某航空车间生产计划与控制系统中.      

基于Labwindows/CVI的发射机测试系统软件设计

针对发射机测试系统的软件需要,进行了发射机测试系统的软件设计,包括交互界面设计,测试程序设计以及报表生成设计。测试结果表明,该软件能够实现发射机的自动测试和报表生成,满足工业测试需求。     

一种基于消息转发的类异步并行进程迁移算法

针对并行机群系统的进程迁移问题,提出了一种新的基于消息转发的类异步并行迁移算法, 该算法使用消息驱赶、消息转发、缓存优先匹配等多种机制,避免了一般类异步迁移算法集 中式管理,非迁移进程参与协调工作较多的缺点,通过算法描述和实验结果表明,该算法具 有迁移效率高、易于管理和控制、健壮性好等优点.     

多机多窗口优化调度问题的模型与算法

最小化完工费用且具有多个时间窗口的多机调度问题,一直是组合优化领域的一个研究难点.首先给出描述问题的2种模型:整数规划IP(Integer Programming)模型,约束规划CP(Constraint Programming)模型.通过对IP模型和CP模型各自缺点的讨论,引出一个新的模型--混合IP-CP模型,重点讨论了该混合模型的求解方法,给出一个模型求解的启发式算法,经测试表明新模型和算法能极大地提高问题求解效率,为解决此类大规模优化调度问题提供了方法.     

基于Labwindows/CVI的发射机测试系统软件设计CSCD

针对发射机测试系统的软件需要,进行了发射机测试系统的软件设计,包括交互界面设计,测试程序设计以及报表生成设计。测试结果表明,该软件能够实现发射机的自动测试和报表生成,满足工业测试需求。     

基于Labwindows/CVI的发射机测试系统软件设计

针对发射机测试系统的软件需要,进行了发射机测试系统的软件设计,包括交互界面设计,测试程序设计以及报表生成设计。测试结果表明,该软件能够实现发射机的自动测试和报表生成,满足工业测试需求。     

基于CCR带并行腔双集束型设备调度方法

为有效解决450mm晶圆制造中带有并行处理腔的集束型设备群调度问题,提出了基于产能约束资源（CCR）的调度方法。首先,综合考虑多品种加工、晶圆驻留和资源约束等特征,以系统总完工时间最小作为目标,建立带并行腔双集束型设备调度数学模型;其次,为优化机械手作业顺序,对CCR实施锁定-收紧-松弛（LTL）策略,构建了一种以CCR为界的分段调度算法;最后,进行了仿真实验分析。结果表明本文提出的算法是有效和有竞争性的。      

基于图论的潜通路分块分析方法

潜通路分析是一种重要的电路可靠性分析方法.随着电路系统规模的扩大,整体进行潜通路分析不仅使分析时间增加,而且分析过程会占据很大的存储空间.对大型复杂电路网络进行潜通路分析时,运用基于Laplace矩阵的谱平分算法对电路系统分块处理,将其划分成规模较小的若干子网络模块.根据子网络模块内部元件的组合状态,用深度优先搜索判断通路,将每个子网络模块等效成一个多端的特殊器件.对各个子网络模块分别进行潜通路分析,对等效后简化的电路系统整体分析,以达到对整个电路系统潜通路分析的目的.潜通路分块分析的方法简化了电路网络分析模型,有利于潜通路分析自动化智能化水平的提高.      

保证速率的AFDX交换机实时调度算法

针对AFDX(Avionics Full Duplex Switched Ethernet)网络关键技术——交换机实时调度算法,提出一种保证速率的优先级实时调度算法(PRTRG,Priority Real Time sched-uling algorithm based on Rate-Guaranteed),并运用网络演算理论分析了此调度算法的实时性.在AFDX网络典型配置下,与(FIFO,First In First Out)结果进行分析对比,证明PRTRG算法有效地减少了高优先级数据的端到端延迟上界,同时保证了低优先级数据端到端延迟的确定性,并且阻止了数据流拥塞的扩散,在交换机内部实现了流量隔离.     

一种软件测试过程的博弈模型

为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.      

基于D-S证据理论的知识融合及其应用

知识融合是上世纪末提出的一种新概念,它不但能够融合数据、信息,而且还可对方法、经验,甚至人的思想进行融合.针对企业失败预警问题,提出了一种基于D-S(Dempster-Shafer)证据理论的新的知识融合方法,该方法主要包括数学建模、知识融合以及结果分析与决策三个步骤.给出了基于D-S证据理论知识融合方法的具体实现:提出了一种数学建模方法,将信息熵的概念引入到基础概率分配的确定中;针对企业失败预警问题,推导了基于D-S证据组合理论的知识融合公式;提出了一种简洁的融合结果分析与决策方法.最后通过对具有典型企业风险特性的两个上市公司进行分析和处理,验证提出的基于D-S证据理论的知识融合方法的有效性.结果表明,该方法能有效降低企业失败预警方法的不确定性.      

机群环境中基于信度模型的作业调度算法

提出了一种新的机群环境下的作业调度算法,该算法基于信度模型.在信度模型 中,每一个计算节点是一个信度实体,系统根据信度实体的物理能力、当前状态、历史作业完成情况,对节点进行信度评价,赋予其相应的信度值,调度算法根据信度实体信度值为作业分配合适的资源运行作业.同时,调度系统还对机群系统的整体信度进行评价,并根据估计的作业运行时间和完成期限对作业做信度要求折算,调度系统根据机群系统的整体信度情况和作业信度要求来决定是否接受该作业请求.在OpenPBS机群调度系统上实现了该算法,并通过GridSim工具包与先入先出FIFO(First Input First Output) 算法和Libra调度算法进行了模拟对比试验.试验结果表明,该算法是有效的.      

基于旋量理论及距离误差的机械臂标定新方法

为提高机械臂的定位及定姿精度,必须对其进行标定.标定能否达到预期目的,主要取决于所采用的运动学模型及消除参数识别过程中外来误差的影响.分析了基于不同运动学模型时机械臂的初始位姿误差对标定结果的影响.提出了一种结合旋量理论与距离模型的标定用数学模型.该模型考虑了机械臂初始位姿误差对标定的影响,解决了用D-H参数建模存在的弊端,同时能消除因机械臂坐标系统与测量设备坐标系统之间转换所带来的误差,克服了测量技术上的困难.仿真计算验证了这种新标定数学模型的可行性.      

基于多星联合侦察的卫星数传调度问题模型

基于多星联合侦察的卫星数传调度问题是研究如何为卫星数传任务中每个单数传任务分配地面资源及数传时间的问题,对该问题的模型进行了研究.首先建立了单数传任务模型及卫星数传任务模型;然后在此基础上建立了问题的约束满足优化模型,重点分析了问题的目标函数及主要约束条件;为了解决该问题,最后提出了一个基于双综合优先度的启发式调度算法,并通过实例验证了算法的有效性.研究成果实现了问题的形式化描述,并给出了一种有效的问题求解算法.      

基于多信号流图的分层系统测试性建模与分析

为了对分层系统进行测试性分析,提出基于多信号流图模型的分层系统测试性建模与分析方法.该方法利用多信号流图模型建立分层系统的层次结构模型,进行测试性分析时,首先利用相关性模型法对顶层模型进行测试性分析,当层次性模块与其它模块不能区分时,再利用相关性模型法对模糊组进行测试性分析,最终实现对分层系统的诊断设计.最后,利用某具有层次性结构的滤波放大器电路对该方法进行了验证,试验结果证明,该方法对于分层系统的测试性建模与分析是有效的,能够为分层系统制定有效的诊断策略.