喹喔啉类衍生物与甲基噻吩共聚物的合成及性质

在二价镍配合物催化下,2,5-二溴-3-甲基噻吩格氏试剂与5,8-二溴-萘基喹喔啉和5,8-二溴-菲基喹喔啉共聚,得到相应的喹喔啉类共轭共聚物,收率分别为65%和68%。通过FT IR、1H-NM R对聚合物及中间体的结构进行了表征。聚合物的循环伏安图中,分别在0.66 V(Epa)/0.37 V(Epc)(Copo ly-m er I),0.78 V(Epa)/-0.06V(Epc)和1.26(Epa)/0.46(Epc)(Copo lym erⅡ)处观察到氧化还原峰,表明该类聚合物有电化学活性。在紫外-可见光谱中,分别在263 nm,323 nm处(Copo lym erⅠ)和299 nm,402 nm处(Copo lym erⅡ)出现吸收峰。所得聚合物分别在504 nm和513 nm处出现荧光最大发射峰。     

Synthesis of tetrazole from α, β—Unsaturated carbonyl fatty acid

Methyl 4-oxo-trans-2-octadecenoate (II), when treated with excess hydrazoic acid in the presence of BF₃-etherate, produced 66% methyl 5-aza-nonadec-trans-2-enoate (4,5-d)-tetrazole (III), 10% methyl 5-aza-nonadec-4-oxo-trans-2-enoate (IV) and 7% pentadecamide (V). Individual products were characterized by spectral and elemental methods.     

Mathematical modeling of reverse osmosis systems

The present investigation pertains to modeling of seawater desalination system. A simulation model was developed and verified for a small-scale reverse osmosis system. The proposed model combines material balances on the feed tank, membrane module andproduct tank with membrane mass transfer models. Finally a comprehensive simulation model has been developed incorporating the effect of mass transfer inhibition The model is non-linear differential equation representing the feed concentration as a function of operating time and space. The solution of the simultaneous differential equations was obtained using the fourth order Runge-Kutta method, due to self starting and stability. The model was verified using the experimental data from the literature [17,24]. Parameter sensitivity was carried out to select the proper step size. The simulation was run for over 1000 11 enabling a prediction of operational performance at high overall system recoveries.     

Decreasing the Sampling Time Interval in Radioactive Particle Tracking

The study of the movement of solids in multiphase reactors using radioactive particle tracking is currently limited to fairly modest particle velocities because of count‐rate limitations of the detection system. In this work, this restriction was overcome by increasing the activity of the radioactive tracer, by decreasing the sampling time interval and by modifying the particle tracking software to recognize which detectors were saturated and to use only the data from the remaining unsaturated detectors. Higher tracer activity resulted in lower standard deviation of the calculated tracer coordinates.     

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*

Social commitments have been extensively and effectively used to represent and model business contracts among autonomous agents having competing objectives in a variety of areas (e.g., modeling business processes and commitment-based protocols). However, the formal verification of social commitments and their fulfillment is still an active research topic. This paper presents CTLC⁺ that modifies CTLC, a temporal logic of commitments for agent communication that extends computation tree logic (CTL) logic to allow reasoning about communicating commitments and their fulfillment. The verification technique is based on reducing the problem of model checking CTLC⁺ into the problem of model checking ARCTL (the combination of CTL with action formulae) and the problem of model checking GCTL^* (a generalized version of CTL^* with action formulae) in order to respectively use the extended NuSMV symbolic model checker and the CWB-NC automata-based model checker as a benchmark. We also prove that the reduction techniques are sound and the complexity of model checking CTLC⁺ for concurrent programs with respect to the size of the components of these programs and the length of the formula is PSPACE-complete. This matches the complexity of model checking CTL for concurrent programs as shown by Kupferman et al. We finally provide two case studies taken from business domain along with their respective implementations and experimental results to illustrate the effectiveness and efficiency of the proposed technique. The first one is about the NetBill protocol and the second one considers the Contract Net protocol.     

Data aggregation and routing in Wireless Sensor Networks: Optimal and heuristic algorithms

A fundamental challenge in the design of Wireless Sensor Networks (WSNs) is to maximize their lifetimes especially when they have a limited and non-replenishable energy supply. To extend the network lifetime, power management and energy-efficient communication techniques at all layers become necessary. In this paper, we present solutions for the data gathering and routing problem with in-network aggregation in WSNs. Our objective is to maximize the network lifetime by utilizing data aggregation and in-network processing techniques. We particularly focus on the joint problem of optimal data routing with data aggregation en route such that the above mentioned objective is achieved. We present Grid-based Routing and Aggregator Selection Scheme (GRASS), a scheme for WSNs that can achieve low energy dissipation and low latency without sacrificing quality. GRASS embodies optimal (exact) as well as heuristic approaches to find the minimum number of aggregation points while routing data to the Base-Station (BS) such that the network lifetime is maximized. Our results show that, when compared to other schemes, GRASS improves system lifetime with acceptable levels of latency in data aggregation and without sacrificing data quality.     

Central Aggregator Intrusion Detection System for Denial of Service Attacks

Vehicle-to-grid technology is an emerging field that allows unused power from Electric Vehicles (EVs) to be used by the smart grid through the central aggregator. Since the central aggregator is connected to the smart grid through a wireless network, it is prone to cyber-attacks that can be detected and mitigated using an intrusion detection system. However, existing intrusion detection systems cannot be used in the vehicle-to-grid network because of the special requirements and characteristics of the vehicle-to-grid network. In this paper, the effect of denial-of-service attacks of malicious electric vehicles on the central aggregator of the vehicle-to-grid network is investigated and an intrusion detection system for the vehicle-to-grid network is proposed. The proposed system, central aggregator–intrusion detection system (CA-IDS), works as a security gateway for EVs to analyze and monitor incoming traffic for possible DoS attacks. EVs are registered with a Central Aggregator (CAG) to exchange authenticated messages, and malicious EVs are added to a blacklist for violating a set of predefined policies to limit their interaction with the CAG. A denial of service (DoS) attack is simulated at CAG in a vehicle-to-grid (V2G) network manipulating various network parameters such as transmission overhead, receiving capacity of destination, average packet size, and channel availability. The proposed system is compared with existing intrusion detection systems using different parameters such as throughput, jitter, and accuracy. The analysis shows that the proposed system has a higher throughput, lower jitter, and higher accuracy as compared to the existing schemes.     

Effect of uncoated and coated diamond on the compressive properties of porous aluminium composites

Porous aluminium composites are structural and functional materials that have vast potential, due to their lightweight and high energy absorption capacity, especially in automotive and aerospace applications. In this study, the effect of varying content of uncoated and titanium coated diamond particles on the compressive properties of porous aluminium composite was investigated. The composites were developed using powder metallurgy technique and porosity was attained by using polymethylmethacrylate (30 wt.%) as space holder material. The morphology of the pores was found to replicate the shape and size of polymethylmethacrylate particles, that were uniformly distributed in the composites. X-ray diffraction analysis confirmed formation of aluminium carbide in uncoated diamond-based aluminium composites while negligible amount was present in titanium coated porous composites during sintering. The porosities of composites decreased with an increase in diamond content due to the incomplete decomposition of polymethylmethacrylate particles. Moreover, the maximum plateau stress and energy absorption capacity of 9.96 MPa and 1.7 Mj/m³ were obtained for the composites with 8 wt.% of titanium coated diamond particles. Thus, coating inhibits the formation of undesirable compounds and contributes to better interfacial bonding between matrix and reinforcement.     

A taxonomy of argumentation models used for knowledge representation

Understanding argumentation and its role in human reasoning has been a continuous subject of investigation for scholars from the ancient Greek philosophers to current researchers in philosophy, logic and artificial intelligence. In recent years, argumentation models have been used in different areas such as knowledge representation, explanation, proof elaboration, commonsense reasoning, logic programming, legal reasoning, decision making, and negotiation. However, these models address quite specific needs and there is need for a conceptual framework that would organize and compare existing argumentation-based models and methods. Such a framework would be very useful especially for researchers and practitioners who want to select appropriate argumentation models or techniques to be incorporated in new software systems with argumentation capabilities. In this paper, we propose such a conceptual framework, based on taxonomy of the most important argumentation models, approaches and systems found in the literature. This framework highlights the similarities and differences between these argumentation models. As an illustration of the practical use of this framework, we present a case study which shows how we used this framework to select and enrich an argumentation model in a knowledge acquisition project which aimed at representing argumentative knowledge contained in texts critiquing military courses of action.     

Model checking communicative agent-based systems

Model checking is a formal technique used to verify communication protocols against given properties. In this paper, we propose a new model checking algorithm aims at verifying systems designed as a set of autonomous interacting agents. These software agents are equipped with knowledge and beliefs and interact with each other according to protocols governed by a set of logical rules. We present a tableauased version of this algorithm and provide the soundness, completeness, termination and complexity results. A case study about an agent-based negotiation protocol and its implementation are also described.