关于一类扩散过程的随机变分计算

对一类比较广泛的随机微分方程的解进行了随机变分计算，在一定条件下得到了相应的分部积分公式．     

基于区块链的图书侵权记录存证平台

针对越来越频繁的音频阅读图书内容对图书构成侵权行为而未能及时有效存证的困境,提出一种以区块链技术对图书版权侵权记录进行自动存证的方案.首先,将网络爬取的音频信息进行处理,与图书内容查重比对后将结果存入私有区块链结构;其次,在基于工作量证明共识的基础上设计实现了复杂度可行的共识算法;最后,结合密码学的摘要信息认证与数字签名验证机制对区块数据进行安全性检查.系统测试结果验证了平台的效率和可靠性.     

等离子体刻蚀中边缘离子轨迹的控制与优化

由于常规等离子体刻蚀系统在晶圆边缘处的阻抗与晶圆中心处的阻抗不一致, 使离子在晶圆边缘处的运动轨迹发生偏移, 很难满足越来越高的刻蚀工艺均匀性及深宽比的要求。本文提出一种通过调整晶圆边缘阻抗进行边缘离子运动方向优化的方法, 可以连续实时地调整边缘离子的运动轨迹, 实现对边缘离子运动方向的控制。研究结果表明, 离子的运动方向可以被优化为垂直于晶圆表面, 从而能获得良好的刻蚀速率均匀性及垂直的刻蚀形貌。     

基于多Agent的航空器拖曳规则优化配置方法研究

为研究航空器拖曳规则对于机场靠桥率和航班正常性的作用并优化,提出了基于场面供需平衡的拖曳规则配置方法.通过构建基于场面运行的多gent离散仿真模型,提高了机场靠桥率和航班正常性的协同优化效果,以北京大兴国际机场为例进行实例验证.结果 表明:基于场面供需平衡的拖曳规则配置方法可以显著提升机场靠桥率和航班正常性,可以为机场...     

高校知识产权管理:界定与现状分析

高校是我国科研事业的重地，知识产权保护与管理的重要性非常突出。高校知识产权管理应该遵循知识产权法治的一般原则，尤其要遵循激励创造、发展科学与文化，平衡利益，促进产业等基本原则。当前，我国高校课题知识产权管理普遍存在着知识产权意识薄弱、体制不健全、各环节法律关系处理不当、管理失衡以及知识产权外流等现象。为此，有必要多角度促进知识产权意识的强化，健全机构与制度尤其是激励与责任制度，全方位加强各环节的知识产权管理工作。     

参考安全补丁比对的软件安全漏洞挖掘方法

Windows操作系统作为目前全球使用最广泛的桌面操作系统,一旦其漏洞被利用将造成严重后果,所以对Windows操作系统的漏洞发掘意义重大。当前对软件安全漏洞的发现更多的是依靠安全研究人员的经验和运气,缺乏系统且有效的方法指导。为了找到一种能够快速发现Windows一类漏洞的方法,本文从安全补丁的修补方法入手,分析了漏...     

Asymptotic Approximations of Jacobi Polynomials and Their Zeros with Error Bounds

IntroductionUniform asymptotic expansions and error boundsof the (α,β>- 1 ) two- term approximations of theJacobi polynomials P(α,β)n ( cosθ) were obtained[1] .Their result wassin θ2α cosθ2βP(α,β)n ( cosθ) =Γ( n +α + 1 )n!θsinθ1/ 2 Jα( Nθ)Nα +θB0 (θ) Jα+1( Nθ)Nα+1+σ2 ,|σ2 |≤ E2 θ2 +αN -2 ,　 0≤θ≤ π2 ,where E2 is a construct.Baratella and Gatteschiused the first two terms of this expansion[2 ] toconstructa more accurate one- term approximation:x(θ)x′(θ)…     

基于ADAMS的采掘机械工作机构设计及性能

为了有效提高采掘机械的生产效率,节约能源,设计采用了一种新型工作机构,阐述了该工作机构的工作原理、机构特点以及在设计中要解决的问题及其解决的方法,并利用ADAMS仿真软件进行运动学仿真计算。结果表明六列抡锤设计是合理的,通过仿真计算,确定主轴的最佳转速及抡锤恢复到最佳打击状态的时间,该成果对创新采掘机械工作机构具有一定的参考价值及指导意义。     

基于多主体的城市微模拟平台Grid ABGIS研究

为了有效集成基于主体的模型(Agent Based Model, ABM)和地理信息系统(Geographical Information System, GIS),将经典地理信息系统的功能从着重宏观地理格局的描述扩展到注重微观行为机制的刻画,作者提出并设计了一个具备网格计算能力的集成化城市微模拟平台--Grid ABGIS.首先回顾了目前城市微模拟研究进展,通过对城市微模拟系统信息过程进行归纳和总结,从软件工程的角度提出了"七步法"城市模拟信息工程的基本框架;其次分析了通用多主体城市模拟软件平台Grid ABGIS的信息处理流程和相应的系统需求;最后对Grid ABGIS的系统结构、对象体系结构、数据模型和城市主体对象模板进行了详细设计,进而实现了一个ABGIS原型系统.     

基于ARM+FPGA异构平台的目标检测加速模块设计与实现

为解决基于深度学习目标检测模型规模大、在边缘设备上难以部署的问题, 以YOLO目标检测模型为例, 设计实现基于ARM+FPGA异构平台的目标检测加速模块。该系统使用剪枝、量化后的压缩模型, 在FPGA实现神经网络前向推理加速, 在ARM中实现加速器调度。实验结果表明, 部署至Xilinx ZCU102开发板上, 该模块在200 MHz工作频率下, 平均计算性能达到425.8 GOP/s, 推理压缩模型速度达到30.3 fps, 模块功耗为3.56 W, 证明该加速模块具备可配置性。