期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到83篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
随机正则3-(d,k)-SAT问题的可满足性相变
1
作者 王晓峰 唐傲 +4 位作者 彭庆媛 颜冬 华盈盈 何飞 王军霞 《华中科技大学学报(自然科学版)》 北大核心 2025年第10期42-48,83,共8页
受随机正则恰当(d,k)-SAT(可满足性)问题的特征启发,提出了随机正则3-(d,k)-SAT问题.首先,引入了随机正则3-(d,k)-SAT问题实例生成模型,用于产生随机正则(d,k)-CNF(合取范式)公式.该模型采用完美匹配机制,每个随机完美匹配都对应一个随... 受随机正则恰当(d,k)-SAT(可满足性)问题的特征启发,提出了随机正则3-(d,k)-SAT问题.首先,引入了随机正则3-(d,k)-SAT问题实例生成模型,用于产生随机正则(d,k)-CNF(合取范式)公式.该模型采用完美匹配机制,每个随机完美匹配都对应一个随机正则3-(d,k)-SAT实例.然后,结合一阶矩方法、二阶矩方法和正则(d,k)-CNF公式的解空间结构,给出了当k>3时,随机正则3-(d,k)-SAT问题的可满足性相变点dk.当d>dk时,随机正则(d,k)-CNF实例公式高概率3-恰当不可满足;当d<dk时,随机正则(d,k)-CNF实例公式高概率3-恰当可满足.最后,分别取变元规模n=10,k=6和n=15,k=10的两组数据集进行实验.实验结果表明:随机正则3-(d,k)-SAT问题存在相变现象,分别发生在d_(6)=1.407 4和d_(10)=1.962 4附近,验证了理论证明所得相变点的正确性. 展开更多
关键词 相变现象 随机正则3-(d k)-SAT问题 矩方法 正则(d k)-CNF公式 生成模型
原文传递
随机正则恰当(d,k)-SAT问题的可满足相变分析
2
作者 王晓峰 王军霞 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2024年第11期85-92,共8页
为深入理解随机正则恰当(d,k)-SAT问题难解的内在本质,理清相变与难解之间的变化规律,进一步设计高效的求解算法,引入随机正则恰当可满足性实例产生模型,采用一阶矩和二阶矩方法分析了该问题的相变情况,给出了正则恰当(d,k)-SAT问题的... 为深入理解随机正则恰当(d,k)-SAT问题难解的内在本质,理清相变与难解之间的变化规律,进一步设计高效的求解算法,引入随机正则恰当可满足性实例产生模型,采用一阶矩和二阶矩方法分析了该问题的相变情况,给出了正则恰当(d,k)-SAT问题的可满足相变点d^(*).当相变控制参数d^(*)时,正则恰当(d,k)-SAT问题实例高概率可满足;当d>d^(*)时,正则恰当(d,k)-SAT问题实例高概率不可满足.最后,选取子句长度k分别为3和4进行实验,结果表明:在d^(*)的取值分别为2.3798和3.0668附近发生了相变现象,进一步证明了理论结果与实验结果的一致性. 展开更多
关键词 随机正则恰当(d k)-SAT问题 一阶矩 二阶矩 可满足性问题 相变分析
原文传递
d-正则(k,s)-SAT问题的NP完全性 被引量：3
3
作者 符祖峰 许道云 《软件学报》 EI CSCD 北大核心 2020年第4期1113-1123,共11页
研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则... 研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则约束的d-正则(k,s)-SAT问题,其要求实例中每个变元的正负出现次数之差不超过给定的自然数d.通过设计一种多项式时间的归约方法,证明d-正则(k,s)-SAT问题存在一个临界函数f(k,d),使得当s≤f(k,d)时,所有实例都可满足;当s≥f(k,d)+1时,d-正则(k,s)-SAT问题是NP完全问题.这种多项式时间的归约变换方法通过添加新的变元和新的子句,可以更改公式的子句约束密度,并约束每个变元正负出现次数的差值.这进一步说明,只用子句约束密度不足以刻画CNF公式结构的特点,对临界函数f(k,d)的研究有助于在更强正则约束条件下构造难解实例. 展开更多
关键词 d-正则(k s)-CNF公式 SAT问题 NP完全性
在线阅读 下载PDF
云南富民杨梅拟果蝇(Drosophila simulans)世代及产卵规律研究 被引量：9
4
作者 孙道旺 曹继芬 +5 位作者 杨明英 杨红映 李国宏 杨美兰 杨家鸾 严位中 《西南农业学报》 CSCD 2006年第4期635-638,共4页
通过对危害云南富民杨梅的拟果蝇（D．simulans）室内饲养，研究了其世代历期、成虫产卵规律和产卵量。结果表明：①在室内T=19．0～25．2℃、Rh=67．4％～84．7％条件下，拟果蝇（D．simulans）卵历期为0．7d，幼虫历期为4d，蛹历期为4... 通过对危害云南富民杨梅的拟果蝇（D．simulans）室内饲养，研究了其世代历期、成虫产卵规律和产卵量。结果表明：①在室内T=19．0～25．2℃、Rh=67．4％～84．7％条件下，拟果蝇（D．simulans）卵历期为0．7d，幼虫历期为4d，蛹历期为4．9d，单个成虫饲养，历期为3．9d，世代历期为13．5d。②在室内T=190～25．5℃，Rh=55．2％～82．3％条件下，配对饲养成虫寿命为46．3d．是单个成虫饲养寿命的11．9倍；一对成虫有效产卵量为735．2粒。③成虫羽化后1～2d开始产卵，产卵期间，共有3次产卵高峰，卵量分别为47．6粒、50．2粒、43．8粒；羽化后2～17d内的产卵量为整个生育期产卵量的52．2％。 展开更多
关键词 杨梅 拟果蝇 世代 产卵规律
在线阅读 下载PDF
d-型序列的三项式特性 被引量：2
5
作者 程池 曾祥勇 +1 位作者 胡磊 刘合国 《通信学报》 EI CSCD 北大核心 2007年第10期44-47,共4页
讨论了d-型序列的三项式特性,利用d-型函数和有限域的性质,证明了d-型序列具有正则三项式对,李超、项攀攀所得的结果可以看作是一个特例。讨论了TN序列的三项式特性,并给出了一个具体的例子。
关键词 扩频通信 三项式特性 d-型序列 正则三项式对
在线阅读 下载PDF
分布函数属于D(A)吸引场的充要条件 被引量：2
6
作者 任驰远 彭作祥 《西南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第6期981-986,共6页
通过考虑D(Λ)与Γ函数的关系得到判断分布函数F是否属于D(Λ)的两个充要条件: 1．(1)若F∈D(Λ),则对任意的αi>0,m>1有 (■) (2)若存在某αi>0,m>1,使得 (?) 那么 F∈D(Λ) 2．若分布函数F(x)有密度函数F′(x),且F′(x)... 通过考虑D(Λ)与Γ函数的关系得到判断分布函数F是否属于D(Λ)的两个充要条件: 1．(1)若F∈D(Λ),则对任意的αi>0,m>1有 (■) (2)若存在某αi>0,m>1,使得 (?) 那么 F∈D(Λ) 2．若分布函数F(x)有密度函数F′(x),且F′(x)在上端点的某一个左邻域内非增,则F(x)∈D(Λ)当且仅当 1/F′(x)∈Γ． 展开更多
关键词 d(Λ)吸引场 正规变化函数 辅助函数
在线阅读 下载PDF
ICU患者全身炎症反应综合征状态下D-二聚体规律性变化及其影响因素 被引量：2
7
作者 张赤 罗华 +1 位作者 张声 张卫星 《武汉大学学报（医学版）》 CAS 北大核心 2011年第3期349-353,共5页
目的:通过动态观察ICU患者全身炎症反应综合征(SIRS)状态下不同时点D-二聚体水平,探讨非血栓病患者和血栓病患者D-二聚体变化的差异,并探索其影响因素。方法:162例入选者连续5 d每6 h一次复查血常规、CRP、D-二聚体水平和凝血功能。分... 目的:通过动态观察ICU患者全身炎症反应综合征(SIRS)状态下不同时点D-二聚体水平,探讨非血栓病患者和血栓病患者D-二聚体变化的差异,并探索其影响因素。方法:162例入选者连续5 d每6 h一次复查血常规、CRP、D-二聚体水平和凝血功能。分别研究血栓病、非血栓患者及复合病变患者的D-二聚体峰谷水平的规律性变化及持续时间等方面差异;把年龄、性别、体温、基线心率、呼吸、基线氧合指数、白细胞计数(WBC)平均值、CRP平均值、SIRS状态、脓毒症状态、原发病、用抗凝剂或止血药情况作为自变量,D-二聚体平均值作为因变量,采用ENTER法引进多元线性回归模型,摸索影响复合病变患者D-二聚体水平的多元回归方程。结果:4组患者72 h内高峰时间均出现在30 h内,除全部为非栓塞病复合病变组外,低谷时间均在60-66 h左右;非栓塞病组均较栓塞为主组曲线波动大,下降支72 h后具有明显反弹和多峰多谷现象;复合病变组峰值和平均值均较单病种组高,下降支更长,其中栓塞病为主组峰值最高,全部为非栓塞病组平均值最高。原发病、CRP平均值、WBC平均值、SIRS状态和用药情况等自变量和D-二聚体平均值密切相关,关系最密切的为CRP平均值。结论:非栓塞组患者D-二聚体水平在峰值、谷值、平均值、波动幅度和下降到正常的时间等方面均有别于血栓病组。SIRS患者D-二聚体水平受炎症状态、用药情况和原发疾病等多种因素影响,炎症最容易导致非栓塞性复合病变患者的D-二聚体水平升高。 展开更多
关键词 全身炎症反应综合征 d-二聚体 定量研究 规律性变化
原文传递
Drucker-Prager准则在拉剪区的修正 被引量：18
8
作者 李平恩 殷有泉 《岩石力学与工程学报》 EI CAS CSCD 北大核心 2010年第A01期3029-3033,共5页
针对在岩石塑性力学领域广泛应用的Drucker-Prager准则(简称D-P准则)是一个压剪屈服准则,在拉剪受力状态下不适用的情况,提出在拉剪区修正D-P准则的2种可行性方案。第一种方案是在压剪区,仍采用D-P准则的锥面式,而在拉剪区及其邻近,采... 针对在岩石塑性力学领域广泛应用的Drucker-Prager准则(简称D-P准则)是一个压剪屈服准则,在拉剪受力状态下不适用的情况,提出在拉剪区修正D-P准则的2种可行性方案。第一种方案是在压剪区,仍采用D-P准则的锥面式,而在拉剪区及其邻近,采用一个球形屈服面代替原来的锥顶附近的锥面。第二种方案是使用一个双曲旋转面近似地代替D-P圆锥面。将这2种方法定义的新的修正的D-P准则简称为D-P-Y准则,它是一个三参数准则,不仅在压剪区符合三轴压缩实验结果,而且在拉剪区也可拟合抗拉强度的资料。同时,它还是一个在全区域处处光滑的正则函数,可以使用经典的正交法则和一致性条件建立本构关系,而不必做任何奇异点的处理,这给应用和编程都带来方便,具有广泛的应用前景。特别地,对于双曲型的D-P-Y准则,当相关参数取0时,可分别退化为D-P准则和Mises准则,因此,在编程中可只编入D-P-Y准则。 展开更多
关键词 岩石力学 d—P准则 拉剪区修正 球形屈服面 双曲旋转面 修正的d-P准则 正则函数
在线阅读 下载PDF
重症患者SIRS状态下D-二聚体规律性变化的初步观察 被引量：1
9
作者 罗华 张赤 +2 位作者 姜春玲 张卫星 蔡文训 《当代医学》 2012年第8期31-33,共3页
目的通过动态观察ICU患者SIRS状态下不同时点D-二聚体水平,探讨非血栓病患者和血栓病患者D-二聚体变化的差异,以指导临床进行正确诊疗和评估预后。方法 162例入选者连续5d每6h一次复查血常规、CRP、D二聚体水平和凝血四项。根据D-二聚... 目的通过动态观察ICU患者SIRS状态下不同时点D-二聚体水平,探讨非血栓病患者和血栓病患者D-二聚体变化的差异,以指导临床进行正确诊疗和评估预后。方法 162例入选者连续5d每6h一次复查血常规、CRP、D二聚体水平和凝血四项。根据D-二聚体水平演变,以Microsoft Exel 2003分别描绘血栓病、非血栓病患者及复合病变者的规律曲线图;描绘非血栓病SEPSIS患者和非SEPSIS患者规律曲线图。并对比以上曲线在D-二聚体水平峰谷变化及持续时间等方面差异。结果四组患者72h内高峰时间均出现在30h内,除全部为非栓塞病复合病变组外,低谷时间均在60～66h左右;非栓塞病组均较栓塞为主组曲线波动大,下降支72h后具有明显反弹和多峰多谷现象;复合病变组峰值和平均值均较单病种组高,下降支更长,其中栓塞病为主组峰值最高,全部为非栓塞病组平均值最高。结论非栓塞组患者D-二聚体水平在峰值、谷值、平均值、波动幅度和下降到正常的时间等方面均有别于血栓病组,描绘D-二聚体水平规律变化图有助于鉴别两种不同的原发病状态。感染和炎症是D-二聚体升高的主要影响因素之一,存在SEPSIS的患者D-二聚体更高。 展开更多
关键词 全身炎症反应综合征 d-二聚体 影响因素 规律性变化
暂未订购
p元d-型序列的三项式特性 被引量：1
10
作者 王慧 崇金凤 卓泽朋 《计算机工程与应用》 CSCD 北大核心 2011年第36期47-49,共3页
p为素数时,利用迹函数理论和有限域的性质对两类p元序列的三项式特性进行研究,研究结果表明,p元Kasami序列和d-型序列均具有正则三项式对,给出一种p元d-型序列的三项生成多项式的形式。
关键词 三项式特性 p元d-型序列 Kasami序列 正则三项式对
在线阅读 下载PDF
推广的(0,p(D))三角插值 被引量：1
11
作者 王小刚 张瑞 侯象乾 《宁夏大学学报（自然科学版）》 CAS 北大核心 2005年第3期221-224,共4页
研究了一种新的以2π为周期的三角插值问题,给出了一些插值问题正则的充要条件以及基多项式的显式表达式.通常的(0,p(D))插值和(0,δm)插值是本文的特殊情况.
关键词 三角插值 正则 (0 p(d))插值 (0 δ^m)插值 显式形式
在线阅读 下载PDF
Pipelined-Flash A/D转换误差分布规律 被引量：1
12
作者 陶瓦 《重庆师范大学学报（自然科学版）》 CAS 2005年第1期31-34,共4页
本文讨论参考文献[1]中两类四元非线性连续函数△ERRdn与△ERRdj之间的定量关系,对误差比率函数ERR100nm%(λcentreT,n)离散点域分布演变所起的决定性作用。定性地归纳各类误差离散点域的分布变化规律,为推出分时段并行A/D转换电路的各... 本文讨论参考文献[1]中两类四元非线性连续函数△ERRdn与△ERRdj之间的定量关系,对误差比率函数ERR100nm%(λcentreT,n)离散点域分布演变所起的决定性作用。定性地归纳各类误差离散点域的分布变化规律,为推出分时段并行A/D转换电路的各种可变参量裕度函数作好准备。 展开更多
关键词 离散点 A/d转换电路 并行 误差分布 裕度 函数 归纳 规律 参考文献 参量
在线阅读 下载PDF
D-正则半群上的同余
13
作者 郑恒武 《纯粹数学与应用数学》 CSCD 1996年第1期112-114,共3页
刻划-正则半群上的如下同余:包括在中的最大同余、最大幂等元分离同余、(最小)基本强-同余和群同余。
关键词 d-正则半群 同余 强d-同余 群同余 正则半群
在线阅读 下载PDF
平面上一种Denjoy型积分
14
作者 叶国菊 《西北师范大学学报（自然科学版）》 CAS 1991年第2期6-11,23,共7页
在文[7]的基础上定义了一种新的Denjoy型积分,并讨论它的简单性质.
关键词 denjoy型积分 VB^＊-函数 AC^＊-积分
在线阅读 下载PDF
饱和D最优设计法在马铃薯微繁培养基筛选中的应用 被引量：2
15
作者 高军 张永成 《青海大学学报（自然科学版）》 2008年第3期24-26,共3页
采用饱和D最优设计法，研究了5种植物生长调节剂与扦插个数的关系，通过记录青薯2号、6号两种脱毒试管苗生长状况，建立了不同植物生长调节剂、不同接种数对试管苗生长的函数模型。结果表明：试管苗最佳扦插个数：7—9个，2，4-D最佳浓... 采用饱和D最优设计法，研究了5种植物生长调节剂与扦插个数的关系，通过记录青薯2号、6号两种脱毒试管苗生长状况，建立了不同植物生长调节剂、不同接种数对试管苗生长的函数模型。结果表明：试管苗最佳扦插个数：7—9个，2，4-D最佳浓度：1．32—2．514mg／L；6-BA最佳浓度：1．05—1．95mg／L；NAA最佳浓度：0．165—0．335mg／L；KT最佳浓度：0．35-0．65mg／L；CA最佳浓度：3．5～6．5mg／L。 展开更多
关键词 饱和d最优设计方法 植物生长调节剂 马铃薯 脱毒试管苗
在线阅读 下载PDF
关于最小值吸引场D(H_1)的几点注记
16
作者 庄光明 彭作祥 王庆平 《重庆工学院学报》 2007年第23期68-71,共4页
在广义正规变化函数的基础上提出了-Γ和-Π变化函数,讨论了-Γ和-Π变化函数与最小值吸引场D(H1)的关系,并进行了证明.
关键词 极值 独立同分布随机序列 规则变化函数 吸引场
在线阅读 下载PDF
d-界距离正则图中一类格的特征多项式
17
作者 郭军 刘稳 《河北师范大学学报（自然科学版）》 CAS 北大核心 2007年第2期141-143,154,共4页
设Γ是一个直径d≥3的d界距离正则图,x∈V(Γ),P(x)是Γ中包含x的所有强闭包子图的集合,并且P(x,i)是P(x)中所有直径为i的强闭包子图的集合.设L(x,i)是P(x,i)中元素的交生成的集合.按反包含关系规定L(x,i)的偏序,L(x,i)记为LR(x,i).利用... 设Γ是一个直径d≥3的d界距离正则图,x∈V(Γ),P(x)是Γ中包含x的所有强闭包子图的集合,并且P(x,i)是P(x)中所有直径为i的强闭包子图的集合.设L(x,i)是P(x,i)中元素的交生成的集合.按反包含关系规定L(x,i)的偏序,L(x,i)记为LR(x,i).利用Mbius反演公式计算了LR(x,i)上的特征多项式χ(PR(x),t). 展开更多
关键词 距离正则图 强闭包子图 d-界 特征多项式
在线阅读 下载PDF
取定s的严格d-正则随机(3,2s)-SAT问题的可满足临界 被引量：3
18
作者 王永平 许道云 《软件学报》 EI CSCD 北大核心 2021年第9期2629-2641,共13页
3-CNF公式的随机难解实例生成对于揭示3-SAT问题的难解实质和设计满足性测试的有效算法有着重要意义.对于整数k>2和s>0,如果在一个k-CNF公式中每个变量正负出现次数均为s,则称该公式是严格正则(k,2s)-CNF公式.受严格正则(k,2s)-CN... 3-CNF公式的随机难解实例生成对于揭示3-SAT问题的难解实质和设计满足性测试的有效算法有着重要意义.对于整数k>2和s>0,如果在一个k-CNF公式中每个变量正负出现次数均为s,则称该公式是严格正则(k,2s)-CNF公式.受严格正则(k,2s)-CNF公式的结构特征启发,提出每个变量正负出现次数之差的绝对值均为d的严格d-正则(k,2s)-CNF公式,并使用新提出的SDRRK2S模型生成严格d-正则随机(k,2s)-CNF公式.取定整数5<s<11,模拟实验显示,严格d-正则随机(3,2s)-SAT问题存在SAT-UNSAT相变现象和HARD-EASY相变现象.因此,立足于3-CNF公式的随机难解实例生成,研究了严格d-正则随机(3,2s)-SAT问题在s取定时的可满足临界.通过构造一个特殊随机实验和使用一阶矩方法,得到了严格d-正则随机(3,2s)-SAT问题在s取定时可满足临界值的一个下界.模拟实验结果验证了理论证明所得下界的正确性. 展开更多
关键词 3-CNF公式 随机难解实例生成 正则子类 严格d-正则随机(3 2s)-SAT问题 可满足临界
在线阅读 下载PDF
基于红黑树与K-D树的LiDAR数据组织管理 被引量：6
19
作者 吴波涛 张煜 +2 位作者 陈文龙 沈定涛 魏思奇 《长江科学院院报》 CSCD 北大核心 2016年第11期32-35,共4页
LiDAR点云是由海量的激光离散脚点组成的三维点集,在平面以及垂直方向上均分布有数量不均的离散点。LiDAR点云离散点相互之间缺乏空间拓扑关系,所以建立适当的数据组织结构对LiDAR点云进行组织是对LiDAR点云进行处理的基础。根据LiDAR... LiDAR点云是由海量的激光离散脚点组成的三维点集,在平面以及垂直方向上均分布有数量不均的离散点。LiDAR点云离散点相互之间缺乏空间拓扑关系,所以建立适当的数据组织结构对LiDAR点云进行组织是对LiDAR点云进行处理的基础。根据LiDAR点云的数据结构特点,利用红黑树与K-D树建立一种"非空"规则立方体格网和K-D树相结合的双层次数据结构,用于LiDAR点云的组织管理,从而降低结构冗余和提高索引效率。 展开更多
关键词 LIdAR 红黑树 K-d树 数据结构 数据组织 立方体网格
在线阅读 下载PDF
正交约束下的D—最优试验设计
20
作者 王超 王跃钢 《中国惯性技术学报》 EI CSCD 北大核心 2011年第2期248-252,共5页
针对一类因素间具有正交约束的回归模型的试验设计问题,以D—最优为准则,以加速度计试验设计为背景,从试验点的均衡分布原则出发,以不同试验环境下合加速度大小为依据,给出了不同环境下球内接正多面体的试验方法,通过进一步计算和深入... 针对一类因素间具有正交约束的回归模型的试验设计问题,以D—最优为准则,以加速度计试验设计为背景,从试验点的均衡分布原则出发,以不同试验环境下合加速度大小为依据,给出了不同环境下球内接正多面体的试验方法,通过进一步计算和深入分析表明,单球面时为避免信息矩阵降秩应采用不同安装方式,降低模型维数以达到试验目的;两球面下试验设计的优劣与两个半径的大小有关,半径越大计划越优,而且信息矩阵的秩最大时两个球半径之间呈近似线性关系。试验结果的优劣还受到初始安装位置的影响,为了达到最优化,应使合加速度方向与加速度计的某个轴同向。 展开更多
关键词 正交约束 d—最优 加速度计 正多面体 试验设计
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
使用帮助 返回顶部