在Visual Studio.Net中融合MDA和XP的方法研究

分析软件工程技术的现状,指出其中存在的一些问题,得出应用新技术的必要性。通过研究和实验,提出了在Visual Studio.Net中开发中同步工程的方法,以实现MDA和XP技术的融合,并以一个应用实例验证该方法的有效性。     

基于四色Petri网的现代物流建模

本论文是在研究国外先进的物流理论、协同技术和工作流技术基础上,把物流系统中完整商务流抽象成存货流、资金流、商流和信息流,并基于经典Petri网的理论知识,为研究现代物流提出新的建模工具——四色Petri网。     

校园网多出口服务体系设计分析

伴随校园网络的快速发展,校园网络出现了两个瓶颈,一是校内用户数的快速增长造成校内可用公网IP地址的短缺,二是原有教科网出口带宽不能满足校内用户的需求.面对这样的问题,许多校园网都采用了接入多个ISP和NAT技术相结合或者升级原有链路带宽的方式来解决.本文结合本人的工程经验,介绍了校园网多出口服务体系的设计思路和方法.     

基于Petri网的城市交通控制混合系统模型

城市道路交通信号控制是典型的混合动态系统,既包含连续状态变量又包含离散状态变量.本文归纳研究了信号控制交叉口群的主要构成元素：交通信号控制、交叉口与道路路段,其中交通信号控制与交叉口两个元素属于离散事件动态系统（DEDS）,而道路路段交通流属于连续时间动态系统（CVDS）.然后,应用混合系统建模理论,分别构筑了交通信号控制的petri网模型、交叉口的petri网模型、道路路段交通流的连续系统模型,以及交叉口petri网模型与路段交通流模型之间的接口.该模型具有既能够进行交通控制信号优化与交通阻塞机理解析应用,又便于计算机软件实现的优点.     

基于改进U-Net的零件缺陷分割标注

提出一种以U-Net为基础，依据零件缺陷的特点对网络进行一系列改进的模型，以提升网络对零件缺陷的分割精度.首先在U-Net结构中的编码阶段，使用改进的残差网络Res2Net提高该阶段的特征提取能力；然后在网络编码器与解码器的中间部位增加空洞卷积，在不改变特征图尺寸的情况下增加感受野，降低误检率与漏检率；最后在U-Net的输出阶段与Mini U-Net进行结合，对原本的输出结果进行二次补丁，提高对微小缺陷的检测精度.实验结果表明，对MVTec数据集进行分割的F1-Score分数达到87.21%，时间为0.017 s，达到了良好的检测效果.