期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到403篇文章
< 1 2 … 21 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种基于模块单子语义的动态程序切片方法 被引量：12
1
作者 张迎周 徐宝文 《计算机学报》 EI CSCD 北大核心 2006年第4期526-534,共9页
提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片... 提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性. 展开更多
关键词 程序切片 动态切片 单子 单子转换器 模块单子语义
下载PDF
莱布尼茨单子论的潜意识心理分析
2
作者 宋其恩 《心理学进展》 2023年第9期3879-3883,共5页
潜意识学说是心理学史上重要的理论之一。在18世纪的德国哲学家莱布尼茨的思想中,就已经可以看到潜意识理论的雏形,尽管他本人并未察觉到这一理论,但却对潜意识学说的发展做出了不可磨灭的贡献。单子论作为莱布尼茨重要的理论之一,认为... 潜意识学说是心理学史上重要的理论之一。在18世纪的德国哲学家莱布尼茨的思想中,就已经可以看到潜意识理论的雏形,尽管他本人并未察觉到这一理论,但却对潜意识学说的发展做出了不可磨灭的贡献。单子论作为莱布尼茨重要的理论之一,认为宇宙世界是由无数多杂乱且封闭的单子构成,而且单子之间存在等级差距,最低级的单子只具备“微觉”,稍高一级的单子具备“统觉”,最高级的单子则是全知全能全善的上帝。本文旨在从莱布尼茨单子论入手,对其潜意识心理思想进行分析,进而论述这一思想在哲学史、心理学上的贡献及意义。 展开更多
关键词 单子论 微觉 前定和谐 潜意识
下载PDF
单子
3
作者 紫君 《住宅与房地产》 2023年第31期60-60,共1页
在物业服务行业中,接到客户报修,无论电话还是口头,都要填写工作单,有的是接报修系统的自动生成,否则就需要手动填写,接报修工作单俗称“单子”。有闭环管理的物企,也会把计划维修保养工作分解生成工作单,再由驻场项目工程部员工落实。... 在物业服务行业中,接到客户报修,无论电话还是口头,都要填写工作单,有的是接报修系统的自动生成,否则就需要手动填写,接报修工作单俗称“单子”。有闭环管理的物企,也会把计划维修保养工作分解生成工作单,再由驻场项目工程部员工落实。如果这些计划维修保养工作是由外包维修保养单位组织实施的,也会生成工作单,并在外包服务单位完成后,由指定维修保养监管部门被授权人签字确认。 展开更多
关键词 外包服务 维修保养 报修系统 授权人 闭环管理 物业服务行业 单子 监管部门
下载PDF
一种过程间单子切片方法 被引量：2
4
作者 张迎周 符炜 《电子学报》 EI CAS CSCD 北大核心 2013年第8期1457-1461,共5页
在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得... 在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性. 展开更多
关键词 单子切片方法 模块单子语义 过程间程序 参数间依赖 组合性
下载PDF
双单子对与缠绕结构 被引量：1
5
作者 代瑞香 王顶国 《石河子大学学报（自然科学版）》 CAS 2011年第4期526-528,共3页
根据余单子对、双单子对及对角模的定义及性质,构造了两个新的余单子对角模,证明了可分配余单子与余单子对之间的等价关系,得出了双单子对具有缠绕结构的结论。
关键词 余单子对 双单子对 对角模
下载PDF
从单子特性看莱布尼茨对知识主体的探究
6
作者 韩跃红 《昆明理工大学学报（社会科学版）》 2004年第3期8-11,共4页
从莱布尼茨的《人类理智新论》和《单子论》中梳理其认识论思想,尤其是他对认识主体的看法。莱布尼茨把一种精神客体———单子作为认识的主体,意在说明和强调认识主体的能动性和认识的辨证发展性质,但这种唯心主义的解决方式必然引申... 从莱布尼茨的《人类理智新论》和《单子论》中梳理其认识论思想,尤其是他对认识主体的看法。莱布尼茨把一种精神客体———单子作为认识的主体,意在说明和强调认识主体的能动性和认识的辨证发展性质,但这种唯心主义的解决方式必然引申出天赋观念而最终走向先验论。尽管如此,莱布尼茨对认识主体的探究对于德国古典哲学发生了积极影响,对于我们今天面临的一些现实问题也不无启发意义。 展开更多
关键词 单子特性 莱布尼茨 知识主体 《人类理智新论》 《单子论》 能动性 辨证性 天赋观念
下载PDF
单子对及其对角模的性质研究
7
作者 代瑞香 刘超 《兵团教育学院学报》 2011年第1期82-84,共3页
文章首先根据单子对和对角模的定义及性质,构造了两个新的对角模,其次给出了可分配单子与单子对的相互构造,最后刻画了单子双模与单子对角模之间的相互关系。
关键词 单子 单子对 对角模
下载PDF
单子山楂叶中多元酚类成分及其抗氧化活性研究 被引量：6
8
作者 刘荣华 陈兰英 +1 位作者 朱根华 余伯阳 《中草药》 CAS CSCD 北大核心 2007年第10期1541-1544,共4页
目的提取分离单子山楂Crataegus monogyna叶中多元酚类成分,并对其抗氧化活性进行比较。方法从干燥的单子山楂叶粗粉中提取分离其中的多元酚类成分,并比较它们体外对两种不同氧自由基(羟自由基.OH、过氧化氢H2O2)的清除活性。结果从单... 目的提取分离单子山楂Crataegus monogyna叶中多元酚类成分,并对其抗氧化活性进行比较。方法从干燥的单子山楂叶粗粉中提取分离其中的多元酚类成分,并比较它们体外对两种不同氧自由基(羟自由基.OH、过氧化氢H2O2)的清除活性。结果从单子山楂叶中分离得到10种多元酚类成分,分别为槲皮素(quercetin,Qu),金丝桃苷(hyperoside,HP),槲皮素3-O-β-D-葡萄糖苷(quercetin3-O-β-D-glucoside,QG),芦丁(rutin,Rut),牡荆素(vitexin,Vit),6″-O-乙酰牡荆素(6″-O-acetyl-vitexin,AcV),牡荆素2″-O-鼠李糖苷(vitexin2″-O-rhamnoside,VRh),牡荆素4-O-乙酰-2″-O-鼠李糖苷(vitexin4-O-acetyl-2″-O-rhamnoside,VAR),表儿茶素[(-)-epicatechin,EP]和绿原酸(chlorogenic acid,ChA)。结果表明,所有样品对以上两种氧自由基的清除活性均呈明显的结构依赖性,然而在这些样品中Qu、HP、QG、Rut和EP对这两种氧自由基均有很强的清除活性。结论Qu、HP、QG、Rut和EP可能是单子山楂叶中最主要的抗氧化活性成分。 展开更多
关键词 多元酚 黄酮 单子山楂 过氧化氢
下载PDF
含指针程序的单子切片方法 被引量：5
9
作者 张迎周 吴重强 +2 位作者 钱巨 张卫丰 徐宝文 《计算机学报》 EI CSCD 北大核心 2010年第3期473-482,共10页
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析... 传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性. 展开更多
关键词 程序切片 单子切片 数据流迭代 指针 指向分析
下载PDF
单子样寿命试验评估的综合概率分布法 被引量：3
10
作者 冯蕴雯 黄玮 +1 位作者 宋笔锋 冯元生 《航空学报》 EI CAS CSCD 北大核心 2005年第6期706-709,共4页
提出了大型复杂结构体系或机构系统只做单子样1次寿命试验的评估方法。即据单子样的1次试验值创造性地提出确定当前概率分布及据此作出评估的方法,继而给出了结合半经验算法与当前概率分布算法的加权综合算法。附有算例阐明所提出的方法。
关键词 单子样 试验评估 半经验 当前分布 综合概率
下载PDF
基于单子带重构改进小波变换的电力系统谐波检测方法 被引量：17
11
作者 许珉 程兴民 《电力自动化设备》 EI CSCD 北大核心 2008年第9期10-14,共5页
Mallat快速离散小波变换注重总体抗混叠和信号重建,忽略分解分量中的频率混叠抑制,在电力系统谐波检测中产生严重的频率混叠现象。虽然单子带重构小波变换提高了频率分辨率,但是分析结果仍存在一定程度的频率混叠。单子带重构改进小波... Mallat快速离散小波变换注重总体抗混叠和信号重建,忽略分解分量中的频率混叠抑制,在电力系统谐波检测中产生严重的频率混叠现象。虽然单子带重构小波变换提高了频率分辨率,但是分析结果仍存在一定程度的频率混叠。单子带重构改进小波变换算法,对信号进行分解与重构时,利用快速傅里叶变换(FFT)和快速傅里叶逆变换(IFFT)对各子带信号进行处理。该方法可以克服传统小波变换算法存在频率混叠现象的固有缺陷,仿真计算结果证明了该方法的有效性,为电力系统谐波、间谐波和时变谐波分量的精确检测提供了一种有效手段。 展开更多
关键词 电力系统 谐波检测 单子带重构 频率混叠
下载PDF
模糊拓扑空间中的单子及其逼近原理 被引量：7
12
作者 马春晖 陈东立 史艳维 《纯粹数学与应用数学》 CSCD 北大核心 2007年第1期108-111,共4页
在κ-饱和的非标准模型下,以自然的方式定义了模糊拓扑空间中的N-单子,Q-单子和R-单子,并证明了它们相应的逼近原理,讨论了它们之间的相互关系.
关键词 κ-饱和 单子 重域 远域
下载PDF
一种单子样旋转矢量姿态算法 被引量：14
13
作者 杨胜 房建成 《宇航学报》 EI CAS CSCD 北大核心 2010年第3期780-785,共6页
旋转矢量姿态算法可有效抑制高动态环境下捷联惯导系统(SINS)产生的圆锥误差。当直接应用多子样旋转矢量姿态算法时,会降低系统姿态更新频率;若要保持姿态更新频率,则需要提高采样频率,从而增加了导航计算机的硬件负担,并导致量化误差... 旋转矢量姿态算法可有效抑制高动态环境下捷联惯导系统(SINS)产生的圆锥误差。当直接应用多子样旋转矢量姿态算法时,会降低系统姿态更新频率;若要保持姿态更新频率,则需要提高采样频率,从而增加了导航计算机的硬件负担,并导致量化误差突出。针对上述不足,提出了一种利用当前及前N个姿态更新周期角增量的单子样旋转矢量姿态算法,并在典型圆锥运动条件下推导了算法补偿项系数。此外,由于陀螺输出经过数字滤波处理后其幅频特性的改变会影响圆锥误差的补偿效果,根据滤波器特性推导了单子样旋转矢量姿态算法的修正算法,以便于在工程中推广应用。该算法在不降低姿态更新频率的同时,可获得较高的解算精度,适于高动态环境应用,实验结果验证了上述算法的正确性和有效性。 展开更多
关键词 捷联惯性导航系统 姿态更新算法 旋转矢量 单子样 数字滤波
下载PDF
超理想的单子及其应用 被引量：1
14
作者 靳永军 陈东立 马春晖 《纯粹数学与应用数学》 CSCD 北大核心 2008年第3期534-536,共3页
在扩大模型下,用超理想的单子对超理想进行刻画;进而用它给出了理想为超理想的条件;最后给出理想的单子与超理想的单子之间的关系.
关键词 理想 超理想 单子
下载PDF
容差条件下“黑箱”单子网络故障的可诊断性分析 被引量：2
15
作者 张友纯 黄鹰 《电路与系统学报》 CSCD 2000年第3期75-77,共3页
本文在文［１］的基础上讨论了容差条件下“黑箱”子网络单子网络故障的诊断方法，并着重分析了单子网络故障的可诊断条件，得到了容差与诊断模糊范围的关系，对于“黑箱”子网络的单子网络的故障诊断具有理论意义和实际意义。
关键词 黑箱子网络 容差 故障 诊断 单子网络
下载PDF
单子山楂枝条的离体培养和生根 被引量：1
16
作者 王国英 王建华 《中国农业大学学报》 CAS CSCD 北大核心 1993年第S1期11-14,共4页
描述了单子山楂的离体繁殖方法.结果表明,BGS 培养基有利于扦插枝条侧芽的萌发.MS 基本培养基加入0.1 mg·L^(-1)的 IBA 和1 mg·L^(-1)的 BAP 就能有效地诱导芽丛分化,再提高 BAP 的浓度或加入 GA_3都没有增加分化芽效.在诱导... 描述了单子山楂的离体繁殖方法.结果表明,BGS 培养基有利于扦插枝条侧芽的萌发.MS 基本培养基加入0.1 mg·L^(-1)的 IBA 和1 mg·L^(-1)的 BAP 就能有效地诱导芽丛分化,再提高 BAP 的浓度或加入 GA_3都没有增加分化芽效.在诱导单子山楂枝条在培养基中生根时,NAA 的效果显著优于 IBA,其中尤以 NAA 0.5 mg·L^(-1)的用量最佳.两种基本培养基(1/2MS 和 MS)的生根效果差异不显著.连续黑暗处理一周不仅未增加枝条的生根率,反而使生根率显著降低.叶片愈伤组织诱导的初步研究表明,当加入0.1 mg·L^(-1)IBA 时,1～2 mg·L^(-1)的 BAP 能够有效地诱导愈伤组织产生. 展开更多
关键词 单子山楂 离体培养 生根 光照 生长调节剂
下载PDF
第一哲学与伦理学——对莱布尼茨《单子论》的实践哲学解读 被引量：4
17
作者 邓安庆 《江苏行政学院学报》 CSSCI 北大核心 2009年第3期19-25,共7页
以前的教科书上一般都把近代的形而上学说成是以"认识论"作为第一哲学的"知性而上学",通过对莱布尼茨《单子论》的解读发现,《单子论》根本不是一部认识论的著作,而是一种典型的"实体论"形而上学。这种... 以前的教科书上一般都把近代的形而上学说成是以"认识论"作为第一哲学的"知性而上学",通过对莱布尼茨《单子论》的解读发现,《单子论》根本不是一部认识论的著作,而是一种典型的"实体论"形而上学。这种实体论又不是以"已成"实体来构成单纯外在物体世界或内在灵魂世界的机械论形而上学,而是以内在行动为原则赋予实体本身以内在的生命运动,从而在实体的生命运动过程中从"自然世界"开辟出一个"道德世界"的实践的形而上学。从这种实践的形而上学蕴含的伦理-政治维度中,我们可以发现这种形而上学的现代性意义,同时它也处在第一哲学与伦理学之关系转变的起点上。由此我们可以看出,真正的形而上学之可能性不在其自身的实体构造上,而在伦理学中。莱布尼茨这样做了,却无能对此获得明确的意识,他的形而上学不可避免地还带有知性形而上学的独断性,因此他不得不承当旧形而上学的骂名。 展开更多
关键词 单子论 行动 实践的形而上学 伦理-政治维度
下载PDF
一致结构的单子对 Cauchy 网的刻画及其应用 被引量：2
18
作者 陈东立 《西安建筑科技大学学报（自然科学版）》 CSCD 1997年第1期83-86,共4页
在扩大的非标准模型中，利用一致结构的单子对Ｃａｕｃｈｙ网并进而对完备空间进行了离散性刻画，并用这种刻画证明了Ｃａｕｃｈｙ网及完备空间的若干性质，特别给出了完备空间的乘积为完备空间的一个直观简明的证明。
关键词 一致结构 格集 Cauchy网 单子 非标准分析
下载PDF
单子论与调性原理 被引量：2
19
作者 姚亚平 《星海音乐学院学报》 CSSCI 2017年第3期58-67,共10页
单子论是德国哲学家莱布尼兹于1714年提出的一套学说,此时也正值音乐中调性发展跃跃欲试,调性音乐的发展重心逐渐向德国转移之机。音乐与哲学在18世纪的德国遥相呼应绝非偶然,它表明了二者之间关系紧密、内在相通。文章深入地分析了莱... 单子论是德国哲学家莱布尼兹于1714年提出的一套学说,此时也正值音乐中调性发展跃跃欲试,调性音乐的发展重心逐渐向德国转移之机。音乐与哲学在18世纪的德国遥相呼应绝非偶然,它表明了二者之间关系紧密、内在相通。文章深入地分析了莱布尼兹的单子论思想,试图从思维上证明哲学与音乐这两种表面上互不相关的事物之间的隐秘关系。 展开更多
关键词 莱布尼兹 单子论 调性
下载PDF
一致结构的单子及其应用 被引量：2
20
作者 陈东立 《纯粹数学与应用数学》 CSCD 2001年第2期133-137,共5页
讨论了乘积一致结构的单子的刻画 .利用一致结构的单子给出了 Cauchy网及含小集集族的非标准特征 .作为应用给出一致空间几个重要定理的离散化证明 .
关键词 一致结构的单子 扩大 Cauchy网 含小集的集族
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 21 下一页 到第 页
使用帮助 返回顶部