【摘 要】
：
为满足基于模型的测试需求,研究了基于搜索的Simulink模型测试数据生成方法。对于严格约束,该方法利用代价函数规则构建目标函数,针对Simulink模型复杂性的特点,采用模拟退火算法对目标函数求优,最终搜索出满足目标约束的测试数据。由此设计了一种综合考虑宽松约束和严格约束的Simulink测试数据生成框架,最后实现了该方法在典型案例的应用。实践证明,该方法快速有效地解决了Simulink模型的测
【机 构】
：
西北工业大学计算机学院陕西省嵌入式系统技术重点实验室
【基金项目】
：
国家“863”计划资助项目（2011AA010101）,西安市科技计划项目（CXY1008）
论文部分内容阅读
为满足基于模型的测试需求,研究了基于搜索的Simulink模型测试数据生成方法。对于严格约束,该方法利用代价函数规则构建目标函数,针对Simulink模型复杂性的特点,采用模拟退火算法对目标函数求优,最终搜索出满足目标约束的测试数据。由此设计了一种综合考虑宽松约束和严格约束的Simulink测试数据生成框架,最后实现了该方法在典型案例的应用。实践证明,该方法快速有效地解决了Simulink模型的测试数据生成问题。
其他文献
自然语言处理与中文计算会议(以下简称NLP&CC)是由中国计算机学会(CCF)主办的CCF中文信息技术专业委员会年度学术会议。NLP&CC专注于自然语言处理及中文计算领域的研究和应用创新,致力于推动该领域学术界和工业界的交流,成为覆盖全国、具有国际影响力的学术交流平台。会议主题
为消除基于虚拟节点的数据融合算法(VNB-DF)的局部误差过大现象,设计了一种误差分级(EG)的虚拟节点数据融合算法。该算法根据目标的精度要求,设定误差等级,通过多项式拟合系数来表示一定范围内的监测数据的分布状态,在内存中生成虚拟节点。实验表明,与簇内数据取均值和VNB-DF算法相比,该算法大大提高了数据采集精度,在多种类环境应用方面能够表现出良好的性能。
笔者对在该院门诊或住院就诊的10例腮腺炎病毒性脑炎的病人行脑电图检查,以探讨脑电图与腮腺炎病毒性脑炎的临床关系及其诊断价值.
近邻传播(AP)算法是一种新提出的聚类算法,是在数据点的相似度矩阵的基础上进行聚类,通过数据点之间交换信息,最后得到聚类结果。提出了基于互近邻一致性近邻传播算法,即KMNC-AP算法,该算法利用互近邻一致性调整数据点之间的相似度,进而提高聚类效率和精确度。实验结果表明,该算法在处理能力和运算速度上优于原算法。
髋部骨折主要包括股骨颈骨折和股骨转子间骨折,是老年人骨折的好发部位.老年人大多伴有其他系统疾患,从心理上又惧怕较大手术创伤.如骨折后长期卧床,又易出现较多并发症.而经
1病例介绍患者男,60岁.因反复发作胸闷、心慌、憋气3年,加重6d入心内科.患者3年前无明显诱因地出现胸闷、心慌、憋气,伴大汗,活动后加剧,无心前区痛,无头晕、晕厥.
我科自1990年5月～1998年10月共做398例次纤支镜检查,其中40岁以下86例.为探讨青年人纤支镜检查的价值,特将86例青年纤支镜检查结果分析如下:
目前的工作流模型大多是基于过程建模的,并没有强调供需网环境下角色之间的交互关系。基于此,首先讨论了供需网中角色的概念及其属性;然后借鉴形式化和非形式化方式建模的优点,系统总结了模型建模的步骤,提出了供需网环境下基于角色的工作流模型;最后结合马尔可夫链理论验证了模型的稳定性。这种建模思想有利于扩大工作流管理系统的适用范围,保证供需网内部的安全性和稳定性。
为了验证网络战略演化模型能够生成呈现大部分真实社会网络主要结构特性的网络,并探索知识缄默性对网络结构的影响规律,为此,引入空间动态连接模型来描述代理人之间连接的策略模式,运用时间非齐次的马尔可夫随机过程来刻画网络动态演化过程,进而利用动力学仿真研究知识缄默性对网络结构的影响规律。结果显示,当衰减参数处于区间[0.35,0.7]时,网络呈现集聚性,并且只有很少的代理人维持长连接;当代理人之间连接成本
为了进一步提高无线多跳网络的吞吐量,采用物理干扰模型,考虑链路速率可以随信干噪比(signal tointerference plus noise ratio,SINR)动态可调,提出了基于位势博弈的传输调度算法。通过设计合适的位势函数,使得纳什均衡点的存在性和收敛性都得到保证。同时,每个参与者在最小化自己支付的同时,使全局函数达到最优。仿真结果表明,该算法具有较好的吞吐量性能,而且有较快的收敛速