Complex Logic Research Articles

Design and Implementation of a 7-Person Voting Device based on Quartus

As the complexity of digital system design continues to increase, efficient and precise decision support systems have become increasingly important. This paper presents the design and implementation of a 7-voter decision system based on Altera’s Quartus software. The voter is applied in the core decision-making process to ensure the accuracy and efficiency of decisions. The study begins by outlining the design principles of the 7-voter decision system, using a design philosophy that minimizes timing delays and optimizes hardware resource utilization. A complex majority voting logic circuit is implemented using high-level hardware description languages (VHDL/Verilog), ensuring the advanced nature and applicability of the voting circuit. In terms of the logical implementation of the voting circuit, the paper conducts an in-depth analysis of the optimization of combinational and sequential logic and standardizes the input and output to enhance the signal stability and the system’s resistance to interference. On the Quartus platform, the design process of the voting system is elaborated in detail, with careful consideration given to boundary conditions and hardware compatibility. The implementation of the voter has undergone rigorous simulation and testing. Strict parameter setting for simulations and waveform analysis confirm the correctness of the circuit, and fault simulation tests further confirm its reliability. Performance indicators such as response time and percentage of resource utilization have been quantitatively analyzed and meet the design objectives set beforehand. Overall, this research not only realizes a highperformance 7-voter decision system but also provides an effective case study for applications on the high-performance Quartus design platform. Future research can build on the current work to further optimize algorithms and hardware, explore the potential for the application of the voter in a broader range of fields, and adapt to the new features of the Quartus platform to achieve more powerful decision support functions.

Intralayer/Interlayer Codoping Stabilizes Polarity Modulation in 2D Semiconductors for Scalable Electronics.

2D semiconductors show promise as a competitive candidate for developing future integrated circuits due to their immunity to short-channel effects and high carrier mobility at atomic layer thicknesses. The inherent defects and Fermi level pinning effect lead to n-type transport characteristics in most 2D semiconductors, while unstable and unsustainable p-type doping by various strategies hinders their application in many areas, such as complementary metal-oxide-semiconductor (CMOS) devices. In this study, an intralayer/interlayer codoping strategy is introduced that stabilizes p-type doping in 2D semiconductors. By incorporating oppositely charged ions (F and Li) with the intralayer/interlayer of 2D semiconductors, remarkable p-type doping in WSe2 and MoTe2 with air stability up to 9 months is achieved. Notably, the hole mobility presents a 100-fold enhancement (0.7 to 92 cm2 V-1 s-1) with the codoping procedure. Structural and elemental characterizations, combined with theoretical calculations validate the codoping mechanism. Moreover, a CMOS inverter and more complex logic functions such as NOR and XNOR, as well as large-area device arrays are demonstrated to showcase its applications and scalability. These findings suggest that stable and straightforward intralayer/interlayer codoping strategy with charge-space synergy holds the key to unlocking the potential of 2D semiconductors in complex and scalable device applications.

Exploring Healthcare Paradoxes in Hospital Haemodialysis-A Qualitative Study.

The complex logics of healthcare systems inherit paradoxes that can lead to interpersonal conflicts impacting both patients and professionals. In this study, we aimed to identify and explore tensions and conflicts arising from paradoxes within hospital haemodialysis. We conducted a secondary supplementary analysis to previously collected qualitative data, including individual interviews with 11 patients and 10 nephrologists and focus groups involving a total of 13 haemodialysis nurses. Data were collected in Norway through three primary studies focused on exploring experiences of patient participation. For the current study, we employed thematic analysis. Patient-professional conflicts emerged in three fundamental areas: (1) the hospital haemodialysis treatment, in which patients' views of treatment diverged from those of professionals, (2) patient-professional responsibility that became a negotiation point, with differing views on responsibilities, and (3) time, in which professional time took precedence over patients' time, indirectly impacting patients due to resource allocation. These conflicts stemmed from paradoxes driven by unevenly validated principles, conflict of interest,and conceptual ambiguity. Altering healthcare logics by bringing in new perspectives or clarifying conceptual ambiguity could mitigate patient-professional conflicts. However, changing existing healthcare logics may give rise to new paradoxes and conflicts, which health services at various levels must address. This secondary analysis utilized previously collected data from a project that did not involve patient or public contribution.

Vulnerability of AND/OR logic networks under cascading failures

Cascading failures in AND/OR logic networks present a critical challenge in domains such as digital circuits and communication systems where reliability and resilience are paramount. This work investigates the vulnerability of AND/OR logic networks under cascading failures by examining the propagation mechanisms, failure modes, and robustness of such systems. In detail, we propose a hybrid fault propagation model based on the basic principles of AND/OR logic operations. Then, by utilizing both analytical and simulation approaches, we explore how initial localized disruptions can escalate through interconnected logical elements and lead to widespread system failures. Notably, it is shown that a Sigmoid function can be developed to quantify the vulnerability of the complex logic network. Moreover, the phase transition of the failures against the logic parameters is depicted and it is illustrated that the phase transition point is independent of the AND links. This study contributes to the understanding of cascading dynamics in logical networks and could facilitate design of feasible strategies for mitigating these vulnerabilities and recovering from substantial failures.

Workflow Trace Profiling and Execution Time Analysis in Quantitative Verification

Workflows orchestrate a collection of computing tasks to form a complex workflow logic. Different from the traditional monolithic workflow management systems, modern workflow systems often manifest high throughput, concurrency and scalability. As service-based systems, execution time monitoring is an important part of maintaining the performance for those systems. We developed a trace profiling approach that leverages quantitative verification (also known as probabilistic model checking) to analyse complex time metrics for workflow traces. The strength of probabilistic model checking lies in the ability of expressing various temporal properties for a stochastic system model and performing automated quantitative verification. We employ semi-Makrov chains (SMCs) as the formal model and consider the first passage times (FPT) measures in the SMCs. Our approach maintains simple mergeable data summaries of the workflow executions and computes the moment parameters for FPT efficiently. We describe an application of our approach to AWS Step Functions, a notable workflow web service. An empirical evaluation shows that our approach is efficient for computer high-order FPT moments for sizeable workflows in practice. It can compute up to the fourth moment for a large workflow model with 10,000 states within 70 s.

신문기사에 대한 의미연결망 분석을 통한 의료 시장화 논리와 의료 보장성 논리 분석

There is a lack of research analyzing the formation and change of institutional logics in the Korean healthcare sector. This study examines the major institutional changes that occurred from 1990 to 2018 and explores institutional logics by conducting semantic network analysis on Korean newspaper articles. The analysis identified the 'medical marketization logic' and the 'medical coverage logic' as the main competing logics, and six groups of institutional vocabularies were found to support these two logics. The medical marketization logic has been strengthened primarily during conservative governments, while the medical coverage logic has been strengthened during liberal governments, and large-scale infectious disease epidemics have been shown to be important catalysts for changes in institutional logics. This study contributes to understanding the complexity and dynamics of institutional logics, suggests prospects and possibilities for institutional logic change in healthcare, and suggests directions for future research.

Conjoining the benefits of an additional phenyl ring in a simple benzophenone hydrazone-based platform @ discriminatory recognition of F− over CN− with quantitation of aqueous Cu2+: New tricks for an old dog

Herein, benzophenone hydrazone derived two π-conjugative networks viz.DMHMN and DMHMP have been judiciously designed for competitive recognition of F− (LOD: 6.8 ppm; Ka: 7.2 × 103 M−1) over CN− (LOD: ∼0.3 ppm; Ka: 20.3 × 104 M−1) along with Cu2+. Interestingly, the presence of an extra phenyl ring in DMHMN played a pivotal role for discriminative colorimetric recognition of F− over CN− despite having greater hydration energy of F−. Deliberate implantation of an extra phenyl ring leads to enhanced acidity of the benzophenone platform, rationalizing structure-performance synergies. While the presence of dangling OH group and azomethine functionality enables both the chemosensors to exhibit selective recognition toward Cu2+ in purely aqueous phase with the detection limit of ∼0.7 ppm and ∼0.16 ppm by DMHMP and DMHMN respectively, which are far below the safe limit set by World Health Organization (WHO). The sensing phenomenon by the redox non-innocent sensory receptors has been thoroughly investigated by UV–Vis, cyclic voltammetry and 1H NMR spectroscopic studies validated by density functional theory (DFT). Moreover, relay recognition of Al3+ by [DMHMN·F−] ensemble made it a suitable contender for complex logic circuitry fabrication like IMPLICATION/INHIBIT circuit. Additionally, the sensory probes have the capability of quantitative estimation of Cu2+ from unknown water samples, which was cross-examined with the help of the lab-based market available portable device. Lastly, smartphone assisted point-of-care testing (POCT) application has been performed for on-field detection of F− by DMHMN.

Systems Thinking in Practice in a Circular Economy

The Circular Economy (CE) is frequently touted as important for building sustainability. Despite growing interest in CE, few theories have provided effective on the-ground tools for building circularity. This case study of an agricultural organization in Western Canada illustrates how the logic of complexity helps frame and sustain a CE. Interviewees embraced complexity to manage the messy, unpredictable work of CE. Although preliminary, this suggests the possibility that circular economy-like behaviour may be more complex than currently understood. Interviewees represented complex systems thinkers in the wild and could help others seeking to build their own CE initiatives.

Complexity results for modal logic with recursion via translations and tableaux

This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular, we show several complexity results for multi-agent logics via translations to and from the $\mu$-calculus and modal logic, which allow us to transfer known upper and lower bounds. We also use these translations to introduce terminating and non-terminating tableau systems for the logics we study, based on Kozen's tableau for the $\mu$-calculus and the one of Fitting and Massacci for modal logic. Finally, we describe these tableaux with $\mu$-calculus formulas, thus reducing the satisfiability of each of these logics to the satisfiability of the $\mu$-calculus, resulting in a general 2EXP upper bound for satisfiability testing.

Solar powered high gain DC-DC converter with FPGA controller for portable devices

A solar-powered converter design is necessary for portable devices with increased gain and reduced ripple in overall operation. This research presents a photovoltaic-powered Field Programmable Gate Array (FPGA) based on increased gain multiple output converter design and analysis. The dynamic panel input makes it difficult to operate the load. To control and make the input static to satisfy the demand, perturb and observe with a load balancing algorithm technique are used. The converter gained output is high, and batteries are used to balance the loads when solar irradiance is low. Simulation results were carried out with the presented converter circuit that can be operated with a 12 V supply as input from a renewable power source. The output gain ratio of 14 to a minimum of 40 % duty cycle operating at a switching frequency of 20 kHz has been achieved. The proposed methodology is transferred to hardware by connecting with the reconfigurable FPGA Spartan-6 development board to manage the dynamic load control system's complex logic and high processing ability. The overall performance is compared with various pre-existing systems, tabulations are made with the analysis, and experimental results are also illustrated at the end.

Sentiment analysis technique on product reviews using Inception Recurrent Convolutional Neural Network with ResNet Transfer Learning

ABSTRACT Nowadays, online shopping has become a typical option for customers to make purchases due to the rapid technological development of the Internet. Sentiment analysis (SA) of a huge count of user reviews on e-commerce sites can successfully increase the fulfillment of user, but it is difficult so far to predict the precise sentiment polarizations of the user evaluations owing to the variations on textual arrangement, sequence length, and complex logic. In this manuscript, Inception Recurrent Convolutional Neural Network with ResNet Transfer Learning by Red Fox Optimization Algorithm using sentiment analysis on product review (IRCNN-ResNet-RFOA-SA-PR) is proposed. Here, the input data are collected through Amazon Product Reviews database and then preprocessing the input data by using whitespace tokenization, Snowball stemming, and Gensim lemmatization. The preprocessing data are supplied to the ternary pattern and discrete wavelet transform for feature extraction. Then the optimal features are selected by Fire Hawk Optimization Algorithm. After that, IRCNN-ResNet recommends the product based on SA. Finally, IRCNN-ResNet parameter is optimized by RFOA. The proposed method attains 22.37%, 31.08%, and 21.90% greater accuracy and 19.37%, 21.08%, and 25.40% greater precision when compared with existing models, such as machine learning-based SA-PR including new term weighting with feature selection mode, weighted word embedding with deep neural network-based SA-PR, and SA for e-commerce PRs in Chinese utilizing sentiment lexicon with deep learning, respectively.

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts

Reentrancy vulnerability as one of the most notorious vulnerabilities, has been a prominent topic in smart contract security research. Research shows that existing vulnerability detection presents a range of challenges, especially as smart contracts continue to increase in complexity. Existing tools perform poorly in terms of efficiency and successful detection rates for vulnerabilities in complex contracts. To effectively detect reentrancy vulnerabilities in contracts with complex logic, we propose a tool named SliSE. SliSE’s detection process consists of two stages: Warning Search and Symbolic Execution Verification . In Stage 1, SliSE utilizes program slicing to analyze the Inter-contract Program Dependency Graph (I-PDG) of the contract, and collects suspicious vulnerability information as warnings. In Stage 2, symbolic execution is employed to verify the reachability of these warnings, thereby enhancing vulnerability detection accuracy. SliSE obtained the best performance compared with eight state-of-the-art detection tools. It achieved an F1 score of 78.65%, surpassing the highest score recorded by an existing tool of 9.26%. Additionally, it attained a recall rate exceeding 90% for detection of contracts on Ethereum. Overall, SliSE provides a robust and efficient method for detection of Reentrancy vulnerabilities for complex contracts.

Photo-switching operation of MoS2 field effect transistor by photoisomerization of azobenzene in solution delivered on a microfluidic platform

Combining the photoisomerization of molecules with an electrical device is important for developing optoelectronic devices. Field effect transistors (FETs) with atomically thin channels are suitable for this purpose because the FET properties respond to chemical changes in molecules. Since the photoisomerization wavelength of the switching molecules can be tuned, complex logic operations can be realized if a specific molecule is delivered to the target FET of an integrated circuit. However, conventional techniques for transferring molecules, such as drop casting and sublimation, cannot efficiently realize this goal. In this study, we fabricated a MoS2 FET device combined with a microfluidic platform, wherein the MoS2 channel was in contact with the flow of an azobenzene solution in isopropyl alcohol as the solvent. UV radiation (365 nm) and thermal relaxation realize the cycle of trans- and cis-azobenzene states and the switching of the substantial FET properties. This study demonstrated the feasibility of using the solution for optical switching of the MoS2-FET, which can realize quick phase changes in the molecule and the delivery of the molecule to the target FET by a microfluidic platform.

God’s wealth, legal frames, and the question of material and immaterial heritage: the case of Sree Padmanabhaswamy temple in Kerala, India

ABSTRACT Analyzing the battle over Sree Padmanabhaswamy temple’s enormous treasure, the paper documents the litigious journey of the concept of sacred possession and heritage. It shows how the evolving and complex logic of secular governance in India provides the legal categories that animate this contestation over the deity’s wealth. While the enormous treasure trove housed in the six chambers of the temple’s basement ‘belongs’ to the idol (murthi) Lord Sree Padmanabhaswamy, the royal family of Travancore has held the right for over the last two hundred and seventy years to control the wealth as the Lord’s servants (dasa). Though the dispute over what is arguably the world’s largest temple gold and valuables collection began in 2007, it gained widespread media attention in 2009 when a public interest litigation (PIL) was filed. Since then, the royal family, temple management, and other stakeholders have been embroiled in the struggle for possession and control of the temple’s wealth. The paper explores how legal frames of Anglo-Hindu law in their postcolonial avatars, material patrimony (gold and land), and notions of immaterial heritage (shebaitship) animated and framed this contestation. To this end, the paper maps the legal trajectory of the dispute and the public debates over the ownership and control of the astounding wealth of Sree Padmanabhaswamy temple. Further, it decodes the legal reasoning behind the courts’ arguments and delves into ontological questions surrounding religious freedom and secularity. The discussion illustrates how notions of immaterial heritage anchored in ideas of kingship as well as kinship emerged as clinching evidence in the management and access to this sacred wealth. Finally, the analyses offer insights into the governance of sacred materiality through religio-legal categories in a postcolonial nation-state.

Hyperarithmetical complexity of infinitary action logic with multiplexing

Abstract In 2023, Kuznetsov and Speranski introduced infinitary action logic with multiplexing $!^{m}\nabla \textrm{ACT}_{\omega }$ and proved that the derivability problem for it lies between the $\omega $ level and the $\omega ^{\omega }$ level of the hyperarithmetical hierarchy. We prove that this problem is $\varDelta ^{0}_{\omega ^{\omega }}$-complete under Turing reductions. Namely, we show that it is recursively isomorphic to the satisfaction predicate for computable infinitary formulas of rank less than $\omega ^{\omega }$ in the language of arithmetic. As a consequence we prove that the closure ordinal for $!^{m}\nabla \textrm{ACT}_{\omega }$ equals $\omega ^{\omega }$. We also prove that the fragment of $!^{m}\nabla \textrm{ACT}_{\omega }$ where Kleene star is not allowed to be in the scope of the subexponential is $\varDelta ^{0}_{\omega ^{\omega }}$-complete. Finally, we present a family of logics, which are fragments of $!^{m}\nabla \textrm{ACT}_{\omega }$, such that the complexity of the $k$-th logic lies between $\varDelta ^{0}_{\omega ^{k}}$ and $\varDelta ^{0}_{\omega ^{k+1}}$.

Achieving Syntax Excellence: Best Practices for Organizational Success

Abstract: Syntax Level Up Organization is a methodology that aims to improve the syntactical structure of codebases, fostering improved readability, maintainability, and scalability. It advocates for the systematic arrangement of code elements to enhance comprehension and streamline development workflows. Consistent coding conventions are a fundamental principle of Syntax Level Up Organization, which minimizes confusion and optimizes collaboration. Modularization promotes code reusability and minimizes dependencies, facilitating agile development practices. The judicious use of language features and idioms is another cornerstone of Syntax Level Up Organization. Developers can craft concise and expressive code by leveraging the full spectrum of a programming language’s capabilities, such as lambda functions, list comprehensions, and pattern matching. Meaningful abstractions are also advocated for to encapsulate complex logic, enhancing code maintainability and facilitating testing. Design patterns like the Factory Method, Singleton, and Strategy serve as powerful tools for structuring codebases and promoting code reuse. Code documentation is also crucial for enhancing code comprehensibility. Clear and concise comments supplement code, elucidating design decisions, highlighting edge cases, and facilitating knowledge transfer within teams. In conclusion, Syntax Level Up Organization represents a holistic approach to code organization that transcends superficial aesthetics, focusing on enhancing code clarity, efficiency, and maintainability. By embracing consistent coding conventions, modular design principles, idiomatic language features, meaningful abstractions, and comprehensive documentation, developers can elevate the quality of their codebases and empower teams to tackle modern software development challenges with confidence and agility. IndexTerms – HTML, CSS, Javascript. , MYSQL, PHP.

79‐1: Invited Paper: Adaptive Local Backlight Dimming Control with Local Boosting

The local backlight dimming (LBD) technology has attracted significant interest for liquid crystal displays. In automotive, notebook PC, and virtual reality applications, LBD should treat the trade‐off between power saving and visual quality enhancement. However, it requires the cost of the high logic complexity to consider the optimal solution at a higher resolution of the image. This paper proposes the adaptive local backlight dimming control, which can reduce the power consumption of backlight and improve the quality of the display. The proposed method analyzes an image contents with a low complexity algorithm, and it applies a local boosting to achieve a target intensity in backlight control. In performance evaluation using FPGA test system, the designed local dimming processor achieved 7.54% higher power‐saving rate with visual quality enhancement in high‐contrast region.

“Maybe We Should Start Paying the Hours Properly”: State Violence and Ambivalent Moments of Enforced Emancipation of Refugee Women

Abstract Within integration programs and practices, refugee women are repeatedly offered rescue and emancipation. This article explores how emancipation intersects with material and social injustices of integration practices, and how refugee women in particular become subjects for emancipation. It examines the bordering practices of integration and emancipation, and identifies how integration practices symbolize refugee women as, here called, “oppressed,” “spoiled,” “willing,” “surprisingly productive,” or “familiar.” It investigates how these symbolizations circulate in emancipatory practices that are steeped in national imaginaries, as well as in welfare state work ethics. Emancipation is confined to submission to exploitative reproductive work and tied to consumerism. But it also has ambivalent moments around regularizing refugee women’s strategically needed care-work. The article suggests that differential emancipation reproduces complex and violent logics of gendered racial capitalism and coloniality of the Danish welfare state.

Desire, pride and profit: Affective economies of English in India

Scholarship on neoliberalism has shown how employability discourses compel students to invest in English. What remains underexplored is the role of affect in these processes, and how it works to anchor these discourses deep within people’s subjectivities. Drawing on ethnographic data from an English-teaching NGO in Delhi, I explore the affective economy of English in India in order to demonstrate how and why English becomes desirable, for whom, and with what consequences. In doing so, I map the webs of complex logics and actors that not only discursively (re)produce English as a thing to be desired, but also draw boundaries around who can and should desire it.

A grid-connected eleven-level power conversion interface

ABSTRACT This paper proposes a grid-connected eleven-level power conversion interface (GCELPCI) for renewable power systems. The proposed GCELPCI is composed of a four-port DC-DC power converter (FPDDPC) and an eleven-level inverter (ELI). The FPDDPC combines a boost power converter and a transformer with a turn ratio of 2:1 to generate multiple combinations of the output voltages for the DC bus voltage of the ELI. The ELI integrates an asymmetric voltage technique on a T-type inverter to further convert the DC output voltages of FPDDPC into eleven-level AC voltage. A sinusoidal current is generated by the proposed GCELPCI through the filter inductor and injected into the power grid. Only nine power electronic switches are used in the ELI to generate an eleven-level AC voltage, the number of power electronic switches is reduced to simplify the power circuit. In addition, the capacity of the filter inductor is reduced. A digital signal processor (DSP) and a complex programmable logic device (CPLD) chip are used as the digital controller to complete a hardware prototype to verify the performance of the proposed GCELI.