检索结果-维普期刊中文期刊服务平台

Halin图谱半径的新上界及极图被引量：2: 1; 作者袁劲松束金龙《高校应用数学学报（A辑）》 CSCD 北大核心 2008年第3期335-342,共8页; 利用移接变形的方法再结合特征值的计算技巧刻画出Halin图中谱半径达到第二大的极图,从而得到除轮图以外的Halin图的谱半径的上界以及极图.; 关键词 HALIN图谱半径邻接矩阵; 在线阅读下载PDF 职称材料

基于常微分方程的死锁检测实验分析: 2; 作者丁佐华江明月刘静《计算机学报》 EI CSCD 北大核心 2009年第9期1736-1749,共14页; 用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续... 展开更多; 关键词死锁检测并发程序状态爆炸连续PETRI网常微分方程; 在线阅读下载PDF 职称材料

基于关系演算的Java模式识别被引量：5: 3; 作者苗康余啸 +1 位作者赵吉沈宇《计算机应用研究》 CSCD 北大核心 2010年第9期3425-3430,共6页; 分析了面向对象类与对象间的关系,在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系;讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具,并以该工具为基础做实验对一些设计模式进行了验证。; 关键词关系演算设计模式 JAVA虚拟机属性检查; 在线阅读下载PDF 职称材料

树的Nordhaus-Gaddum类型谱半径的排序被引量：2: 4; 作者何沙束金龙《高校应用数学学报（A辑）》 CSCD 北大核心 2007年第2期247-252,共6页; 给出了n阶树的Nordhaus-Gaddum类型谱半径即图及其补图的谱半径之和的可达上界:ρ(T)+ρ(Tc)≤■+n-2,等号成立当且仅当T K1,n-1,其中Tc为T的补图,K1,n-1为n阶星图.同时证明了对于n阶双星图S(a,b)的Nordhaus-Gaddum类型谱半径随a的值单... 展开更多; 关键词树补图谱半径; 在线阅读下载PDF 职称材料

题名Halin图谱半径的新上界及极图被引量：2: 1; 作者袁劲松束金龙; 机构杭州外国语学校华东师范大学计算机理论研究所; 出处《高校应用数学学报（A辑）》 CSCD 北大核心 2008年第3期335-342,共8页; 基金国家自然科学基金(10671074 60673048) +2 种基金 2006CB805901) 上海市重点学科建设项目(B407); 文摘利用移接变形的方法再结合特征值的计算技巧刻画出Halin图中谱半径达到第二大的极图,从而得到除轮图以外的Halin图的谱半径的上界以及极图.; 关键词 HALIN图谱半径邻接矩阵; Keywords Halin graph spectral radius adjacency matrix; 分类号 O157.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于常微分方程的死锁检测实验分析: 2; 作者丁佐华江明月刘静; 机构浙江理工大学数学计算与软件工程中心华东师范大学计算机理论研究所; 出处《计算机学报》 EI CSCD 北大核心 2009年第9期1736-1749,共14页; 基金国家自然科学基金(90818013 90718014)资助~~; 文摘用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空间,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还釆取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性.; 关键词死锁检测并发程序状态爆炸连续PETRI网常微分方程; Keywords deadlock detection concurrent program state explosion continuous Petri net ordinary differential equation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于关系演算的Java模式识别被引量：5: 3; 作者苗康余啸赵吉沈宇; 机构华东师范大学计算机理论研究所; 出处《计算机应用研究》 CSCD 北大核心 2010年第9期3425-3430,共6页; 文摘分析了面向对象类与对象间的关系,在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系;讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具,并以该工具为基础做实验对一些设计模式进行了验证。; 关键词关系演算设计模式 JAVA虚拟机属性检查; Keywords relational calculus design pattern Java virtual machine property checking; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名树的Nordhaus-Gaddum类型谱半径的排序被引量：2: 4; 作者何沙束金龙; 机构华东师范大学计算机理论研究所; 出处《高校应用数学学报（A辑）》 CSCD 北大核心 2007年第2期247-252,共6页; 基金国家自然科学基金(10671074 60673048) +1 种基金上海市自然科学基金(05ZR14046); 文摘给出了n阶树的Nordhaus-Gaddum类型谱半径即图及其补图的谱半径之和的可达上界:ρ(T)+ρ(Tc)≤■+n-2,等号成立当且仅当T K1,n-1,其中Tc为T的补图,K1,n-1为n阶星图.同时证明了对于n阶双星图S(a,b)的Nordhaus-Gaddum类型谱半径随a的值单调上升,其中[n-1/2]≤a≤n-3.; 关键词树补图谱半径; Keywords tree complement graph spectral radius; 分类号 O157.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Halin图谱半径的新上界及极图	袁劲松束金龙	《高校应用数学学报（A辑）》 CSCD 北大核心	2008	2	在线阅读下载PDF 职称材料
2	基于常微分方程的死锁检测实验分析	丁佐华江明月刘静	《计算机学报》 EI CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
3	基于关系演算的Java模式识别	苗康余啸赵吉沈宇	《计算机应用研究》 CSCD 北大核心	2010	5	在线阅读下载PDF 职称材料
4	树的Nordhaus-Gaddum类型谱半径的排序	何沙束金龙	《高校应用数学学报（A辑）》 CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料