期刊文献+
共找到93篇文章
< 1 2 5 >
每页显示 20 50 100
Basic theorem as representation of heterogeneous concept lattices
1
作者 Jozef POCS Jana POCSOVA 《Frontiers of Computer Science》 SCIE EI CSCD 2015年第4期636-642,共7页
We propose a method for representing heteroge- neous concept lattices as classical concept lattices. Particu- larly, we describe a transformation of heterogeneous formal context into a binary one, such that correspond... We propose a method for representing heteroge- neous concept lattices as classical concept lattices. Particu- larly, we describe a transformation of heterogeneous formal context into a binary one, such that corresponding concept lattices will be isomorphic. We prove the correctness of this transformation by the basic theorem for heterogeneous as well as classical concept lattices. 展开更多
关键词 basic theorem heterogeneous concept lattice representation
原文传递
接触者追踪HIV/AIDS模型的稳定性和分岔分析
2
作者 尹卓杨 徐芳 《高师理科学刊》 2024年第8期13-20,34,共9页
研究了一类具有接触者追踪的HIV/AIDS模型,证明了无病平衡点和内部平衡点的唯一存在性.利用下一代矩阵的方法计算基本再生数,并得出平衡点稳定性的充要条件,即当基本再生数小于1时,无病平衡点是渐近稳定的;当基本再生数大于1时,内部平... 研究了一类具有接触者追踪的HIV/AIDS模型,证明了无病平衡点和内部平衡点的唯一存在性.利用下一代矩阵的方法计算基本再生数,并得出平衡点稳定性的充要条件,即当基本再生数小于1时,无病平衡点是渐近稳定的;当基本再生数大于1时,内部平衡点是渐近稳定的.结合中心流形定理,讨论模型的分岔现象,给出了系统发生跨临界分岔的生物学解释.通过使用Matlab进行数值模拟,验证了系统的稳定性.同时,结合参数的生物学意义对艾滋病病毒的控制提供了建议. 展开更多
关键词 HIV/AIDS 稳定性 基本再生数 中心流形定理 跨临界分岔
下载PDF
具有双线性发生率的SEIR模型的Hopf分支分析
3
作者 豆中丽 《科技资讯》 2024年第11期246-248,253,共4页
讨论具有双线性发生率的SEIR模型的Hopf分支,首先通过计算得到模型的基本再生数和疾病持续存在的地方病平衡点;将系统线性化,选取适当的参数β*,利用中心流形定理和规范性证明在地方病平衡点处存在生Hopf分支,并得到相应Hopf分支产生的... 讨论具有双线性发生率的SEIR模型的Hopf分支,首先通过计算得到模型的基本再生数和疾病持续存在的地方病平衡点;将系统线性化,选取适当的参数β*,利用中心流形定理和规范性证明在地方病平衡点处存在生Hopf分支,并得到相应Hopf分支产生的充分条件;当第一Lyapunov系数l1(0)<0时,在地方病平衡点附近有超临界的Hopf分支产生。 展开更多
关键词 基本再生数 HOPF分支 中心流形定理 双线性发生率
下载PDF
RECIPROCAL THEOREM METHOD FOR SOLVING THE PROBLEMS OFBENDING OF THICK RECTANGULAR PLATES
4
作者 付宝连 谭文锋 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 1995年第4期391-403,共13页
In this paper,reciprocal theorem method(RTM) is generalized to solve theof bending of thick rectangular plates based on Reissner’s theory.First,the paper gives the basic solution of the bending of thick rectangular p... In this paper,reciprocal theorem method(RTM) is generalized to solve theof bending of thick rectangular plates based on Reissner’s theory.First,the paper gives the basic solution of the bending of thick rectangular platesand then the exact analytical solution of the bending of thick rectangular plate withthree clamped edges and one free edge under umiformly distributed load is found byRTM, finally, we analyze numerical results of the sohution. 展开更多
关键词 reciprocal theorem method. basic solution. bending of thickrectangular plate. Reissner’s theory
下载PDF
RECIPROCAL THEOREM METHOD FOR THE FORCED VIBRATIONOF ELASTIC THICK RECTANGULAR PLATES
5
作者 李慧剑 付宝连 谭文峰 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 1998年第2期191-205,共15页
In this paper, reciprocal theorem method (RTM) is generalized to solve the problems for the forced vibration of thick rectangular plates based on the Reissner's theory. The paper derives the dynamic basic solution... In this paper, reciprocal theorem method (RTM) is generalized to solve the problems for the forced vibration of thick rectangular plates based on the Reissner's theory. The paper derives the dynamic basic solution of thick rectangular; and the exact analytical solution of the steady-state responses of thick rectangular plates with three clamped edges and one free edge under harmonic uniformly distributed disturbing forces is found by RTM. It is regarded as a simple, convenient and general method for calculating the steady-stare responses of forced vibration of thick rectangular plates. 展开更多
关键词 reciprocal theorem method dynamic basic solution thick rectangular plate forced vibration
下载PDF
Analysis of the Impact of Optimal Solutions to the Transportation Problems for Variations in Cost Using Two Reliable Approaches
6
作者 Abdur Rashid Md. Amirul Islam 《American Journal of Computational Mathematics》 2023年第4期607-618,共12页
In this paper, we have used two reliable approaches (theorems) to find the optimal solutions to transportation problems, using variations in costs. In real-life scenarios, transportation costs can fluctuate due to dif... In this paper, we have used two reliable approaches (theorems) to find the optimal solutions to transportation problems, using variations in costs. In real-life scenarios, transportation costs can fluctuate due to different factors. Finding optimal solutions to the transportation problem in the context of variations in cost is vital for ensuring cost efficiency, resource allocation, customer satisfaction, competitive advantage, environmental responsibility, risk mitigation, and operational fortitude in practical situations. This paper opens up new directions for the solution of transportation problems by introducing two key theorems. By using these theorems, we can develop an algorithm for identifying the optimal solution attributes and permitting accurate quantification of changes in overall transportation costs through the addition or subtraction of constants to specific rows or columns, as well as multiplication by constants inside the cost matrix. It is anticipated that the two reliable techniques presented in this study will provide theoretical insights and practical solutions to enhance the efficiency and cost-effectiveness of transportation systems. Finally, numerical illustrations are presented to verify the proposed approaches. 展开更多
关键词 Transportation Problem Initial basic Feasible Solution Optimal Solution Two Reliable Approaches (theorems) and Numerical Illustrations
下载PDF
向量值亚纯函数的亏量 被引量:2
7
作者 吴佳 吴芬 陈裕先 《江西师范大学学报(自然科学版)》 CAS 北大核心 2013年第3期229-232,共4页
利用从复平面C到无限维Hilbert空间E的无限维向量值亚纯函数的Nevanlinna基本理论,对无限维向量值亚纯函数的亏量进行了研究,建立了无限维向量值亚纯函数的亏量和与导函数零点的亏量之间的关系,所得结论推广了关于有限维向量值亚纯函数... 利用从复平面C到无限维Hilbert空间E的无限维向量值亚纯函数的Nevanlinna基本理论,对无限维向量值亚纯函数的亏量进行了研究,建立了无限维向量值亚纯函数的亏量和与导函数零点的亏量之间的关系,所得结论推广了关于有限维向量值亚纯函数的相关结果. 展开更多
关键词 亚纯函数 Nevanlinna基本定理 亏量关系 亏量
下载PDF
由一般拓扑度量空间所产生的Alignment空间 被引量:5
8
作者 卢国祥 沈世镒 《工程数学学报》 CSCD 北大核心 2008年第6期1097-1101,共5页
Alignment空间是一个在广义误差下定义的度量空间。在以往的信息处理问题中,一般只讨论离散状态下的序列比对Alignment问题,并由此产生一种新的非线性度量空间-Alignment空间。本文将离散状态下的Alignment空间推广到一般情况,得到了由... Alignment空间是一个在广义误差下定义的度量空间。在以往的信息处理问题中,一般只讨论离散状态下的序列比对Alignment问题,并由此产生一种新的非线性度量空间-Alignment空间。本文将离散状态下的Alignment空间推广到一般情况,得到了由一般拓扑度量空间所产生的Alignment空间仍然是度量空间,并证明了Alignment距离与Levenshtein距离的等价性。 展开更多
关键词 由度量空间产生的Alignment空间 度量空间的基本定理 Alignment距离 Levenshtein距离
下载PDF
基于Coq的Paxos形式化建模与验证 被引量:6
9
作者 李亚男 邓玉欣 刘静 《软件学报》 EI CSCD 北大核心 2020年第8期2362-2374,共13页
Paxos是一个在不可靠的分布式处理器网络中解决共识问题的算法族.共识问题是指分布式系统中一组参与者就一个结果达成一致的过程.随着Paxos在大型分布式系统中的广泛运用,比如区块链系统以及谷歌文件系统等,其安全性证明越来越重要.在... Paxos是一个在不可靠的分布式处理器网络中解决共识问题的算法族.共识问题是指分布式系统中一组参与者就一个结果达成一致的过程.随着Paxos在大型分布式系统中的广泛运用,比如区块链系统以及谷歌文件系统等,其安全性证明越来越重要.在定理证明工具Coq中,形式化描述和定义了Lamport的Basic Paxos算法,并且证明了其满足共识性. 展开更多
关键词 分布式系统 basic Paxos 定理证明工具 COQ 验证
下载PDF
相似理论内容的扩充与分析 被引量:9
10
作者 宋彧 张贵文 党星海 《兰州理工大学学报》 CAS 北大核心 2004年第5期123-125,共3页
将相似定理的数量由原来的3个扩充至11个,并提出了相似准数、相似指数方程、基础物理量以及函数物理量等概念,从而增强了相似理论的系统性.
关键词 相似理论 相似定理 基本物理量 基础物理量
下载PDF
一致收敛原理(英文) 被引量:6
11
作者 李容录 赵闵亨 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1992年第3期107-108,共2页
Recently, the locally convex space theory has obtained a series of proper developments and improvements by the agency of the Basic Matrix Theorem (BMT) duc to J. Mikusinski and P. Antosik. In this note, we would like ... Recently, the locally convex space theory has obtained a series of proper developments and improvements by the agency of the Basic Matrix Theorem (BMT) duc to J. Mikusinski and P. Antosik. In this note, we would like to present another basic theorem named Uniform Convergence Principle (UCP). We shall show that UCP has the same effects as BMT, though UCP is easier than BMT in their proofs. UCP. Let G be an abelian topological group and Ωa sequentially compact space. 展开更多
关键词 一致收剑原理 数学分析
下载PDF
基于不同基本结构求解超静定问题的力法方程 被引量:3
12
作者 杨立军 邓志恒 +1 位作者 陆守明 孙晋 《河南理工大学学报(自然科学版)》 CAS 北大核心 2012年第5期594-597,共4页
力法分析中,冗余约束力和荷载可以基于不同基本结构求解超静定问题.采用卡氏定理,推导了力法新的分析方法基本方程,证明了在力法分析中可以混合采用不同的基本结构建立力法基本方程和求解自由项,并对新的基本方程的物理意义进行了分析.... 力法分析中,冗余约束力和荷载可以基于不同基本结构求解超静定问题.采用卡氏定理,推导了力法新的分析方法基本方程,证明了在力法分析中可以混合采用不同的基本结构建立力法基本方程和求解自由项,并对新的基本方程的物理意义进行了分析.算例分析表明,该方法计算简单,结论正确,有助于进一步认识力法. 展开更多
关键词 力法 超静定结构 基本结构 卡氏定理 图乘法
下载PDF
求解厚矩形板弯曲问题的功的互等定理法 被引量:27
13
作者 付宝连 谭文锋 《应用数学和力学》 CSCD 北大核心 1995年第4期367-379,共13页
在本文中,功的互等定理法(RTM)被推广于求解基于Reissner理论的厚矩形板弯曲问题。首先,本文绘出了厚矩形板弯曲的基本解;其次,给出了三边固定一边自由在均布载荷作用下厚矩形板弯曲的精确解析解;最后,我们分析了本... 在本文中,功的互等定理法(RTM)被推广于求解基于Reissner理论的厚矩形板弯曲问题。首先,本文绘出了厚矩形板弯曲的基本解;其次,给出了三边固定一边自由在均布载荷作用下厚矩形板弯曲的精确解析解;最后,我们分析了本文解的数值结果。 展开更多
关键词 互等定理法 厚矩形板 弯曲
下载PDF
基于概念格基本定理的属性约简 被引量:1
14
作者 张东晓 陈水利 《集美大学学报(自然科学版)》 CAS 2008年第3期276-281,共6页
研究了概念格属性约简理论,在更一般的形式背景(即对象集和属性集有限或无限)中,基于概念格基本定理,从新的角度给出协调集的判定,进而得到约简的判定.对属性集的分类做了进一步的刻画,改进了已有的结果.
关键词 形式背景 概念格 概念格基本定理 属性约简 协调集
下载PDF
关于Schwarz导数的注记 被引量:3
15
作者 陶有德 《信阳师范学院学报(自然科学版)》 CAS 2004年第1期8-10,共3页
在现有文献的基础上,进一步研究Schwarz导数与函数导数的关系,得出了函数可导的一个充分条件,同时,讨论了Schwarz导数在研究函数单调性方面的应用.
关键词 SCHWARZ导数 导数 单调函数 微积分学基本定理
下载PDF
弹性地基板振动分析的一种解析方法 被引量:7
16
作者 李欣业 王立辉 +1 位作者 郭全梅 王桂新 《河北工业大学学报》 CAS 2002年第5期66-69,共4页
把惯性力和地基反力看成广义载荷,板的挠曲面微分方程与振型函数微分方程在数学形式上是完全一致的,基于此提出了弹性地基板振动分析的一种解析方法.为简便,选择与实际系统的尺寸及材料性质一样,受单位集中力作用的简支矩形板为基本系统... 把惯性力和地基反力看成广义载荷,板的挠曲面微分方程与振型函数微分方程在数学形式上是完全一致的,基于此提出了弹性地基板振动分析的一种解析方法.为简便,选择与实际系统的尺寸及材料性质一样,受单位集中力作用的简支矩形板为基本系统,将实际系统的非简支边界进行适当的简化,就可比较方便地得到具有常见约束的矩形板的固有频率.算例表明,用此方法求得的结果与已有的解析解完全一致. 展开更多
关键词 弹性地基板 固有振动 基本解 贝蒂功互等定理
下载PDF
变拓扑机构理论的基本问题 被引量:10
17
作者 刘川禾 杨廷力 刘毅 《机械工程学报》 EI CAS CSCD 北大核心 2005年第8期56-62,共7页
研究了变拓扑机构理论的三个基本问题:变拓扑机构的定义、变拓扑机构的基本变拓扑方式及其相关性。主要以图论和点形图理论为工具,在定义机构拓扑结构、机构理想化、理想机构、机构的元和变元集等新概念基础上,提出了变拓扑机构新概念,... 研究了变拓扑机构理论的三个基本问题:变拓扑机构的定义、变拓扑机构的基本变拓扑方式及其相关性。主要以图论和点形图理论为工具,在定义机构拓扑结构、机构理想化、理想机构、机构的元和变元集等新概念基础上,提出了变拓扑机构新概念,并给出了严谨的数学定义。提出了变拓扑机构的三种基本变拓扑方式,准确表述了三种基本变拓扑方式的内涵。基本变拓扑方式是变拓扑机构拓扑结构变化的基本原理之一。依据该基本原理, 发现、提出并充分证明了变拓扑机构基本变拓扑方式的两个相关性定理及其三个推论。 展开更多
关键词 变拓扑机构 变拓扑基本方式 相关性定理
下载PDF
P-集合与它的应用特征 被引量:153
18
作者 史开泉 《计算机科学》 CSCD 北大核心 2010年第8期1-8,共8页
P-集合(packet sets)是由内P-集合XF珚(internal packet sets XF珚)与外P-集合XF(outer packet sets XF)构成的集合对,或者(XF珚,XF)是P-集合。P-集合具有动态特性。利用P-集合,给出信息遗传概念,给出信息遗传的度量,提出信息遗传定理... P-集合(packet sets)是由内P-集合XF珚(internal packet sets XF珚)与外P-集合XF(outer packet sets XF)构成的集合对,或者(XF珚,XF)是P-集合。P-集合具有动态特性。利用P-集合,给出信息遗传概念,给出信息遗传的度量,提出信息遗传定理。利用信息遗传特性,给出信息状态辨识的方法与应用,给出信息图像生成、信息图像隐匿-潜藏的应用。P-集合是研究动态信息系统的一个新的理论与方法。最后给出P-集合存在的事实,给出P-集合与Z.Pawlak粗集的区别。 展开更多
关键词 P-集合 信息遗传 基数圆定理 信息状态辨识 信息图像的隐匿-潜藏 应用
下载PDF
正交异性复合材料板复合型裂纹尖端的J积分 被引量:2
19
作者 杨维阳 《应用数学》 CSCD 北大核心 1993年第4期417-424,共8页
本文采用复变函数方法和微积分理论两种途径探讨线弹性正交异性复合材料板复合型裂纹尖端的J积分,得到了该J积分在△>0和△<0两种情况下的表示式,证明了它们的路径无关性,推出了它们的计算公式.
关键词 J积分 裂纹 复合材料 正交异性
下载PDF
从官僚行政到民主行政——文森特·奥斯特洛姆的民主行政理论 被引量:4
20
作者 李春成 《甘肃行政学院学报》 2008年第5期100-106,共7页
文章系统地梳理了奥斯特洛姆的民主行政理论的脉络。奥斯特洛姆认为,官僚行政理论在知识上错误地理解和偏离了美国宪政创设者的意图,在实践上使美国的公共行政研究与实践误入歧途。美国的政府管理必须摒弃威尔逊范式,代之以民主行政范... 文章系统地梳理了奥斯特洛姆的民主行政理论的脉络。奥斯特洛姆认为,官僚行政理论在知识上错误地理解和偏离了美国宪政创设者的意图,在实践上使美国的公共行政研究与实践误入歧途。美国的政府管理必须摒弃威尔逊范式,代之以民主行政范式。在批判性地继承联邦党人和托克维尔的思想,并借鉴了政治经济学和实在法学的研究成果的基础上,奥斯特洛姆建构了以多中心权力体制、地方自治、民主决策和多样化服务供给机制为核心内容的民主行政范式。 展开更多
关键词 官僚行政 民主行政 思想渊源 基本定理
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部