变系数线性方程可求解存在的条件 被引量：1

1

作者 李寿贵 《武汉科技大学学报》 CAS 2001年第3期320-321,共2页

探讨在某些变换下 ,变系数线性方程或线性方程组可化为常系数的方程或其他可求积分解方程的条件 ,得出一些十分有意义的结果。

关键词 变系数方程 可求解 存在条件 变系数线性方程

下载PDF 职称材料

化学方程式计算中已知量取用的“三注意”

2

作者 熊仲禄 《初中生辅导》 2005年第6期44-45,共2页

关键词 化学方程式 已知量 反应物 教学经验 比例式 行计算 质量比 可求解 认识不足 成物

原文传递

二元一次方程组的另外七种解法

3

作者 陈锡志 《第二课堂（初中版）》 2006年第6期10-12,共3页

同学们在课本上学习了解二元一次方程组的代入法和消元法,本文再补充七种解法．一、消去常数项法该法是利用方程的性质,两边同乘以一个不为0 的数,方程的同解性不变,使常数项相等,消去常数项化成ax=by=0,再和原方程组中的任一方程联立... 同学们在课本上学习了解二元一次方程组的代入法和消元法,本文再补充七种解法．一、消去常数项法该法是利用方程的性质,两边同乘以一个不为0 的数,方程的同解性不变,使常数项相等,消去常数项化成ax=by=0,再和原方程组中的任一方程联立可求解． 展开更多

关键词 二元一次方程组 消元法 代入法 解方程组 未知数 可求解 韦达定理 同解 课本 常数项

原文传递

复数的模和幅角在解题中的应用

4

作者 伍名琪 《凯里学院学报》 1997年第S1期74-76,共3页

高中学生在学习了复数之后,一般都会从已知复数求其模和幅角。但却不会利用复数的模和幅去处理一些题目,致使一些学生认为学了“复数”没有多大作用.真的是这样吗?否,请看下面的问题.1 复数的模的应用复数的模是一个非负数,如果把一个... 高中学生在学习了复数之后,一般都会从已知复数求其模和幅角。但却不会利用复数的模和幅去处理一些题目,致使一些学生认为学了“复数”没有多大作用.真的是这样吗?否,请看下面的问题.1 复数的模的应用复数的模是一个非负数,如果把一个非负数看成一个复数的模来处理,往往给问题的解答会带来很大方便. 展开更多

关键词 复数的模 复数的幅角 非负数 高中学生 最小值 不等关系 问题转化 大作用 可求解 上舌

下载PDF 职称材料

浅谈不等量代换的运用

5

作者 覃礼权 熊仲录 《初中生辅导》 2004年第17期32-34,共3页

关键词 等量代换 三角形 可求解 最大角 运用 三边关系 浅谈 数学创新意识 不等式 已知条件

原文传递

Camassa-Holm-r方程的无穷序列类孤子新解 被引量：3

6

作者 套格图桑 伊丽娜 《物理学报》 SCIE EI CAS CSCD 北大核心 2014年第12期1-9,共9页

利用函数变换与辅助方程相结合的方法,研究了构造广义Camassa-Holm(CH-r)方程的无穷序列类孤子新解问题,获得了新结果.首先,通过一些函数变换,把CH-r方程化为可求解的常微分方程;其次,利用可求解的常微分方程的新解和B?cklund变换,构造... 利用函数变换与辅助方程相结合的方法,研究了构造广义Camassa-Holm(CH-r)方程的无穷序列类孤子新解问题,获得了新结果.首先,通过一些函数变换,把CH-r方程化为可求解的常微分方程;其次,利用可求解的常微分方程的新解和B?cklund变换,构造了CH-r方程的无穷序列类孤子新解. 展开更多

关键词 函数变换 CH-r方程 可求解常微分方程 无穷序列类孤子新解

原文传递

一类三机器流水作业极小化加工全长问题

7

作者 陈秀宏 《淮阴师范学院学报（自然科学版）》 CAS 2002年第2期1-5,共5页

一般的三台机器流水作业的加工全长问题为强NP困难的 .本文讨论它的特殊情形 ,即第二台机器上工件的加工时间均相等 .我们证明了该问题仍为强NP困难的 ,并构作了一动态规划算法 。

关键词 流水作业 强NP困难 动态规划法 可求解情形

下载PDF 职称材料

有分离调整和移走时间的两机器流水作业总完工时间问题

8

作者 顾成扬 陈秀宏 《工程数学学报》 CSCD 北大核心 2007年第2期215-221,共7页

对有分离调整和移走时间的两机器流水作业问题,同一工件的调整和移走在不同机器上是可以重叠的,但加工时间不能重叠。本文以总完工时间为准则研究调整时间和移走时间均独立于加工时间的两机器流水作业问题,给出了问题最优解中工件排列... 对有分离调整和移走时间的两机器流水作业问题,同一工件的调整和移走在不同机器上是可以重叠的,但加工时间不能重叠。本文以总完工时间为准则研究调整时间和移走时间均独立于加工时间的两机器流水作业问题,给出了问题最优解中工件排列应满足的条件;同时也讨论了该类问题多项式可解的情形。 展开更多

关键词 流水作业 调整 加工和移走时间 总完工时间 可求解情形

下载PDF 职称材料

均匀各向同性湍流亚格子流场统计性质

9

作者 易超 柳朝晖 郑楚光 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2013年第1期1-5,共5页

采用平顶帽与高斯这2种物理空间过滤器,对各向同性DNS湍流场进行了过滤处理,得到了各向同性湍流的亚格子流场(SGS)以及对应的可求解尺度流场,并对它们的基本性质进行了研究.结果表明:随着过滤宽度增大,SGS流场的湍动能逐渐增加,通过与... 采用平顶帽与高斯这2种物理空间过滤器,对各向同性DNS湍流场进行了过滤处理,得到了各向同性湍流的亚格子流场(SGS)以及对应的可求解尺度流场,并对它们的基本性质进行了研究.结果表明:随着过滤宽度增大,SGS流场的湍动能逐渐增加,通过与谱截断过滤器所得的SGS流场能量结果对比,发现其与物理过滤器存在明显的差别.同时,SGS与F-DNS场的自相关以及积分时间尺度也都增加;不同于全尺度场的关系,SGS场的拉氏积分时间尺度大于欧拉的时间尺度,时间尺度之比也随着过滤宽度增加而逐渐减小至全尺度流场的比值. 展开更多

关键词 流场统计 各向同性湍流 物理过滤器 亚格子尺度湍流 可求解尺度湍流

原文传递

巧用概率的思想求解排列组合题

10

作者 何秋琼 《数学学习与研究》 2012年第11期79-79,共1页

正我们知道计算概率的基础是排列组合数,但反过来某事件的概率我们也可求解一类排列组合题,特别是某些分类讨论的排列组合题,我们若能用概率的思想来作解答,则会相应的显得简单.

关键词 排列组合 概率 基本事件总数 随机试验 可求解 分类讨论 思想 重复数 试验所 出场

下载PDF 职称材料

改进的验证正确性ACTL性质的限界模型检测方法 被引量：7

11

作者 徐亮 余建平 《计算机科学》 CSCD 北大核心 2013年第06A期99-102,共4页

近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大部分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的... 近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大部分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的验证依赖于一个完备上界,而这个完备上界在限界模型检测方法中很难实现。对传统限界模型检测中的编码方式进行相应改变,就能够在一定程度上解决这一问题,进行正确性性质的验证。在此基础上对该编码方法进行改进,从而提高它的求解效率,扩大其应用领域。 展开更多

关键词 限界模型检测 可满足性求解 全局计算树逻辑 验证

下载PDF 职称材料

基于多样性SAT求解器和新颖性搜索的软件产品线测试

12

作者 向毅 黄翰 +1 位作者 罗川 杨晓伟 《软件学报》 EI CSCD 北大核心 2024年第6期2821-2843,共23页

软件产品线测试是一项非常具有挑战性的工作.基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的.因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一.在该测试方法中,... 软件产品线测试是一项非常具有挑战性的工作.基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的.因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一.在该测试方法中,如何产生多样化的测试用例和如何维护测试集的多样性是两个关键问题.针对以上问题,提出一种基于多样性可满足性(SAT)求解器和新颖性搜索(novelty search,NS)的软件产品线测试算法.具体地,所提算法同时采用两类多样性SAT求解器产生多样化的测试用例.特别地,为了改善随机局部搜索SAT求解器的多样性,提出一种基于概率向量的通用策略产生候选解.此外,为同时维护测试集的全局和局部多样性,设计并运用两种基于NS算法思想的归档策略.在50个真实软件产品线上的消融和对比实验验证多样性SAT求解器和两种归档策略的有效性,以及所提算法较其他主流算法的优越性. 展开更多

关键词 软件产品线测试 可满足性求解器 新颖性搜索

下载PDF 职称材料

针对PRESENT分组密码算法的代数分析 被引量：5

13

作者 葛十景 谷大武 +1 位作者 刘志强 刘亚 《计算机应用研究》 CSCD 北大核心 2011年第5期1889-1893,共5页

研究针对PRESENT分组密码的代数分析。通过使用S盒的表达式形式,构建出多轮PRESENT加密中的代数方程组。这种构建方程的方法被推广到具有小型S盒的典型SPN型分组密码算法的方程构建问题中。对简化的PRESENT算法进行了攻击实验,采用Mini... 研究针对PRESENT分组密码的代数分析。通过使用S盒的表达式形式,构建出多轮PRESENT加密中的代数方程组。这种构建方程的方法被推广到具有小型S盒的典型SPN型分组密码算法的方程构建问题中。对简化的PRESENT算法进行了攻击实验,采用MiniSAT作为攻击过程中的求解工具,对四轮、六轮PRESENT加密进行实际攻击。可以在1 min内恢复四轮加密的所有密钥,数小时内恢复六轮加密的密钥。通过引入了差分思想,将有效攻击轮数提高到八轮。 展开更多

关键词 代数分析 PRESENT算法 S盒 可满足问题 可满足问题求解软件 分组密码

下载PDF 职称材料

PRESENT代数故障攻击的改进与评估 被引量：4

14

作者 黄静 赵新杰 +4 位作者 张帆 郭世泽 周平 陈浩 杨建 《通信学报》 EI CSCD 北大核心 2016年第8期144-156,共13页

提出了一种基于代数分析的PRESENT故障攻击改进方法,将代数分析用于密码和故障方程构建,通过逆向构建加密方程来加快求解速度;提出了一种故障注入后的密钥剩余熵评估方法,可评估不同故障模型下的PRESENT抗故障攻击安全性;最后对智能卡上... 提出了一种基于代数分析的PRESENT故障攻击改进方法,将代数分析用于密码和故障方程构建,通过逆向构建加密方程来加快求解速度;提出了一种故障注入后的密钥剩余熵评估方法,可评估不同故障模型下的PRESENT抗故障攻击安全性;最后对智能卡上的8位智能卡上的PRESENT实现进行了时钟毛刺故障注入,最好情况下1次故障注入即可恢复主密钥,这是PRESENT故障攻击在数据复杂度上的最好结果。 展开更多

关键词 代数分析 轻量级分组密码 故障攻击 可满足性求解 时钟毛刺

下载PDF 职称材料

基于可拓学的镍氢电池定制设计中矛盾问题求解 被引量：1

15

作者 刘毅 吴永明 +1 位作者 彭占 李水峰 《数学的实践与认识》 北大核心 2017年第18期124-132,共9页

镍氢电池用途广泛,需要根据不同的应用需求定制设计相应性能的镍氢电池.在镍氢电池定制设计过程中,为了解决用户需求与工程技术特征的冲突问题,应用可拓学的矛盾问题处理方法建立镍氢电池不相容问题的可拓求解模型,通过可拓变换找出可... 镍氢电池用途广泛,需要根据不同的应用需求定制设计相应性能的镍氢电池.在镍氢电池定制设计过程中,为了解决用户需求与工程技术特征的冲突问题,应用可拓学的矛盾问题处理方法建立镍氢电池不相容问题的可拓求解模型,通过可拓变换找出可拓求解模型中的核问题,计算变换后的相容度函数,识别出引起不相容问题的主要工程技术特征;通过改善这些工程技术特征,获得矛盾问题的可行优化方案.最终通过改进电池的切片毛刺和集耳形状、利用石墨烯取代导电炭黑试制出一种石墨烯镍氢电池,获得满足客户需求的高性能镍氢电池新产品. 展开更多

关键词 镍氢电池 可拓学 工程技术特征 不相容问题 可拓求解模型

原文传递

具有约束条件的组合测试用例集的构建方法 被引量：1

16

作者 丁怀宝 高建华 《计算机工程与设计》 CSCD 北大核心 2010年第14期3189-3192,3206,共5页

针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解... 针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例。最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性。 展开更多

关键词 组合测试 约束条件 合取范式 布尔表达式 可满足性求解器

下载PDF 职称材料

对流密码LILI-128的差分故障攻击

17

作者 陈浩 王韬 刘会英 《计算机应用研究》 CSCD 北大核心 2013年第11期3396-3399,共4页

对LILI-128算法对差分故障攻击的安全性进行了研究。攻击采用面向比特的故障模型,并结合差分分析和代数分析技术,在LILI-128算法LFSR d中注入随机的单比特故障,得到关于LILI-128算法内部状态的代数方程组,并使用Crypto MiniSAT解析器求... 对LILI-128算法对差分故障攻击的安全性进行了研究。攻击采用面向比特的故障模型,并结合差分分析和代数分析技术,在LILI-128算法LFSR d中注入随机的单比特故障,得到关于LILI-128算法内部状态的代数方程组,并使用Crypto MiniSAT解析器求解恢复128位初始密钥。实验结果表明,280个单比特故障注入就可以在1 min内完全恢复LILI-128全部128位密钥。因此,LILI-128密码实现安全性易遭差分故障攻击威胁,需要对加密设备进行故障攻击防御,以提高LILI-128密码实现安全性。 展开更多

关键词 差分故障攻击 流密码 LILI-128算法 可满足问题 可满足问题求解软件

下载PDF 职称材料

应用不可满足子式的解码电路综合优化方法

18

作者 张建民 黎铁军 +1 位作者 马柯帆 肖立权 《国防科技大学学报》 EI CAS CSCD 北大核心 2016年第5期1-6,共6页

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算... 解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。 展开更多

关键词 电路综合 形式化方法 可满足性求解 不可满足子式

下载PDF 职称材料

语义标识的过程模型的可执行性分析

19

作者 龚平 蒋建明 张仕 《小型微型计算机系统》 CSCD 北大核心 2012年第12期2618-2624,共7页

语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型... 语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证. 展开更多

关键词 语义标注过程模型 可执行性 有界模型检查 可满足性求解器

下载PDF 职称材料