Verification of functional and non-functional requirements of web service composition

Abstract. Web services have emerged as an important technology nowadays. There are two kinds of requirements that are crucial to web service composition, which are functional and non-functional requirements. Functional requirements focus on functionality of the composed service, e.g., given a booking service, an example of functional requirements is that a flight ticket with price higher than $2000 will never be purchased. Non-functional requirements are concerned with the quality of service (QoS), e.g., an example of the booking service’s non-functional requirements is that the service will respond to the user within 5 sec-onds. Non-functional requirements are important to web service composition, and are often an important clause in service-level agreements (SLAs). Even though the functional requirements are satisfied, a slow or unreliable service may still not be adopted. In our paper, we propose an automated approach to verify combined functional and non-functional requirements directly based on the semantics of web service composition. Our approach has been implemented and evaluated on the real-world case studies, which demonstrate the effectiveness of our method.

Towards real-time detection of squamous pre-cancers from oesophageal endoscopic videos

This study investigates the feasibility of applying state of the art deep learning techniques to detect precancerous stages of squamous cell carcinoma (SCC) cancer in real time to address the challenges while diagnosing SCC with subtle appearance changes as well as video processing speed. Two deep learning models are implemented, which are to determine artefact of video frames and to detect, segment and classify those no-artefact frames respectively. For detection of SCC, both mask-RCNN and YOLOv3 architectures are implemented. In addition, in order to ascertain one bounding box being detected for one region of interest instead of multiple duplicated boxes, a faster non-maxima suppression technique (NMS) is applied on top of predictions. As a result, this developed system can process videos at 16-20 frames per second. Three classes are classified, which are ‘suspicious’, ‘high grade’ and ‘cancer’ of SCC. With the resolution of 1920x1080 pixels of videos, the average processing time while apply YOLOv3 is in the range of 0.064-0.101 seconds per frame, i.e. 10-15 frames per second, while running under Windows 10 operating system with 1 GPU (GeForce GTX 1060). The averaged accuracies for classification and detection are 85% and 74% respectively. Since YOLOv3 only provides bounding boxes, to delineate lesioned regions, mask-RCNN is also evaluated. While better detection result is achieved with 77% accuracy, the classification accuracy is similar to that by YOLOYv3 with 84%. However, the processing speed is more than 10 times slower with an average of 1.2 second per frame due to creation of masks. The accuracy of segmentation by mask-RCNN is 63%. These results are based on the date sets of 350 images. Further improvement is hence in need in the future by collecting, annotating or augmenting more datasets

Synthesis and Characterization of Photoresponsive Macromolecule for Biomedical Application

Azobenzene, a photo switcher, has attracted increasing interest due to its structural response to photo stimulus in the field of information science and chemical sensing in the recent decades. However, limited water solubility and cytotoxicity restrained their applications in the biomedical field. In research, HA-AZO has been designed as a water soluble photo switcher in biomedical application. Synthesized HA-AZO had good water-solubility and a stable π-π* transition absorbance peak trans-isomer. With exposure to UV, transformation from trans-isomer to cis-isomer of HA-AZO could be realized according to UV spectra. Reversely, trans-isomer could be gradually recovered from cis-isomer in the dark. Simultaneously, quick response and slow recovery could be detected in the process of structural change. Moreover, repeated illumination was further used to detect the antifatigue property of HA-AZO, which showed no sign of fatigue during 20 circles. The influence of pH value on UV spectrum for HA-AZO was investigated in the work. Importantly, in acid solution, HA-AZO no longer showed any photoresponsive property. Additionally, the status of HA-AZO under the effect of UV light was investigated by DLS results and TEM image. Finally, in vitro cytotoxicity evaluations were performed to show the effects of photoresponsive macromolecule on cells

IvyGPT: InteractiVe Chinese pathwaY language model in medical domain

General large language models (LLMs) such as ChatGPT have shown remarkable success. However, such LLMs have not been widely adopted for medical purposes, due to poor accuracy and inability to provide medical advice. We propose IvyGPT, an LLM based on LLaMA that is trained and fine-tuned with high-quality medical question-answer (QA) instances and Reinforcement Learning from Human Feedback (RLHF). After supervised fine-tuning, IvyGPT has good multi-turn conversation capabilities, but it cannot perform like a doctor in other aspects, such as comprehensive diagnosis. Through RLHF, IvyGPT can output richer diagnosis and treatment answers that are closer to human. In the training, we used QLoRA to train 33 billion parameters on a small number of NVIDIA A100 (80GB) GPUs. Experimental results show that IvyGPT has outperformed other medical GPT models.Comment: 5 pages, 3 figure

Design, Synthesis, Investigation, and Application of a Macromolecule Photoswitch

Azobenzene (AZO) has attracted increasing interest due to its reversible structural change upon a light stimulus. However, poor fatigue durability and the photobleaching phenomenon restricts its further application. Herein, the AZO domain as a pendent group, was incorporated into copolymers, which was synthesized by radical copolymerization in the research. Structure-properties of synthesized copolymer can be adjusted by monomer ratios. Emphatically, responsive properties of copolymer in different solutions were investigated. In the DMSO solution, copolymer exhibited effective structural change, stable rapid responsive time (1 min) upon UV light at room temperature, stable relative acceptable recovery time (100 min) upon white light at room temperature, and good fatigue resistance property. In an aqueous solution, even more controllable responsive properties and fatigue resistance properties for copolymer were verified by results. More pervasively, the recovery process could be controlled by light density and temperature. In order to clarify reasons for the difference between the AZO molecule and the AZO domain of copolymer, energy barrier or interactions between single atoms or even structural units was calculated using the density functional theory (DFT). Furthermore, the status of copolymer was characterized by dynamic light scattering (DLS) and transmission electron microscope (TEM). Finally, copolymer was further functionalized with bioactive protein (concanavalin, ConA) to reduce the cytotoxicity of the AZO molecule

Associations of Pulmonary Fibrosis with Peripheral Blood Th1/Th2 Cell Imbalance and EBF3 Gene Methylation in Uygur Pigeon Breeder’s Lung Patients

Background/Aims Pigeon breeder’s lung (PBL) results from Th1/Th2 cell imbalance. B cells inhibit the immune activity of Th1, and EBF3 is a key B cell factor. This study explored the relationship between EBF3 and Th1/Th2 imbalance in chronic PBL cases complicated with pulmonary fibrosis (PF). Methods Twenty Uygur PBL+PF patients, 20 pigeon breeders without PBL or PF, and 20 healthy individuals without pigeon breeding history constituted the patient I, negative control, and normal control groups, respectively. Peripheral blood specimens and case backgrounds were collected between June 2016 and March 2017. EBF3 gene methylation was analyzed by matrix assisted laser desorption ionization-time of flight mass spectrometry. To compare different mechanisms of PF progression in PBL, samples from 20 Uygur PBL patients without PF (at acute and sub-acute stages) were collected between October 2017 and February 2018, constituting the patient II group. EBF3 mRNA expression was evaluated by real-time polymerase chain reaction. IFN-γ, IL-4 and IL-10 expression and Th1/Th2 imbalance in PBL were evaluated by enzyme-linked immunosorbent assay and flow cytometry. Results CpG-2 and general methylation rates in the patient I group were lower than those in the control groups (P˂0.017). The level of EBF3 mRNA expression in the patient I group was significantly higher than that in any other group. Compared with the control groups, the patient I group showed a significantly higher level of IL-4, whereas the patient II group showed a significantly lower level. IL-10 was also expressed more highly in the patient I group than in any other group (P< 0.01). Flow cytometry showed INF-γ dominance (Th1 cytokine) in PBL at the acute/sub-acute stage and IL-4 dominance (Th2 cytokine) at the chronic stage after PF occurred. The general methylation rate was negatively correlated with the mRNA level, with the latter being positively correlated with the IL-10 level and number of pigeons bred in the past 3 months. IL-4 expression was negatively correlated with INF-γ but positively correlated with PF area and duration of pigeon breeding history. Conclusions After PF occurs in chronic PBL, the inflammation type changes from Th1 dominance to Th2 dominance. During PBL development, IL-10 increases before IL-4 does, which may be associated with EBF3 hypomethylation and the involvement of B lymphocytes

Genome-wide analysis of circular RNAs in goat skin fibroblast cells in response to Orf virus infection

Orf, caused by Orf virus (ORFV), is a globally distributed zoonotic disease responsible for serious economic losses in the agricultural sector. However, the mechanism underlying ORFV infection remains largely unknown. Circular RNAs (circRNAs), a novel type of endogenous non-coding RNAs, play important roles in various pathological processes but their involvement in ORFV infection and host response is unclear. In the current study, whole transcriptome sequencing and small RNA sequencing were performed in ORFV-infected goat skin fibroblast cells and uninfected cells. A total of 151 circRNAs, 341 messenger RNAs (mRNAs), and 56 microRNAs (miRNAs) were differently expressed following ORFV infection. Four circRNAs: circRNA1001, circRNA1684, circRNA3127 and circRNA7880 were validated by qRT-PCR and Sanger sequencing. Gene ontology (GO) analysis indicated that host genes of differently expressed circRNAs were significantly enriched in regulation of inflammatory response, epithelial structure maintenance, positive regulation of cell migration, positive regulation of ubiquitin-protein transferase activity, regulation of ion transmembrane transport, etc. The constructed circRNA-miRNA-mRNA network suggested that circRNAs may function as miRNA sponges indirectly regulating gene expression following ORFV infection. Our study presented the first comprehensive profiles of circRNAs in response to ORFV infection, thus providing new clues for the mechanisms of interactions between ORFV and the host