行政体制改革动力的宪政经济学思考

宪政经济学方法论的个人主义、理性选择、规则的选择和规则下选择的区分为行政体制改革提供了诸多的启示。从宪政经济学的视角看,当前的行政体制改革面临着内在动力不足、对改革本身没有制度约束、成本分摊不均、行政伦理和公民责任缺失等诸多难以突破的困境。主张必须对改革进行立宪选择的约束,充分尊重利益主体的改革诉求,加强伦理建设,重塑行政体制改革的动力机制。     

网络微积分中的最小加拟反卷积及其应用

网络微积分是一种对网络中的流量问题给出定量刻画的新型数学工具,其理论基础是最小加代数.文章围绕最小加运算中的反卷积问题进行讨论,定义了最小加拟反卷积和最小加强拟反卷积,并且通过具体的例子说明了所给定义的意义.最后,还讨论了最小加强拟反卷积在优化服务器设计中的应用.     

一种分布式拒绝服务攻击的检测模型

提出了一种实时检测网络是否受到DDoS攻击的新模型,解决了传统检测方法难以区分突变正常流量与异常流量的问题.结合网络正常流量的特点,提出了检测DDoS攻击的新度量和检测算法.该算法不仅结构简洁、运算速度快;而且能够充分利用已知信息,具有较强的抗干扰能力.实际检测结果表明,本模型可实现时DDoS攻击的实时检测.     

Rademacher复杂度在统计学习理论中的研究

假设空间复杂性是统计学习理论中用于分析学习模型泛化能力的关键因素.与数据无关的复杂度不同,Rademacher复杂度是与数据分布相关的,因而通常能得到比传统复杂度更紧致的泛化界表达.近年来,Rademacher复杂度在统计学习理论泛化能力分析的应用发展中起到了重要的作用.鉴于其重要性,本文梳理了各种形式的Rademacher复杂度及其与传统复杂度之间的关联性,并探讨了基于Rademacher复杂度进行学习模型泛化能力分析的基本技巧.考虑样本数据的独立同分布和非独立同分布两种产生环境,总结并分析了Rademacher复杂度在泛化能力分析方面的研究现状.展望了当前Rademacher复杂度在非监督框架与非序列环境等方面研究的不足,及其进一步应用与发展.     

Web服务降级替换的一致性问题及量化研究

在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。     

应变速率对AZ61镁合金动态再结晶行为的影响

采用光学显微镜、SEM/EBSD和组织定量分析技术研究AZ61镁合金在623 K、3×10-5~3×10-1 s-1下单向压缩时变形和动态再结晶行为。结果表明:AZ61镁合金的流变应力和动态再结晶行为强烈地受到应变速率的影响;随着应变速率的提高,稳态流变应力对应变速率的敏感性逐渐减弱,而峰值应力对应变速率的敏感性却呈先减弱后又显著增强的趋势。提高应变速率可加快动态再结晶进程,但高速变形初期产生更多的粗大{1012}孪晶,不利于完全再结晶而导致稳态时的再结晶体积分数反而较低;在中低应变速率下动态再结晶以晶界弓出形核为主,而在高应变速率下则主要通过孪晶分割来进行;由应变速率引起变形机制的变化是导致不同动态再结晶行为的原因。     

天山南北复杂构造成像技术进展及应用效果

由于天山南北前陆冲断带复杂构造具有地表及地下双复杂特性,获得地下准确成像困难,采用“真”地表TTI叠前深度偏移速度建模及成像技术序列能够较好地解决该问题。目前形成的“真”地表TTI叠前深度偏移速度建模及成像技术序列,主要包含适应叠前深度偏移的配套静校正技术、叠前体去噪技术、TTI各向异性速度建模与深度偏移技术等,将静校正、去噪与速度建模有机结合,这种全层系速度建模思路为叠前深度偏移提供了准确的速度模型,改善了复杂构造成像品质,提高了复杂构造成像的精度,钻井吻合率逐年上升,有力支撑了天山南北前陆冲断带的井位部署与油气勘探。     

AZ21镁合金降温多向压缩过程中的组织和微观织构演化

对AZ21镁合金进行了降温多向压缩变形,利用OM及SEM/EBSD技术观察和分析了其显微组织和微观织构的演化.结果表明,随着变形道次的增加,晶粒尺寸迅速减小,经4道次的变形晶粒可细化至0.8μm.高温变形时生成的相互交叉的扭折带可将原始晶粒有效地分割而细化.673 K第1道次变形至ε=1.2时,几乎所有的晶粒都发生了90°的转动,基面由变形前平行于压缩方向转至与压缩方向垂直,基面织构强度先减小后增大;第2道次变形时,织构变化与第1道次基本一样,表现为与变形温度无关,仅取决于变形程度.第2道次变形后织构强度低于第1道次,变形道次的增加可以弱化织构.     

[α1，α2]1-概率拟Hoare逻辑及其可靠性证明

基于C.A.R.Hoare提出的Hoare逻辑,给出了[α₁,α₂]1-概率拟Hoare逻辑,并证明了其可靠性。