Entwicklung eines Tests zur Ablösung von Tierversuchen beim Nachweis von Pertussis-Toxin

Weltweit existiert keine zum Tierversuch alternative Methode, um adsorbierte Pertussis-Impfstoffe auf restliche Toxin-Aktivität hin zu untersuchen. Der im Europäischen Arzneibuch vorgeschriebene Tierversuch besitzt nach Erfahrungen der Industrie, internationaler Prüfbehörden sowie des Paul-Ehrlich-Institutes eine schlechte Aussagekraft. Er ist wenig standardisierbar und weist häufig ein zweifelhaftes Ergebnis auf, so dass Wiederholungen und damit einhergehend ein hoher Verbrauch an Versuchstieren unumgänglich sind. Enthält der Impfstoff Reste von nicht-inaktiviertem Pertussis-Toxin (PTx), muss mit schweren und schwersten Nebenwirkungen bei den Impflingen gerechnet werden. In dieser Arbeit wurde ein In vitro-Nachweis für aktives PTx entwickelt. rnAngeregt durch Publikationen, wonach Pertussis-Toxin humane Monozyten aktiviert, wurde zunächst versucht, diesen Effekt zum Toxin-Nachweis auszunutzen. Die vorliegende Arbeit zeigt jedoch eindeutig, dass Pertussis-Toxin selbst nicht zur Stimulation humaner Monozyten führt. Vielmehr konnte nachgewiesen werden, dass die Aktivierung dieser Immunzellen auf Kontaminationen durch Lipopolysaccharide zurückzuführen ist. Damit wurden die Aussagen in den oben erwähnten Veröffentlichungen widerlegt. Dieses Ergebnis wurde bereits zur Publikation eingereicht.rnNunmehr wurden verschiedene Ansätze zum Nachweis von Pertussis-Toxin entwickelt, welche seine enzymatischen Aktivitäten als NAD-Glycohydrolase und ADP-Ribosyltransferase ausnutzen. Zunächst wurde versucht, die Hydrolyse von NAD zu ADP-Ribose und Nicotinamid photometrisch nachzuweisen. Wegen unbefriedigender Sensitivität wurde dieses Verfahren zu einem fluorometrischen Nachweis weiterentwickelt. Verwendet wurde hier fluorogenes etheno-NAD, welches von Pertussis-Toxin als Substrat akzeptiert wird. Letzteres Prinzip ist zum In vitro-Nachweis von Pertussis-Toxin geeignet, wird jedoch durch das in Impfstoffen häufig verwendete Adsorbens Aluminiumhydroxid gestört. Deshalb wurde dieser Ansatz aufgegeben und ein neuer Weg verfolgt, welcher am Energiestoffwechsel von humanen Zellen ansetzt. Eine Konsequenz des Angriffs von Pertussis-Toxin auf seine Zielzellen im Respirationstrakt besteht – nach komplexen Reaktionen des Signaltransduktionsweges – im Absenken des ATP-Gehaltes. Als menschliche Surrogat-Zellen wurden frisch isolierte periphere mononukleäre Zellen (PBMCs) sowie die permanente Lymphozyten-Zelllinie Jurkat eingesetzt und deren ATP-Gehalt mittels Luziferin-Luziferase-Lumineszenz gemessen. Der Test wird nicht durch Lipopolysaccharid gestört und auch Aluminiumhydroxid übt erst nach mehreren Stunden Inkubation einen interferierenden Einfluss aus. Ebenso konnte aktives Pertussis-Toxin mit Hilfe kryokonservierter PBMCs detektiert werden, auch in orientierenden Versuchen mit komplexen Impfstoffen. Der Pertussis-ATP-Test kommt der In vivo-Situation in der Zelle sehr nahe, weil beide Untereinheiten des Toxins in einem Test überprüft werden. Demnach soll er Bestandteil einer geplanten internationalen Studie zu alternativen Pertussis-Toxin-Testungen sein.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.