Analysis of VME-Bus communication protocol - RTCP-net approach

The paper discusses an RTCP-net approach to design and analysis of an example of VMEbus communication protocol. RTCP-nets are a novel Petri net class, based on time coloured Petri nets but were defined to give users powerful tools for easy and rapid design of real-time systems. Page templates are one of the main advantages of the new nets' design stage. Just modifying values of parameters in the page hierarchy graph is enough to change some features of a modelled system. Therefore, it is easy to experiment on different versions of the same model with very little additional effort. It is also very easy to reorganize page templates in order to model a different structure of a system.Relevant definitions and main properties of RTCP-nets are presented in the paper. A VMEbus communication protocol case study is used to demonstrate some applications of this approach.The work is carried out within KBN Research Project, Grant No. 4 T11C 035 24. Marcin Szpyrka received the M.S. degree in mathematics from the Rzeszów University (Poland) in 1997. He received the Ph. D. degree in computer science from AGH University of Science and Technology in Kraków (Poland) in 2000. Marcin Szpyrka is currently an assistant professor at the Institute of Automatics, AGH-UST. His research interests include: formal methods (Petri nets, process algebras), real-time systems and safety-critical systems. He has published over 40 papers and one book.     

Deployment of a cloud pipeline for real-time visual inspection using fast streaming high-definition images

We investigate the challenges of building an end-to-end cloud pipeline for real-time intelligent visual inspection system for use in automotive manufacturing. Current methods of visual detection in automotive assembly are highly labor intensive, and thus prone to errors. An automated process is sought that can operate within the real-time constraints of the assembly line and can reduce errors. Components of the cloud pipeline include capture of a large set of high-definition images from a camera setup at the assembly location, transfer and storage of the images as needed, execution of object detection, and notification to a human operator when a fault is detected. The end-to-end execution must complete within a fixed time frame before the next car arrives in the assembly line. In this article, we report the design, development, and experimental evaluation of the tradeoffs of performance, accuracy, and scalability for a cloud system.     

Is Evolution Algorithmic?

In Darwin’s Dangerous Idea, Daniel Dennett claims that evolution is algorithmic. On Dennett’s analysis, evolutionary processes are trivially algorithmic because he assumes that all natural processes are algorithmic. I will argue that there are more robust ways to understand algorithmic processes that make the claim that evolution is algorithmic empirical and not conceptual. While laws of nature can be seen as compression algorithms of information about the world, it does not follow logically that they are implemented as algorithms by physical processes. For that to be true, the processes have to be part of computational systems. The basic difference between mere simulation and real computing is having proper causal structure. I will show what kind of requirements this poses for natural evolutionary processes if they are to be computational.     

A comprehensive review of image analysis methods for microorganism counting: from classical image processing to deep learning approaches

Microorganisms such as bacteria and fungi play essential roles in many application fields, like biotechnique, medical technique and industrial domain. Microorganism counting techniques are crucial in microorganism analysis, helping biologists and related researchers quantitatively analyze the microorganisms and calculate their characteristics, such as biomass concentration and biological activity. However, traditional microorganism manual counting methods, such as plate counting method, hemocytometry and turbidimetry, are time-consuming, subjective and need complex operations, which are difficult to be applied in large-scale applications. In order to improve this situation, image analysis is applied for microorganism counting since the 1980s, which consists of digital image processing, image segmentation, image classification and suchlike. Image analysis-based microorganism counting methods are efficient comparing with traditional plate counting methods. In this article, we have studied the development of microorganism counting methods using digital image analysis. Firstly, the microorganisms are grouped as bacteria and other microorganisms. Then, the related articles are summarized based on image segmentation methods. Each part of the article is reviewed by methodologies. Moreover, commonly used image processing methods for microorganism counting are summarized and analyzed to find common technological points. More than 144 papers are outlined in this article. In conclusion, this paper provides new ideas for the future development trend of microorganism counting, and provides systematic suggestions for implementing integrated microorganism counting systems in the future. Researchers in other fields can refer to the techniques analyzed in this paper.

     

Experimentelle und numerische Untersuchungen zum Tragverhalten von Stahlbetondecken mit kugelförmigen Hohlkörpern

Massive Flachdecken erweisen sich in Hoch‐ und Industriebau häufig als insgesamt überlegenes Deckensystem. Die hohe Eigenlast dieser Decken kann ihren Anwendungsbereich jedoch einschränken. Eine sinnvolle Abhilfe schafft dann die Integration von Hohlkörpern in der neutralen Zone, weil hierdurch eine spürbare Gewichtsreduktion eintritt. Neben der Eigenlast wird auch der Verbrauch der unter ökologischen Gesichtspunkten wesentlichen Ressourcen Betonstahl und Zement deutlich verringert. Die Hohlräume beeinflussen vor allem die Querkrafttragfähigkeit solcher Decken. Vier Versuchsserien, die mit kugelförmigen Hohlkörperdecken des Systems “cobiax” durchgeführt wurden, werden in diesem Beitrag beschrieben. Aus den Versuchen wird ein Abminderungsfaktor zur Beschreibung des Querkrafttragverhaltens abgeleitet, der auch in die kürzlich erteilte allgemeine bauaufsichtliche Zulassung des Deckensystems eingegangen ist. Die Nachrechnung der Versuche mit der Finite‐Elemente‐Methode zeigt eine gute Übereinstimmung von Numerik und Experiment, so dass in der Weiterentwicklung Parameterstudien auf dieser Grundlage zur Ergänzung von Versuchen hilfreich sein werden. Experimental and Numerical Investigation of the Bearing Behaviour of Hollow Core Slabs Massive flat slabs have proven to be the most appropriate ceiling system for structural and industrial engineering. However the high dead load of these slabs might reduce their field of application. This problem can be solved by void formers that are placed in the neutral zone. These block‐outs cause a noticeable reduction of weight. Furthermore, the masses of ecologically important resources like reinforcement steel and cement can be reduced as well. The shear bearing capacity is significantly influenced by these block‐outs. This article describes four test series with spherical void former floors of the system “cobiax”. A reduction factor for the shear bearing capacity is derived from these tests. That factor was also introduced in the technical approval for this slab system which has been issued recently. A comparison to a calculation with the finite element method shows that the numerical results and the results of the tests are quite similar. In future research, parameter studies based on the finite element method might be helpful additional to further tests.     

Two-stage method of obtaining high bulk density sodium tripolyphosphate: Design and mechanism of process

The paper presents a two-step method for obtaining sodium tripolyphosphate (STPP) with a bulk density of about 0.90 kg/dm³ after the first step, using sodium phosphates after spray drying and water as the raw materials. STPP with a bulk density of 0.95–1.00 kg/dm³ was generated in the second stage, using STPP from the first step and water as the raw materials. The paper presents statistical analyses to define the process parameters which significantly affect sodium tripolyphosphate bulk density. The determination of the profile approximation and utility function enabled the optimization of process parameters for obtaining a product with a bulk density of 0.95–1.00 kg/dm³. Mechanisms of increasing bulk density was indicated by studies on the microstructure of the product and phase transformation during the process. The data were empirically verified and satisfactory results were found.     

Mesoporous drug carrier systems for enhanced delivery rate of poorly water-soluble drug: nimodipine

Journal of Porous Materials - Two mesoporous silica materials: MCM-41 and SBA-15 were applied as potential nanocarriers for poorly soluble drug—nimodipine. Drug incorporation was performed...     

Preclinical Study of Immunological Isoxazole Derivatives as a Potential Support for Melanoma Chemotherapy

(1) Background: Melanoma is an aggressive neoplasm derived from melanocyte precursors with a high metastatic potential. Responses to chemotherapy and immunotherapy for melanoma remain weak, underlining the urgent need to develop new therapeutic strategies for the treatment of melanoma. (2) Methods: The viability of NHDF and A375 cell cultures after the administration of the tested isoxazole derivatives was assessed after 24-h and 48-h incubation periods with the test compounds in the MTT test. ROS and NO scavenging analyses, a glycoprotein-P activity analysis, a migration assay, a test of apoptosis, and a multiple-criteria decision analysis were also performed. (3) Results: All compounds that were tested resulted in a slower migration of melanoma neoplastic cells. The mechanism of the antitumor activity of the tested compounds was confirmed—i.e., the pro-apoptotic activity of the compounds in A375 cell cultures. Compound O7K qualified for further research. (4) Conclusions: All the tested compounds inhibited the formation of melanoma metastases and demonstrated the ability to reduce the risk of developing drug resistance in the tumor. The MCDA results showed that O7K showed the strongest antitumor activity.