Siga este enlace para ver otros tipos de publicaciones sobre el tema: Concurrent Component-Based Systems.
Artículos de revistas sobre el tema "Concurrent Component-Based Systems"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Concurrent Component-Based Systems".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
1
Cleaveland, Rance. "Specification formalisms for component-based concurrent systems." ACM SIGSOFT Software Engineering Notes 25, no. 1 (2000): 42–43. http://dx.doi.org/10.1145/340855.340876.
Texto completo
2
Kapová, Lucia, and Steffen Becker. "Systematic Refinement of Performance Models for Concurrent Component-based Systems." Electronic Notes in Theoretical Computer Science 264, no. 1 (2010): 73–90. http://dx.doi.org/10.1016/j.entcs.2010.07.006.
Texto completo
3
Li, Yi, Weidi Sun, and Meng Sun. "Mediator: A component-based modeling language for concurrent and distributed systems." Science of Computer Programming 192 (June 2020): 102438. http://dx.doi.org/10.1016/j.scico.2020.102438.
Texto completo
4
Ali, Awad, Mohammed Bakri Bashir, Alzubair Hassan, et al. "Design-Time Reliability Prediction Model for Component-Based Software Systems." Sensors 22, no. 7 (2022): 2812. http://dx.doi.org/10.3390/s22072812.
Texto completoResumen
Software reliability is prioritised as the most critical quality attribute. Reliability prediction models participate in the prevention of software failures which can cause vital events and disastrous consequences in safety-critical applications or even in businesses. Predicting reliability during design allows software developers to avoid potential design problems, which can otherwise result in reconstructing an entire system when discovered at later stages of the software development life-cycle. Several reliability models have been built to predict reliability during software development. However, several issues still exist in these models. Current models suffer from a scalability issue referred to as the modeling of large systems. The scalability solutions usually come at a high computational cost, requiring solutions. Secondly, consideration of the nature of concurrent applications in reliability prediction is another issue. We propose a reliability prediction model that enhances scalability by introducing a system-level scenario synthesis mechanism that mitigates complexity. Additionally, the proposed model supports modeling of the nature of concurrent applications through adaption of formal statistical distribution toward scenario combination. The proposed model was evaluated using sensors-based case studies. The experimental results show the effectiveness of the proposed model from the view of computational cost reduction compared to similar models. This reduction is the main parameter for scalability enhancement. In addition, the presented work can enable system developers to know up to which load their system will be reliable via observation of the reliability value in several running scenarios.
5
Bajunaid, Noor, and Daniel A. Menascé. "Efficient modeling and optimizing of checkpointing in concurrent component-based software systems." Journal of Systems and Software 139 (May 2018): 1–13. http://dx.doi.org/10.1016/j.jss.2018.01.032.
Texto completo
6
Sirjani, Marjan, Boer Frank De, and Ali Movaghar. "Modular Verification of a Component-Based Actor Language." JUCS - Journal of Universal Computer Science 11, no. (10) (2005): 1695–717. https://doi.org/10.3217/jucs-011-10-1695.
Texto completoResumen
Rebeca is an actorbased language for modeling concurrent and distributed systems as a set of reactive objects which communicate via asynchronous message passing. Rebeca is extended to support synchronous communication, and at the same time components are introduced to encapsulate the tightly coupled reactive objects which may communicate by synchronous messages. This provide us a language for modeling globally asynchronous and locally synchronous systems. Components interact only by asynchronous messages. This feature and also the event-driven nature of the computation are exploited to introduce a modular verification approach in order to overcome the state explosion problem in model checking. In this paper we elaborate on the corresponding theory of the modular verification approach which is based on the formal semantics of components in extended Rebeca.
7
Pham, Thanh-Trung, Xavier Défago, and Quyet-Thang Huynh. "Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors." Science of Computer Programming 97 (January 2015): 426–57. http://dx.doi.org/10.1016/j.scico.2014.03.016.
Texto completo
8
Autili, Marco, Leonardo Mostarda, Alfredo Navarra, and Massimo Tivoli. "Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems." Journal of Systems and Software 81, no. 12 (2008): 2210–36. http://dx.doi.org/10.1016/j.jss.2008.04.006.
Texto completo
9
Aoumeur, Nasreddine, and Gunter Saake. "Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal." Data & Knowledge Engineering 50, no. 2 (2004): 117–73. http://dx.doi.org/10.1016/j.datak.2003.10.005.
Texto completo
10
Chen, Bin, Jie Hu, Jin Qi, and Weixing Chen. "Concurrent multi-process graph-based design component synthesis: Framework and algorithm." Engineering Applications of Artificial Intelligence 97 (January 2021): 104051. http://dx.doi.org/10.1016/j.engappai.2020.104051.
Texto completo
11
Pujari, Niharika, Abhishek Ray, and Jagannath Singh. "An efficient and precise dynamic slicing for concurrent component-oriented programs." International Journal of Knowledge-based and Intelligent Engineering Systems 25, no. 4 (2022): 449–64. http://dx.doi.org/10.3233/kes-210088.
Texto completoResumen
A dynamic slicing algorithm is proposed in this paper along with its implementation which is dynamic for concurrent Component-oriented programs carrying multiple threads. As a part of representing the concurrent COP (CCOP) effectively, an intermediate graph is developed called Concurrent Component Dependency Graph (CCmDG). The system dependence graph (SDG) for individual components and interfaces are integrated to represent the above intermediate graph. It also consists of some new dependence edges which have been triggered for connecting the individual dependence graph of each component with the interface. Based on the graph created for the CCOP, a dynamic slicing algorithm is proposed, which sets the resultant by making the executed nodes marked during run time in Concurrent Components Dynamic Slicing (CCmDS) appropriately. For checking the competence of our algorithm, five case studies have been considered and also compared with an existing technique. From the study, we found that our algorithm results in smaller and precise size slice compared to the existing algorithm in less time.
12
Bertoni, Alessandro, and Marco Bertoni. "Supporting Early Stage Set-Based Concurrent Engineering with Value Driven Design." Proceedings of the Design Society: International Conference on Engineering Design 1, no. 1 (2019): 2367–76. http://dx.doi.org/10.1017/dsi.2019.243.
Texto completoResumen
AbstractSet-Based Concurrent Engineering is commonly adopted to drive the development of complex products and systems. However, its application requires design information about a future product that is often not mature enough in the early design stages, and that it is not encompassing a service and lifecycle- oriented perspective. There is a need for manufacturers to understand, since the early design stages, how customer value is created along the lifecycle of a product from a hardware and service perspective, and how to use such information to screen radically new technologies, trade-off promising design configurations and commit to a design concept. The paper presents an approach for the multidisciplinary value assessment of design concepts in sub-systems design, encompassing the high-level concept screening and the trade-off of different design concepts, and enabling the integration of value models results into a Set-based Concurrent Engineering process. The approach is described through its application in the case study of the development of a subsystem component for a commercial aircraft engine.
13
Sirjani, Marjan, Ali Movaghar, Amin Shali, and Frank S. de Boer. "Modeling and Verification of Reactive Systems using Rebeca." Fundamenta Informaticae 63, no. 4 (2004): 385–410. https://doi.org/10.3233/fun-2004-63405.
Texto completoResumen
Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their correctness. In this paper, we develop an actor-based model for describing such systems, use temporal logic to specify properties of the model, and apply different abstraction and verification methods for verifying that the model meets its specification. We use a compositional verification approach for verifying safety properties of these models. For that we introduce a notion of component, based on an user-defined decomposition of the model. Components are more abstract than the model itself, and so we can reduce the state space of the model which makes it more amenable to model checking techniques. We prove that our abstraction technique preserves a set of behavioral specifications in temporal logic. The soundness of the abstraction is proved by the weak simulation relation between the constructs.
14
Rahimi, Shahram, Rishath A. S. Rias, and Elham S. Khorasani. "An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi." International Journal of Software Science and Computational Intelligence 4, no. 1 (2012): 55–83. http://dx.doi.org/10.4018/jssci.2012010103.
Texto completoResumen
The complexity of designing concurrent and highly-evolving interactive systems has grown to a point where system verification has become a hurdle. Fortunately, formal verification methods have arrived at the right time. They detect errors, inconsistencies and incompleteness at early development stages of a system formally modeled using a formal specification language. -calculus (Milner, 1999) is one such formal language which provides strong mathematical base that can be used for verifying system specifications. But manually verifying the specifications of concurrent systems is a very tedious and error-prone work, especially if the specifications are large. Consequently, an automated verification tool would be essential for efficient system design and development. In addition, formal verification tools are vital ingredient to fully harness the potential of component-based software composition. The authors developed such an automated verification tool which is highly portable and seamlessly integrates with the visualization, reduction and performance evaluation tools introduced (Ahmad & Rahimi, 2008; Rahimi, 2006; Rahimi et al., 2001, 2008) to provide a comprehensive tool for designing and analyzing multi process/agent systems. Open-Bisimulation (Sangiorgi, 1996) concept is utilized as the theoretical base for the design and implementation of the tool which incorporates an expert system implemented in Java Expert System Shell (JESS) (Friedman-Hill, 2003).
15
Chen, Ye, and Zhelong Wang. "A hierarchical method for human concurrent activity recognition using miniature inertial sensors." Sensor Review 37, no. 1 (2017): 101–9. http://dx.doi.org/10.1108/sr-05-2016-0085.
Texto completoResumen
Purpose Existing studies on human activity recognition using inertial sensors mainly discuss single activities. However, human activities are rather concurrent. A person could be walking while brushing their teeth or lying while making a call. The purpose of this paper is to explore an effective way to recognize concurrent activities. Design/methodology/approach Concurrent activities usually involve behaviors from different parts of the body, which are mainly dominated by the lower limbs and upper body. For this reason, a hierarchical method based on artificial neural networks (ANNs) is proposed to classify them. At the lower level, the state of the lower limbs to which a concurrent activity belongs is firstly recognized by means of one ANN using simple features. Then, the upper-level systems further distinguish between the upper limb movements and infer specific concurrent activity using features processed by the principle component analysis. Findings An experiment is conducted to collect realistic data from five sensor nodes placed on subjects’ wrist, arm, thigh, ankle and chest. Experimental results indicate that the proposed hierarchical method can distinguish between 14 concurrent activities with a high classification rate of 92.6 per cent, which significantly outperforms the single-level recognition method. Practical implications In the future, the research may play an important role in many ways such as daily behavior monitoring, smart assisted living, postoperative rehabilitation and eldercare support. Originality/value To provide more accurate information on people’s behaviors, human concurrent activities are discussed and effectively recognized by using a hierarchical method.
16
Lowe, Gavin. "Parameterized verification of systems with component identities, using view abstraction." International Journal on Software Tools for Technology Transfer 24, no. 2 (2022): 287–324. http://dx.doi.org/10.1007/s10009-022-00648-0.
Texto completoResumen
AbstractThe parameterized verification problem seeks to verify all members of some collection of systems. We consider the parameterized verification problem applied to systems that are composed of an arbitrary number of component processes, together with some fixed processes. The components are taken from one or more families, each family representing one role in the system; all components within a family are symmetric to one another. Processes communicate via synchronous message passing. In particular, each component process has an identity, which may be included in messages, and passed to third parties. We extend Abdulla et al.’s technique of view abstraction, together with techniques based on symmetry reduction, to this setting. We give an algorithm and implementation that allows such systems to be verified for an arbitrary number of components: we do this for both safety and deadlock-freedom properties. We apply the techniques to a number of examples. We can model both active components, such as threads, and passive components, such as nodes in a linked list: thus our approach allows the verification of unbounded concurrent datatypes operated on by an unbounded number of threads. We show how to combine view abstraction with additional techniques in order to deal with other potentially infinite aspects of the analysis: for example, we deal with potentially infinite specifications, such as a datatype being a queue; and we deal with unbounded types of data stored in a datatype.
17
Dong, Shengli, Xinghan Xu, Yuhang Chen, Yifang Zhang, and Shengzheng Wang. "Double-Layer Distributed and Integrated Fault Detection Strategy for Non-Gaussian Dynamic Industrial Systems." Entropy 26, no. 10 (2024): 815. http://dx.doi.org/10.3390/e26100815.
Texto completoResumen
Currently, with the increasing scale of industrial systems, multisensor monitoring data exhibit large-scale dynamic Gaussian and non-Gaussian concurrent complex characteristics. However, the traditional principal component analysis method is based on Gaussian distribution and uncorrelated assumptions, which are greatly limited in practice. Therefore, developing a new fault detection method for large-scale Gaussian and non-Gaussian concurrent dynamic systems is one of the urgent challenges to be addressed. To this end, a double-layer distributed and integrated data-driven strategy based on Laplacian score weighting and integrated Bayesian inference is proposed. Specifically, in the first layer of the distributed strategy, we design a Jarque–Bera test module to divide all multisensor monitoring variables into Gaussian and non-Gaussian blocks, successfully solving the problem of different data distributions. In the second layer of the distributed strategy, we design a dynamic augmentation module to solve dynamic problems, a K-means clustering module to mine local similarity information of variables, and a Laplace scoring module to quantitatively evaluate the structural retention ability of variables. Therefore, this double-layer distributed strategy can simultaneously combine the different distribution characteristics, dynamism, local similarity, and importance of variables, comprehensively mining the local information of the multisensor data. In addition, we develop an integrated Bayesian inference strategy based on detection performance weighting, which can emphasize the differential contribution of local models. Finally, the fault detection results for the Tennessee Eastman production system and a diesel engine working system validate the superiority of the proposed method.
18
Xu, Mingdi, Zhaoyang Jin, Shengjie Ye, and Haipeng Fan. "Characteristic Canonical Analysis-Based Attack Detection of Industrial Control Systems in the Geological Drilling Process." Processes 12, no. 9 (2024): 2053. http://dx.doi.org/10.3390/pr12092053.
Texto completoResumen
Modern industrial control systems (ICSs), which consist of sensor nodes, actuators, and buses, contribute significantly to the enhancement of production efficiency. Massive node arrangements, security vulnerabilities, and complex operating status characterize ICSs, which lead to a threat to the industrial processes’ stability. In this work, a condition-monitoring method for ICSs based on canonical variate analysis with probabilistic principal component analysis is proposed. This method considers the essential information of the operating data. Firstly, the one-way analysis of variance method is utilized to select the major variables that affect the operating performance. Then, a concurrent monitoring model based on probabilistic principal component analysis is established on both the serially correlated canonical subspace and its residual subspace, which is divided by canonical variate analysis. After that, monitoring statistics and control limits are constructed. Finally, the effectiveness and superiority of the proposed method are validated through comparisons with actual drilling operations. The method has better sensitivity than traditional monitoring methods. The experimental result reveals that the proposed method can effectively monitor the operating performance in a drilling process with its highest accuracy of 92.31% and a minimum monitoring delay of 11 s. The proposed method achieves much better effectiveness through real-world process scenarios due to its distributed structural division and the characteristic canonical analysis conducted in this paper.
19
Sanan, David, Yongwang Zhao, Shang-Wei Lin, and Liu Yang. "CSim 2." ACM Transactions on Programming Languages and Systems 43, no. 1 (2021): 1–46. http://dx.doi.org/10.1145/3436808.
Texto completoResumen
To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properties verified on top layers (representing abstract specifications of a system) are propagated down to the lowest layers (that are an implementation of the top layers). There is no need to say that simulation of concurrent systems implies a greater level of complexity, and having compositional techniques to check simulation between layers is also desirable when seeking for both feasibility and scalability of the refinement verification. In this article, we present CSim 2 a (compositional) rely-guarantee-based framework for the top-down verification of complex concurrent systems in the Isabelle/HOL theorem prover. CSim 2 uses CSimpl, a language with a high degree of expressiveness designed for the specification of concurrent programs. Thanks to its expressibility, CSimpl is able to model many of the features found in real world programming languages like exceptions, assertions, and procedures. CSim 2 provides a framework for the verification of rely-guarantee properties to compositionally reason on CSimpl specifications. Focusing on top-down verification, CSim 2 provides a simulation-based framework for the preservation of CSimpl rely-guarantee properties from specifications to implementations. By using the simulation framework, properties proven on the top layers (abstract specifications) are compositionally propagated down to the lowest layers (source or machine code) in each concurrent component of the system. Finally, we show the usability of CSim 2 by running a case study over two CSimpl specifications of an Arinc-653 communication service. In this case study, we prove a complex property on a specification, and we use CSim 2 to preserve the property on lower abstraction layers.
20
Ahzaliza, Dian, Hasan Maksum, Wakhinuddin Wakhinuddin, and Eko Indrawan. "Evaluation of Learning Program Subjects for Building Utility Systems Based on Facilities and Infrastructure Standards Using the CIPPO Model at SMK Negeri 2 Banda Aceh." Jurnal Pendidikan Teknologi Kejuruan 5, no. 1 (2022): 1–7. http://dx.doi.org/10.24036/jptk.v5i1.24723.
Texto completoResumen
Based on interviews at SMK Negeri 2 Banda Aceh in 2021, obtained from 25 students, 4 people did not pass the skills test in the subject of building utility systems, with an average knowledge score of 79.2 and an average skill score of 78.4 One of the factors is the inadequate infrastructure in carrying out the learning process, especially practicum learning. The purpose of the study was to evaluate the learning process of building utility system subjects in the Construction and Property Engineering Expertise Program using the CIPPO model at SMK Negeri 2 Banda Aceh City. This research is an evaluation research using the CIPPO model, namely the evaluation of the context, input, process, product and outcome. The type of research is a mixed method with Concurrent Triangulation Strategy. Sources of qualitative data were obtained from the Principal, Deputy Principal of the School of Facilities and Infrastructure, Head of the Construction and Property Engineering Expertise Program, Head of Lab and 5. Teachers who teach building utility systems at SMK Negeri 2 Banda Aceh. Quantitative data were taken from 40 students of class XII and XIII. The results showed that the context component was in the sufficient category (73.59%), the Input component was in the sufficient category (75.69%), the process component was in the sufficient category (72.01%), the Product component was in the sufficient category (66.5 %), and the outcome component is also in the sufficient category (73.25%). Because all components are in the sufficient category, it is recommended to make appropriate improvements to improve student achievement abilities in the subject of building utility systems in the Construction and Property Engineering Expertise Program at SMK Negeri 2 Banda Aceh.
21
San, Khin Thida, Sun Ju Mun, Yeong Hun Choe, and Yoon Seok Chang. "UAV Delivery Monitoring System." MATEC Web of Conferences 151 (2018): 04011. http://dx.doi.org/10.1051/matecconf/201815104011.
Texto completoResumen
UAV-based delivery systems are increasingly being used in the logistics field, particularly to achieve faster last-mile delivery. This study develops a UAV delivery system that manages delivery order assignments, autonomous flight operation, real time control for UAV flights, and delivery status tracking. To manage the delivery item assignments, we apply the concurrent scheduler approach with a genetic algorithm. The present paper describes real time flight data based on a micro air vehicle communication protocol (MAVLink). It also presents the detailed hardware components used for the field tests. Finally, we provide UAV component analysis to choose the suitable components for delivery in terms of battery capacity, flight time, payload weight and motor thrust ratio.
22
VERLINDEN, NICO, and DIRK JANSSENS. "Algebraic properties of processes for Local Action Systems." Mathematical Structures in Computer Science 12, no. 4 (2002): 423–48. http://dx.doi.org/10.1017/s096012950100353x.
Texto completoResumen
Graph rewriting has been used extensively to model the behaviour of concurrent systems and to provide a formal semantics for them. In this paper, we investigate processes for Local Action Systems (LAS); LAS generalize several types of graph rewriting based on node replacement and embedding. An important difference between processes for Local Action Systems and the process notions that have been introduced for other systems, for example, Petri nets, is the presence of a component describing the embedding mechanism. The aim of the paper is to develop a methodology for dealing with this embedding mechanism: we introduce a suitable representation (a dynamic structure) for it, and then investigate the algebraic properties of this representation. This leads to a simple characterization of the configurations of a process and to a number of equational laws for dynamic structures. We illustrate the use of these laws by providing an equational proof of one of the basic results for LAS processes, namely that the construction yielding the result graph of a process behaves well with respect to the sequential composition of processes.
23
CAO, JIAN, and SHENSHENG ZHANG. "AN INTEGRATED MULTI-AGENT CSCW SYSTEM FOR CONCURRENT PRODUCT DEVELOPMENT." International Journal of Information Technology & Decision Making 01, no. 03 (2002): 423–40. http://dx.doi.org/10.1142/s0219622002000270.
Texto completoResumen
Product development capability is more and more important for an enterprise in a knowledge-based economic era. In the philosophy of concurrent engineering, product development should be carried out in a concurrent way. Computer support is necessary for Concurrent Product Development (CPD). As an excellent tool to meet complex needs, CSCW has been used in CPD. But nearly all CSCW systems that have been developed so far concentrate on a more or less narrow sub-field of cooperative work. Thus, the need of integrated CSCW applications are apparent. The agent is a suitable programming paradigm that can be used to meet the complex needs. In this paper, a P-PROCE (Process, Product, Resource, Organization, Control & Evaluation) model is introduced for CPD firstly. By categorizing the agents of the multi-agent system (MAS) into different types of agent according to P-PROCE model and offering a structure of MAS, the CPD is mapped to MAS. The cooperation among agents is very important for MAS. In the paper, a two-layer cooperation structure of MAS is proposed. In the macro layer, agent based workflow control the CPD process and in the micro layer the entity agents interact with each other directly to fulfill the task. The key issues of these two cooperation layers are discussed in the paper. Component based structure of agent and an implemented case are also provided in the paper.
24
Uzunidis, Dimitris, Fotini Apostolopoulou, Gerasimos Pagiatakis, and Alexandros Stavdas. "Analysis of Available Components and Performance Estimation of Optical Multi-Band Systems." Eng 2, no. 4 (2021): 531–43. http://dx.doi.org/10.3390/eng2040034.
Texto completoResumen
Optical multi-band (OMB) systems exploit the low-loss spectrum of the single mode fiber (SMF) and are key enablers to increase the transportation capacity and node connectivity of already deployed systems. The realization of OMB systems is mainly based on the technological advances on the component and system level, and for this purpose, a broad gamut of various structural elements, such as transceivers, amplifiers, filters, etc. have been commercialized already or are close to commercialization. This wide range of options, which aid in unlocking the concurrent transmission in all amplification bands, is reviewed here for the first time, whilst their pros and cons as well as their limitations are discussed. Furthermore, the needs for additional components in order to fully exploit the ≈390 nm low-loss wavelength range of SMF, which spans from 1260 to 1650 nm, are highlighted. Finally, based on a physical layer formalism, which incorporates the impact of the most important physical layer constraints for an OMB system, the attainable capacity and transparent reach of each amplification band are quantified.
25
Otal, Antonio, Francisco Celada, Jose Chimeno, et al. "Review on Treatment Planning Systems for Cervix Brachytherapy (Interventional Radiotherapy): Some Desirable and Convenient Practical Aspects to Be Implemented from Radiation Oncologist and Medical Physics Perspectives." Cancers 14, no. 14 (2022): 3467. http://dx.doi.org/10.3390/cancers14143467.
Texto completoResumen
Intracavitary brachytherapy (BT, Interventional Radiotherapy, IRT), plays an essential role in the curative intent of locally advanced cervical cancer, for which the conventional approach involves external beam radiotherapy with concurrent chemotherapy followed by BT. This work aims to review the different methodologies used by commercially available treatment planning systems (TPSs) in exclusive magnetic resonance imaging-based (MRI) cervix BT with interstitial component treatments. Practical aspects and improvements to be implemented into the TPSs are discussed. This review is based on the clinical expertise of a group of radiation oncologists and medical physicists and on interactive demos provided by the software manufacturers. The TPS versions considered include all the new tools currently in development for future commercial releases. The specialists from the supplier companies were asked to propose solutions to some of the challenges often encountered in a clinical environment through a questionnaire. The results include not only such answers but also comments by the authors that, in their opinion, could help solve the challenges covered in these questions. This study summarizes the possibilities offered nowadays by commercial TPSs, highlighting the absence of some useful tools that would notably improve the planning of MR-based interstitial component cervix brachytherapy.
26
Fernando, GVC, and Teguh Kristian Perdamaian. "Integrating palliative care into primary healthcare systems: Advocacy efforts, milestones and challenges in Asia." Malaysian Family Physician 19 (October 23, 2024): 61. https://doi.org/10.51866/cm0007.
Texto completoResumen
Palliative care is a vital component of primary healthcare systems, especially in Asia, where the ageing population is expected to increase significantly in the coming years. Integrating palliative care into primary healthcare systems is a crucial strategy for achieving universal access to palliative care. It is necessary to take concurrent actions to achieve this integration, including integrating palliative care into public health policies, educating primary healthcare workers, establishing appropriate service structures and ensuring the availability of controlled medications. Healthcare professionals involved with primary care, often led by physicians, play a significant role in driving the implementation of primary palliative care in Asia, as evidenced by their involvement in community- and home-based palliative care in India and primary palliative care for patients with cancer in Indonesia. However, there are challenges associated with implementing these actions in each country. Therefore, it is crucial to examine the ongoing advocacy efforts, milestones, obstacles and strategies that shape this process in the Asian context.
27
Parrot, Olivier, Claude De Paoli, Alain Rouge, and Catherine Dutey. "4.3.2 Assessing the relevance of systems engineering for electrical commercial product development." INCOSE International Symposium 10, no. 1 (2000): 328–35. http://dx.doi.org/10.1002/j.2334-5837.2000.tb00394.x.
Texto completoResumen
AbstractTraditionally, MGE UPS Systems, like most commercial product suppliers, was used to rely on stamped‐commercial product development practices to manage time‐to‐market. But practices like concurrent engineering, project‐based and steering committee‐driven organization, system life‐cycle, are not anymore sufficient to answer always growing global market constraints. New practices as well as the solving of concurrent engineering side effects are becoming unavoidable.This concerns in particular the introduction of global systems optimization Vs. Component optimization, which traditionally drives product commercial product development.Systems engineering offers potential solutions to solve that issue although it was used so far for types of development and types of system which correspond to features that are almost opposite to ours (large vs. small systems, long vs. fast development, mono‐customer vs. market).Time is a very precious resource for companies like ours, it is very difficult to find some time and motivation to set new practices in use; and especially practices that somehow tell that “you should waste a bit of your time at the beginning of the project to save more later on”.Not an idea to be easily accepted by a product developer or manager ! This is why we carried out the SYRENA experiment, to address both in technical, managerial and cultural terms, the adoption of some systems engineering practices to develop faster small electrical systems.This paper gives a bird's‐eye‐view of the findings of the SYRENA project w.r.t. to the technical, managerial and cultural acceptance of systems engineering.From a technical standpoint, the experiment focused more specifically on the interface between marketing and engineering and addressed the interface of the system‐level requirements engineering process.
28
Fernandes Costa, Tássio, Álvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, and Angelo Perkusich. "Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems." Applied Sciences 12, no. 3 (2022): 1475. http://dx.doi.org/10.3390/app12031475.
Texto completoResumen
Safety and effectiveness are crucial quality attributes for insulin infusion pump systems. Therefore, regulatory agencies require the quality evaluation and approval of such systems before the market to decrease the risk of harm, motivating the usage of a formal Model-Based Approach (MBA) to improve quality. Nevertheless, using a formal MBA increases costs and development time because it requires expert knowledge and thorough analyses of behaviors. We aim to assist the quality evaluation of such systems in a cost-effective and time-efficient manner, providing re-usable project artifacts by applying our proposed approach (named MBA with CPN—MBA/CPN). We defined a Coloured Petri nets MBA and a case study on a commercial insulin infusion pump system to verify and validate a reference model (as a component of MBA/CPN), describing quality assessment scenarios. We also conducted an empirical evaluation to verify the productivity and reusability of modelers when using the reference model. Such a model is relevant to reason about behaviors and quality evaluation of such concurrent and complex systems. During the empirical evaluation, using the reference model, 66.7% of the 12 interviewed modelers stated no effort, while 8.3% stated low effort, 16.7% medium effort, and 8.3% considerable effort. Based on the modelers’ knowledge, we implemented a web-based application to assist them in re-using our proposed approach, enabling simulation-based training. Although a reduced number of modelers experimented with our approach, such an evaluation provided insights to improve the MBA/CPN. Given the empirical evaluation and the case study results, MBA/CPN showed to be relevant to assess the quality of insulin infusion pump systems.
29
Olzak, L. A., J. P. Thomas, and T. D. Wickens. "Simultaneously Judging Contrast in Different Orientation and Frequency Bands." Perception 25, no. 1_suppl (1996): 116. http://dx.doi.org/10.1068/v96l0604.
Texto completoResumen
Previous discrimination experiments suggest that suprathreshold contrast signals carried by orthogonally oriented gratings are combined when component frequencies are similar, but contrast signals are not combined across frequency bands regardless of orientation. We investigated neural and attentional processes underlying these findings in a concurrent-response paradigm. Test stimuli were composed of two superimposed sinusoidal gratings. In one condition, two 3 cycles deg−1 gratings were superimposed at orthogonal orientations to form plaids. In the other condition, the component gratings were 3 cycles deg−1 and 15 cycles deg−1, both vertical. In each condition, each component independently took one of two slightly different contrast values, combined all possible ways to create four stimuli. On each trial, one stimulus appeared for 1 s. Observers made two contrast discrimination judgments, one on the vertical (or low frequency) component, the other based on the horizontal (or high frequency) grating. Highly correlated response patterns and the collapse of two decision axes into nearly one confirmed that observers were unable to make independent judgments of contrast on orthogonally oriented components of similar frequency. Analyses suggested that decisions were based primarily on a single neural signal representing the sum or average of the two contrasts present. When cues to discrimination were in different frequency bands, observers showed a marked inability to perform the simultaneous judgment task, choosing idiosyncratic strategies to maximise performance. Analyses indicated that the contrast information was processed through separate and independent pathways, but that information from the two bands was not simultaneously available to the observer.
30
Brugali, Davide, and Nico Hochgeschwender. "Software Product Line Engineering for Robotic Perception Systems." International Journal of Semantic Computing 12, no. 01 (2018): 89–107. http://dx.doi.org/10.1142/s1793351x18400056.
Texto completoResumen
Control systems for autonomous robots are concurrent, distributed, embedded, real-time and data intensive software systems. A real-world robot control system is composed of tens of software components. For each component providing robotic functionality, tens of different implementations may be available. The difficult challenge in robotic system engineering consists in selecting a coherent set of components, which provide the functionality required by the application requirements, taking into account their mutual dependencies. This challenge is exacerbated by the fact that robotics system integrators and application developers are usually not specifically trained in software engineering. In various application domains, software product line (SPL) development has proven to be the most effective approach to face this kind of challenges. In a previous paper [D. Brugali and N. Hochgeschwender, Managing the functional variability of robotic perception systems, in First IEEE Int. Conf. Robotic Computing, 2017, pp. 277–283.] we have presented a model-based approach to the development of SPL for robotic perception systems, which integrates two modeling technologies developed by the authors: The HyperFlex toolkit [L. Gherardi and D. Brugali, Modeling and reusing robotic software architectures: The HyperFlex toolchain, in IEEE Int. Conf. Robotics and Automation, 2014, pp. 6414–6420.] and the Robot Perception Specification Language (RPSL) [N. Hochgeschwender, S. Schneider, H. Voos and G. K. Kraetzschmar, Declarative specification of robot perception architectures, in 4th Int. Conf. Simulation, Modeling, and Programming for Autonomous Robots, 2014, pp. 291–302.]. This paper extends our previous work by illustrating the entire development process of an SPL for robot perception systems with a real case study.
31
Wijeratne, Tissa, and Sheila G. Crewther. "A Systems Neuroscience Approach to Diagnosis and Rehabilitation of Post COVID Neurological Syndrome Based on the Systems Neuroscience Test Battery (SNTB) Study Protocol." NeuroRehabilitation: An International, Interdisciplinary Journal 56, no. 1 (2025): 37–47. https://doi.org/10.1177/10538135241296773.
Texto completoResumen
The proposed study reports the design and development of a rapid screening tool, the Systems Neuroscience Test Battery (SNTB), for diagnosing and evaluating the neurological manifestations of Post-COVID-19 Neurological Syndrome (PCNS) within the broader context of Post-Acute Sequelae to COVID-19 (PASC). The SNTB is designed to incorporate a behaviorally relevant Telehealth component that enhances consumer confidence in symptom discrimination, management of PCNS, and guides rehabilitation programs while allowing for continuous evaluation of intervention effectiveness. The study employs a longitudinal design, with telehealth and routine blood assessments conducted at three-month intervals, including at least two follow-ups post-recruitment. These assessments will involve Consumer-Reported Symptoms, Clinical History, Neuropsychological Data, and Timed Psychophysics, aimed at rapid screening of PCNS-related symptoms including ‘brain fog” and its affect on visually driven attention, cognition and visually driven motor behaviors. These assessments are intended to validate the characteristics of ‘brain fog’ and identify predictive behavioral biomarkers for the development of PCNS. The target population includes adults aged 18–65 who have experienced persistent neurological symptoms for at least three months following a confirmed COVID-19 infection. Exclusion criteria include individuals unable to undergo radiological examinations, such as pregnant women or those with contraindications to MRI, ensuring the robustness of the sample and reducing potential selection bias. The SNTB tool will facilitate the online identification of predictive biomarkers for PCNS and aid in the discovery of effective molecular biomarker combinations for medical intervention and rehabilitation. Complementary to the Telehealth Assessment, hospital facilities will be utilized for radiological and blood-based molecular assessments, ensuring concurrent profiling of structural and functional changes during ‘brain fog’ and recovery from PCNS symptoms.
32
Borja, V., R. Bell, and J. A. Harding. "Assisting design for manufacture using the data model driven approach." Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 215, no. 12 (2001): 1757–71. http://dx.doi.org/10.1177/095440540121501209.
Texto completoResumen
The data model driven approach argues that computer aided engineering systems should be based on information data models in order to properly support the concurrent design of products. These models are the foundation for database representations of products and factories, and enable information sharing across unlinked software applications that address different stages of the product life cycle. This paper presents a product data model capable of capturing product life cycle information, and in particular its utilization for representing manufacturing information is described. A manufacturing data model that depicts the capabilities of manufacturing cells in terms of their processes and resources is also introduced. The potential benefits of using these data models to support design for manufacture are shown through a case study. The case study includes implementation of the models, their utilization representing a product and three manufacturing facilities, and demonstrates their value in the redesign of a component.
33
Ginting, Mimaika Luluina, Chek Hooi Wong, Zoe Zon Be Lim, et al. "A Patient-Centred Medical Home Care Model for Community-Dwelling Older Adults in Singapore: A Mixed-Method Study on Patient’s Care Experience." International Journal of Environmental Research and Public Health 19, no. 8 (2022): 4778. http://dx.doi.org/10.3390/ijerph19084778.
Texto completoResumen
Patient-Centred Medical Home (PCMH) is a strategy to enhance patient-centredness to improve care experience. We aimed to understand patient experience of an integrated PCMH model for complex community-dwelling older adults in Singapore. We used a mixed-method design with a prospective single-group pre-post quantitative component and a concurrent qualitative component. Participants were administered the validated Consumer Assessment of Health Providers and Systems Clinician & Group Survey (CG-CAHPS) at baseline (N = 184) and 6-month (N = 166) post-enrolment. We conducted focus group discussions (FGDs) on a purposive sample of 24 participants. Both methods suggest better care experience in PCMH relative to usual care. There were improvements in the CG-CAHPS measures on patient–provider communication, care coordination, office staff interactions, support for patients in caring for their own health, and provider rating in PCMH relative to usual care. In the FGDs, participants reported benefits of consolidated appointments and positive experience in sustained patient–provider relationship, shared-decision making, and family/caregiver engagement in PCMH. Participants may not fully comprehend the concept of integrated care, hindering both the effective communication of the intended care model and perceived benefits such as the provision of multidisciplinary team-based care.
34
Trad, Antoine. "A Relational DataBase based Enterprise Transformation Projects." International Journal of Mathematics and Computers in Simulation 17 (June 14, 2023): 1–11. http://dx.doi.org/10.46300/9102.2023.17.1.
Texto completoResumen
Enterprise Transformation Projects (ETP) are important for ensuring long-term business sustainability and operational excellence, but these projects are complex to finalize and have a high failure rate. Transformation complexities are related to various concurrent factors like the use of sets of uncoherent commercial tools/products, simplistic gap estimations, status evaluations, needed cross-functional skills, and many others. Therefore, there is a need to implement an In-House Implemented (IHI) methodology and framework to support ETPs. But such IHI solutions take a long time to be implemented and to be tested; and this article tries to propose a realistic solution that is based on DataBase (DB) or more precisely Relational DBs (RDB). RDB-based IHI solutions and concepts can be gradually built on the usage of internal information systems without the need for continuous colossal investments in external products. The proposed RBD concept tries to show it can support an ETP because the RDB is a component that is used in all ETP operations and subsystems. RDBs contain all the needed information, structures, integrity check mechanisms, and applied mathematical constructs. The proposed RDB-based ETP (RDBbETP) concept adopts a Polymathic-holistic approach, which used iterative change and implementation phases. The RDBbETP uses the author’s Applied Holistic Mathematical Model (AHMM) to interface and manage the RDB (AHMM4RDB).
35
Hartle, Larissa, Liana Mendes-Santos, Eduarda Barbosa, Giulia Balboni, and Helenice Charchat-Fichman. "Evidence of the validity of a novel version of the computerized cognitive screening battery CompCog." Dementia & Neuropsychologia 15, no. 4 (2021): 485–96. http://dx.doi.org/10.1590/1980-57642021dn15-040010.
Texto completoResumen
ABSTRACT Although the availability of the computer-based assessment has increased over the years, neuropsychology has not carried out a significant paradigm shift since the personal computer’s popularization in the 1980s. To keep up with the technological advances of healthcare and neuroscience in general, more efforts must be made in the field of clinical neuropsychology to develop and validate new and more technology-based instruments, especially considering new variables and paradigms when compared to paper and pencil tests. Objective: This study’s objective was to produce concurrent validity evidence of the novel version of the computerized cognitive screening battery CompCog. Methods: Participants performed a traditional paper and pencil neuropsychological testing session and another session where CompCog was administrated. The data of a total of 50 young adult college students were used in the analyses. Results: Results have shown moderate and strong correlations between CompCog’s tasks and their equivalents considering paper and pencil tests. Items clustered in agreement with the subtest division in a principal component analysis. Conclusions: The findings suggest that CompCog is valid for measuring the cognitive processes its tasks intend to evaluate.
36
Schultz, Emily B., J. Clint Iles, Thomas G. Matney, et al. "Stand-Level Growth and Yield Component Models for Red Oak–Sweetgum Forests on Mid-South Minor Stream Bottoms." Southern Journal of Applied Forestry 34, no. 4 (2010): 161–75. http://dx.doi.org/10.1093/sjaf/34.4.161.
Texto completoResumen
Abstract Greater emphasis is being placed on Southern bottomland hardwood management, but relatively few growth and yield prediction systems exist that are based on sufficient measurements. We present the aggregate stand-level expected yield and structural component equations for a red oak (Quercus sectionLobatae)-sweetgum (Liquidambar styraciflua L.) growth and yield model. Measurements from 638 stand-level observations on 258 distinct permanent growth and yield plots collected in 1981, 1988, 1994, and 2006 in minor stream bottoms in Mississippi and Alabama provided data for model development. Equations for average height of dominant and codominant red oaks, trees/ac, arithmetic mean diameter, quadratic mean diameter, and volume were selected on the basis of significance of independent variables, coefficient of determination, index of fit, and biological validity assessment. These models produce expected average yields for combined species or species groups in naturally developing stands and provide an average baseline for individuals managing their lands for the red oak–sweetgum complex. Models will be integrated with log grade volume and diameter distribution models that are in concurrent development to produce a growth and yield system capable of comparing management alternatives on a financial basis.
37
Ibrahim, Fausat Motunrayo, Benson Osikabor, Bolanle Tawakalitu Olatunji, Grace Oluwatobi Ogunwale, and Olawale Julius Aluko. "Forest in the Context of Social Change: Traditional Orientation and Forest Mystification in a Nigerian Forest-Reserve Setting." Changing Societies & Personalities 5, no. 3 (2021): 496. http://dx.doi.org/10.15826/csp.2021.5.3.147.
Texto completoResumen
This article exposits the mystification of forests among people residing in proximity to a forest reserve in southwestern Nigeria. The theory of material engagement and the ecology of human development support the position that the forest is a classical motivator of traditional culture. Still, socio-cultural change is prevalent. As an element of this change, forest-based social cognition warrants systematic examination in the interest of environmental sustainability. This is because the concurrent conveyance of sustainability-promoting immaterial culture across generations is a component of the pathway to a sustainable future. Moreover, systems theory posits that social events affect each other. Since social change is not solitary but encompassing, forest mystification was examined along with other indicators of traditional orientation including attitude towards―religion, ageing, gender; and cultural enthusiasm. The results indicate that forest mystification is still huge and connected with orientations towards ageing and cultural enthusiasm. This exemplifies the Yorùbá social context’s manifestation of continuity as opposed to change in forest culture; and stands in solidarity with traditional African mentality.
38
Maugeri, Giosue', Simone Arrigoni, Alessandro Lavelli, et al. "Enhancing fault diagnosis in photovoltaic plants: managing the simultaneity of faulty bypass diodes, series resistance increases, and partial shading effects." EPJ Photovoltaics 16 (2025): 14. https://doi.org/10.1051/epjpv/2025001.
Texto completoResumen
Modern photovoltaic (PV) monitoring systems can collect high-quality data; however, existing analysis tools need to evolve not only to identify yield issues but also to discern the nature of faults and degradation factors contributing to yield loss. Current AI-based Operation & Maintenance (O&M) tools primarily focus on detecting single faults, with their accuracy in fault recognizing, significantly diminishing in the presence of multiple concurrent issues. Consequently, diagnostics become unreliable when faults occur alongside other component failures or overlap with environmental effects. The lack of appropriately labelled data for training and validating AI-based tools is a critical weakness that impedes the rapid development of reliable diagnostic solutions. This study introduces a methodology designed to enhance the capability of machine learning (ML) algorithms in identifying and classifying faults, particularly under conditions where multiple failures or environmental effects occur simultaneously. Leveraging the RSE Fault Test Facility, which can replicate a variety of failure modes in real PV systems, we were able to generate over 1.6 million fault-labelled records across more than four years of diverse failure conditions. This study focuses specifically on combined faults scenarios involving short-circuited diodes, increased series resistance and shading effects, with a total of 32,806 labelled records of combined faults. The findings of the study provide a methodology foundation for the development of advanced fault detection and diagnosis tools, aiming to improve their reliability and performance when dealing with the simultaneous occurrence of the aforementioned faults.
39
Юсим, Vyacheslav Yusim, Свирчевский, and Vadim Svirchevskiy. "The Relationship of Economy and Industry Development Macroconstants." Economics 5, no. 2 (2017): 29–38. http://dx.doi.org/10.12737/25147.
Texto completoResumen
The article substantiates benchmarks of reindustrialization economy, Russia. While reindustrialization is understood as a technology base, capable of concurrent development of industry and the economy as a whole. The authors examine the global trend of decline in the share of industry in the gross product of the developed countries and the aim is to find indicators of development communication industry with the development of the economy as a whole. Based on the analysis of statistical information of development indicators large technologically developed countries it is demonstrated that long-term acceleration of economies is based on accelerating their industrial component. It is proved that there is a single quantitative indicator of the quality of the economy and its industrial sector, which is characterized by the ability of these macrosystems for longer-term accelerating their development. The article substantiates that industrial policy must be based on the use of previously unknown indicative guidelines development: macroconstants of development of economies and their industrial sector. The range of quantitative ratio of quality indicators of economy and quality indicators of their industry, the prevailing for most of the major countries of the world technological leaders. The authors consider the roots of pushback to development of technological environment and it is proved that there are promising developments of Russian researchers on technology reform in the large socioeconomic systems, and positive changes in the provocation techniques backward technological habitat.
40
HAIDER, NEENA B., PAUL DEMARCO, ARNE M. NYSTUEN, et al. "The transcription factorNr2e3functions in retinal progenitors to suppress cone cell generation." Visual Neuroscience 23, no. 6 (2006): 917–29. http://dx.doi.org/10.1017/s095252380623027x.
Texto completoResumen
The transcription factorNr2e3is an essential component for development and specification of rod and cone photoreceptors; however, the mechanism through which it acts is not well understood. In this study, we useNr2e3rd7/rd7mice that harbor a mutation inNr2e3, to serve as a model for the human retinal disease Enhanced S Cone Syndrome. Our studies reveal that NR2E3 is expressed in late retinal progenitors and differentiating photoreceptors of the developing retina and localized to the cell bodies of mature rods and cones. In particular, we demonstrate that the abnormal increase in cone photoreceptors observed inNr2e3rd7/rd7mice arise from ectopic mitotic progenitor cells that are present in the outer nuclear layer of the matureNr2e3rd7/rd7retina. A prolonged phase of proliferation is observed followed by abnormal retinal lamination with fragmented and disorganized photoreceptor synapses that result in a progressive loss of rod and cone function. An extended and pronounced wave of apoptosis is also detected at P30 and temporally correlates with the phase of prolonged proliferation. Approximately twice as many apoptotic cells were detected compared to proliferating cells. This wave of apoptosis appears to affect both rod and cone cells and thus may account for the concurrent loss of rod and cone function. We further show thatNr2e3rd7/rd7cones do not express rod specific genes andNr2e3rd7/rd7rods do not express cone specific genes. Our studies suggest that, based on its temporal and spatial expression, NR2E3 acts simultaneously in different cell types: in late mitotic progenitors, newly differentiating post mitotic cells, and mature rods and cones. In particular, this study reveals the function of NR2E3 in mitotic progenitors is to repress the cone generation program. NR2E3 is thus one of the few genes known to influence the competency of retinal progenitors while simultaneously directing the rod and cone differentiation.
41
Qin, Zhenyu, Junqiang Lu, Baiyong Men, Shijie Wei, and Jiakang Pan. "Design of a Multi-Node Data Acquisition System for Logging-While-Drilling Acoustic Logging Instruments Based on FPGA." Sensors 25, no. 3 (2025): 808. https://doi.org/10.3390/s25030808.
Texto completoResumen
The logging-while-drilling (LWD) acoustic logging instrument is pivotal in unconventional oil and gas exploration, and in providing real-time assessments of subsurface formations. The acquisition system, a core component of the LWD acoustic logging suite, is tasked with capturing, transmitting, and processing acoustic signals from the formation, which directly affects the accuracy and timeliness of the logging data. Recognizing the constraints of current LWD acquisition systems, including limited data collection capabilities and inadequate precision, this study introduces an FPGA-based multi-node data acquisition system for LWD acoustic logging. This system increases sampling density and data accuracy, leading to a more comprehensive collection of formation information. The multi-node acquisition system is composed primarily of a main control circuit board and several acquisition circuit boards, all connected via an RS485 bus. The Field-Programmable Gate Array (FPGA) is utilized to develop the acquisition circuit board’s firmware, offering adjustable control over parameters, such as the AD7380’s operational mode, sampling rate, and depth, facilitating real-time and concurrent acquisition and storage of formation acoustic signals. The main control board communicates with the acquisition boards via the RS485 bus, issuing commands to enable autonomous data collection and transfer from each board, thus enhancing the system’s reliability and scalability. Experimental results confirm the system’s capacity to efficiently capture waveform signals and upload them in real-time, underscoring its dependability and timeliness. The findings suggest that the system is capable of high-speed, real-time acquisition and processing of acoustic signals, offering robust technical support for the continued application of LWD acoustic logging instruments.
42
KOUZAPAS, DIMITRIOS, NOBUKO YOSHIDA, RAYMOND HU, and KOHEI HONDA. "On asynchronous eventful session semantics." Mathematical Structures in Computer Science 26, no. 2 (2014): 303–64. http://dx.doi.org/10.1017/s096012951400019x.
Texto completoResumen
Event-driven programming is one of the major paradigms in concurrent and communication-based programming, where events are typically detected as the arrival of messages on asynchronous channels. Unfortunately, the flexibility and performance of traditional event-driven programming come at the cost of more complex programs: low-level APIs and the obfuscation of event-driven control flow make programs difficult to read, write and verify.This paper introduces a π-calculus with session types that modelsevent-driven session programming(called ESP) and studies its behavioural theory. The main characteristics of the ESP model are asynchronous, order-preserving message passing, non-blocking detection of event/message arrivals and dynamic inspection of session types. Session types offer formal safety guarantees, such as communication and event handling safety, and programmatic benefits that overcome problems with existing event-driven programming languages and techniques. The new typed bisimulation theory developed for the ESP model is distinct from standard synchronous or asynchronous bisimulation, capturing the semantic nature of eventful session-based processes. The bisimilarity coincides with reduction-closed barbed congruence.We demonstrate the features and benefits of ESP and the behavioural theory through two key use cases. First, we examine an encoding and the semantic behaviour of the event selector, a central component of general event-driven systems, providing core results for verifying type-safe event-driven applications. Second, we examine the Lauer–Needham duality, building on the selector encoding and bisimulation theory to prove that a systematic transformation from multithreaded to event-driven session processes is type- and semantics-preserving.
43
Shah, Ismail, Hasnain Iftikhar, Sajid Ali, and Depeng Wang. "Short-Term Electricity Demand Forecasting Using ComponentsEstimation Technique." Energies 12, no. 13 (2019): 2532. http://dx.doi.org/10.3390/en12132532.
Texto completoResumen
Currently, in most countries, the electricity sector is liberalized, and electricity is traded in deregulated electricity markets. In these markets, electricity demand is determined the day before the physical delivery through (semi-)hourly concurrent auctions. Hence, accurate forecasts are essential for efficient and effective management of power systems. The electricity demand and prices, however, exhibit specific features, including non-constant mean and variance, calendar effects, multiple periodicities, high volatility, jumps, and so on, which complicate the forecasting problem. In this work, we compare different modeling techniques able to capture the specific dynamics of the demand time series. To this end, the electricity demand time series is divided into two major components: deterministic and stochastic. Both components are estimated using different regression and time series methods with parametric and nonparametric estimation techniques. Specifically, we use linear regression-based models (local polynomial regression models based on different types of kernel functions; tri-cubic, Gaussian, and Epanechnikov), spline function-based models (smoothing splines, regression splines), and traditional time series models (autoregressive moving average, nonparametric autoregressive, and vector autoregressive). Within the deterministic part, special attention is paid to the estimation of the yearly cycle as it was previously ignored by many authors. This work considers electricity demand data from the Nordic electricity market for the period covering 1 January 2013–31 December 2016. To assess the one-day-ahead out-of-sample forecasting accuracy, Mean Absolute Percentage Error (MAPE), Mean Absolute Error (MAE), and Root Mean Squared Error (RMSE) are calculated. The results suggest that the proposed component-wise estimation method is extremely effective at forecasting electricity demand. Further, vector autoregressive modeling combined with spline function-based regression gives superior performance compared with the rest.
44
Garcia Figueiredo-Pinto, Danilo, Ip-Shing Fan, and Fernando Teixeira Mendes Abrahão. "Operational Availability Optimization Model Based on the Integration of Predictive and Scheduled Maintenance." PHM Society European Conference 6, no. 1 (2021): 11. http://dx.doi.org/10.36001/phme.2021.v6i1.2816.
Texto completoResumen
Health monitoring technologies and data analytics are increasingly widespread in the aviation industry following the growth in the capacity and speed of abundant and accurate data generation and transmission from the aircraft systems. These advances are fueling a change process in aircraft maintenance strategy towards a more proactive, precise, and effective approach consolidated in the concepts of Integrated Vehicle Health Monitoring (IVHM) and Prognostics and Health Management (PHM). Following that, several model-based and data-driven prognostics methods for Remaining Useful Life (RUL) estimation have been developed in the pursuit of improving predictive maintenance interventions for different types of components. Recent papers showcased the significant challenges faced to achieve forecast accuracy as posed by the inherent uncertainty involved in the functional dynamics of complex systems. This work acknowledges these difficulties and tackles variability by embracing it in the methodology deployed by means of considering in its framework the confidence intervals associated with the estimates for a predefined level of confidence. 
 Nevertheless, the ability to pinpoint times-to-failure by itself is arguably not enough to yield better operational results and improve support levels of service given that scattered standalone interventions may even cause failure occurrences and total downtime to increase. This study demonstrates the rationale behind those effects and exposes the necessity for a method for achieving a compromise to optimally accommodate the concurrent economic, reliability and maintainability goals which are, respectively, the maximization of component useful life expenditure, the minimization of the running-into-failure risk and the minimization of total downtime. 
 Further on, the article explores the problem in detail identifying the key parameters pointed out in the literature that need to be addressed by the modelling process to ensure the soundness of the method. The text then proposes a solution consisting of an innovative analytical model that optimizes operational availability through the dynamic allocation of flight-hours to each aircraft part of a fleet based on the integration of predictive and scheduled maintenance, minimizing total downtime, while accounting for prognostics uncertainty and the associated the risk of failure and incurring in corrective maintenance. The intended outcome is the capability of providing dynamic maintenance plans specially adjusted to each tail number according to its assessed health status and a calculated prognostic that considers predetermined future flights specifically attributed to optimize the overall availability of the fleet.
 An illustrative case study involving multiple components with different aging parameters equipping the aircraft of a small military fleet operating from a single base was used to test the solution and produced results that corroborate the validity of the approach adopted and demonstrate the model’s value and effectiveness. The results also indicate there is significant potential to expand the study and encourage its further development to contemplate multiple-base scenarios and incorporate more detailed aspects such as tasks location within the aircraft, availability of spare parts and resources in general, out-of-phase items and its implementation together with a simulation tool to generalize its application.
 The main contributions of the study are twofold. It adds on the theoretical complexity by tackling systems of systems instead of the predominant single component approach, and it provides a model with an optimizing objective function to improve maintenance planning in real-life.
45
Bache, Martin R., Christopher D. Newton, John Paul Jones, et al. "Advances in Damage Monitoring Techniques for the Detection of Failure in SiCf/SiC Ceramic Matrix Composites." Ceramics 2, no. 2 (2019): 347–71. http://dx.doi.org/10.3390/ceramics2020028.
Texto completoResumen
From a disruptive perspective, silicon carbide (SiC)-based ceramic matrix composites (CMCs) provide a considerable temperature and weight advantage over existing material systems and are increasingly finding application in aerospace, power generation and high-end automotive industries. The complex structural architecture and inherent processing artefacts within CMCs combine to induce inhomogeneous deformation and damage prior to ultimate failure. Sophisticated mechanical characterisation is vital in support of a fundamental understanding of deformation in CMCs. On the component scale, “damage tolerant” design and lifing philosophies depend upon laboratory assessments of macro-scale specimens, incorporating typical fibre architectures and matrix under representative stress-strain states. This is important if CMCs are to be utilised to their full potential within industrial applications. Bulk measurements of strain via extensometry or even localised strain gauging would fail to characterise the ensuing inhomogeneity when performing conventional mechanical testing on laboratory scaled coupons. The current research has, therefore, applied digital image correlation (DIC), electrical resistance monitoring and acoustic emission techniques to the room and high-temperature assessment of ceramic matrix composites under axial tensile and fatigue loading, with particular attention afforded to a silicon carbide fibre-reinforced silicon carbide composite (SiCf/SiC) variant. Data from these separate monitoring techniques plus ancillary use of X-ray computed tomography, in-situ scanning electron microscopy and optical inspection were correlated to monitor the onset and progression of damage during mechanical loading. The benefits of employing a concurrent, multi-technique approach to monitoring damage in CMCs are demonstrated.
46
KRYSOVATYY, Ihor. "ORGANIZATIONAL AND SPATIAL FEATURES OF INNOVATION MANAGEMENT IN SMART CITIES DEVELOPMENT." "EСONOMY. FINANСES. MANAGEMENT: Topical issues of science and practical activity", no. 4 (70) (December 24, 2024): 133–43. https://doi.org/10.37128/2411-4413-2024-4-9.
Texto completoResumen
Organizational and spatial features of managing the innovative development of smart cities are a key aspect of their successful transformation. The article examines the organisational and spatial characteristics of innovation management in smart city development. It identifies the role of the cities as centres of innovative development that accumulate intellectual and financial resources, thus facilitating technological and social progress. The research emphasises the challenges of urbanisation that necessitate new development models integrating economic, social, and spatial aspects. The concept of a smart city is analysed as a contemporary approach to urban development management in the digital era. The evolution of this concept from its inception to the present day is examined in part, along with its role in enhancing the efficiency of urban systems and improving citizens’ quality of life. Particular emphasis is placed on key operational mechanisms of smart cities, including integration of ICT infrastructure, analytical processing of collected data, development of interactive citizen engagement, and ensuring sustainable development. The research methodology is based on a systems approach, utilising methods of structural analysis, comparative analysis, and modelling of urban processes. Special attention is devoted to spatial and organisational aspects of fostering innovative development in smart cities under various operational conditions. A significant component of the study is the comparative analysis of the models of spatial innovation development in urban studies. The research highlights the tendency towards combining elements from different models in urban development practice. The primary factors in forming innovative environments in cities are identified. The article examines the approaches to overcoming limitations of basic elements in digital city management through establishing appropriate innovation infrastructure within existing cities, around universities or research centres, or concurrent with the construction of new cities.
47
Lee, Hae-Jun. "Dynamic Context Awareness of Universal Middleware based for IoT SNMP Service Platform." Tehnički glasnik 17, no. 2 (2023): 185–91. http://dx.doi.org/10.31803/tg-20221221115431.
Texto completoResumen
This study focused on the Universal Middleware design for the IoT (Internet of Things) service gateway for the implementation module of the convergence platform. Recently, IoT service gateway including convergence platform could be supported on dynamic module system that is required mounting and recognized intelligent status with the remote network protocol. These awareness concepts support the dynamic environment of the cross-platform distributed computing technology is supported by these idea as a Universal Middleware for network substitution. Distribution system commonly used in recent embedded systems include CORBA (Common Object Request Broker Architecture), RMI (Remote Method Invocation), DCE (Distributed Computing Environment) for dynamic service interface, and suggested implementations of a device object context. However, the aforementioned technologies do not support each standardization of application services, communication protocols, and data, but are also limited in supporting inter-system scalability. In particular, in order to configure an IoT service module, the system can be simplified, and an independent service module can be configured as long as it can support the standardization of modules based on hardware and software components. This paper proposed a design method for Universal Middleware that, by providing IoT modules and service gateways with scalability for configuring operating system configuration, may be utilized as an alternative. This design could be a standardized interface provisioning way for hardware and software components as convergence services, and providing a framework for system construction. Universal Middleware Framework could be presented and dynamic environment standardization module of network protocols, various application service modules such as JINI (Apache River), UPnP (Universal Plug & Play), SLP (Service Location Protocol) bundles that provide communication facilities, and persistence data module. In this IoT gateway, management for based Universal Middleware framework support and available for each management operation, application service component could be cross-executed over SNMP (Simple Network Management Protocol) version 1, version 2, and version 3. The way of SNMP extension service modules are conducted cross-support each module and independent system meta-information that could be built life cycle management component through the MIB (Management Information Base) information unit analysis. Therefore, the MIB role of relation with the Dispatcher applied to support multiple concurrent SNMP messages by receiving incoming messages and managing the transfer of PDU (Protocol Data Unit) between the RFC 1906 network in this study. Results of the study revealed utilizing Universal Middleware that dynamic situations of context objects with mechanisms and tools to publish information could be consisted of IoT to standardize module interfaces to external service clients as a convergence between hardware and software platforms.
48
Reiser, Jakob, Zhennan Lai, Xian-Yang Zhang, and Roscoe O. Brady. "Development of Multigene and Regulated Lentivirus Vectors." Journal of Virology 74, no. 22 (2000): 10589–99. http://dx.doi.org/10.1128/jvi.74.22.10589-10599.2000.
Texto completoResumen
ABSTRACT Previously we described safe and efficient three-component human immunodeficiency virus type 1 (HIV-1)-based gene transfer systems for delivery of genes into nondividing cells (H. Mochizuki, J. P. Schwartz, K. Tanaka, R. O. Brady, and J. Reiser, J. Virol. 72:8873–8883, 1998). To apply such vectors in anti-HIV gene therapy strategies and to express multiple proteins in single target cells, we have engineered HIV-1 vectors for the concurrent expression of multiple transgenes. Single-gene vectors, bicistronic vectors, and multigene vectors expressing up to three exogenous genes under the control of two or three different transcriptional units, placed within the viralgag-pol coding region and/or the viral nef andenv genes, were designed. The genes encoding the enhanced version of green fluorescent protein (EGFP), mouse heat-stable antigen (HSA), and bacterial neomycin phosphotransferase were used as models whose expression was detected by fluorescence-activated cell sorting, fluorescence microscopy, and G418 selection. Coexpression of these reporter genes in contact-inhibited primary human skin fibroblasts (HSFs) persisted for at least 6 weeks in culture. Coexpression of theHSA and EGFP reporter genes was also achieved following cotransduction of target cells using two separate lentivirus vectors encoding HSA and EGFP, respectively. For the regulated expression of transgenes, tetracycline (Tet)-regulatable lentivirus vectors encoding the reverse Tet transactivator (rtTA) and EGFP controlled by a Tet-responsive element (TRE) were constructed. A binary HIV-1-based vector system consisting of a lentivirus encoding rtTA and a second lentivirus harboring a TRE driving the EGFPreporter gene was also designed. Doxycycline-modulated expression of the EGFP transgene was confirmed in transduced primary HSFs. These versatile vectors can potentially be used in a wide range of gene therapy applications.
49
Olzak, Lynn A., and Thomas D. Wickens. "Discrimination of Complex Patterns: Orientation Information is Integrated across Spatial Scale; Spatial-Frequency and Contrast Information are Not." Perception 26, no. 9 (1997): 1101–20. http://dx.doi.org/10.1068/p261101.
Texto completoResumen
Real-world objects are complex, containing information at multiple orientations and spatial scales. It is well established that at initial cortical stages of processing, local information about an image is separately represented at multiple spatial scales. However, it is not yet established how these early representations are later integrated across scale to signal useful information about complex stimulus features, such as edges and textures. In the studies reported here, we investigate the scale-integration processes involved in distinguishing among complex patterns. We use a concurrent-response paradigm in which observers simultaneously judge two components of compound gratings that differ widely in spatial frequency. In different experiments, each component takes one of two slightly different values along the dimensions of spatial frequency, contrast, or orientation. Using analyses developed within the framework of a multivariate extension of signal-detection theory, we ask how information about the frequency, contrast, or orientation of the components is or is not integrated across the two grating components. Our techniques permit us to isolate and identify interactions due to excitatory or inhibitory processes from effects due to noise, and to separately assess any attentional limitations that might occur in processing. Results indicate that orientation information is fully integrated across spatial scales within a limited orientation band and that decisions are based entirely on the summed information. Information about spatial frequency and contrast is not summed over spatial scale; cross-scale results show sensory independence. However, our results suggest that observers cannot simultaneously use information about frequency or contrast when it is presented at different spatial scales. Our results provide direct evidence for the existence of a higher-level summing circuit tailored to signal information about orientation. The properties of this mechanism differ substantially from edge-detector mechanisms proposed by Marr and others.
50
Defer, E., J. P. Pinty, S. Coquillat, et al. "An overview of the lightning and atmospheric electricity observations collected in Southern France during the HYdrological cycle in Mediterranean EXperiment (HyMeX), Special Observation Period 1." Atmospheric Measurement Techniques Discussions 7, no. 8 (2014): 8013–65. http://dx.doi.org/10.5194/amtd-7-8013-2014.
Texto completoResumen
Abstract. The PEACH (Projet en Electricité Atmosphérique pour la Campagne HyMeX – the Atmospheric Electricity Project of HyMeX Program) project is the Atmospheric Electricity component of the HyMeX (Hydrology cycle in the Mediterranean Experiment) experiment and is dedicated to the observation of both lightning activity and electrical state of continental and maritime thunderstorms in the area of the Mediterranean Sea. During the HyMeX SOP1 (Special Observation Period; 5 September–6 November 2012), four European Operational Lightning Locating Systems (OLLSs) (ATDNET, EUCLID, LINET, ZEUS) and the HyMeX Lightning Mapping Array network (HyLMA) were used to locate and characterize the lightning activity over the Southeastern Mediterranean at flash, storm and regional scales. Additional research instruments like slow antennas, video cameras, micro-barometer and microphone arrays were also operated. All these observations in conjunction with operational/research ground-based and airborne radars, rain gauges and in situ microphysical records aimed at characterizing and understanding electrically active and highly precipitating events over Southeastern France that often lead to severe flash floods. Simulations performed with Cloud Resolving Models like Meso-NH and WRF are used to interpret the results and to investigate further the links between dynamics, microphysics, electrification and lightning occurrence. A description of the different instruments deployed during the field campaign as well as the available datasets is given first. Examples of concurrent observations from radio frequency to acoustic for regular and atypical lightning flashes are then presented showing a rather comprehensive description of lightning flashes available from the SOP1 records. Then examples of storms recorded during HyMeX SOP1 over Southeastern France are briefly described to highlight the unique and rich dataset collected. Finally the next steps of the work required for the delivery of reliable lightning-derived products to the HyMeX community are discussed.