模型转换规则自动生成研究

在大规模的模型驱动工程中,模型转换是关键的环节,手动撰写模型转换规则既耗费资源,且正确性亦难以得到保障。针对该问题,提出基于编辑距离的模型比对算法,用于自动生成转换规则,该算法可以处理UML类图、状态图和活动图,而且可以有效地检测模型转移和复制操作,从而生成最小转换序列,提高模型转换工作效率。经过实验验证,基于该算法的模型转换规则自动生成方法是行之有效的。     

优化网上数码商店设计与实现

随着网络的不断普及,网上购物依靠其方便、实惠等优点成为一种流行的购物方式.支付宝等安全支付手段,让众多的消费者对网上购物更加信任.本网站除了具有普通网站的基本功能外,同时增加了商品参数的对比,并利用第三方控件,方便卖家对于商品信息的管理;合理的设计从而方便买家和卖家更符合B2C的人性化.     

一一对应人脸自动识别身份验证的方法与应用

为实现人脸自动识别科技成果的广泛应用,本文规避现有的人脸自动识别的缺陷与不足,借鉴其成熟技术,提出在固定背景和光照的条件下,采用一对一比对,在＂合作用户＂领域中将人脸自动识别应用于身份验证的新方法。通过对人脸自动识别现有成熟技术、发展趋势和发展前景的论证,得出一一对应人脸自动识别身份验证的方法的技术路线完全可行,值得推广应用的结论。     

基于VBA实现Excel数据检验和比较

对Excel数据处理进行了阐述,介绍了如何利用VBA编程实现Excel工作表中的数据检验和比较,并给出了相应的代码。     

Using local transition probability models in Markov random fields for forest change detection

Change detection based on the comparison of independently classified images (i.e. post-classification comparison) is well-known to be negatively affected by classification errors of individual maps. Incorporating spatial-temporal contextual information in the classification helps to reduce the classification errors, thus improving change detection results. In this paper, spatial-temporal Markov Random Fields (MRF) models were used to integrate spatial-temporal information with spectral information for multi-temporal classification in an attempt to mitigate the impacts of classification errors on change detection. One important component in spatial-temporal MRF models is the specification of transition probabilities. Traditionally, a global transition probability model is used that assumes spatial stationarity of transition probabilities across an image scene, which may be invalid if areas have varying transition probabilities. By relaxing the stationarity assumption, we developed two local transition probability models to make the transition model locally adaptive to spatially varying transition probabilities. The first model called locally adjusted global transition model adapts to the local variation by multiplying a pixel-wise probability of change with the global transition model. The second model called pixel-wise transition model was developed as a fully local model based on the estimation of the pixel-wise joint probabilities. When applied to the forest change detection in Paraguay, the two local models showed significant improvements in the accuracy of identifying the change from forest to non-forest compared with traditional models. This indicates that the local transition probability models can present temporal information more accurately in change detection algorithms based on spatial-temporal classification of multi-temporal images. The comparison between the two local transition models showed that the fully local model better captured the spatial heterogeneity of the transition probabilities and achieved more stable and consistent results over different regions of a large image scene.     

各种网络拥塞控制机制的实现及比较

随着网络应用的迅猛发展,网络拥塞成为一个不可避免的问题,拥塞控制已经成为当前网络研究的重点。为了使网络得到充分的利用,研究者提出了多种拥塞控制机制,并且得到不断的改进。该文通过比较各种典型控制算法的优缺点,来对网络拥塞控制机制作个综合阐述。     

面向对象主流切片表示法的比较研究

随着面向对象程序的发展,它的切片表示法也逐步成熟.对面向对象程序依赖图和面向对象系统依赖图这两种主流的面向对象切片表示法进行研究后,给出了两种方法的主要特点,并比较了它们的异同点及适用的应用领域.最后,对好的切片表示法应该具备的特性进行了总结.     

基于Java的视频监控系统中报警录像功能的实现

利用Java的平台无关性和完整的网络支持,开发出基于Java的视频监控系统.使用JMF(Java媒体框架)实现视音频捕获并每隔几秒截取监控区域的图像,利用Matlab进行图像对比并打包成Java程序,在监控区域出现异常情况时及时进行报警和录像.测试结果表明,系统的报警录像功能实用可靠,满足实时监控需求.     

布尔表达式的化简与并行排序网络验证

为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具.对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质.设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证,工具的输出有利于对排序网络的分析,也可以用于辅助排序网络的设计和优化.实验结果表明了该工具的有效性.     

新型Buck-Boost矩阵变换器的双闭环控制策略

为了克服传统矩阵变换器电压传输比低的缺陷, 提出了新型Buck-Boost矩阵变换器, 采用双闭环控制策略进行控制. 介绍了该控制策略的基本原理与设计方法, 对比分析了该控制策略与滑模控制及离散滑模控制的各种特性, 并通过仿真对其控制效果进行了验证. 结果表明: 该控制策略不仅具有比滑模控制和离散滑模控制更加优良的动态性能, 而且还具有更强的谐波抑制能力, 其输出波形的谐波失真度更小, 稳态精度更高, 因而具有更好的应用价值.