敏捷需求过程建模

将敏捷方法融入软件需求工程过程的每一个活动之中,充分发挥敏捷方法和计划驱动方法的优势,体现了规范的力量和安慰以及敏捷的宽松和创造性,并用双变迁Petri网DTPN为敏捷需求工程过程活动建立反馈、迭代模型.     

列车通过车站过程建模及应用

在计算机联锁系统中,联锁表表示车站信号各个设备之间的联锁关系,编制正确的联锁表至关重要。提出一种利用有色Petri网（CPN）对列车通过车站的过程进行建模,并利用模型自动生成联锁表的方法。利用CPN建立列车通过无道岔区段模型和列车通过有道岔区段模型,在这两个模型的基础上,建立列车通过车站模型。基于CPN tools的状态空间分析工具和模型中包含的联锁关系,研究CPN模型自动生成联锁表的方法。该方法可以提高对列车通过车站过程建模和生成联锁表的效率和准确性。     

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

门户网自助系统的扩展有色Petri网建模与分析

文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。     

一种需求工程整体解决方案研究

本文主要从需求获取、需求分析、需求确定、需求管理四个维度,十二步骤、系统性阐述了需求工程整体解决方案.     

基于赋时层次有色Petri网的Multi-Agent调度系统建模

介绍了基于Multi-Agent的分布式环境扫描系统的结构模型.依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN Tools建立了基于优先级的任务调度算法和最短等待队列动态负载均衡调度算法的系统调度模型.仿真结果表明,该调度模型有效满足了系统周期性重复访问网站的任务需求.     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

基于Petri网与遗传算法的半导体生产线建模与优化调度

针对半导体生产线调度复杂、难以优化的问题,本文提出了一种基于层次有色赋时Petri网技术和遗传算法相结合的优化调度方法。该方法利用层次化的方法结合自顶向下建模方法对半导体生产线进行模块化建模,模型不仅能够反映生产线的待加工产品的多条加工路径及其资源约束,还可以对系统的设备维护、各种优先级等特性进行描述,得到对生产系统更完善更精确的刻画。通过在遗传算法编码中同时考虑投料策略、工件选设备规则、批加工调度规则和单件加工设备规则等因素得到更加有效的调度方案,提高了模型的优化程度。在此基础上,对实际半导体生产线的不同调度方案分别进行了仿真,并对仿真结果进行了比较,从而验证了建模方法的正确性及调度策略的有效性。     

系统需求工程的分析与设计

需求工程是基于计算机系统的重要任务,直接决定着整个系统的成败。传统系统需求的成果是系统分析人员在项目的需求分析阶段建立的单一的需求分析文档,随着系统开发的发展趋势使得这种方法暴露出一些严重的问题。分析了传统系统需求存在的问题,提出了基于面向对象方法的系统需求工程的分析和设计的思路。     

需求演化过程建模

对需求任务、需求活动、需求工程过程以及需求工程过程系统进行形式化定义.用信息熵对需求任务演化进行度量,用联合熵对需求活动、需求工程过程以及需求工程过程系统演化进行度量.从需求工程过程的角度,用条件-事件网对需求工程过程的迭代、反馈进行微观演化建模.从系统工程的角度,用耗散结构理论对整个软件需求工程过程系统进行宏观演化建模.     

综合电子信息系统需求工程概述

基于需求工程对于综合电子信息系统建设和集成的重要意义,阐述了综合电子信息系统需求工程的基本概念、重要作用和主要特点,讨论了在综合电子信息系统建设中开展需求工程的基本内容、实施过程、主要方法和评价准则,提出了当前及今后相关领域亟待解决的主要问题.     

5G无线通信场景需求与技术演进

近年来,我国移动通信领域的发展逐步走在了世界的前列。因此,对5G网络的需求场景进行了详细的阐述,并对其未来的技术发展轨迹和应用前景作出了预测,以供参考。     

浅析中职教务管理系统需求

随着我国大力发展中等职业教育,各校招生规模不断扩大,采用传统的教务管理模式将会浪费大量的人力、物力、财力,所以教务管理系统的开发已成为中职学习工作的重点。为了满足学校教务工作的需求,教务管理系统共设置了五大子系统：用户权限管理子系统、教学计划管理子系统、成绩管理子系统、学生考勤管理子系统、教材管理子系统,并对系统功能和非功能需求进行分析。     

软件工程需求分析阶段监理要点

从信息系统工程监理和需求调研方法入手，分析监理单位如何在需求分析阶段充分发挥应有的作用，确保信息化建设目标的实现。     

软件需求变化及对策

针对需求工程的实际情况,论述了需求变更的必然性,分析了需求变更的原因,提出了需求变更的思想对策、管理对策及技术对策.     

基于需求的软件测试

软件需求是软件开发的前提,同时也是系统验收的依据。基于需求的软件测试是从用户的角度出发进行测试,它是软件测试的本质。该文主要讨论了基于需求的软件测试中的测试对象和目的、测试的困难以及在需求明确和需求不明确下的测试策略。     

Lithiation-Induced Defect Engineering to Promote Oxygen Evolution Reaction

Exploring efficient electrocatalysts for oxygen evolution reaction (OER) is an urgent need to advance the development of sustainable energy conversion. Though defect engineering is considered an effective strategy to regulate catalyst activity for enhanced OER performance, the controllable synthesis of defective oxides electrocatalysts remains challenging. Here, oxygen defects are introduced into NiCo₂O₄ nanorods by an electrochemical lithiation strategy. By tuning in situ lithiation potentials, the concentration of oxygen defects and the corresponding catalytic activity can be feasibly regulated. In addition, the relationship between the changes in the defect density and electronic structure and the lithiation cut-off voltages is revealed. The results show that NiCo₂O₄ nanorods undertook intercalation and two-step conversion reaction, in which the lithiation-induced conversion reaction gives rise to a CoO@NiO-based structure with higher defect density and lower oxidation states. As a result, the defective CoO@NiO-based catalyst exhibits exceptional OER activity with an overpotential of 270 mV at 10 mA cm⁻², which is about 74 mV below the pristine nanomaterials. This research proposes a novel strategy to explore high-performance catalysts with structural stability and defect control.     

软件工程的工具、技术及方法

随着电子商务的不断发展,软件工程的工具技术和方法越来越重要。文章主要介绍了电子商务的工程处理和软件工程应用中所用到的工具和技术。软件工程是一种应用于系统的,标准化的,可测量的方法用于软件的发展,前进和维护处理的学科工程。有很多的工具和技术应用于软件工程。