期刊文献+
共找到1,755篇文章
< 1 2 88 >
每页显示 20 50 100
Highly sensitive laser spectroscopy sensing based on a novel four-prong quartz tuning fork 被引量:1
1
作者 Runqiu Wang Shunda Qiao +1 位作者 Ying He Yufei Ma 《Opto-Electronic Advances》 2025年第4期6-16,共11页
In this paper,a novel four-prong quartz tuning fork(QTF)was designed with enlarged deformation area,large prong gap,and low resonant frequency to improve its performance in laser spectroscopy sensing.A theoretical sim... In this paper,a novel four-prong quartz tuning fork(QTF)was designed with enlarged deformation area,large prong gap,and low resonant frequency to improve its performance in laser spectroscopy sensing.A theoretical simulation model was established to optimize the design of the QTF structure.In the simulation of quartz-enhanced photoacoustic spectroscopy(QEPAS)technology,the maximum stress and the surface charge density of the four-prong QTF demonstrated increases of 11.1-fold and 15.9-fold,respectively,compared to that of the standard two-prong QTF.In the simulation of light-induced thermoelastic spectroscopy(LITES)technology,the surface temperature difference of the four-prong QTF was found to be 11.4 times greater than that of the standard QTF.Experimental results indicated that the C_(2)H_(2)-QEPAS system based on this innovative design improved the signal-to-noise-ratio(SNR)by 4.67 times compared with the standard QTF-based system,and the SNR could increase up to 147.72 times when the four-prong QTF was equipped with its optimal acoustic micro-resonator(AmR).When the average time of the system reached 370 s,the system achieved a MDL as low as 21 ppb.The four-prong QTF-based C_(2)H_(2)-LITES system exhibited a SNR improvement by a factor of 4.52,and a MDL of 96 ppb was obtained when the average time of the system reached 100 s.The theoretical and experimental results effectively demonstrated the superiority of the four-prong QTF in the field of laser spectroscopy sensing. 展开更多
关键词 four-prong quartz tuning fork C2H2 detection quartz-enhanced photoacoustic spectroscopy light-induced thermoelastic spectroscopy
在线阅读 下载PDF
基于Fork/Join模式的模幂算法并行化实现
2
作者 张翔 《计算机应用文摘》 2025年第20期244-246,249,共4页
公钥加密与数字签名算法普遍依赖于模幂运算,而大整数模幂运算的核心瓶颈在于高计算复杂度的乘法与幂运算.在现有研究基础上,文章系统分析了二元法、Karatsuba算法及快速傅里叶变换(FFT)在模幂运算中的应用特点,并针对其计算效率与资源... 公钥加密与数字签名算法普遍依赖于模幂运算,而大整数模幂运算的核心瓶颈在于高计算复杂度的乘法与幂运算.在现有研究基础上,文章系统分析了二元法、Karatsuba算法及快速傅里叶变换(FFT)在模幂运算中的应用特点,并针对其计算效率与资源消耗进行了相应优化.进一步地,基于Java语言环境,采用多线程Fork/Join框架实现改进算法,以提升并行计算性能与整体运算效率. 展开更多
关键词 模幂 Karatsuba FFT JAVA fork/Join
在线阅读 下载PDF
One-step quartz-MEMS micro-fabrication strategy for a grooved tuning fork
3
作者 Yide Dong Chunyan Yin +1 位作者 Guangbin Dou Litao Sun 《Nanotechnology and Precision Engineering》 2025年第3期117-130,共14页
Grooved tuning forks with hierarchical structures have become some of the most widely used piezoelectric quartz microelectromechanical system devices;however,fabricating these devices requires multi-step processes due... Grooved tuning forks with hierarchical structures have become some of the most widely used piezoelectric quartz microelectromechanical system devices;however,fabricating these devices requires multi-step processes due to the complexity of etching of quartz,particularly in specific orientations of the crystal lattice.This paper proposes a one-step fabrication strategy that can form a complete hierarchical structure with only a single etching process using novel lithography patterns.The core principle of this strategy is based on the effect of the size of the groove patterns on quartz etching,whereby trenches of varying depths can be created in a fixed etching time by adjusting the width of the hard mask.Specifically,the device outline and grooved structure can be completed using a seamlessly designed etching pattern and optimized time.Furthermore,the etching structure itself influences the etching results.It was found that dividing a wide trench by including a wall to separate it into two narrow trenches significantly reduces the etching rate,allowing for predictable tuning of the etching rate for wider grooves.This effectively increases the usability and flexibility of the one-step strategy.This was applied to the manufacture of an ultra-small quartz grooved tuning fork resonator with a frequency of 32.768 kHz in a single step,increasing production efficiency by almost 45%and reducing costs by almost 30%compared to current methods.This has great potential for improving the productivity of grooved tuning fork devices.It can also be extended to the fabrication of other quartz crystal devices requiring hierarchical structures. 展开更多
关键词 Quartz crystal Quartz MEMS MICROFABRICATION Grooved tuning fork
在线阅读 下载PDF
液体火箭发动机涡轮泵音叉式整体叶盘低周疲劳寿命可靠性研究
4
作者 王珏 窦唯 +2 位作者 金志磊 姜绪强 李东 《推进技术》 北大核心 2025年第5期278-286,共9页
涡轮作为液体火箭发动机的关键构件,其低周疲劳寿命和可靠性直接影响液体火箭发动机的安全性能。对某液体火箭发动机涡轮泵音叉式整体叶盘开展流场分析和静强度分析,并基于局部应力-应变法获得了设计工况下整体叶盘的低周疲劳寿命。采... 涡轮作为液体火箭发动机的关键构件,其低周疲劳寿命和可靠性直接影响液体火箭发动机的安全性能。对某液体火箭发动机涡轮泵音叉式整体叶盘开展流场分析和静强度分析,并基于局部应力-应变法获得了设计工况下整体叶盘的低周疲劳寿命。采用拉丁超立方抽样方法,以转速、密度及弹性模量为随机输入变量,建立最大应力和最大应变的Kriging代理模型。通过大样本抽样,得到了音叉式整体叶盘的低周疲劳寿命概率分布,进而得出其疲劳寿命可靠度曲线。结果表明:整体叶盘的低周疲劳寿命呈右偏态分布,近似威布尔分布。 展开更多
关键词 液体火箭发动机 音叉式整体叶盘 低周疲劳寿命 KRIGING模型 可靠度
原文传递
抓取木叉捆Jansen连杆的直线平夹机器人手设计
5
作者 张森 张加成 +2 位作者 黄辉 刘玉童 赵辉 《森林工程》 北大核心 2025年第5期1025-1033,共9页
机器人抓取方式种类繁多,在木叉生产过程中,木叉捆长度较长,侧面呈平面且高度较小,传统机器人手抓取效果并不理想。根据木叉捆的特点,采用末端直线平夹方式进行抓取更为适合。针对这一问题,提出一种采用Jansen连杆原理的直线平夹机器人... 机器人抓取方式种类繁多,在木叉生产过程中,木叉捆长度较长,侧面呈平面且高度较小,传统机器人手抓取效果并不理想。根据木叉捆的特点,采用末端直线平夹方式进行抓取更为适合。针对这一问题,提出一种采用Jansen连杆原理的直线平夹机器人手(Jansen手指),旨在实现平夹抓取时末端沿直线轨迹运动。Jansen手指通过Jansen连杆机构实现末端的直线运动,并通过平行四连杆机构确保手指末端在夹取过程中保持稳定可靠。通过理论分析与仿真试验结果表明,Jansen手指能够实现末端稳定地沿直线进行夹取,满足木叉捆生产过程中的需求。 展开更多
关键词 木叉捆 机器人手 直线平夹 Jansen连杆 动力学
在线阅读 下载PDF
料箱式穿梭车紧凑型伸缩拨叉机构设计
6
作者 李松玲 沈涛 +2 位作者 宋佑国 任明博 吴罡 《船舶工程》 北大核心 2025年第S1期594-597,共4页
[目的]传统料箱式穿梭车伸缩拨叉机构存在不足,制约穿梭车系统的空间利用率。[方法]针对传统料箱式穿梭车伸缩拨叉机构的不足,在其结构基础上优化结构形式,设计一种一种紧凑型伸缩拨叉机构,[结果]能克服传统料箱式穿梭车伸缩拨叉机构内... [目的]传统料箱式穿梭车伸缩拨叉机构存在不足,制约穿梭车系统的空间利用率。[方法]针对传统料箱式穿梭车伸缩拨叉机构的不足,在其结构基础上优化结构形式,设计一种一种紧凑型伸缩拨叉机构,[结果]能克服传统料箱式穿梭车伸缩拨叉机构内部组件相互制约的弊端,[结论]从而既能减少货架相邻货位间距(间接增加仓库货架的总库容量),又能够提高料箱式穿梭车的额定载重量。 展开更多
关键词 穿梭车 紧凑型伸缩拨叉机构 料箱式
原文传递
基于蚁群算法的多叉并存货位分配调度算法设计
7
作者 袁浩 陈帅 +3 位作者 胡文胜 李志华 于笔钧 肖爱民 《机械设计与研究》 北大核心 2025年第3期165-172,共8页
传统的产品出入库往往会消耗大量的人力物力,导致物流效率缓慢。而产品出入库主要是在自动化微仓智能货柜的载货台机构装置上进行的,其中载货台机构装置装有多个货叉并具备货物横移的功能。为提升物流的效率和质量,针对多个货叉横移时,... 传统的产品出入库往往会消耗大量的人力物力,导致物流效率缓慢。而产品出入库主要是在自动化微仓智能货柜的载货台机构装置上进行的,其中载货台机构装置装有多个货叉并具备货物横移的功能。为提升物流的效率和质量,针对多个货叉横移时,同时存取不定量货物的路径冲突问题,提出一种基于蚁群算法(ACO)的简便调度算法。首先,利用ACO的觅食规则,将货物分配货叉的过程拟定成蚂蚁觅食的过程,对立体智能货柜进行数学建模并建立实际路径规划地图模型;然后,根据蚁群觅食的原则和要求建立调度搜索规则,利用加权法设计货叉分配优先级公式,并根据搜索规则完成多叉并存货物路径规划,完成货叉分配;最后,根据设计完成载货台样机制作,通过实际运行验证调度算法的合理性与实用性。并对料箱的分布情况作出相应的测试,先后对同侧同层取货、异侧异层取货进行测试,测试结果表明:样机能实现5个料箱同时出入库,并可实时监测货物存取情况,实现了多种类小数量货物的存取;搜索结果满足实际出入库需求,且算法符合调度要求,料箱出入库时无路径冲突发生,极大地提高了物流的效率和质量。 展开更多
关键词 蚁群算法 多叉并存 路径规划 调度算法
原文传递
餐具与刀叉、筷子——论中西哲学本体论异同
8
作者 程志华 《社会科学研究》 北大核心 2025年第1期35-44,228,共11页
近年来,强调中西哲学本体论相异的观点渐渐浮现,而且声势愈来愈大。实际上,仅仅基于如下四种视域进行分析,便可发现这种观点在学理上站不住脚:“形而上学”视域告诉我们中西哲学均有其本体论;“存在与存在者”视域告诉我们,本体论是关... 近年来,强调中西哲学本体论相异的观点渐渐浮现,而且声势愈来愈大。实际上,仅仅基于如下四种视域进行分析,便可发现这种观点在学理上站不住脚:“形而上学”视域告诉我们中西哲学均有其本体论;“存在与存在者”视域告诉我们,本体论是关于“存在”的学问,中西哲学本体论均可视为关于“存在者”的学问;“共相与殊相”视域告诉我们,中西哲学本体论各为“殊相”,其“共相”是“本体论”;“名与实”视域告诉我们,不仅中西哲学本体论为实在,而且本体论本身亦为实在。总之,本体论与中西哲学本体论的关系犹如“餐具”与“刀叉、筷子”的关系:它们既有不同处,更有相同处。 展开更多
关键词 本体论 中西哲学本体论 视域 餐具与刀叉、筷子
在线阅读 下载PDF
AMT拔叉齿条轴失效分析与优化设计方法研究
9
作者 王敏 刘诗道 +1 位作者 杨海华 赵锦华 《机械设计与制造》 北大核心 2025年第9期68-73,共6页
某款新能源商用车AMT变速箱在换挡测试阶段,有批量换挡失效及异响故障现象,拆机发现拨叉齿条轴断裂。对失效拨叉齿条轴开展化学成分光谱分析、金相组织分析排除材料或热处理缺陷;开展拔叉力测试实验,应用测试结果对拔叉齿条轴开展静力... 某款新能源商用车AMT变速箱在换挡测试阶段,有批量换挡失效及异响故障现象,拆机发现拨叉齿条轴断裂。对失效拨叉齿条轴开展化学成分光谱分析、金相组织分析排除材料或热处理缺陷;开展拔叉力测试实验,应用测试结果对拔叉齿条轴开展静力学分析,结果显示拨叉齿条轴失效处存在应力集中现象。针对拔叉齿条轴应力集中及拔叉力大的问题,采取齿条和拨叉轴分体设计、拔叉齿轮限位等优化措施,结果显示应力集中改善明显,安全系数提升(2~3)倍,拨叉力下降至283N以下,有效提高换挡寿命。利用AMT疲劳寿命试验台对优化后的换挡机构寿命进行验证,通过测量、对比拔叉齿条轴和拔叉试验前后的尺寸变化,判断其磨损或变形符合设计要求,为AMT换挡机构拔叉齿条轴失效分析及优化设计提供一定参考。 展开更多
关键词 拨叉齿条轴 理化分析 仿真分析 优化设计 试验验证
在线阅读 下载PDF
小型水域水面垃圾清理船的设计与试制
10
作者 祝志芳 苏鹏飞 +3 位作者 涂龙龙 王俊钧 卢全国 习俊梅 《南昌工程学院学报》 2025年第1期48-53,共6页
针对小型水域水面垃圾清理成本高、效率低的问题,采用收集与压缩相结合的方法,设计了一艘低成本、高效率的小型水域水面垃圾清理船。采用SolidWorks软件完成了装置的整体结构设计,利用ADAMS软件对实现高效存储的剪叉式压缩装置进行了运... 针对小型水域水面垃圾清理成本高、效率低的问题,采用收集与压缩相结合的方法,设计了一艘低成本、高效率的小型水域水面垃圾清理船。采用SolidWorks软件完成了装置的整体结构设计,利用ADAMS软件对实现高效存储的剪叉式压缩装置进行了运动学仿真,并对装置的控制模块进行了设计。在此基础上,制作样机并进行了试验,结果表明该垃圾清理船收集速度为0.1 m/s,压缩后船舱垃圾收集量较压缩前提高了127%。该船整体结构简单、成本低、存储效率高,可满足小型水域水面垃圾清理需求。 展开更多
关键词 小型水域 水面垃圾清理船 剪叉式压缩装置 运动学分析
在线阅读 下载PDF
《歧路灯》对《桃花扇》《儒林外史》等的借鉴
11
作者 刘洪强 孙天宇 《济宁学院学报》 2025年第4期22-30,共9页
清代小说《歧路灯》对《桃花扇》《儒林外史》有明显的借鉴。《桃花扇》从主旨到人物设计都影响了《歧路灯》,《桃花扇》中的“福王”与《歧路灯》中的“端福”从人名到行为均有相似之处。《桃花扇》《芝龛记》《愍烈记》与河南有密切... 清代小说《歧路灯》对《桃花扇》《儒林外史》有明显的借鉴。《桃花扇》从主旨到人物设计都影响了《歧路灯》,《桃花扇》中的“福王”与《歧路灯》中的“端福”从人名到行为均有相似之处。《桃花扇》《芝龛记》《愍烈记》与河南有密切的关系,身为河南人的李绿园熟悉乡邦文献,受它们的影响很深。《歧路灯》中许多情节与《儒林外史》有惊人相似,如谭绍衣看谭篑初试卷与周进看范进试卷相似,谭绍衣不吃海参与范进不用豪华箸为“反模仿”,只用偶合不能解释。 展开更多
关键词 《歧路灯》 《桃花扇》 《儒林外史》
在线阅读 下载PDF
中国以开放赋能社会主义现代化建设的三重逻辑——基于马克思跨越“卡夫丁峡谷”设想分析
12
作者 王向清 邓可欣 《衡阳师范学院学报》 2025年第5期27-36,共10页
跨越“卡夫丁峡谷”设想是马克思运用历史唯物主义分析具体社会形态的经典范例,彰显了社会发展规律的普遍性与道路选择的特殊性的辩证统一。基于这一设想,中国以开放赋能社会主义现代化建设具有多重的逻辑意蕴。从理论逻辑来看,马克思... 跨越“卡夫丁峡谷”设想是马克思运用历史唯物主义分析具体社会形态的经典范例,彰显了社会发展规律的普遍性与道路选择的特殊性的辩证统一。基于这一设想,中国以开放赋能社会主义现代化建设具有多重的逻辑意蕴。从理论逻辑来看,马克思的设想为落后国家突破传统现代化路径提供理论指引,中国在其指导下,将开放理念融入中国式现代化理论,成功构建起独具特色的对外开放理论。从历史逻辑来看,中国创造性地将马克思跨越式发展设想与社会主义初级阶段实际相结合,不断打破封闭状态,开创出一条从有限开放到全面开放再到高水平开放的中国式现代化道路。从实践逻辑来看,中国式现代化道路以高水平开放为路径,打破了“西方化=现代化”的迷思,突破了生产力跨越发展难题,开拓了社会主义发展空间,充分证明了跨越“卡夫丁峡谷”设想的现实可能性。 展开更多
关键词 “跨越卡夫丁峡谷”设想 开放 中国式现代化 逻辑意蕴
在线阅读 下载PDF
马克思“跨越”设想视域下计划经济体制到社会主义市场经济体制的嬗变
13
作者 王向清 邓可欣 《湖南人文科技学院学报》 2025年第5期48-58,共11页
马克思在晚年阐述俄国发展道路的过程中提出跨越“卡夫丁峡谷”设想,十月革命的胜利从实践上印证了跨越的可能性,而在实现制度的跨越后如何巩固社会主义成果,苏联忽视了设想中“吸收资本主义所创造的一切积极成果”这一要点,并未给出行... 马克思在晚年阐述俄国发展道路的过程中提出跨越“卡夫丁峡谷”设想,十月革命的胜利从实践上印证了跨越的可能性,而在实现制度的跨越后如何巩固社会主义成果,苏联忽视了设想中“吸收资本主义所创造的一切积极成果”这一要点,并未给出行之有效的答案,但这绝非意味着设想的失败。中国汲取苏联的经验教训,以市场机制优化资源配置、激发创新活力,以公有制和宏观调控保障公平正义,实现了经济体制的成功转型。社会主义市场经济体制,既克服了传统计划经济的弊端,又避免了资本主义市场经济的固有矛盾,破解了落后国家在建立社会主义制度后如何实现生产力跨越发展这一世界性难题,是对“跨越”设想的丰富和发展,向世界展示了一种跨越制度差异、融合双方优势的全新合作范式。 展开更多
关键词 马克思 “跨越卡夫丁峡谷”设想 市场机制 计划经济体制 社会主义市场经济体制
在线阅读 下载PDF
口腔鳞癌根治术后口腔感染病原菌分布及口腔黏膜FOXQ1和RIP1表达
14
作者 武金强 赵悦文 +1 位作者 杨庆 陈立岩 《现代口腔医学杂志》 2025年第2期120-124,共5页
目的探讨口腔鳞癌根治术后口腔感染病原菌分布及口腔黏膜叉头框蛋白Q1(FOXQ1)和受体相互作用蛋白1(RIP1)表达。方法选取2021年8月-2023年8月本院进行口腔鳞癌根治术的患者122例,根据术后是否发生感染分为感染组52例和未感染组70例。对... 目的探讨口腔鳞癌根治术后口腔感染病原菌分布及口腔黏膜叉头框蛋白Q1(FOXQ1)和受体相互作用蛋白1(RIP1)表达。方法选取2021年8月-2023年8月本院进行口腔鳞癌根治术的患者122例,根据术后是否发生感染分为感染组52例和未感染组70例。对所有感染的患者采用全自动微生物鉴定仪及药敏分析系统进行病原菌检测。实时荧光定量PCR(qRT-PCR)检测口腔黏膜FOXQ1和RIP1水平。多因素Logistic回归分析口腔鳞癌根治术后发生感染的影响因素。绘制ROC曲线分析口腔黏膜FOXQ1和RIP1水平对口腔鳞癌根治术后发生感染的预测价值。结果52例口腔鳞癌根治术术后发生感染的患者共检出病原菌64株,其中革兰阳性菌38株占59.37%,革兰阴性菌26株占40.63%。两组原发灶大小、糖尿病史比较存在显著性差异(P<0.05)。与未感染组相比,感染组口腔黏膜FOXQ1和RIP1水平均显著升高(P<0.05)。原发灶大小≥4cm以及糖尿病史患者口腔黏膜FOXQ1和RIP1水平均显著高于原发灶大小<4cm以及无糖尿病史(P<0.05)。多因素Logistic回归分析显示,原发灶大小(OR=2.747)、糖尿病史(OR=1.844)、FOXQ1(OR=2.698)和RIP1(OR=3.847)水平是影响口腔鳞癌根治术后发生感染的危险因素(P<0.05)。与单独检测相比,口腔黏膜FOXQ1和RIP1水平联合检测对口腔鳞癌根治术后发生感染预测的AUC显著升高(ZFOXQ1~FOXQ1+RIP1=3.265,P=0.001;ZRIP1~FOXQ1+RIP1=3.296,P=0.001)。结论口腔鳞癌根治术后口腔感染病原菌以革兰阳性菌为主,感染患者口腔黏膜FOXQ1和RIP1水平均呈高表达,二者联合检测能够提高对口腔鳞癌根治术后发生感染的预测效能。 展开更多
关键词 口腔鳞癌 根治术 感染 病原菌 叉头框蛋白Q1 受体相互作用蛋白1
原文传递
“卡夫丁峡谷”的第二重跨越
15
作者 余斌 《海南热带海洋学院学报》 2025年第1期115-123,共9页
“卡夫丁峡谷”的第一重跨越旨在消灭资本主义制度,第二重跨越则要求把科学与劳动(者)结合起来。只有劳动者全面掌握包括科技在内的现代生产力,并能够在自己的联合体内充分发挥这一生产力,才会完全跨过“卡夫丁峡谷”。人民群众是第二... “卡夫丁峡谷”的第一重跨越旨在消灭资本主义制度,第二重跨越则要求把科学与劳动(者)结合起来。只有劳动者全面掌握包括科技在内的现代生产力,并能够在自己的联合体内充分发挥这一生产力,才会完全跨过“卡夫丁峡谷”。人民群众是第二重跨越的主体力量,同时要提高全党和全社会马克思主义水平。十月革命后包括苏联在内的社会主义国家对“卡夫丁峡谷”的跨越是不完全的,苏联甚至亡党亡国,重新跌回“卡夫丁峡谷”。党的二十届三中全会公报要求提高全党马克思主义水平和现代化建设能力,指出了全面建成社会主义现代化强国的方向和道路,这一要求也是要完全跨越“卡夫丁峡谷”。 展开更多
关键词 “卡夫丁峡谷” 十月革命 中国共产党二十届三中全会 全党马克思主义水平 现代化建设能力
在线阅读 下载PDF
调度Fork-Join任务图的贪心算法 被引量:6
16
作者 杨斌 张建军 杨峰 《计算机工程与设计》 CSCD 北大核心 2008年第15期3864-3866,3894,共4页
任务调度算法的目标是把组成并行程序的一组任务分配到多个处理器以使得程序的完成时间最短,这是一个NP完全问题。虽然许多算法在任务满足某些条件时能产生最优调度,但大多都忽略了节省处理器个数和最小化程序总的完成时间等问题。Fork-... 任务调度算法的目标是把组成并行程序的一组任务分配到多个处理器以使得程序的完成时间最短,这是一个NP完全问题。虽然许多算法在任务满足某些条件时能产生最优调度,但大多都忽略了节省处理器个数和最小化程序总的完成时间等问题。Fork-Join结构是一种并行处理的基本结构。因此,专门针对Fork-Join任务图,提出了一个能产生最优调度的新的贪心调度算法,该算法具有高的加速比和总体效率,时间复杂度为2,其中,表示任务集中任务的个数。实验结果表明,相比其它算法,该算法具有较短的调度长度、较短的完成时间,使用的处理器数较少。 展开更多
关键词 最优调度算法 任务复制 fork—Join任务图 关键任务 加速比
在线阅读 下载PDF
Forking引理与一类基于身份签名体制的安全性证明(英文) 被引量:4
17
作者 顾纯祥 祝跃飞 潘晓豫 《软件学报》 EI CSCD 北大核心 2007年第4期1007-1014,共8页
在随机谕示模型下,研究一类基于身份的签名体制(称为基于身份的一般签名体制)的安全性.所得理论成果可以被看作Pointcheval和Stern提出的Forking引理在基于身份签名体制研究领域的扩展,有助于理解和简化一些现有的基于身份签名体制的安... 在随机谕示模型下,研究一类基于身份的签名体制(称为基于身份的一般签名体制)的安全性.所得理论成果可以被看作Pointcheval和Stern提出的Forking引理在基于身份签名体制研究领域的扩展,有助于理解和简化一些现有的基于身份签名体制的安全性证明,如Cha-Cheon的体制、Hess的体制1及Cheon-Kim-Yoon的体制等. 展开更多
关键词 基于身份的签名 forking引理 可证安全 存在性伪造
在线阅读 下载PDF
一个调度Fork-Join任务图的最优算法(英文) 被引量:8
18
作者 李庆华 阮幼林 +2 位作者 刘干 蒋盛益 杨世达 《软件学报》 EI CSCD 北大核心 2005年第5期684-690,共7页
Fork-Join任务图是一种并行处理的基本结构.虽然许多算法在任务满足某些条件时能产生最优调度,但往往没有考虑节省处理器个数和减少任务集的总完成时间,从而降低算法的加速比和效率.因此,提出一种基于任务复制的平衡调度算法,其时间复... Fork-Join任务图是一种并行处理的基本结构.虽然许多算法在任务满足某些条件时能产生最优调度,但往往没有考虑节省处理器个数和减少任务集的总完成时间,从而降低算法的加速比和效率.因此,提出一种基于任务复制的平衡调度算法,其时间复杂度为O(vq+vlogv),v和q分别表示任务集中任务的个数和使用的处理器个数.通过分析已用处理器的负载和空闲时间段,把任务尽量分配到已用的处理器上以均衡负载,从而提高其利用率.实验结果表明,该算法的加速比和总体效率优于其他算法.因此,该算法对于高性能应用程序的调度是一个较好的选择. 展开更多
关键词 任务调度 任务复制 fork-JOIN任务图 加速比
在线阅读 下载PDF
面向Fork/Join框架的软件重构及性能分析 被引量:2
19
作者 张冬雯 柳晨光 张杨 《计算机应用》 CSCD 北大核心 2015年第11期3172-3177,共6页
针对目前对于Fork/Join框架应用和性能分析的相关工作还不多的现状,以JGF基准测试程序套件为基础,对其中的series、crypt、sparsematmult和sor等程序使用Fork/Join框架进行重构,并以series程序为例,详细地说明了重构的过程。在实验中,首... 针对目前对于Fork/Join框架应用和性能分析的相关工作还不多的现状,以JGF基准测试程序套件为基础,对其中的series、crypt、sparsematmult和sor等程序使用Fork/Join框架进行重构,并以series程序为例,详细地说明了重构的过程。在实验中,首先,测试了每个程序在不同阈值下使用Fork/Join框架分别递归1、2、3次执行程序的时间,进而选择相对较好的阈值;然后,对每个程序使用Fork/Join框架和使用Thread的执行时间进行了对比;此外,测试了重构后的程序在执行过程中任务窃取的情况。实验结果表明,Fork/Join框架执行时间与多线程执行时间相比,平均降低了14.2%;对于series程序,当数据大小为size C且线程个数为2时,Fork/Join框架执行时间比多线程执行时间降低高达40%,可见,在多核处理器平台上应用Fork/Join框架比使用多线程将获得更好的性能。 展开更多
关键词 fork/Join框架 软件重构 工作窃取 性能分析
在线阅读 下载PDF
基于跨域因果图的FCC分馏系统攻击故障辨识方法
20
作者 杨晓雨 周纯杰 杜鑫 《计算机应用研究》 北大核心 2025年第1期269-275,共7页
针对催化裂化(fluid catalytic cracking,FCC)分馏系统在网络攻击和系统故障具有相似特征情况下难以辨识的问题,提出了一种基于跨域因果图的攻击故障辨识方法。首先,将数据驱动和拓扑知识融合以构建跨域因果图,涵盖物理层和信息层的变... 针对催化裂化(fluid catalytic cracking,FCC)分馏系统在网络攻击和系统故障具有相似特征情况下难以辨识的问题,提出了一种基于跨域因果图的攻击故障辨识方法。首先,将数据驱动和拓扑知识融合以构建跨域因果图,涵盖物理层和信息层的变量节点和设备节点;其次,结合多源异常证据集,设计了基于弗洛伊德的异常因果传播路径搜索算法,得到异常节点间的因果传播路径;最后根据必经点约束、单点异常约束、必经点最大数量约束等条件,结合异常发生时间,得到异常传播路径的最小树型图,根据根节点位置判断系统异常类型。该方法在FCC分馏仿真系统上验证了有效性,结果表明其辨识准确率为94.84%,对正常工况、故障工况和攻击工况的检测召回率分别为97.11%、93.25%、95.30%,相比同类方案,该方法不仅解决了相似特征带来的辨识难题,还能在保证较高的辨识准确率的同时,给出异常传播路径,为安全防护提供报警信息。 展开更多
关键词 跨域因果图 路径搜索 最小树型图 攻击故障辨识 催化裂化
在线阅读 下载PDF
上一页 1 2 88 下一页 到第
使用帮助 返回顶部