期刊文献+
共找到393篇文章
< 1 2 20 >
每页显示 20 50 100
On the Equivalence of Implicit Kirk-Type Fixed Point Iteration Schemes for a General Class of Maps
1
作者 Alfred Olufemi Bosede Hudson Akewe +1 位作者 Omolara Fatimah Bakre Ashiribo Senapon Wusu 《Journal of Applied Mathematics and Physics》 2019年第1期123-137,共15页
In this paper, a modified implicit Kirk-multistep iteration scheme and a strong convergence result for a general class of maps in a normed linear space was established. It was also shown that the convergence of this i... In this paper, a modified implicit Kirk-multistep iteration scheme and a strong convergence result for a general class of maps in a normed linear space was established. It was also shown that the convergence of this iteration scheme is equivalent to the convergency of some other implicit Kirk-type iteration (implicit Kirk-Noor, implicit Kirk-Ishikawa and implicit Kirk-Mann iterations) for the same class of maps. Some numerical examples were considered to show that the equivalence of convergence results to the fixed point is true. The results unify most equivalence results in literature. 展开更多
关键词 IMPLICIT Kirk-Multistep IMPLICIT Kirk-Mann ITERATIONS Strong Convergence equivalence GENERAL class of MAPS
下载PDF
Predictive Elastoplastic Damage Constitutive Law: Establishment of Equivalence Relation between Intrinsic and Extrinsic Material Parameters
2
作者 Mohamed-Ali Rezgui Mohamed-Toumi Nasri Mahfoudh Ayadi 《Materials Sciences and Applications》 2016年第11期730-753,共24页
The purpose of the current work is the development and application of a new identification method of material parameters of elastoplastic damage constitutive model under large strains. A relationship relating the intr... The purpose of the current work is the development and application of a new identification method of material parameters of elastoplastic damage constitutive model under large strains. A relationship relating the intrinsic and extrinsic parameters of a reference material is built and transformed in equivalence relation. Extrinsic parameters concern the shape of their experimental tensile force/elongation curve, however, intrinsic parameters deal with Swift hardening law coupled with an isotropic damage variable. The relationship is carried out from a statistical characterization of a material reference (standard-steel E24). It based on multiple linear regression of a data set obtained according to a full factor design of numerical simulations of mechanical tensile tests. All materials satisfying this equivalence relation belong to the same equivalence class. This is motivated by observing that gathered materials must behave somewhat like the reference material. The material parameters can be immediately identified by only one task by running the found relationship. The current method facilitates the identification procedure and offers a substantial savings in CPU time. However it just needs only one simulation for the identification of similar behavior instead of the few hundred required when using other methods. 展开更多
关键词 Characterization Parameter Identification Tensile Tests Standard-Steel E24 Elastoplastic Damage Constitutive Law equivalence class
下载PDF
A Com binatorial Approach for Topological Classification of Graphlike M anifolds 被引量:5
3
作者 林诒勋 王勤 《Chinese Quarterly Journal of Mathematics》 CSCD 1998年第3期1-11, ,共11页
The concept of graphlike manifolds was presented in [1] and the problem of counting the homeomorphic classes of graphlike manifolds has been studied in a series of articles, e.g., [1~8]. In this paper we suggest an a... The concept of graphlike manifolds was presented in [1] and the problem of counting the homeomorphic classes of graphlike manifolds has been studied in a series of articles, e.g., [1~8]. In this paper we suggest an approach based on the graph colouring, Abelian group and the combinatorial enumeration method. 展开更多
关键词 graphlike manifold graph colouring equivalence classes ENUMERATION
下载PDF
Generalized Szasz Problems in Normal Classes of Algebras
4
作者 王尧 牛凤文 《Northeastern Mathematical Journal》 CSCD 2004年第2期225-235,共11页
Let A be a normal class of algebras. In the present paper, we characterize the following four problems for A: for which radical class R, there holds that(1) R(i1∧i2) = R(i1)∧R(i2);(2) R(i1∨i2) = R(i1)∨R(i2);(3) (i... Let A be a normal class of algebras. In the present paper, we characterize the following four problems for A: for which radical class R, there holds that(1) R(i1∧i2) = R(i1)∧R(i2);(2) R(i1∨i2) = R(i1)∨R(i2);(3) (i1∧i2) =i1∧i2;(4) (i1∨i2) = i1∨i2, for arbitrary algebra a∈A and any i1,i2∈La,where j denotes the ideal of a uniquely determined by R(a/j) = j/j? 展开更多
关键词 normal class of algebra LATTICE equivalence relation RADICAL
下载PDF
面向程序可达性验证的数组处理循环压缩方法
5
作者 许良晨 孟昭逸 +1 位作者 黄文超 熊焰 《信息网络安全》 CSCD 北大核心 2024年第3期374-384,共11页
计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,... 计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。 展开更多
关键词 等价类分析 软件形式化验证 静态分析 系统依赖图
下载PDF
基于聚类算法的多维数据库一致性检测与恢复方法研究 被引量:1
6
作者 王婷 张震宇 +2 位作者 任腾云 王纪军 赵琳 《自动化技术与应用》 2024年第3期108-111,119,共5页
为提高数据一致性以及检索效率,提出一种基于聚类算法的多维数据库一致性检测与恢复方法。计算数据指标均值与标准差,标准化处理数据;利用K-means算法衡量不同数据属性的相似特征,建立特征簇,选择聚类特征;通过稀疏图描述数据间关系,利... 为提高数据一致性以及检索效率,提出一种基于聚类算法的多维数据库一致性检测与恢复方法。计算数据指标均值与标准差,标准化处理数据;利用K-means算法衡量不同数据属性的相似特征,建立特征簇,选择聚类特征;通过稀疏图描述数据间关系,利用多级图分割算法获取多个子图,通过凝聚层次聚类方法,判断子图间相似度,设定合并阈值聚类子图,根据聚类结果判断数据库的一致性;针对一致性较差的数据库,采用等价类算法构建恢复模型,实现多维数据库一致性检测与恢复。实验结果证明:所提方法检测速度快,恢复后数据库一致性较好。 展开更多
关键词 聚类算法 多维数据库 一致性检测 一致性恢复 等价类
下载PDF
计及碳捕集的含新能源电网低碳调度策略
7
作者 舒征宇 贾可凡 +3 位作者 李黄强 杨世勇 姚钦 王灿 《电力工程技术》 北大核心 2024年第3期78-87,139,共11页
在碳达峰、碳中和背景下,碳捕集机组可有效降低电力系统碳排放。但是在含新能源的电网中,碳捕集机组频繁参与系统调峰会降低系统的经济性。为此,文中首先在分析灵活运行碳捕集机组运行原理和碳交易工作机制的基础上,提出引入抽水蓄能机... 在碳达峰、碳中和背景下,碳捕集机组可有效降低电力系统碳排放。但是在含新能源的电网中,碳捕集机组频繁参与系统调峰会降低系统的经济性。为此,文中首先在分析灵活运行碳捕集机组运行原理和碳交易工作机制的基础上,提出引入抽水蓄能机组辅助碳捕集机组参与系统调峰,以促进风电消纳,使碳捕集机组更专注捕碳工作并降低系统碳排放量;然后针对风电并网后的不确定性,引入模糊理论,将系统功率约束中风电和负荷用模糊参数表示,使约束转变为基于可信性的模糊机会约束,运用清晰等价类将模糊机会约束清晰化;接着以系统净收益最高为目标函数,综合考虑机组上网收益、抽蓄收益、碳交易收益、运行成本以及系统安全性约束等因素,构建碳捕集-抽蓄联合运行模型;最后通过CPLEX求解模型。仿真结果表明,引入抽蓄机组后系统净收益提高7.62%,碳排放降低7.01%。引入抽水蓄能机组能够兼顾系统的经济性和环保性。 展开更多
关键词 抽水蓄能 碳捕集机组 碳交易收益 模糊机会约束 清晰等价类 低碳经济调度
下载PDF
地面装甲类目标毁伤建模与评估方法
8
作者 刘方 薛静云 +2 位作者 陈景新 高健健 诸葛鼎 《舰船电子工程》 2024年第8期146-152,共7页
针对战斗部对地面装甲类目标实战化毁伤评估中破片战斗部爆炸高瞬态形成的不确定破片群很难直接用现有的方法对复杂系统目标进行毁伤评估的现象,论文以轻型地面装甲车为被毁对象,提出了一种新的目标毁伤建模与评估方法。在深入探究目标... 针对战斗部对地面装甲类目标实战化毁伤评估中破片战斗部爆炸高瞬态形成的不确定破片群很难直接用现有的方法对复杂系统目标进行毁伤评估的现象,论文以轻型地面装甲车为被毁对象,提出了一种新的目标毁伤建模与评估方法。在深入探究目标系统及其子功能的基础上,对轻型地面装甲车进行易损性分析并建立等效模型,给出基于轻型装甲车目标易损性和弹目交会关系的概率模型;最后对目标的毁伤评估进行仿真模拟,结果表明评估破片战斗部对轻型地面装甲车的实战化毁伤效果,可为破片战斗部毁伤效能的研究提供参考,并为目标毁伤概率定量计算提供新的理论支撑。 展开更多
关键词 轻型地面装甲车 易损性 等效模型 毁伤评估 目标毁伤概率
下载PDF
黑盒测试等价类划分法中等价类划分规则的优化
9
作者 斯日古楞 《计算机应用文摘》 2024年第20期200-203,共4页
等价类划分法在黑盒测试中具有不可代替的作用,是边界值分析的基础。然而,当前的等价类划分法的划分规则存在不合理性,对测试用例设计过程造成了一定影响。文章分析了已有的等价类划分法的划分规则,指出了存在的问题,并对其进行了修正... 等价类划分法在黑盒测试中具有不可代替的作用,是边界值分析的基础。然而,当前的等价类划分法的划分规则存在不合理性,对测试用例设计过程造成了一定影响。文章分析了已有的等价类划分法的划分规则,指出了存在的问题,并对其进行了修正和优化,最终形成了新的划分规则。经验证,优化后的规则易于使用且逻辑清晰,能够帮助测试设计人员进一步提高工作效率。 展开更多
关键词 黑盒测试 等价类划分法 划分规则
下载PDF
功能对等理论下英语视听课程中的英文电影字幕汉译策略——以电影《黑衣人Ⅲ》字幕汉译为例
10
作者 刘蕾 纪瑞芳 《山东农业工程学院学报》 2024年第9期115-120,共6页
在英语视听课程中,电影字幕的汉译对于学生的英语学习起到了至关重要的作用。合理的字幕汉译策略不仅可以帮助学生更好地理解电影内容,提升他们的英语听力水平,还可以增强他们对英语文化的认识和理解。因此,研究英语视听课程中电影字幕... 在英语视听课程中,电影字幕的汉译对于学生的英语学习起到了至关重要的作用。合理的字幕汉译策略不仅可以帮助学生更好地理解电影内容,提升他们的英语听力水平,还可以增强他们对英语文化的认识和理解。因此,研究英语视听课程中电影字幕的汉译策略具有重要的实际意义。以电影《黑衣人Ⅲ》为例,阐述了电影字幕翻译的国内外研究现状,以及功能对等理论的概念、原则,及其与字幕翻译的关系,并从语言层面功能对等、文化层面功能对等、语用层面功能对等三方面提出英语视听课程中的英文电影字幕汉译策略。 展开更多
关键词 英语视听课程 英文电影 字幕汉译 功能对等
下载PDF
基于N维复杂业务场景的列车运行监控装置测试方法
11
作者 何宇晖 莫小凡 +1 位作者 郑璟瑜 王佳 《铁道通信信号》 2024年第10期26-31,共6页
目前针对列车运行监控装置(LKJ)的测试普遍采用化整为零的方式,以功能特征作为划分依据,对LKJ业务功能采用等价类划分或边界值分析进行单项测试。但LKJ在运用过程中存在多个业务场景交织的情况,当被测试的业务功能与其他业务功能耦合时... 目前针对列车运行监控装置(LKJ)的测试普遍采用化整为零的方式,以功能特征作为划分依据,对LKJ业务功能采用等价类划分或边界值分析进行单项测试。但LKJ在运用过程中存在多个业务场景交织的情况,当被测试的业务功能与其他业务功能耦合时,测试结果可能会与预期结果不一致。为此根据LKJ业务功能的时间与空间特性,提出一种基于N维复杂业务场景的测试方法。将LKJ业务功能分解得到LKJ单位功能,依据时间法或空间法将LKJ单位功能构建形成复杂场景。通过对LKJ业务功能复杂场景进行测试,更加全面地覆盖LKJ实际运营场景,提高设计开发过程测试的异常发现率,进一步降低LKJ在实际运用中出现非预期行为的概率。 展开更多
关键词 列车运行监控装置 复杂业务场景 时间法 空间法 等价类划分 边界值分析
下载PDF
有限数字单纯复形的数字Lusternik-Schnirelmann范畴
12
作者 何震 杨子康 王玉玉 《廊坊师范学院学报(自然科学版)》 2024年第3期25-29,共5页
给出有限数字单纯映射间的数字连续关系、数字连续类、有限数字单纯复形以及有限数字单纯映射的强数字等价等概念。在此基础上,定义了有限数字单纯复形的数字Lusternik-Schnirelmann范畴和数字几何LusternikSchnirelmann范畴。最后,给... 给出有限数字单纯映射间的数字连续关系、数字连续类、有限数字单纯复形以及有限数字单纯映射的强数字等价等概念。在此基础上,定义了有限数字单纯复形的数字Lusternik-Schnirelmann范畴和数字几何LusternikSchnirelmann范畴。最后,给出了在强数字等价和强数字收缩的情况下,以上两个数字范畴的一些相关结论。 展开更多
关键词 有限数字单纯复形 数字Lusternik-Schnirelmann范畴 数字连续类 强数字等价 强数字收缩
下载PDF
信息表中不完备数据的填补方法 被引量:9
13
作者 鄂旭 高学东 +1 位作者 武森 张秋月 《北京科技大学学报》 EI CAS CSCD 北大核心 2005年第3期364-366,共3页
提出了一种基于粗糙集的不完备数据填补方法.本算法以突出信息表的决策规则为主要目的,选取重要断点为主要手段,以分类质量作为迭代约束条件.实验和数值实例表明,本算法不但不会产生冲突规则,而且能够进一步突出决策规则.
关键词 粗糙集 相关性 等价类 断点
下载PDF
引燃柴油量和当量比对双燃料发动机低负荷燃烧的影响 被引量:14
14
作者 李伟峰 刘忠长 +1 位作者 王忠恕 窦慧莉 《内燃机学报》 EI CAS CSCD 北大核心 2015年第6期481-490,共10页
定义了放热率曲线的"时序系数",以表征燃烧过程的时序特征.试验表明:引燃柴油量相同时,随着当量比增加,热效率先升高后降低;总碳氢(THC)排放降低;滞燃期延长;燃烧重心先接近上止点后远离上止点;第一放热率峰值先出现在燃烧始... 定义了放热率曲线的"时序系数",以表征燃烧过程的时序特征.试验表明:引燃柴油量相同时,随着当量比增加,热效率先升高后降低;总碳氢(THC)排放降低;滞燃期延长;燃烧重心先接近上止点后远离上止点;第一放热率峰值先出现在燃烧始点附近,然后接近燃烧重心;第二放热率峰值逐渐与第一放热率峰值"合二为一",且两者均先升高后降低;"时序系数"增加,时序特征愈加不明显.当量比相同时,随着引燃柴油量增加,热效率升高;燃烧相位前移;放热速率加快.另外,随着引燃柴油量增加,在较低当量比时THC明显降低,但在较高当量比时却没有明显变化. 展开更多
关键词 双燃料发动机 柴油 天然气 引燃柴油量 当量比
下载PDF
基于垂直数据分布的关联规则高效发现算法 被引量:18
15
作者 欧阳为民 蔡庆生 《软件学报》 EI CSCD 北大核心 1999年第7期754-760,共7页
文章分析了在KDD研究中现有的关联规则发现算法关于频繁项目集的生成与测试方法,提出了一种新的基于垂直数据分布的关联规则发现算法.该算法无需复杂的Hash 数据结构,仅需对整个数据库作两次遍历,从而既方便了实现。
关键词 关联规则 数据分布 算法 数据库 KDD
下载PDF
基于函数依赖与条件约束的数据修复方法 被引量:16
16
作者 金澈清 刘辉平 周傲英 《软件学报》 EI CSCD 北大核心 2016年第7期1671-1684,共14页
随着经济与信息技术的发展,在许多应用中均产生大量数据.然而,受硬件设备、人工操作、多源数据集成等诸多因素的影响,在这些应用之中往往存在较为严重的数据质量问题,特别是不一致性问题,从而无法有效管理数据.因此,首要的任务就是开发... 随着经济与信息技术的发展,在许多应用中均产生大量数据.然而,受硬件设备、人工操作、多源数据集成等诸多因素的影响,在这些应用之中往往存在较为严重的数据质量问题,特别是不一致性问题,从而无法有效管理数据.因此,首要的任务就是开发新型数据清洗技术来提升数据质量,以支持后续的数据管理与分析.现有工作主要研究基于函数依赖的数据修复技术,即以函数依赖来描述数据一致性约束,通过变更数据库中部分元组的属性值(而非增加/删除元组)来使得整个数据库遵循函数依赖集合.从一致性约束描述的角度来看,函数依赖并非是唯一的表达方式,还存在其他表达方式,例如硬约束、数量约束、等值约束、非等值约束等.然而,随着一致性约束种类的增加,其处理难度也远比仅有函数依赖的场景要困难.考虑以函数依赖与其他一致性约束共同表述数据库的一致性约束,并在此基础上设计数据修复算法,从而提升数据质量.实验结果表明,所提方法的执行效率较高. 展开更多
关键词 数据质量 数据修复 函数依赖 条件约束 等价类
下载PDF
一种基于Rough集理论的数据过滤方法 被引量:13
17
作者 尹旭日 周志华 +1 位作者 何佳洲 陈世福 《计算机研究与发展》 EI CSCD 北大核心 2000年第9期1082-1086,共5页
Rough集 (粗集 )理论是一种处理不确定或模糊知识的重要工具 .在对 Rough集理论进行深入研究的基础上 ,提出了一种基于 Rough集理论的数据过滤算法 .该算法的基本思想是基于 P-确定的等价类的合并 ,算法直观 ,计算简便 .理论和实验表明 ... Rough集 (粗集 )理论是一种处理不确定或模糊知识的重要工具 .在对 Rough集理论进行深入研究的基础上 ,提出了一种基于 Rough集理论的数据过滤算法 .该算法的基本思想是基于 P-确定的等价类的合并 ,算法直观 ,计算简便 .理论和实验表明 ,该算法能够减低信息系统中信息的粒度 ,在保持规则近似质量不变的前提下 ,有效地提高规则的统计意义和预测强度 . 展开更多
关键词 数据过滤 数据挖掘 ROUGH集理论 信息系统
下载PDF
关联规则挖掘算法 被引量:21
18
作者 佟强 周园春 阎保平 《微电子学与计算机》 CSCD 北大核心 2005年第6期68-72,共5页
关联规则挖掘是数据挖掘和知识发现中的一个重要问题,自提出以来得到了广泛的研究。目前关联规则挖掘算法可以分为广度优先算法和深度优先算法两大类,每类都有经典高效的算法提出。但是,这些算法大都是从其自身的角度来描述的,缺乏系统... 关联规则挖掘是数据挖掘和知识发现中的一个重要问题,自提出以来得到了广泛的研究。目前关联规则挖掘算法可以分为广度优先算法和深度优先算法两大类,每类都有经典高效的算法提出。但是,这些算法大都是从其自身的角度来描述的,缺乏系统的分类和比较。文章从关联规则挖掘的形式化定义出发,给出频集挖掘的解空间,对两大类算法中的几种经典算法进行了概述,并分析了它们的优缺点。 展开更多
关键词 数据挖掘 关联规则 频集 等价类
下载PDF
基于划分的等价类测试 被引量:8
19
作者 浦云明 陈黎震 《计算机工程与设计》 CSCD 北大核心 2009年第19期4429-4431,共3页
等价类的两个基本因素是健壮性和单/多缺陷假设。依据这两个特性,等价类分为弱一般等价类、强一般等价类、弱健壮等价类和强健壮等价类4种形式。等价类测试的数学基础是等价关系和划分,划分的原则是每个元素仅属于某一类,不同的类之间... 等价类的两个基本因素是健壮性和单/多缺陷假设。依据这两个特性,等价类分为弱一般等价类、强一般等价类、弱健壮等价类和强健壮等价类4种形式。等价类测试的数学基础是等价关系和划分,划分的原则是每个元素仅属于某一类,不同的类之间没有公共元素。常用的输入域等价类划分是将程序的输入域划分为若干子集合,并从每个子集中选择代表性数据设计测试用例,划分保证了等价类测试的完备性和无冗余性。分析了等价类划分设计原则,设计了划分测试实例。 展开更多
关键词 等价关系 等价类 划分 测试用例 可靠性
下载PDF
基于粗糙集的软件项目风险管理研究 被引量:10
20
作者 丁剑洁 郝克刚 +1 位作者 侯红 郭小群 《计算机科学》 CSCD 北大核心 2010年第4期117-119,共3页
软件项目的复杂性导致软件风险涉及的数据具有很大的不确定性和模糊性。由此基于粗糙集理论,分析了软件项目风险管理的历史数据:利用等价类和分辨矩阵等概念提出软件项目风险分析系统,在此基础上给出了两个风险因子的相关性系数以及不... 软件项目的复杂性导致软件风险涉及的数据具有很大的不确定性和模糊性。由此基于粗糙集理论,分析了软件项目风险管理的历史数据:利用等价类和分辨矩阵等概念提出软件项目风险分析系统,在此基础上给出了两个风险因子的相关性系数以及不可分辨矩阵的计算方法。此项工作能为风险控制提供策略,有助于发现风险管理活动中的薄弱环节,达到改进过程的目的。 展开更多
关键词 软件风险 风险管理 粗糙集 等价类 分辨矩阵
下载PDF
上一页 1 2 20 下一页 到第
使用帮助 返回顶部