排序方式: 共有13条查询结果,搜索用时 0 毫秒
1.
Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。 相似文献
2.
国务院刊发的<国务院关於加快发展旅游业的意见>,指出发展目标为旅游市场规模到2015年进一步扩大,旅游消费相当龄居民消费总量的10%,旅游业增加值占全国GDP的比重提高到4.5%.可见旅游行业已经成为国民经济中的一个举足轻重的行业.在旅游行业中旅游服务有着举足轻重的作用,其中导游作为旅游六大要素的连接着尤为重要,但是从学历结构来看,我国导游人员的学历普遍偏低. 相似文献
3.
4.
分析MVC设计模式和Struts的工作原理,针对科研管理系统的特点,在系统中采用Struts技术,并通过实例介绍其在应用程序中的具体应用。 相似文献
5.
本文介绍了UWB信号的三种主流TOA估计算法:匹配滤波器法、基于能量检测法和主成分分析法,并对此三种算法的原理进行介绍,然后在同等仿真环境下对三种算法进行仿真实验,比较三种算法的优缺点。 相似文献
6.
500kV变电站采用1500MVA的大容量变压器,将出现许多新的技术问题。本专题针对1500MVA变压器低压侧母线电压波动、变压器短路阻抗和设备造价等方面进行探讨,推荐采用大容量变压器的500kV变电站低压侧采用66kV电压等级。 相似文献
7.
8.
9.
高斯噪声和泊松噪声是影响图像质量的主要噪声源,为了去除这些噪声,大量的图像去噪算法被提出,但这些算法往往局限于去除单一的高斯噪声或泊松噪声。由于字典原子能够自适应的表示图像的结构特征,结合高斯-泊松混合噪声的统计特性,提出一种基于字典学习和非局部结构聚类的高斯-泊松混合噪声去除方法,在稀疏表示的框架下学习字典并重构无噪图像。考虑到图像在非局部范围内存在自相似性,通过对非局部的相似结构进行聚类,将此自相似性作为去噪目标函数的正则项,以提高去噪性能。实验结果表明:提出的算法能够有效的去除图像中的高斯-泊松混合噪声。 相似文献
10.
建立了应用EMR-Lipid小柱净化结合超高效液相色谱串联质谱法快速测定贝类样品中3种腹泻性贝类毒素的分析方法。样品用80%乙腈溶液提取,以安捷伦Captival EMR-Lipid小柱净化,经超高效液相色谱串联质谱分析测定,采用大气压电喷雾负离子电离,选择反应监测模式,基质匹配外标法定量。实验结果表明,3种腹泻性贝类毒素的检出限为0.5~1.0μg·kg-1,回收率为82.6%~107.1%,相对标准偏差为3.5%~9.9%。该方法操作简单、灵敏度高、回收率和精密度较好,适合应用于日常贝类样品中腹泻性贝类毒素的监测。 相似文献