On the Verification of a WiMax Design Using Symbolic Simulation

In top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do not change the design functionality. Unfortunately, with computer simulations it is not possible to completely check that a design transformation is correct in a reasonable amount of time, as the number of test patterns required to do so increase exponentially with the number of system state variables. In this paper, we propose a methodology for the verification of conformance of models generated at higher levels of abstraction in the design process to the design specifications. We model the system behavior using sequence of recurrence equations. We then use symbolic simulation together with equivalence checking and property checking techniques for design verification. Using our proposed method, we have verified the equivalence of three WiMax system models at different levels of design abstraction, and the correctness of various system properties on those models. Our symbolic modeling and verification experiments show that the proposed verification methodology provides performance advantage over its numerical counterpart.Comment: In Proceedings SCSS 2012, arXiv:1307.802

L'extension du principe de libéralisation : le cas de l'exportation d'eau en vrac en Amérique du Nord

C'est pour éviter un retour au chaos des années trente et éviter une troisième guerre mondiale que les nations ont établi l'ordre économique international d'après-guerre sur la règle de droit et les principes de la philosophie libérale. Or, bien que l'on aspirât à un élargissement du rôle de l'État dans l'économie, l'évolution de cet ordre a conduit à une situation inverse. Depuis les années soixante-dix, nous avons assisté à une pression constante sur les pouvoirs publics pour éliminer les mesures de réglementation, voire même libéraliser les secteurs soustraits à la logique marchande et légitimés en fonction d'objectifs sociaux. On se rend compte, maintenant, que la libéralisation n'a rien d'un processus, mais s'élève plutôt au statut de principe dans l'ordre économique international. Un tel principe prescrit une séparation claire entre le politique et l'économique et l'ordre économique international s'oriente, effectivement, vers une dépolitisation toujours plus grande du commerce. La problématique qui se pose est que désormais tout est défini comme une marchandise et toute réglementation gouvernementale ou tout refus de libéraliser, en dépit de justifications sociales, est vu comme du protectionnisme. On parle alors d'une extension du principe de libéralisation. C'est précisément cette problématique qui nous intéresse ici. Si nous regardons ce qu'en disent les théories des relations internationales, la libéralisation n'est pas reconnue comme un principe mais, plutôt, comme un moyen servant une fin ou les intérêts des États ou autres acteurs non-étatiques. De même, la théorie libérale associe la libéralisation avec la paix et la prospérité mondiales. De ce fait, les théories ne se questionnent pas sur cette problématique et, par conséquent, celle-ci n'est pas abordée de front. Il semble, également, que les politiques publiques doivent se justifier en tant que dérogation au principe de libéralisation et non en fonction d'objectifs sociaux ou environnementaux relevant d'une logique collective. Ainsi, c'est dans un contexte théorique et politique qui privilégie un plus grand recours aux mesures de libéralisation que s'inscrit le débat sur la problématique de l'eau en vrac dont l'issue la plus crédible et la seule « acceptable » serait la commercialisation.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : théories des relations internationales, ordre économique international, libéralisation, marchandisation, services publics, bien commun, eau en vrac

Traditional Foods as Putative Sources of Antioxidants with Health Benefits in Konzo

Konzo is a toxico-nutritional neurological disease associated with oxidative damage induced by cyanide poisoning through the ingestion of poorly processed bitter cassava. Dietary uses and patterns, determined using food frequency questionnaires, structured interviews and direct observation in consenting households to Kahemba, the rural area most affected by konzo in the world, showed that the diet of affected population is not varied and largely dependent on cassava (Manihot esculenta Crantz) products. Commonly consumed foodstuffs include herbal teas, mushrooms, spices, vegetables and yams. Phytochemical composition of extracts revealed that they contained flavonoids and phenolic acids as major compounds. All extracts of investigated traditional foods at the concentration range of 0.25–20 μg/mL, displayed high radical scavenging and cellular antioxidant activities using lucigenin on equine neutrophils, related to their phenolic content. The leaves of Manihot esculenta and Manihot glaziovii exhibited the highest antioxidant activity among vegetables. Lippia multiflora is the most active of the herbal teas, Auricularia delicata of mushrooms, Dioscorea alata of yams and Ocimum basilicum of spices. Traditional foods showed more efficient effects on extracellular ROS production and MPO activity. Traditional foods have interesting antioxidant, anti-inflammatory properties and could putatively be used as functional foods or nutraceuticals in the prevention of oxidative damage associated with konzo

La résistance à la pourriture des cabosses due à Phytophthora spp., recherche des composantes de la résistance

La pourriture des cabosses du cacaoyer, due à des #Phytophthora#, sévit dans toutes les zones de production. Avec plus de 50 % de pertes de cabosses, l'Afrique centrale est la région la plus affectée par cette maladie. Le contrôle de cette maladie représente donc un enjeu majeur pour l'avenir de la cacaoculture mondiale et la sélection de matériel résistant constitue l'un des thèmes de recherche prioritaire pour de nombreux pays producteurs. Un projet international sur ce sujet, recevant un support financier de Caobisco, a débuté en juillet 1995. Ce projet, d'une durée de 5 ans, a pour objectifs : d'identifier les facteurs intervenants dans la résistance à cette maladie, de mettre au point et de valider des tests précoces de résistance, de détecter d'éventuels QTLs associés à la résistance et d'effectuer une première sélection de matériel résistant.Cet article présente les principaux résultats obtenus après 3 ans de fonctionnement. (Résumé d'auteur

Antioxidant potentiality of three herbal teas consumed in Bandundu rural areas of Congo.

peer reviewedThe aim of this study was to evaluate and compare the cellular antioxidant activities of Lantana montevidensis, Lippia multiflora, and Ocimum gratissimum leaves often consumed as herbal teas in a rural area of Bandundu severely affected by konzo, which is related to oxidative damage. Consequently, dietary supplements with proven antioxidant potentialities could be of real interest to promote in this area. Phytochemical screening by TLC and HPLC-DAD of extracts revealed the presence of verbascoside as a major phenolic compound. Verbascoside in L. montevidensis and O. gratissimum is reported here for the first time. All extracts displayed high ABTS and DPPH radical-scavenging activities at the concentration range of 1-40 mug mL-1 according to order: L. multiflora > O. gratissimum > L. montevidensis. L. multiflora showed the best cellular antioxidant activity using DCFH-DA on HL-60 monocytes assay at 1-20 mug mL-1. These herbal teas may be used as nutraceuticals for their potent antioxidant activity