5,399 research outputs found
A COMPARATIVE STUDY OF TEACHERS’ JOB SATISFATION OF CHEA SIM BOEUNG KENG KANG AND CHEA SIM ANGKOR CHEY UPPER SECONDARY SCHOOLS IN CAMBODIA
No full textThis study was conducted to compare the teachers’ job satisfaction towards work itself, work group, working condintion, and supervision between the two selected Upper Secondary Schools in Cambodia, Chea Sim Boeung Keng Kang in Phnom Penh and Chea Sim Angkor Chey in Kampot province.The collected data was analyzed by Frequency, Percentage, Mean, Standard deviation; and Independent Samples (two-tails) t-test. The result found that there was significant difference of teachers’ job satisfaction between Chea Sim Boeung Keng Kang and Chea Sim Angkor Chey Upper Secondary Schools in Cambodia at the probability .024 of significance. Furthermore, significant difference of teachers’ job satisfaction towards work group was also found in the two schools. The mean of overall teachers’ job satisfaction of Chea Sim Boeung Keng Kang Upper Secondary School was observed higher than the mean of overall teachers’ job satisfaction of Chea Sim Angkor Chey Upper Secondary School. However, the means of teachers’ job satisfaction of the two schools toward working condition were observed to be the highest, while supervision to be the lowest level
Agent-Based Cloud Computing
No full textAgent-based cloud computing is concerned with the design and development of software agents for bolstering cloud service
discovery, service negotiation, and service composition. The significance of this work is introducing an agent-based paradigm for
constructing software tools and testbeds for cloud resource management. The novel contributions of this work include: 1) developing
Cloudle: an agent-based search engine for cloud service discovery, 2) showing that agent-based negotiation mechanisms can be
effectively adopted for bolstering cloud service negotiation and cloud commerce, and 3) showing that agent-based cooperative problemsolving
techniques can be effectively adopted for automating cloud service composition. Cloudle consists of 1) a service discovery agent
that consults a cloud ontology for determining the similarities between providers’ service specifications and consumers’ service
requirements, and 2) multiple cloud crawlers for building its database of services. Cloudle supports three types of reasoning: similarity
reasoning, compatibility reasoning, and numerical reasoning. To support cloud commerce, this work devised a complex cloud
negotiation mechanism that supports parallel negotiation activities in interrelated markets: a cloud service market between consumer
agents and broker agents, and multiple cloud resource markets between broker agents and provider agents. Empirical results show that
using the complex cloud negotiation mechanism, agents achieved high utilities and high success rates in negotiating for cloud resources.
To automate cloud service composition, agents in this work adopt a focused selection contract net protocol (FSCNP) for dynamically
selecting cloud services and use service capability tables (SCTs) to record the list of cloud agents and their services. Empirical results
show that using FSCNP and SCTs, agents can successfully compose cloud services by autonomously selecting services
MCQA: Multi-constraint qubit allocation for near-FTQC device
No full textIn response to the rapid development of quantum processors, quantum software must be advanced by considering the actual hardware limitations. Among the various design automation problems in quantum computing, qubit allocation modifies the input circuit to match the hardware topology constraints. In this work, we present an effective heuristic approach for qubit allocation that considers not only the hardware topology but also other constraints for near-fault-tolerant quantum computing (near-FTQC).We propose a practical methodology to find an effective initial mapping to reduce both the number of gates and circuit latency. We then perform dynamic scheduling to maximize the number of gates executed in parallel in the main mapping phase. Our experimental results with a Surface-17 processor confirmed a substantial reduction in the number of gates, latency, and runtime by 58%, 28%, and 99%, respectively, compared with the previous method [18]. Moreover, our mapping method is scalable and has a linear time complexity with respect to the number of gates.1
Agent-based Cloud service composition
No full textService composition in multi-Cloud environments
must coordinate self-interested participants, automate
service selection, (re)configure distributed services, and deal
with incomplete information about Cloud providers and
their services. This work proposes an agent-based approach
to compose services in multi-Cloud environments for different
types of Cloud services: one-time virtualized services,
e.g., processing a rendering job, persistent virtualized services,
e.g., infrastructure-as-a-service scenarios, vertical services,
e.g., integrating homogenous services, and horizontal
services, e.g., integrating heterogeneous services. Agents
are endowed with a semi-recursive contract net protocol and
service capability tables (information catalogs about Cloud
participants) to compose services based on consumer requirements.
Empirical results obtained from an agent-based
testbed show that agents in this work can: successfully compose
services to satisfy service requirements, autonomously
select services based on dynamic fees, effectively cope with
constantly changing consumers’ service needs that trigger
updates, and compose services in multiple Clouds even with
incomplete information about Cloud participants
ASADAL/SIM: An incremental multi-level simulation and analysis tool for real-time software specifications
No full textDespite considerable advancement in software engineering methods during the past three decades, requirements engineering of large and complex software systems still remains a difficult and active research problem. One such difficulty lies in developing correct and useful methods for the validation and verification of real-time software specifications. One way of analyzing and validating/verifying software specifications is to mathematically derive or prove desired system properties based on formal specification languages. A full scale system analysis using such formal methods is limited in practice because of the required mathematical skills and computational costs. Formal methods are often used to check only a few very critical real-time properties. Simulation is a complementary approach to testing various system characteristics and validating user requirements. It is especially good for providing a rough picture of final system behavior. This paper presents ASADAL/SIM, a tool for multi-level simulation and analysis of real-time software specifications. It is a subsystem of a larger computer-aided real-time software development environment called ASADAL, and complements ASADAL/PROVER, another subsystem of ASADAL which is a formal verification module.(1) With ASADAL/SIM, simulation primitives can be added to evolving specifications in order to assign stochastic behaviors to external entities and internal processes, and to build a simulation model. ASADAL/SIM can execute the model and, at the same time, demonstrate the final system behavior by graphically showing internal workings of the system; catch undesirable system behaviors with breakpoints; and present various analytical results and system statistics. ASADAL/SIM, following ASADAL's philosophies of hierarchical system modeling and early system validation, allows users to simulate 'evolving' specifications at different, mixed, and wide levels of detail. In particular, algorithmic details may be specified for low level behavioral blocks, and simulated with abstract entities yet to be refined to such a level. This facilitates the tracking of critical data values at the specification level, and eases the next transformation into code level implementation. With ASADAL/SIM, ASADAL becomes an effective and comprehensive supporting tool for various existing software engineering approaches, particularly top-down refinement and incremental development practices. (C) 1998 John Whey & Sons, Ltd.X115sciescopu
TrainWare
No full textTraining convolutional neural network on device has become essential where it allows applications to consider user's individual environment. Meanwhile, the weight update operation from the training process is the primary factor of high energy consumption due to its substantial memory accesses. We propose a dedicated weight update architecture with two key features: (1) a specialized local buffer for the DRAM access deduction (2) a novel dataflow and its suitable processing element array structure for weight gradient computation to optimize the energy consumed by internal memories. Our scheme achieves 14.3%-30.2% total energy reduction by drastically eliminating the memory accesses
Modified magnetic quantum dot with electric confining potentials
No full textThe electronic properties of a modified magnetic quantum dot are studied. The modified magnetic quantum dot is a quantum structure that is formed by spatially inhomogeneous distributions of magnetic fields. Electrons are magnetically confined to the plane where the magnetic fields inside and outside the dot are different from each other. The energy spectrum exhibits quite different features depending on the directions of the magnetic fields inside and outside the dot. In particular, the case of opposite directions of the fields is more interesting than that of the same direction. An electrostatic potential is introduced to the system to study the effects of an electric confining potential on the eigenenergy of a single electron in the modified magnetic quantum dot. The additional potential raises the whole energy spectrum and changes its shape. The ground-state angular momentum transitions occurring in a bare modified magnetic quantum dot disappear on introduction of the additional parabolic potential.This work was supported by the Korea Science and Engineering
Foundation through the Quantum-Functional Semiconductor
Research Center at Dongguk University
The Momentum Strategies and Salience: Evidence from the Korean Stock Market
No full textThis study compares momentum strategies based on traditional, idiosyncratic, rank, and sign momentum measures in the Korean stock market. We find that the traditional momentum strategy underperforms and suffers long-term return reversals, while other strategies (idiosyncratic, rank, and sign) exhibit stable profits. We employ a direct measure of salience and suggest that the unprofitability of the traditional momentum strategy in the Korean market can be explained by the salience effect. We further show that the traditional momentum strategy can be profitable after excluding stocks with salient payoffs in the formation period.
A Cryo-CMOS Controller IC With Fully Integrated Frequency Generators for Superconducting Qubits
No full text1
Natural analogue studies for water-rock interactions in uranium deposits: Overseas case studies and hydrogeochemical characteristics of uranium deposits in the Okcheon belt of Korea
No full textIn order to evaluate the long-term safety of deep underground disposal, which is proposed as a disposal method for high-level radioactive wastes, it is necessary to understand the behavior of uranium, a representative radionuclide. Uranium is involved in various geochemical reactions, such as oxidation-reduction, complexation, precipitation-dissolution, and adsorption-desorption; thus, it is important to understand the behavioral characteristics related to these geochemical reactions. For this purpose, experiments or reactive transport model can be used. However, behavioral analyses through them could be limited in time and space or there could be uncertainties in model input parameters such as hydraulic conductivity and sorption coefficient. Therefore, it is necessary to monitor and analyze the long-term behaviors of radioactive elements in natural conditions during the past geological time. These studies are called as 'natural analogue' studies. In this review, we tried to understand the behaviors of uranium during the water-rock interactions based on the studies examining the geochemical characteristics of the seven overseas natural analogue research sites and the Okcheon belt with high uranium contents in Korea. Geochemical characteristics of groundwater in uranium-containing aquifers in the overseas natural analogue research sites indicated reduced environments represented by low Eh values, and showed that more reduced U(IV) species were predominantly present. Accordingly, it was found that the transport of uranium in the groundwater is limited due to precipitation of uranium minerals such as uraninite or coffinite. Groundwater from the uranium-containing coaly slate layer in the Okcheon belt in Korea also indicated a reduced environment, and showed that the transport of uranium is limited due to the precipitation of U(IV) into uraninite. This review, which identified the geochemical characteristics of groundwater in aquifers containing uranium under natural conditions, can derive implications for the behavior of uranium in the deep geological repository for high-level radioactive wastes.N
- …
