【摘 要】
：
对工程和科学问题进行建模和仿真的时候,人们常常很自然地会用微分代数系统对这些问题进行描述.为了检验微分代数系统的初始相容性并进行求解,对微分代数系统进行结构化分析
【机 构】
：
中国科学院大学,中国科学院成都计算机应用研究所
【基金项目】
：
国家“973”计划项目(NKBRPC–2011CB302402),国家自然科学基金项目(61402537,91118001)资助.
论文部分内容阅读
对工程和科学问题进行建模和仿真的时候,人们常常很自然地会用微分代数系统对这些问题进行描述.为了检验微分代数系统的初始相容性并进行求解,对微分代数系统进行结构化分析非常重要.本文对经典的微分代数系统结构化分析方法进行了深入的研究;提出了一种新的结构化分析方法,可以高效地对大规模、高阶高指标的微分代数系统进行结构化分析,并快速检验其初始相容性;证明了该方法的终止性,分析了其最坏时间复杂度.该方法的关键在于对最大加权二部子图的使用,而最大加权二部子图则来源于原始系统的加权二部图.实验结果显示,该方法能高效地完成
其他文献
探究性学习是让学生以所学知识、技能为基础，紧密结合国内外重大热点问题、以及现实生活和自身实际来开展探究的一种形式。就思想政治课而言，开展探究性学习活动，一般有以下几个
集中体现在：在国内首次举办中国探月工程展；首次举办国防科技工业政策解读会；解放军总参谋部、总后勤部、总装备部首次联合组成军队代表团参展；军工集团参展规模超过历届。
本文基于改进的k-means算法及分级案例库匹配技术提出一种研究高炉料面和煤气流关系的方法.为了获取煤气流分布情况,首先提出了改进的基于新型有效性指标评价的k-means算法,
每个地理老师都希望能激发学生对地理课的兴趣，渴望自己达到苏霍姆林斯基所描述的那种境界：“要使学生认为你所教的课程最有趣，使尽可能多的学生像渴望幸福一样渴望在你向他们讲
在长达40年的时间中,壬基酚聚氧乙烯醚（NPEOn）作为全球第二大用量的非离子型表面活性剂,被广泛用于农药、纺织品、洗涤用品和化纤油剂等多个领域。但由于NPEOn的难降解性和高生
人教社与美国汤姆森集团合作编写的《新目标》英语Go For It教材已作为新教材在重庆进行了实验并推广。新教材的编写体现了新课程理念。教师要有创造性地使用本套教材。
《生活饮用水标准检验》（GB／T5750．1-5750．13-2006）中测定水中锡的方法有：氢化物原子荧光法、苯芴酮分光光度、微分电位溶出法、电感耦合等离子体质谱法。本文应用氢化物原子荧光光
本文采用自适应动态规划算法研究了Buck型DC–DC变换器系统的输出跟踪问题.首先构造一个误差系统,并定义含跟踪误差和控制代价的性能指标;然后,利用自适应动态规划算法得到Bu
合作学习是当今世界研究学习的三大主题之一，也是我国教育改革中大力倡导的一种学习方式，如何有效地组织学生在教学活动中开展合作学习是一个值得探讨的问题。合作学习能从许多
本文从三个教学案例具体说明了直观性教学方法在医学免疫学教学中的实施。