An Incremental Points-to Analysis with CFL-Reachability - Springer
Academic edition
Find out how to access preview-only content
An Incremental Points-to Analysis with CFL-ReachabilityYi LuAffiliated withProgramming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Lei ShangAffiliated withProgramming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Xinwei XieAffiliated withProgramming Languages and Compilers Group, School of Computer Science and Engineering, University of New South WalesSchool of Computer Science, National University of Defence Technology, Jingling XueAffiliated withProgramming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales
* Final gross prices may vary according to local VAT.18. ESOP 2009:
UK (Part of
Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings.
5502 Springer 2009, ISBN 978-3-642-00589-3
Typed Functional Programming
Well-Typed Programs Can't Be Blamed.
1-16 (link)
Exploring the Design Space of Higher-Order Casts.
17-31 (link)
Practical Variable-Arity Polymorphism.
32-46 (link)
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.
47-61 (link)
ETAPS Invited Talk
Using Category Theory to Design Programming Languages.
62-63 (link)
Computational Effects
Modular Monad Transformers.
64-79 (link)
Handlers of Algebraic Effects.
80-94 (link)
Types for Object-Oriented Languages
Is Structural Subtyping Useful? An Empirical Study.
95-111 (link)
An Interval-Based Inference of Variant Parametric Types.
112-127 (link)
Existential Quantification for Variant Ownership.
128-142 (link)
Verification
Formalising and Verifying Reference Attribute Grammars in Coq.
143-159 (link)
Verified, Executable Parsing.
160-174 (link)
An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees.
175-189 (link)
Amortised Memory Analysis Using the Depth of Data Structures.
190-204 (link)
ESOP Invited Talk
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?.
205-206 (link)
All Secrets Great and Small.
207-221 (link)
Type-Based Automated Verification of Authenticity in Cryptographic Protocols.
222-236 (link)
Concurrency
A Theory of Non-monotone Memory (Or: Contexts for free).
237-251 (link)
Abstraction for Concurrent Objects.
252-266 (link)
Minimization Algorithm for Symbolic Bisimilarity.
267-284 (link)
Service-Oriented Computing
Conversation Types.
285-300 (link)
Abstract Processes in Orchestration Languages.
301-315 (link)
Global Principal Typing in Partially Commutative Asynchronous Sessions.
316-332 (link)
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.
333-347 (link)
Parallel and Concurrent Programming
Automatic Parallelization with Separation Logic.
348-362 (link)
Deny-Guarantee Reasoning.
363-377 (link)
A Basis for Verifying Multi-threaded Programs.
378-393 (link)
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.
394-409 (link)
Sat May 16 23:10:50 2009复杂传输线网络耦合建模与分析方法研究--《国防科学技术大学》2013年博士论文
复杂传输线网络耦合建模与分析方法研究
【摘要】：随着现代电子信息技术的快速发展,系统内部集成电子设备急剧增多,而线缆作为各设备间的连接纽带,潜在干扰源通过这种“后门”耦合方式,传导进入敏感设备引起的电磁干扰问题,也变得更加难以预测。一方面,电源浪涌或器件高频开关工作方式形成的电快速瞬变脉冲,以集总干扰源形式加载在传输线上,而这类脉冲通常具有上升沿陡、持续时间短、幅值高等特点,为快速准确分析其在传输线网络中的电磁传播特性增大了难度;另一方面,系统平台各类天线辐射场或外界高功率电磁辐射源,会透过孔缝或直接以分布干扰源形式加载在传输线上,而系统平台通常具有超电大尺寸结构,这种场线路综合电磁干扰效应评估极具挑战性。因此,建立复杂系统传输线网络耦合模型和发展快速分析方法具有重要的理论研究意义和工程价值。本文在经典传输线理论基础上,对传输线网络的拓扑优化、传输线方程的时域快速求解算法、复杂场线路时域混合模型的构建等进行了研究,开发了相应的线缆耦合分析软件,计算了典型传输线结构的电磁响应,并对某大型武器平台EMC预测分析展开了应用研究。论文主要工作如下:1.从耦合序列图论出发,详细描述了一类用以简化传输线网络耦合分析的新型电磁拓扑方法,给出了相应的主要耦合路径判定准则;研究了BLT/FDTD混合分析方法,并将其用于拓扑定量计算,实现了包含复杂非均匀线结构的线缆网络频域快速分析。2.为了克服频域分析不能求解包含非线性负载的传输线问题,提出了基于高阶FDTD(2,4)与改进节点电压法的传输线时域混合分析方法;与传统FDTD方法相比,高阶FDTD方法具有更严格的稳定收敛条件,且放宽了对空间步长的选取限制,能够采用较少的空间离散网格达到相同的计算精度,缩短了计算时长;构建了混合单端口网络模型,采用受控源等效方式,将传输线与电路分析方法结合,实现了包含任意有源\无源、线性\非线性负载的多导体传输线分析。3.提出了基于精细分裂时间步技术的一维CN FDTD方法,并首次用于多导体传输线网络分析。详细讨论了其数值稳定性和色散特性,由于采用隐式差分策略,其时间步长选取不受传统CFL稳定收敛条件限制,因而能极大提高传输线网络的求解效率。为了克服隐式算法数值色散严重的问题,借助了精细积分方法中子时间步思想,通过将一个大时间步分裂成多个子时间步来消除大时间步带来的色散误差,提高了数值计算精度。4.在高阶FDTD(2,4)方法的基础上,建立了传输线分布参数和电路参数的时域灵敏度分析模型。对原有差分进行改进,增加了过渡粘性项,使得因参数微变引起的间断解之间有了一个连续的过渡,提高了数值稳定性和计算精度。5.提出了基于TDIE FDTD MNA的混合时域分析方法,实现了三种不同仿真方法的无缝连接。最后,以某型潜艇为例,对论文的研究成果进行了应用分析,给出了相应的电磁兼容预测分析结论。并且,开发了一款用于线缆耦合分析的应用软件,阐述了软件的设计思想、软件结构和实现功能。
【关键词】：
【学位授予单位】：国防科学技术大学【学位级别】：博士【学位授予年份】：2013【分类号】：TN811【目录】：
摘要12-14ABSTRACT14-16第一章 绪论16-29 1.1 研究的背景及意义16-18
1.1.1 研究背景16-17
1.1.2 选题的依据及意义17-18 1.2 研究方法概述18-26
1.2.1 线缆网络频域分析方法20-22
1.2.2 线缆网络时域分析方法22-23
1.2.3 复杂系统EMI分析的场计算方法23-25
1.2.4 场线路混合分析方法25-26 1.3 论文主要研究内容和章节编排26-29
1.3.1 论文主要研究内容26-27
1.3.2 论文章节编排27-29第二章 基于COG拓扑图论的传输线频域计算方法29-41 2.1 引言29-30 2.2 基于COG拓扑理论的线缆网络分解30-34
2.2.1 经典COG理论30-31
2.2.2 线缆网络的拓扑分解31-32
2.2.3 COG判定准则32-34 2.3 BLT/FDTD混合分析方法34-39
2.3.1 混合原理34-38
2.3.2 模型应用38-39 2.4 小结39-41第三章 复杂传输线网络的时域计算方法41-82 3.1 引言41-42 3.2 高阶FDTD方法在传输线瞬态分析中的应用42-55
3.2.1 基于高阶FDTD的多导体传输线算法42-45
3.2.2 改进节点分析法45-46
3.2.3 高阶FDTD与MNA混合计算方法46-49
3.2.4 数值验证49-55 3.3 无条件稳定FDTD方法在传输线瞬态分析中的应用55-71
3.3.1 基于分裂时间步技术的CN FDTD方法56-61
3.3.2 数值稳定性及色散分析61-64
3.3.3 数值验证64-71 3.4 基于改进型FDTD方法的分布参数电路的灵敏度分析71-81
3.4.1 改进型FDTD(2,4)在传输线灵敏度分析中的应用73-76
3.4.2 基于MNA的电路灵敏度分析76-77
3.4.3 改进型FDTD(2,4)与MNA的混合算法77-78
3.4.4 数值验证78-81 3.5 小结81-82第四章 复杂场-线-路耦合问题中的混合时域计算方法82-122 4.1 引言82-84 4.2 基于时域平面波加速的TDIE场求解器84-90
4.2.1 预备知识84-85
4.2.2 时域积分方程的时间步进算法85-87
4.2.3 时域平面波加速算法87-89
4.2.4 数值算例89-90 4.3 基于 1D FDTD与MNA的线路求解器90-100
4.3.1 多导体传输线的场线耦合模型91-99
4.3.2 复杂电路终端的MNA方法99-100 4.4 场线路耦合的时域混合求解100-109
4.4.2 场线耦合101-106
4.4.3 线路耦合106-107
4.4.4 混合算法的实现107-109 4.5 混合算法的应用与验证109-120
4.5.1 平面波激励下屏蔽电缆的瞬态分析109-114
4.5.2 非均匀场激励下屏蔽电缆的瞬态分析114-117
4.5.3 复杂系统中场线路耦合分析117-120 4.6 小结120-122第五章 线缆耦合模型在系统平台EMC设计中的应用122-137 5.1 引言122-123 5.2 系统平台EMC预测分析实例123-132
5.2.2 舱内瞬态电磁环境分析124-127
5.2.3 线缆耦合分析127-132 5.3 系统内部线缆网路耦合分析软件构成及分析流程132-136
5.3.1 软件设计及构成132-133
5.3.2 分析模型的创建133-135
5.3.3 线缆求解的预定义135
5.3.4 主要耦合路径判定135
5.3.5 后处理135-136 5.4 小结136-137第六章 总结与展望137-139 6.1 论文的主要工作及成果137-138 6.2 需要进一步研究的问题138-139致谢139-141参考文献141-151作者在学期间取得的学术成果151-153附录A 传输线方程的一维FDTD求解153-155附录B 缩略语155-156
欢迎：、、)
支持CAJ、PDF文件格式
【相似文献】
中国期刊全文数据库
崔万照;李萱;马伟;;[J];空间电子技术;2008年02期
欧阳金华;宗明吉;;[J];枣庄学院学报;2011年05期
林为干;;[J];成都电讯工程学院学报;1961年01期
汪业衡;;[J];光纤与电缆及其应用技术;1991年06期
金谋平,梁昌洪,史小卫;[J];电波科学学报;2000年01期
赵卫宏;胡明春;张强;;[J];微波学报;2007年S1期
罗映红;陶彩霞;陈明;赵志鹏;;[J];自动化与仪器仪表;2008年01期
刘胜;葛亚明;李军;;[J];系统仿真学报;2008年06期
和伟,杨鉴;[J];云南大学学报(自然科学版);1998年05期
郭建军,李志东,樊德森;[J];中国科学技术大学学报;1999年02期
中国重要会议论文全文数据库
陈小平;倪谷炎;罗建书;李颖;;[A];第二十届全国电磁兼容学术会议论文集[C];2010年
张晨新;安建;王光明;张鹏;;[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
孙韬;刘宗行;;[A];电工理论与新技术2004年学术研讨会论文集[C];2004年
孙韬;刘宗行;;[A];电工理论与新技术学术年会论文集[C];2005年
杨林颖;谢康;;[A];2007年全国微波毫米波会议论文集（下册）[C];2007年
刘哲;张重远;苏红梅;;[A];中国高等学校电力系统及其自动化专业第二十四届学术年会论文集（中册）[C];2008年
任泽;;[A];第23届全国煤矿自动化与信息化学术会议暨第5届中国煤矿信息化与自动化高层论坛论文集[C];2013年
梁薇;王娜;李莉;;[A];第17届全国电磁兼容学术会议论文集[C];2007年
中国博士学位论文全文数据库
王为;[D];国防科学技术大学;2013年
张洪林;[D];华南理工大学;2011年
黄健全;[D];华南理工大学;2011年
徐新河;[D];电子科技大学;2009年
邹勇卓;[D];浙江大学;2007年
钟任斌;[D];电子科技大学;2012年
孙韬;[D];重庆大学;2005年
刘素玲;[D];北京邮电大学;2008年
牛家晓;[D];上海交通大学;2007年
中国硕士学位论文全文数据库
孙权;[D];哈尔滨工业大学;2015年
陈小平;[D];国防科学技术大学;2010年
徐金栋;[D];华北电力大学（北京）;2010年
许碧惠;[D];华侨大学;2003年
杨国敏;[D];上海交通大学;2006年
蓝维旱;[D];广东工业大学;2013年
李昱科;[D];江西师范大学;2012年
齐芳;[D];华北电力大学（河北）;2006年
白淑华;[D];华北电力大学;2013年
伍小兵;[D];重庆大学;2008年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
同方知网数字出版技术股份有限公司
地址：北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
订购热线：400-819-82499
服务热线：010--
在线咨询：
传真：010-
京公网安备75号