论文部分内容阅读
混合系统的形式验证中,确定近似商迁移系统的迁移关系,需要计算系统初始区域的可达集的流管道近似.针对非线性系统可达集近似计算难题,提出流管道逼近方法,极大简化了凸多面体的计算量.
可达集流管道近似的简化算法
【摘 要】
：
混合系统的形式验证中,确定近似商迁移系统的迁移关系,需要计算系统初始区域的可达集的流管道近似.针对非线性系统可达集近似计算难题,提出流管道逼近方法,极大简化了凸多面
【机 构】
：
合肥工业大学电气与自动化工程学院
【出 处】
：
科技资讯
【发表日期】
：
2007年20期
其他文献
目的：对急性黄疸型肝炎患者接受中医辨证治疗的临床效果进行研究分析。方法根据2012年6月～2013年6月接收的90例急性黄疸型肝炎患者来进行研究分析，将这些患者分成对照组和实验组
从确保建筑施工安全上考虑,充分利用BIM虚拟技术,建立起由基础资料模块、BIM虚拟施工模块、安全监督和管理模块三部分共同组成的多维数字化安全管理体系,对其中关键施工环节
我国国民经济的飞速发展不仅带动了我国公路路桥工程的快速发展,而且在公路路桥的施工方面的要求也相应地提高了。然而在公路路桥施工的过程中,出现处理软土地基的情况非常普
选取小麦族下披碱草属、鹅观草属和赖草属的5个类群进行核型分析。结果表明,老芒麦核型公式为2n=4x=28=24 m（2SAT）＋4 sm;纤毛鹅观草核型公式为2n=4x=28=22 m＋6 sm（2SAT）;毛盘鹅观草
综述了秸秆青贮利用的优点,分析了现阶段在我国耕地面积减少、人口增多、饲料严重短缺的形势下,提高秸秆饲料利用率及其产业化发展的重大意义,并探讨了秸秆饲料发展过程中存
目的：分析246例静脉使用抗菌药物不良反应（ ADR）报告分析,了解ADR发生特点及引发的相关因素,促进安全合理用药。方法：采用回顾性研究方法,对蚌埠医学院第一附属医院2013年静脉使
高等职业院校的英语教学一直是我国职业教育里的一个难点。总体上来看,高等职业院校的学生知识层次相对比较低,加上学生几乎都不存在升学的压力,导致学生学习兴趣缺乏,学习效
<正>7月13日,《中国城市发展报告2015》(以下简称《报告》)首发式在北京举行。全国人大常委会原副委员长、国际欧亚科学院中国科学中心主席蒋正华,住房城乡建设部部长、中国
针对Web安全协议SSL的握手协议部分进行了详尽的阐述,对其安全性作了一定的分析,给出了理论上存在的三个协议漏洞的详尽描述,并且经过测试验证,指出了SSL协议存在＊＊＊模式漏洞.
为了解决输电网故障行波定位的网络数据融合及环网解环的复杂处理问题,利用故障行波传输时间与传输距离的线性关系,建立故障行波传输最短路径有向树模型,提出一种基于线性拟