检索结果-内蒙古大学图书馆

中国电机工程学报 2005年第8期25卷 13-16页

作者：曹国云刘丽霞赵亮陈陈上海交通大学电气工程系上海市徐汇区200030

该文提出表示微分-代数模型中的奇异性、鞍结点和霍普夫分岔的代数方程以便应用延拓法来求解获得二维参数的分岔边界。该方程保留了电力系统稳定微分-代数模型的形式不变,也未涉及到矩阵求逆或行列式值的计算,同时该方程也具有直接法计... 详细信息

该文提出表示微分-代数模型中的奇异性、鞍结点和霍普夫分岔的代数方程以便应用延拓法来求解获得二维参数的分岔边界。该方程保留了电力系统稳定微分-代数模型的形式不变,也未涉及到矩阵求逆或行列式值的计算,同时该方程也具有直接法计算分岔时速度快的优点。其缺点是方程的维数增加了。应用所提方法计算了一简单电压稳定和一多机电力系统稳定模型中的二维参数局部分岔边界,并和实域仿真进行比较,结果表明该方法是准确可行的。

关键词：局部分岔稳定模型延拓法计算边界二维电力系统稳定多机电力系统代数模型霍普夫分岔代数方程矩阵求逆电压稳定奇异性鞍结点行列式直接法微分应用

来源：评论

学校读者我要写书评

暂无评论

振动系统稳定模型的频域辨识

引用

振动与冲击 2010年第3期29卷 118-120页

作者：彭程王永中国科学技术大学自动化系合肥230027

研究了利用频响数据进行振动系统辨识的问题。将振动系统表示为二阶传递函数之和的形式,通过约束传递函数模型中分母系数为正,可以保证模型的稳定性。采用非线性最小二乘目标函数作为优化准则,分子和分母系数通过分离的方式进行估计。... 详细信息

研究了利用频响数据进行振动系统辨识的问题。将振动系统表示为二阶传递函数之和的形式,通过约束传递函数模型中分母系数为正,可以保证模型的稳定性。采用非线性最小二乘目标函数作为优化准则,分子和分母系数通过分离的方式进行估计。分母系数利用模拟退火算法得到,分子系数通过求解线性最小二乘问题得到。数值仿真算例验证了辨识算法的有效性。

关键词：振动系统频域辨识稳定模型模拟退火线性最小二乘

来源：评论

学校读者我要写书评

暂无评论

绝热超导磁体瞬态稳定模型及其数值解法

引用

低温物理学报 1990年第5期12卷 377-382页

作者：查德龙韩朔林良真 100080 中国科学院电工研究所中国科学院电工研究所深圳蛇口中国科学院科健公司北京

本文对绝热稳定超导磁体的瞬态稳定性问题进行较合理的物理抽象,得到简化的三维模型,并用数值方法直接求解、计算磁体临界能和特定扰动下的失超电流,结果与实验值符合较好.文章还结合数值解讨论了临界能与初始扰动及磁体各物性参量的关系.

关键词：超导磁体稳定性问题稳定模型物理抽象超导器件瞬态稳定性失超数值解法计算方法

来源：评论

学校读者我要写书评

暂无评论

基于稳定模型的软件多样性与安全初探

引用

计算机工程与应用 2004年第7期40卷 53-55页

作者：揭玮梁意文苏国强许卫平武汉大学软件工程国家重点实验室/计算机学院武汉430072

该文简要阐述了软件多样性与安全性的关系后,基于STABLEMODEL是逻辑程序的语义模型的观点,从软件与逻辑程序设计的关联出发,提出了用逻辑程序设计实现软件多样性的方法。论文首先介绍了逻辑程序中稳定模型的形成、定义、演算方法,通过... 详细信息

该文简要阐述了软件多样性与安全性的关系后,基于STABLEMODEL是逻辑程序的语义模型的观点,从软件与逻辑程序设计的关联出发,提出了用逻辑程序设计实现软件多样性的方法。论文首先介绍了逻辑程序中稳定模型的形成、定义、演算方法,通过逻辑程序与稳定模型之间存在的多对一的映射关系,产生软件的多样性。最后,通过具体的分析,提出了基于稳定模型的程序多样性演化方法,这一方法实现了从一个源程序到一系列等价程序的多样性演化,从而提高了系统的鲁棒性和安全性。

关键词：多样性信息安全稳定模型逻辑程序设计

来源：评论

学校读者我要写书评

暂无评论

Linux进程语义安全性检测的稳定模型

引用

计算机工程与应用 2005年第10期41卷 15-18页

作者：谭成予董红斌梁意文武汉大学软件工程国家重点实验室/计算机学院武汉430072

现有进程检测方法,检测的目标是系统调用的序列的排列关联,忽略了语义中潜在的异常。稳定模型是逻辑程序的语义模型,可以用以发现并修改逻辑程序的异常问题。该文以系统调用为基本检测点,采用逻辑程序描述进程的基本语义逻辑,用稳定模... 详细信息

现有进程检测方法,检测的目标是系统调用的序列的排列关联,忽略了语义中潜在的异常。稳定模型是逻辑程序的语义模型,可以用以发现并修改逻辑程序的异常问题。该文以系统调用为基本检测点,采用逻辑程序描述进程的基本语义逻辑,用稳定模型表达进程的检测语义。系统定义进程的一系列安全语义规则,在进程执行中,计算安全语义规则与进程逻辑之间的稳定模型,得到安全语义的可计算性结论。论文最后,给出了一个Linux系统中的进程语义安全性检测的基本框架。

关键词：信息安全稳定模型进程检测系统调用

来源：评论

学校读者我要写书评

暂无评论

逻辑程序的稳定模型与标识更新

逻辑程序的稳定模型与标识更新

引用

作者：季卫华武汉大学

学位级别：硕士

随着逻辑程序研究的不断深入,逻辑程序的语义和更新已经成为研究的热门,各种语义模型和更新方法层出不穷,尤其是更新方法中优先级别的研究.该文通过对现有稳定模型语义介绍,结合实例化和非实例化的更新方法在稳定模型(也叫做稳定模型)... 详细信息

随着逻辑程序研究的不断深入,逻辑程序的语义和更新已经成为研究的热门,各种语义模型和更新方法层出不穷,尤其是更新方法中优先级别的研究.该文通过对现有稳定模型语义介绍,结合实例化和非实例化的更新方法在稳定模型(也叫做稳定模型)语义下的研究,明确提出更新分为两种形式:丰富更新和替换更新,这解决了在一些更新方法上存在的误区,然后提出一种全新的更新方法——标识更新,标识更新方法的提出,将逻辑程序实现系统成为可能,文章最后通过逻辑程序实验系统高效实现了逻辑程序的语义解释和标识更新.文章的工作主要包含下面六个方面:1)研究稳定模型语义;2)研究在稳定模型语义基础上的一种新的逻辑程序Priporized Logic Programs(优先级别的逻辑程序PLPs),为非实例化动态更新打下理论基础;3)研究逻辑程序的实例化更新和其存在的一些弊端;4)研究逻辑程序一种全新的标识更新方法;5)研究逻辑程序稳定模型系统实现的方法和具体的算法;6)研究如何用系统实现逻辑程序的稳定模型语义和逻辑程序的标识更新,并对知识库的表示进行探讨.

关键词：稳定模型答案集标识更新丰富更新替换更新优先级别的逻辑程序

来源：评论

学校读者我要写书评

暂无评论

当代西方金融发展与稳定模型研究

当代西方金融发展与稳定模型研究

引用

作者：王春桥云南大学

学位级别：硕士

1973年麦金宵和肖分别提出了金融抑制和金融深化的观点,指出发展中国家应实行金融的自由化.随后,以卡普、马西森、加尔比斯和费莱为代表的西方经济学家在金融深化理论的基础上,运用各种形式的经济增长模型,对发展中国家的经济和金融进... 详细信息

1973年麦金宵和肖分别提出了金融抑制和金融深化的观点,指出发展中国家应实行金融的自由化.随后,以卡普、马西森、加尔比斯和费莱为代表的西方经济学家在金融深化理论的基础上,运用各种形式的经济增长模型,对发展中国家的经济和金融进行了更为细致、严密的分析,形成了多种多样的金融发展与稳定模型.模型通过对发展中国家金融、经浊落后的现实进行合理抽象,指出消除金融压制的种种措施可以增加全社会可用资本的量,提高资本的使用效率,使发展中国家摆脱低速增长的困境.利用这一理论的主要思想对中国的金融体制改革进行评价,可以发现改革后的经济的快速增长依赖于金融数量扩展,从而得出进一步的金融体制改革应从提高效率方面着手,通过金属控制来实现这一目的的结论.文章的结构安排如下:一.前言;二概论,介结模型的含义、渊源、以及其现实际意义;三.模型的基本内容,详细介绍金融深化论,卡普和加尔比斯的模型;四.模型的研究发展动态和总体评价;五.对中国金融体制改革过程的评价和建议.

关键词：西方经济学发展中国家稳定模型金融体制改革

来源：评论

学校读者我要写书评

暂无评论

断裂带内介质的软化特性和地震的非稳定模型

引用

地震学报 1984年第2期 135-145页

作者：殷有泉张宏北京大学力学系

本文将地震过程看作是一个包含断裂带和围岩的力学系统在外界扰动下的一种失稳现象,用变形体力学方法给出了断层带介质软化的本构方程和地震非稳定模型的一般的数学表述.借助于均匀场的非稳定模型,本文讨论了弹性回跳概念,导出了地震效... 详细信息

本文将地震过程看作是一个包含断裂带和围岩的力学系统在外界扰动下的一种失稳现象,用变形体力学方法给出了断层带介质软化的本构方程和地震非稳定模型的一般的数学表述.借助于均匀场的非稳定模型,本文讨论了弹性回跳概念,导出了地震效率公式和论证了能量形式失稳准则的普遍性,并指出了在刚性试验机上研究声发射现象的重要意义.本文还介绍了用于研究非均匀场的地震非稳定性的有限单元法的通用程序以及唐山地震的算例.

关键词：地震稳定模型断层带构造带准静态的软化特性

来源：评论

学校读者我要写书评

暂无评论

逼尿肌不稳定模型中RyR通道对自发收缩过度活跃影响的实验研究

逼尿肌不稳定模型中RyR通道对自发收缩过度活跃影响的实验研究

引用

第十二届全国、第七届全球华人泌尿外科学术会议

作者：江海红宋波卢根生文前军金锡御重庆第三军医大学西南医院全军泌尿专科中心重庆第三军医大学西南医院全军泌尿专科中心重庆第三军医大学西南医院全军泌尿专科中心重庆第三军医大学西南医院全军泌尿专科中心重庆第三军医大学西南医院全军泌尿专科中心

目的:为探索逼尿肌不稳定(Detrusor Instability,DI)自发收缩过度活跃的肌源性证据,我们观察RyR(Ryanodine Receptor,RyR)通道在DI及正常逼尿肌中对自发收缩调节的影响,以及RyR表达差异。材料和方法:手术形成大鼠部分膀胱出口梗阻(parti... 详细信息

目的:为探索逼尿肌不稳定(Detrusor Instability,DI)自发收缩过度活跃的肌源性证据,我们观察RyR(Ryanodine Receptor,RyR)通道在DI及正常逼尿肌中对自发收缩调节的影响,以及RyR表达差异。材料和方法:手术形成大鼠部分膀胱出口梗阻(partial Bladder Outlet Obstruction, BOO),8周后进行充盈性测压获得DI模型。新鲜膀胱镜下分离肌条进行离体收缩实验,利用电刺

关键词： RyR 稳定模型

来源：评论

学校读者我要写书评

暂无评论

基于稳定模型的计算机病毒检测方法

基于稳定模型的计算机病毒检测方法

引用

中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会

作者：高清贾小珠山东青岛大学信息工程学院

搜索和传染是病毒程序的两种典型模式,通过分析这两种典型行为,总结出病毒程序的语义特征, 在此基础上提出了一种针对未知病毒的检测方法。该方法应用逻辑程序及其稳定模型的理论,制定符合要求的语义规则,构造目标程序流程图,利用流程... 详细信息

搜索和传染是病毒程序的两种典型模式,通过分析这两种典型行为,总结出病毒程序的语义特征, 在此基础上提出了一种针对未知病毒的检测方法。该方法应用逻辑程序及其稳定模型的理论,制定符合要求的语义规则,构造目标程序流程图,利用流程图实例化语义规则,最后求解其稳定模型。依据稳定模型中的元素来判断目标程序是否含有病毒。

关键词：程序语义病毒检测逻辑程序稳定模型

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：