3、化工过程非单调规划与操作策略综合

化工过程非单调规划与操作策略综合

1. 层次化建模:过程与操作的精准刻画

在化工过程规划中,对过程和操作步骤进行有效表示至关重要。这些表示模型需满足两个关键要求:一是能够捕捉过程中的布尔型、整数型(即分类或定性)或实值变量;二是能在多个细节层次上对过程或操作进行描述,且保持内部一致性。

1.1 操作建模

操作步骤的特征化,即算子 (Op_{jq}) 的特征化,取决于操作类型(如布尔型、整数型、解析实值型)和所需的细节层次(如工厂某部分的抽象操作、阀门和泵等的原始操作)。以下是几种可能的模型:
- STRIPS 算子 :由 Fikes 和 Nilsson 在 1971 年引入,是最简单的操作步骤模型。它包含前置条件和后置条件,前置条件是在操作执行前系统及其周围环境必须满足的陈述,后置条件是操作执行后保证为真的陈述。然而,STRIPS 算子存在严重局限性,例如不同过程的时间前置和后置条件不同,难以创建通用的算子集合;且过程操作的函数关系会导致整体成为功能算子,这在严格的 STRIPS 模型中是不允许的。
- 条件算子 :为克服 STRIPS 算子的局限性,Chapman 在 1985 年提出了条件算子。它根据所有前置条件是否为真产生两组后置条件。但在合成操作程序时,条件算子也有类似的缺点,其使用受到严重限制,无法涵盖设备/产品切换、优化控制和某些安全回退策略等操作程序的规划。
- 功能算子 :与 STRIPS 和条件算子使用前置条件的合取不同,功能算子有一组前置条件的合取。对于每组前置条件,都有一组对应的后置条件。功能算子是比 STRIP

资源下载链接为: https://pan.quark.cn/s/1bfadf00ae14 在ASP.NET开发中,定时任务是一种常见功能,用于在固定时间间隔内执行特定操作,比如数据同步、清理缓存或发送通知等。以下是实现ASP.NET定时任务的详细步骤和关键要点: ASP.NET定时任务通常通过System.Threading.Timer或System.Timers.Timer实现,二者都能周期性触发事件。在ASP.NET中,可以利用后台线程或HttpApplication生命周期事件来启动定时器。 System.Threading.Timer:适合在独立线程上运行任务,避免阻塞主线程,适合轻量级任务。 System.Timers.Timer:在多线程环境下,它会自动管理线程,更适合服务器端复杂任务。 创建定时器对象,设置Interval属性为10000毫秒(10秒),并注册Elapsed事件。该事件会在每个时间间隔结束时触发。 在Elapsed事件中编写要执行的代码,确保代码执行效率高,避免阻塞,因为长时间运行的任务可能影响其他请求。 通过Timer.Start()启动定时器,Timer.Stop()停止定时器。在ASP.NET中,可以在Application_Start和Application_End事件中控制定时器的启动和停止,确保服务器启动时定时器开始运行,关闭时停止。 在多用户环境下,如果定时任务会修改共享状态,必须考虑线程安全问题,可以使用锁或其他同步机制来确保数据一致性。 将应用程序部署到IIS时,需设置应用程序池的回收策略,避免定时任务因应用程序回收而中断。同时,确保IIS配置支持长时间运行的请求。 为定时任务添加日志记录非常重要,可以帮助排查问题并监控任务执行情况。 定时任务过于频繁可能会影响服务器性能,进而影响其他请求的响应时间。可根据需求调整时间间隔,或
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值