基于逻辑"或"约束优化的实时系统设计

标准约束优化问题的等式或不等式约束之间是逻辑“与”关系，目前已经有很多高效、收敛的优化算法．但是，在实际应用中有很多更一般的约束优化问题，其等式或不等式约束之间不仅包含逻辑“与”关系，而且还包含逻辑“或”关系，现有的针对标准约束优化问题的各种算法不再适用，给出一种新的数学变换方法，把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式，并应用到实时单调速率调度算法的可调度性判定充要条件中，把实时系统设计表示成混合布尔型整数规划问题，利用经典的分支定界法求解．实验部分指出了各种方法的优缺点．

ELECTROCATALYSIS AND DETERMINATION OF HYDRAZINE COMPOUNDS IN LIQUID-CHROMATOGRAPHY AT A MIXED-VALENT COBALT OXIDE CYANOCOBALTATE FILM ELECTRODE

A glassy carbon electrode coated with an electrodeposited film of mixed-valent cobalt oxide/cyanocobaltate (Co-O/CN-Co) enabled hydrazine compounds to be catalytically oxidized at the greatly reduced overpotential and in a wide operational pH range (pH 2.0-7.0). Electrocatalytic activity at the Co-O/CN-Co modified electrode was evaluated with respect to solution pH, film thickness, supporting electrolyte ions, potential scan rate, operating potential, concentration dependence and other variables. The Co-O/CN-Co film electrode was completely compatible with a conventional reversed-phase liquid chromatographic (RP-LC) system. Practical RP-LC amperometric detection (RP-LCEC) of hydrazines was performed. A dynamic linear response range over three orders of magnitude and a detection limit at the pmol level were readily obtained. The Co-O/CN-CO film electrode exhibited excellent electrocatalytic stability in the flowing streams.