一种WF-net合理性验证方法

工作流过程定义的合理性对于工作流管理系统具有重用意义,在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网,具有牢固的理论基础,是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论,在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上,提出了一种验证WF-net合理性的方法.     

遗传算法种群多样性的度量

针对遗传算法的过早收敛问题,从种群个体,基因两个方面给出了遗传算法种群多样性的度量方法,并在此基础上提出了一种基于大变异操作的遗传算法,实验结果表明该方法在问题求解的精确度以及收敛性方面取得了很好的效果。     

TOP-SEAL与粘土结合料作为道路基层的可行性研究

介绍了TOP-SEAL材料在国外的发展及应用情况;描述了对此材料与合肥粘土结合所形成的TOP-SEAL-SOIL进行的工程性能试验的方法、过程及结果;分析了其作用于高等级公路,作为道路基层材料的可行性,并提出了使用建议。文章对材料的使用方法也作了简要阐明     

某型导弹武器系统综合保障仿真研究

在分析装备综合保障理论的基础上 ,确定了一套全面描述某型导弹系统保障性的参数指标 ,建立了以系统战备完好性为目标的可靠性、维修性与保障性 (R&M&S)的综合模型 .详细介绍了对某型导弹平时及战时战备完好性的仿真过程 ,并对仿真结果进行了比较分析     

基于生成对抗网络结合Transformer的半监督图像增强方法

针对成对数据集获取成本较高、光照分布不均衡图像增强效果欠佳以及增强结果易产生十字形伪影的问题,提出了一种基于生成对抗网络结合Transformer的半监督图像增强方法。首先,采用Transformer网络架构作为生成对抗网络中生成器的主干网络,提取不同像素块间的依赖关系以获取全局特征,并通过非成对数据集进行半监督学习;其次,使用灰度图作为生成器网络的光照注意力图,以平衡增强结果在不同区域的曝光水平;最后,在生成器和鉴别器网络中交叉使用均等裁剪策略和滑动窗口裁剪策略,增强网络提取特征的能力并解决十字形伪影问题,并引入重建损失来提高生成器对图像细节的感知能力。结果表明：提出方法取得了更好的光照和色彩平衡效果,自然图像质量评估指标平均提升了2.37%;在图像修饰任务中,图像峰值信噪比、相似结构度和感知损失同时达到了最优;在低光照增强任务中,图像峰值信噪比提升了13.46%;充分验证了提出方法在图像增强2个子任务上的有效性。     

完成时间限制下的任务-平台关系设计模型及算法

针对指挥控制组织结构设计中任务-平台关系的设计问题,提出了一种使命完成时间限制条件下的问题的设计模型及其求解算法。分析了使命完成时间限制条件下任务-平台关系设计(task platform relation design under mission completion time constraint, TPRDTC)问题的约束条件,建立了以使命执行质量的值最大为目标的问题数学模型。设计了用于求解该模型的循环多动态列表规划(multi-dimensional dynamic list scheduling, MDLS)算法,给出了该算法的详细步骤和流程。最后通过一个联合作战的战役案例,分析并验证了循环MDLS算法对求解TPRDTC问题的有效性和适用性。     

防水透气型加气混凝土砌块界面剂的研究

通过正交试验、优化试验和电镜扫描试验,以粘结性、防水性、保水性和透气性为基本指标,研究防水透气型加气混凝土砌块界面剂及其工作机理.     

有黏结预应力FRP复合管涵试验及数值分析

为了探求FRP(fiber reinforced polymer)复合管涵结构的承载性能,文章进行了FRP复合管涵室外原型堆载试验,并采用三维有限元数值仿真技术,分析研究了FRP复合管涵结构的承载性能,采用ADINA软件分析了管涵结构与土之间的相互作用问题及其承载性能。试验结果与仿真分析结果对比分析表明FRP复合涵管具有高承载性能,同时试验结果验证了数值仿真结果的可靠性。     

一种快速属性约简算法

基于差别矩阵的属性约简算法,先要求出差别矩阵,随着问题的规模增大,存放差别矩阵的空间和算法的执行时间过大和过长,让计算机难以承受．针对这一问题,提出了差别对象对集的定义,给出了基于差别对象对的属性约简定义,并证明了该定义等价于基于差别矩阵的属性约简定义．利用差别对象对,设计了一个新的属性约简算法．由于这一算法在求属性约简的过程中不用生成差别矩阵和大量的无用元素,因而大大减少了存储量和计算量,从而提高了算法的效率．计算实例说明了新算法的高效性．     

基于权值调整的文本分类改进方法

文本分类是文本挖掘的基础与核心 ,可广泛应用于传统的情报检索和 Web信息的检索与挖掘等。提出了一种利用权值调整思想对向量空间法 (VSM)和朴素 Bayes分类器 (NBC)进行改进的文本分类方法 ,并探讨了利用 EM算法进行无导师 Bayes分类的方法 ,设计和实现了一个中英文文本分类系统 CZW。 3组实验数据表明 ,用某些评估函数调节单词权值可有效提高 VSM和 NBC等文本分类模型的精度 ,并且训练文本规模越大 ,改进的效果越明显。 NBC的分类精度最高可达 86 %。