变分水平集分割方法

针对三维图像多相分割问题,提出一种变分水平集分割方法。由变分方法和梯度坡降方法得到能量泛函取极小值的水平集函数演化方程,与基于区域模型的参数估计构成一个交替迭代过程。仿真结果表明,该方法简单高效,能快速实现三维图像的轮廓分割与重建,真实反映采集序列断层图像的信息,具有较好的应用价值。     

一种软件体系结构关注点分析方法

在体系结构的设计、演化和重用过程中涉及众多的关注点,而且它们之间存在着复杂的关系,然而目前还缺乏有效的对这些关注点及其关系进行描述和分析的方法.针对这一问题,在系统收集并显式标识各种体系结构关注点及其关系的基础上,文中提出一种软件体系结构关注点分析方法.该方法利用时段时序逻辑对关注点之间的横切关系进行形式化描述和分析,可以发现横切关注点之间的时序冲突,有助于提高面向方面软件体系结构的设计质量.最后结合案例给出了该方法的实施过程.     

一种面向服务流程异常处理的策略描述语言

研究了组合测试错误定位表的结构。针对t维组合测试情形,在假设待测系统中只有一个强度小于等于t维的错误交互时,提出了一种新的构造这种特殊情形的错误定位表的方法。这种方法构造的错误定位表覆盖了所有的t维交互并且对任意两个t维交互,表中包含这两个t维交互的行的集合互不相同。最后提出了生成这种错误定位表的AETG-like算法。实验表明,用该方法构造出的错误定位表比用t+1维覆盖表构造的错误定位表其行数要少得多。     

楼层反应谱插值计算及比较

一般工程中,只给出了对应有限个阻尼比的反应谱值,其他阻尼比所对应的反应谱值没有明确给出,而实际抗震分析过程中需要这些反应谱值作为输入数据。所以,有必要对这些阻尼比对应的反应谱值进行补充,以便在抗震分析中应用。对于没有明确给出的反应谱值,可通过插值方法得到,反应谱     

基于对象Petri网的信息系统建模技术

针对复杂管理信息系统分析与建模的困难性,提出了一种基于Petri网和面向对象的建模技术,给出了对象Petri网系统OPN的形式化定义,具体介绍了用OPN进行信息系统建模分析的基本思路与方法,并通过一个典型的租赁管理系统建模对该方法进行了应用。     

基于ATL的公平电子商务协议形式化分析

针对传统时序逻辑LTL,CTL及CTL*等把协议看成封闭系统进行分析的缺点,Kremer博士(2003)提出用一种基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平电子商务协议并对几个典型的协议进行了公平性等方面的形式化分析。本文讨论了ATL逻辑及其在电子商务协议形式化分析中的应用,进一步扩展了Kremer博士的方法,使之在考虑公平性等特性的同时能够分析协议的安全性。最后本文用新方法对Zhou等人(1999)提出的 ZDB协议进行了严格的形式化分析,结果发现该协议在非保密通道下存在两个可能的攻击:保密信息泄露和重放攻击。     

结电容对光伏器件I-V特性测试的影响

I-V特性是表征光伏器件性能的重要指标,在用电压扫描方式对一些器件进行I-V测试时,会出现零偏压电流为正向电流的现象,本文通过分析结电容对光伏器件电流电压测试的影响,对这种现象进行了解释,根据对由IOOMΩ电阻和50pF电容搭建的并联电路进行的测量,得到测试系统电压变化速率为2.14V/s,从而推算出光伏器件结电容的大小近似为0.47pF.用电路仿真软件PSpice对该测试电路进行了仿真,得到的仿真结果与实验结果相符.     

一种新的密码协议分析方法及其应用

针对传统时序逻辑把协议看成封闭系统进行分析的缺点, 提出一种新的基于策略的ATL逻辑方法分析密码协议。最后用新方法对Needham-Schroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击。工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。     

基于分布式数据库的电力客户服务中心的研究与设计

提出一种基于分布式数据库技术在电力客户服务中心的解决方案,该方案可以实现远程联网管理及信息共享,这种异地数据业务的应用处理方案主要需要解决数据同步、数据共享、并行处理、数据传输等几个主要问题。通过在贵州电力系统中的实谅应用,证明了它的实用性与可行性。     

TiO2-SiO2/SiO2双层复合薄膜制备及折射率调控EI北大核心CSCD

采用溶胶-凝胶法制备了具有W型减反特性的Ti O2-SiO2/SiO2复合薄膜,并分别调控了TiO2及TiO2-SiO2混合介质薄膜折射率,探索了不同制备条件对TiO2薄膜折射率的影响机理。通过场发射扫描电子显微镜、能谱仪、椭偏仪、紫外–可见-红外分光光度计研究了薄膜微观结构、薄膜组分、折射率和光学透过率,通过TFcal软件模拟了双层复合薄膜的光学透过率线型。研究表明:溶胶pH值对TiO2薄膜折射率影响显著,其影响的前驱体水解速率对折射率的影响占主要作用,并且随着pH值的增大薄膜折射率减小,而水/钛比对薄膜折射率影响不显著。在TiO2与Si O2混合溶胶中两者物质的量比为1.2:1.0时,获得可用于制备双层复合W型减反膜系底层的薄膜,其椭偏仪拟合测试折射率约为1.68。最终制备的复合TiO2-SiO2/SiO2薄膜实现了光学宽谱范围380~1100 nm的优良增透效果,最大透过率可达约97%。