基于B／S模式网络系统安全性研究与实现

文章给出了B／S模式下保证系统安全的主要实现方法。在系统设计以Struts结构为架构模式,结合J2EE技术,开发了网络教学管理与评估系统平台;该系统具有较强的网络安全性。文章给出了采用由容器提供的安全服务和由应用程序提供的安全服务共同设计实现的网络系统安全措施。同时探索了基于B／S模式的多种安全技术,研究了该类信息系统在安全性方面的特点。该网络教学管理与评估系统实际运行表明,文章给出的网络系统安全措施具有较强的推广应用价值。     

变分水平集分割方法

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

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

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

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

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

一个新的公平非否认协议

在安全数据传输协议中，发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMPI协议缺陷的基础上，提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证，新的协议满足非否认性和公平性原则，可广泛应用于电子邮件、电子合同等电子商务应用中。     

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

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

一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上，提出了一个新的电子发票服务协议。同时，采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改，最终得到一个可以工作在不可靠信道上的公平电子发票服务协议。     

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

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

InGaN/GaN多量子阱LED的电特性研究

针对InGaN/GaN多量子阱LED,分析了占据能态高于势垒的载流子和低于势垒的载流子参与的电流输运机制,从而推导出对应能态电流输运机制下的电流-电压关系,以及理想因子与温度的变化规律.实验结果证实,在低注入强度下,由材料缺陷引入的深能级辅助隧穿输运机制占主导,电流电压特性符合相应的推导结果,随着注入强度的增大,参与扩散-复合输运机制的载流子逐渐增加,温度对输运机制的影响逐渐增大.     

武汉：电脑市场三大件降价

就像乍暖还寒的天气一样，武汉电脑市场近期同样是波动起伏，产品、价格上下蹿动没有定数，无论商家、消费者都有迷惑。