期刊文献+
共找到31,324篇文章
< 1 2 250 >
每页显示 20 50 100
Risk adjustable optimal operation for electricity-hydrogen integrated energy system based on chance constrained goal programming
1
作者 ZHOU Xiao-jun HU Jia-ming +1 位作者 LI Chao-jie YANG Chun-hua 《Journal of Central South University》 2025年第6期2224-2238,共15页
The electricity-hydrogen integrated energy system(EH-IES)enables synergistic operation of electricity,heat,and hydrogen subsystems,supporting renewable energy integration and efficient multi-energy utilization in futu... The electricity-hydrogen integrated energy system(EH-IES)enables synergistic operation of electricity,heat,and hydrogen subsystems,supporting renewable energy integration and efficient multi-energy utilization in future low carbon societies.However,uncertainties from renewable energy and load variability threaten system safety and economy.Conventional chance-constrained programming(CCP)ensures reliable operation by limiting risk.However,increasing source-load uncertainties that can render CCP models infeasible and exacerbate operational risks.To address this,this paper proposes a risk-adjustable chance-constrained goal programming(RACCGP)model,integrating CCP and goal programming to balance risk and cost based on system risk assessment.An intelligent nonlinear goal programming method based on the state transition algorithm(STA)is developed,along with an improved discretized step transformation,to handle model nonlinearity and enhance computational efficiency.Experimental results show that the proposed model reduces costs while controlling risk compared to traditional CCP,and the solution method outperforms average sample sampling in efficiency and solution quality. 展开更多
关键词 electricity-hydrogen integrated energy system chance constrained goal programming risk adjustment state transition algorithm
在线阅读 下载PDF
基于Wasserstein两阶段分布鲁棒的多主体多能微网合作博弈优化调度
2
作者 王波 王蔚 +2 位作者 马恒瑞 李天格 姚良忠 《电工技术学报》 北大核心 2025年第17期5553-5570,共18页
多能微网在运行过程中会受到电价以及新能源出力等多重不确定因素的影响。针对该问题,该文提出一种基于Wasserstein两阶段分布鲁棒优化的多主体多能微网合作博弈优化模型。首先,考虑多能微网和其内部产消者的互动关系,提出了“上层为多... 多能微网在运行过程中会受到电价以及新能源出力等多重不确定因素的影响。针对该问题,该文提出一种基于Wasserstein两阶段分布鲁棒优化的多主体多能微网合作博弈优化模型。首先,考虑多能微网和其内部产消者的互动关系,提出了“上层为多能微网,下层为产消者”的双层优化模型;其次,采用基于Wasserstein距离的模糊集分别构建了电价、多能微网新能源出力以及内部产消者光伏出力的不确定性模型;然后,在多主体多能微网之间,构建了考虑合作博弈和隐私保护的能源交互模型,并采用交替方向乘子法(ADMM)结合列与约束生成法(C&CG)对模型进行分布式求解;最后,基于包含三主体多能微网的系统进行算例分析,验证了该文所提模型和算法的有效性。 展开更多
关键词 双层优化 两阶段分布鲁棒优化 多能微网 合作博弈 分布式算法
在线阅读 下载PDF
A Partial Parallel Airport Gate Assignment Supported by a Knowledge-based System Combined with Mathematical Programming 被引量:2
3
作者 Cheng Yu(Center for Transportation Studies, School of Civil and Structural EngineeringNanyang Technological University, Singapore, 2263) 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 1996年第3期43-61,共19页
The gate assignment at an airport is one of the major activities in airport operations.With the increase of passenger traffic volumes and the number of flights, the complexity of this task and the factors to be consid... The gate assignment at an airport is one of the major activities in airport operations.With the increase of passenger traffic volumes and the number of flights, the complexity of this task and the factors to be considered have increased significantly, and an efficient gate utilizationhas received considerable attention. For overcoming the shortcomings of previous gate assignmentapproaches, this paper presents a partial parallel gate assignment approach, by which more factorsconcerning aircraft and gates can be collsidered at the same time. This paper also presents themethod of using a knowledge-based system combined with a mathematical programming method forgetting an optimized feasible assignment solution. By this way, it is more easily to get the solutionthat satisfies both the static and dynamic situations,and thus it may adapt well to meet the needsof actual use to rea-time operations. An experimental prototype has been implemented, and a casestudy is presented at the end of the paper. 展开更多
关键词 Airport operations Gate assignment Knowledge-based system Mathematical programming.
在线阅读 下载PDF
Intelligent manufacturing system of impeller for computer numerical control(CNC) programming based on KBE 被引量:4
4
作者 王凌云 黄红辉 +1 位作者 Rae W.West 王大中 《Journal of Central South University》 SCIE EI CAS 2014年第12期4577-4584,共8页
To solve the problem of advanced digital manufacturing technology in the practical application, a knowledge engineering technology was introduced into the computer numerical control(CNC) programming. The knowledge acq... To solve the problem of advanced digital manufacturing technology in the practical application, a knowledge engineering technology was introduced into the computer numerical control(CNC) programming. The knowledge acquisition, knowledge representation and reasoning used in CNC programming were researched. The CNC programming system functional architecture of impeller parts based on knowledge based engineering(KBE) was constructed. The structural model of the general knowledge-based system(KBS) was also constructed. The KBS of CNC programming system was established through synthesizing database technology and knowledge base theory. And in the context of corporate needs, based on the knowledge-driven manufacturing platform(i.e. UG CAD/CAM), VC++6.0 and UG/Open, the KBS and UG CAD/CAM were integrated seamlessly and the intelligent CNC programming KBE system for the impeller parts was developed by integrating KBE and UG CAD/CAM system. A method to establish standard process templates was proposed, so as to develop the intelligent CNC programming system in which CNC machining process and process parameters were standardized by using this KBE system. For the impeller parts processing, the method applied in the development of the prototype system is proven to be viable, feasible and practical. 展开更多
关键词 knowledge engineering generalized knowledge intelligent programming impeller machining
在线阅读 下载PDF
基于余热利用的ISP干燥回转窑高湿物料的预处理技术
5
作者 虞宏洋 曾平生 +2 位作者 江旭 孙子金 伍东玲 《有色金属(冶炼部分)》 北大核心 2025年第4期181-185,共5页
针对某企业ISP生产工艺中回转窑干燥能力不足的问题,对回转窑的能质流进行了详细分析,发现搭配处理高湿物料、使入窑物料的含水率显著增加是造成回转窑能力不足的主要原因。分析了ISP工艺流程余热资源的品位与特点,提出了利用热风炉烟... 针对某企业ISP生产工艺中回转窑干燥能力不足的问题,对回转窑的能质流进行了详细分析,发现搭配处理高湿物料、使入窑物料的含水率显著增加是造成回转窑能力不足的主要原因。分析了ISP工艺流程余热资源的品位与特点,提出了利用热风炉烟气余热预干燥高湿物料的思路;并给出了基于热风炉烟气预干燥高湿物料的工艺流程以及多通道交叉逆流式干燥设备结构的初步方案。 展开更多
关键词 密闭鼓风炉 余热回收 兰粉 干燥 回转窑
在线阅读 下载PDF
Intelligent prediction model of tunnelling-induced building deformation based on genetic programming and its application
6
作者 XU Jing-min WANG Chen-cheng +3 位作者 CHENG Zhi-liang XU Tao ZHANG Ding-wen LI Zi-li 《Journal of Central South University》 CSCD 2024年第11期3885-3899,共15页
This paper aims to explore the ability of genetic programming(GP)to achieve the intelligent prediction of tunnelling-induced building deformation considering the multifactor impact.A total of 1099 groups of data obtai... This paper aims to explore the ability of genetic programming(GP)to achieve the intelligent prediction of tunnelling-induced building deformation considering the multifactor impact.A total of 1099 groups of data obtained from 22 geotechnical centrifuge tests are used for model development and analysis using GP.Tunnel volume loss,building eccentricity,soil density,building transverse width,building shear stiffness and building load are selected as the inputs,and shear distortion is selected as the output.Results suggest that the proposed intelligent prediction model is capable of providing a reasonable and accurate prediction of framed building shear distortion due to tunnel construction with realistic conditions,highlighting the important roles of shear stiffness of framed buildings and the pressure beneath the foundation on structural deformation.It has been proven that the proposed model is efficient and feasible to analyze relevant engineering problems by parametric analysis and comparative analysis.The findings demonstrate the great potential of GP approaches in predicting building distortion caused by tunnelling.The proposed equation can be used for the quick and intelligent prediction of tunnelling induced building deformation,providing valuable guidance for the practical design and risk assessment of urban tunnel construction projects. 展开更多
关键词 building deformation genetic programming tunnel construction modification factor
在线阅读 下载PDF
Programming for scientific computing on peta-scale heterogeneous parallel systems 被引量:1
7
作者 杨灿群 吴强 +2 位作者 唐滔 王锋 薛京灵 《Journal of Central South University》 SCIE EI CAS 2013年第5期1189-1203,共15页
Peta-scale high-perfomlance computing systems are increasingly built with heterogeneous CPU and GPU nodes to achieve higher power efficiency and computation throughput. While providing unprecedented capabilities to co... Peta-scale high-perfomlance computing systems are increasingly built with heterogeneous CPU and GPU nodes to achieve higher power efficiency and computation throughput. While providing unprecedented capabilities to conduct computational experiments of historic significance, these systems are presently difficult to program. The users, who are domain experts rather than computer experts, prefer to use programming models closer to their domains (e.g., physics and biology) rather than MPI and OpenME This has led the development of domain-specific programming that provides domain-specific programming interfaces but abstracts away some performance-critical architecture details. Based on experience in designing large-scale computing systems, a hybrid programming framework for scientific computing on heterogeneous architectures is proposed in this work. Its design philosophy is to provide a collaborative mechanism for domain experts and computer experts so that both domain-specific knowledge and performance-critical architecture details can be adequately exploited. Two real-world scientific applications have been evaluated on TH-IA, a peta-scale CPU-GPU heterogeneous system that is currently the 5th fastest supercomputer in the world. The experimental results show that the proposed framework is well suited for developing large-scale scientific computing applications on peta-scale heterogeneous CPU/GPU systems. 展开更多
关键词 heterogeneous parallel system programming framework scientific computing GPU computing molecular dynamic
在线阅读 下载PDF
An Optimal Control Scheme for a Class of Discrete-time Nonlinear Systems with Time Delays Using Adaptive Dynamic Programming 被引量:17
8
作者 WEI Qing-Lai ZHANG Hua-Guang +1 位作者 LIU De-Rong ZHAO Yan 《自动化学报》 EI CSCD 北大核心 2010年第1期121-129,共9页
关键词 非线性系统 最优控制 控制变量 动态规划
在线阅读 下载PDF
基于Houdini参数化的公共座椅外观设计研究
9
作者 黄子鉴 朱可盈 +2 位作者 黄艳丽 毛珣锜 钟坤辰 《家具与室内装饰》 北大核心 2025年第9期15-21,共7页
文章旨在探索参数化设计在产品外观设计中的应用及优势,尤其是Houdini参数化设计软件在复杂异形模型构建方面的表现,为家具制造业等行业提供新的设计思路。通过文献研究、对比分析以及实例研究等方法,对Houdini软件与传统三维设计软件... 文章旨在探索参数化设计在产品外观设计中的应用及优势,尤其是Houdini参数化设计软件在复杂异形模型构建方面的表现,为家具制造业等行业提供新的设计思路。通过文献研究、对比分析以及实例研究等方法,对Houdini软件与传统三维设计软件在复杂异形模型构建上的工作流程和特性进行对比,并以城市装置艺术座椅为例,展示Houdini参数化设计的具体应用过程。研究结果表明,Houdini参数化设计通过程序化建模流程与部族矩阵生成能力,有效解决复杂异形结构的设计效率问题;结合AHP决策模型,可实现科学化的方案筛选。该方法为家具设计领域提供了兼具高效性、多样性与落地性的技术路径,对推动参数化技术在家具产业的深度应用具有实践参考价值。 展开更多
关键词 参数化设计 Houdini 公共座椅 可视化编程
在线阅读 下载PDF
基于CodeBERT和Stacking集成学习的补丁正确性验证方法
10
作者 韩威 姜淑娟 周伟 《计算机科学》 北大核心 2025年第1期250-258,共9页
近年来,自动程序修复已成为软件工程领域的重要研究课题。然而,现有的自动修复技术大多是基于补丁生成和测试的,在补丁验证环节时间成本很高。此外,由于测试套件的不完备,许多候选补丁虽然能通过测试,但实际上并不正确,从而导致补丁过... 近年来,自动程序修复已成为软件工程领域的重要研究课题。然而,现有的自动修复技术大多是基于补丁生成和测试的,在补丁验证环节时间成本很高。此外,由于测试套件的不完备,许多候选补丁虽然能通过测试,但实际上并不正确,从而导致补丁过拟合。为提高补丁验证的效率并缓解补丁过拟合的问题,提出了一种静态的补丁验证方法。该方法首先使用大型预训练模型CodeBERT自动提取缺陷代码片段和补丁代码片段的语义特征,然后使用历史缺陷修复补丁数据训练Stacking集成学习模型,训练之后的模型可以对新的缺陷修复补丁进行有效验证。在Defects4J缺陷数据集相关的1 000个补丁数据上对所提方法的验证能力进行评估。实验结果表明,该方法可以有效地验证补丁的正确性,从而提高补丁验证的效率。 展开更多
关键词 自动程序修复 补丁验证 预训练模型 集成学习 Defects4J缺陷数据集
在线阅读 下载PDF
Online midcourse guidance method for intercepting high-speed gliding target
11
作者 ZHANG Jinlin LI Jiong +3 位作者 YE Jikun LEI Humin LI Wanli HE Yangchao 《Journal of Systems Engineering and Electronics》 2025年第5期1374-1388,共15页
In this paper,an online midcourse guidance method for intercepting high-speed maneuvering targets is proposed.Firstly,the affine system is used to build a dynamic model and analyze the state constraints.The midcourse ... In this paper,an online midcourse guidance method for intercepting high-speed maneuvering targets is proposed.Firstly,the affine system is used to build a dynamic model and analyze the state constraints.The midcourse guidance problem is transformed into a continuous time optimization problem.Secondly,the problem is transformed into a discrete convex programming problem by affine control variable relaxation,Gaussian pseudospectral discretization and constraints linearization.Then,the off-line midcourse guidance trajectory is generated before midcourse guidance.It is used as the initial reference trajectory for online correction of midcourse guidance.An online guidance framework is used to eliminate the error caused by calculation of guidance instruction time.And the design of discrete points decreases with flight time to improve the solving efficiency.In addition,it is proposed that the terminal guidance capture is used innovatively space to judge the success of midcourse guidance.Numerical simulation shows the feasibility and effectiveness of the proposed method. 展开更多
关键词 convex programming capture space online midcourse guidance inTERCEPTION
在线阅读 下载PDF
Erratum to:Evolution of microstructure and mechanical properties in multi-layer 316 L-TiC composite fabricated by selective laser melting additive manufacturing
12
作者 Sasan YAZDANI Suleyman TEKELI +2 位作者 Hossein RABIEIFAR Ufuk TAŞCI Elina AKBARZADEH 《Journal of Central South University》 2025年第2期691-691,共1页
Because of an unfortunate mistake during the production of this article,the Acknowledgements have been omitted.The Acknowledgements are added as follows:Sasan YAZDANI would like to thank the Scientific and Technologic... Because of an unfortunate mistake during the production of this article,the Acknowledgements have been omitted.The Acknowledgements are added as follows:Sasan YAZDANI would like to thank the Scientific and Technological Research Council of Turkey(TÜB˙ITAK)for receiving financial support for this work through the 2221 Fellowship Program for Visiting Scientists and Scientists on Sabbatical Leave(Grant ID:E 21514107-115.02-228864).Sasan YAZDANI also expresses his gratitude to Sahand University of Technology for granting him sabbatical leave to facilitate the completion of this research. 展开更多
关键词 additive manufacturing microstructure mechanical properties fellowship program multi layer L TIC composite selective laser melting
在线阅读 下载PDF
Modeling optimal air traffic rights resource allocation
13
作者 LIU Zhishuo CHENG Yi’nan +1 位作者 LI Yanhua SHEN Danyang 《Journal of Systems Engineering and Electronics》 2025年第3期778-790,共13页
International freedom of the air(traffic rights)is a key resource for airlines to carry out international air transport business.An efficient and reasonable traffic right resource allocation within a country between a... International freedom of the air(traffic rights)is a key resource for airlines to carry out international air transport business.An efficient and reasonable traffic right resource allocation within a country between airlines can affect the quality of a country’s participation in international air transport.In this paper,a multi-objective mixed-integer programming model for traffic rights resource allocation is developed to minimize passenger travel mileages and maximize the number of traffic rights resources allocated to hub airports and competitive carriers.A hybrid heuristic algorithm combining the genetic algorithm and the variable neighborhood search is devised to solve the model.The results show that the optimal allocation scheme aligns with the principle of fairness,indicating that the proposed model can play a certain guiding role in and provide an innovative perspective on traffic rights resource allocation in various countries. 展开更多
关键词 air transport air traffic right(ATR) genetic algorithm variable neighborhood search mixed integer programming formulation
在线阅读 下载PDF
Research on three-dimensional attack area based on improved backtracking and ALPS-GP algorithms of air-to-air missile
14
作者 ZHANG Haodi WANG Yuhui HE Jiale 《Journal of Systems Engineering and Electronics》 2025年第1期292-310,共19页
In the field of calculating the attack area of air-to-air missiles in modern air combat scenarios,the limitations of existing research,including real-time calculation,accuracy efficiency trade-off,and the absence of t... In the field of calculating the attack area of air-to-air missiles in modern air combat scenarios,the limitations of existing research,including real-time calculation,accuracy efficiency trade-off,and the absence of the three-dimensional attack area model,restrict their practical applications.To address these issues,an improved backtracking algorithm is proposed to improve calculation efficiency.A significant reduction in solution time and maintenance of accuracy in the three-dimensional attack area are achieved by using the proposed algorithm.Furthermore,the age-layered population structure genetic programming(ALPS-GP)algorithm is introduced to determine an analytical polynomial model of the three-dimensional attack area,considering real-time requirements.The accuracy of the polynomial model is enhanced through the coefficient correction using an improved gradient descent algorithm.The study reveals a remarkable combination of high accuracy and efficient real-time computation,with a mean error of 91.89 m using the analytical polynomial model of the three-dimensional attack area solved in just 10^(-4)s,thus meeting the requirements of real-time combat scenarios. 展开更多
关键词 air combat three-dimensional attack area improved backtracking algorithm age-layered population structure genetic programming(ALPS-GP) gradient descent algorithm
在线阅读 下载PDF
Multiple fixed-wing UAVs collaborative coverage 3D path planning method for complex areas
15
作者 Mengyang Wang Dong Zhang +1 位作者 Chaoyue Li Zhaohua Zhang 《Defence Technology(防务技术)》 2025年第5期197-215,共19页
Complex multi-area collaborative coverage path planning in dynamic environments poses a significant challenge for multi-fixed-wing UAVs(multi-UAV).This study establishes a comprehensive framework that incorporates UAV... Complex multi-area collaborative coverage path planning in dynamic environments poses a significant challenge for multi-fixed-wing UAVs(multi-UAV).This study establishes a comprehensive framework that incorporates UAV capabilities,terrain,complex areas,and mission dynamics.A novel dynamic collaborative path planning algorithm is introduced,designed to ensure complete coverage of designated areas.This algorithm meticulously optimizes the operation,entry,and transition paths for each UAV,while also establishing evaluation metrics to refine coverage sequences for each area.Additionally,a three-dimensional path is computed utilizing an altitude descent method,effectively integrating twodimensional coverage paths with altitude constraints.The efficacy of the proposed approach is validated through digital simulations and mixed-reality semi-physical experiments across a variety of dynamic scenarios,including both single-area and multi-area coverage by multi-UAV.Results show that the coverage paths generated by this method significantly reduce both computation time and path length,providing a reliable solution for dynamic multi-UAV mission planning in semi-physical environments. 展开更多
关键词 Multi-fixed-wing UAVs(multi-UAV) Minimum time cooperative coverage Dynamic complete coverage path planning(DCCPP) Dubins curves Improved dynamic programming algorithm(IDP)
在线阅读 下载PDF
Two-phase heuristic for vehicle routing problem with drones in multi-trip and multi-drop mode
16
作者 MA Huawei HU Xiaoxuan ZHU Waiming 《Journal of Systems Engineering and Electronics》 2025年第4期1024-1036,共13页
As commercial drone delivery becomes increasingly popular,the extension of the vehicle routing problem with drones(VRPD)is emerging as an optimization problem of inter-ests.This paper studies a variant of VRPD in mult... As commercial drone delivery becomes increasingly popular,the extension of the vehicle routing problem with drones(VRPD)is emerging as an optimization problem of inter-ests.This paper studies a variant of VRPD in multi-trip and multi-drop(VRP-mmD).The problem aims at making schedules for the trucks and drones such that the total travel time is minimized.This paper formulate the problem with a mixed integer program-ming model and propose a two-phase algorithm,i.e.,a parallel route construction heuristic(PRCH)for the first phase and an adaptive neighbor searching heuristic(ANSH)for the second phase.The PRCH generates an initial solution by con-currently assigning as many nodes as possible to the truck–drone pair to progressively reduce the waiting time at the rendezvous node in the first phase.Then the ANSH improves the initial solution by adaptively exploring the neighborhoods in the second phase.Numerical tests on some benchmark data are conducted to verify the performance of the algorithm.The results show that the proposed algorithm can found better solu-tions than some state-of-the-art methods for all instances.More-over,an extensive analysis highlights the stability of the pro-posed algorithm. 展开更多
关键词 vehicle routing problem with drones(VRPD) mixed integer program parallel route construction heuristic(PRCH) adaptive neighbor searching heuristic(ANSH).
在线阅读 下载PDF
Vehicle and onboard UAV collaborative delivery route planning:considering energy function with wind and payload
17
作者 GUO Jingfeng SONG Rui HE Shiwei 《Journal of Systems Engineering and Electronics》 2025年第1期194-208,共15页
The rapid evolution of unmanned aerial vehicle(UAV)technology and autonomous capabilities has positioned UAV as promising last-mile delivery means.Vehicle and onboard UAV collaborative delivery is introduced as a nove... The rapid evolution of unmanned aerial vehicle(UAV)technology and autonomous capabilities has positioned UAV as promising last-mile delivery means.Vehicle and onboard UAV collaborative delivery is introduced as a novel delivery mode.Spatiotemporal collaboration,along with energy consumption with payload and wind conditions play important roles in delivery route planning.This paper introduces the traveling salesman problem with time window and onboard UAV(TSPTWOUAV)and emphasizes the consideration of real-world scenarios,focusing on time collaboration and energy consumption with wind and payload.To address this,a mixed integer linear programming(MILP)model is formulated to minimize the energy consumption costs of vehicle and UAV.Furthermore,an adaptive large neighborhood search(ALNS)algorithm is applied to identify high-quality solutions efficiently.The effectiveness of the proposed model and algorithm is validated through numerical tests on real geographic instances and sensitivity analysis of key parameters is conducted. 展开更多
关键词 vehicle and onboard unmanned aerial vehicle(UAV)collaborative delivery energy consumption function route planning mixed integer linear programming model adaptive large neighborhood search(ALNS)algorithm
在线阅读 下载PDF
Cobb-Douglas效用和Epstein-Zin递归效用下个人年金账户的最优投资和给付策略
18
作者 王愫新 荣喜民 赵慧 《工程数学学报》 北大核心 2025年第1期139-158,共20页
生命年金在养老金的提取阶段发挥了重要作用,它能够帮助人们有效应对长寿风险。考虑了连续时间下个人年金计划的随机模型,参保人的年金账户初始价值是提前确定的,而年金的给付取决于账户的财务状况。年金管理者在无风险资产和风险资产... 生命年金在养老金的提取阶段发挥了重要作用,它能够帮助人们有效应对长寿风险。考虑了连续时间下个人年金计划的随机模型,参保人的年金账户初始价值是提前确定的,而年金的给付取决于账户的财务状况。年金管理者在无风险资产和风险资产上进行投资以获取收益,调整年金给付水平并收取管理费,以保证该计划的稳定运行。在目标函数中我们考虑年金调整额与管理费加权乘积的效用最大化,并用Cobb-Douglas效用刻画参保人和管理者的风险偏好。通过随机控制理论建立优化问题的Hamilton-Jacobi-Bellman方程,进而得到最优策略和价值函数的解析式。此外,我们将模型拓展到Epstein-Zin递归效用下的最优控制问题,发现了跨期替代弹性对年金给付调整和管理费的正向影响。最后通过数值算例分析了模型参数对最优策略的影响,并给出相应的经济解释,验证了该年金计划能够为参保人提供稳定的、持续的年金给付。 展开更多
关键词 生命年金 Cobb-Douglas效用 Epstein-Zin递归效用 动态规划 最优投资
在线阅读 下载PDF
基于Return-Oriented Programming的程序攻击与防护 被引量:6
19
作者 黄志军 郑滔 《计算机科学》 CSCD 北大核心 2012年第B06期1-5,23,共6页
随着W⊕X等技术的引入,传统的代码注入攻击几乎被消除,return-to-lib攻击受到很大程度的抑制。在此背景下,Hovav Shacham提出了Return-Oriented Programming(ROP)的思想,该思想基于栈溢出的原理,通过使用程序库中有效的以ret指令结尾的... 随着W⊕X等技术的引入,传统的代码注入攻击几乎被消除,return-to-lib攻击受到很大程度的抑制。在此背景下,Hovav Shacham提出了Return-Oriented Programming(ROP)的思想,该思想基于栈溢出的原理,通过使用程序库中有效的以ret指令结尾的短指令序列构建gadget集合,使之具有图灵完备特性,来完成计算和攻击。讲述ROP思想自提出以来的一些研究成果和其实际的攻击能力,阐述ROP自动化的当前成果与未来可能的发展方向,进而分析和预测ROP自动化的下一步的研究方向。同时,也将从ROP的几个特征分析消除这种攻击的策略和方法,并介绍目前已有的防护思想和成果,论述这些方法的优缺点和改进方向。综合阐述ROP攻击与ROP防护这一矛与盾的问题,力争使读者理解ROP的思想,知悉当前的发展状态,并在此基础上能够进一步推进ROP攻击及其防范的研究。 展开更多
关键词 ROP 程序自动化 地址随机化 栈溢出 程序控制流 程序安全
在线阅读 下载PDF
利用ISP Synario System实现数字电路系统的设计 被引量:2
20
作者 冼凯仪 《半导体技术》 CAS CSCD 北大核心 2002年第2期47-49,共3页
比较传统电路的设计方法,结合实例,论述ISP Synario System在数字电路系统设计中的重要作用。
关键词 数字电路 isp Synario system 硬件描述语言 电路设计
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部