In the case of standalone houses, ensuring a continuous and regulated power supply from renewable sources is crucial. To address their unpredictable nature, an environmentally conscious hybrid renewable energy system ...
详细信息
作者：
Grabska, EwaFaculty of Physics
Astronomy and Applied Computer Science Jagiellonian University 4 Reymont Str. Krakow Poland
This paper continues development of ontological approach to conceptual visual design aided by computer. Design ideas during the conceptualization phase are externalized by the designer in the form of diagrams on the m...
详细信息
This paper deals with designing multi-storey buildings with the use of a knowledge-based visual design support system. In this system two visual languages for creating design solutions by the designer are proposed. Th...
详细信息
We describe an extended selection of switching target faults in the CONT algorithm. The main difficulty in test generation is the conflict that arises in the process of determining the signal values due to reconvergen...
详细信息
We describe an extended selection of switching target faults in the CONT algorithm. The main difficulty in test generation is the conflict that arises in the process of determining the signal values due to reconvergent fanouts. Conventional approaches for test generation change a signal value, which causes conflicts to another possible choice for backtracking. In the CONT algorithm, a strategy of switching target fault was proposed as a new backtracking mechanism. In this method, the target fault is switched to a new target fault instead of making an alternative assignment on the primary input value when a conflict occurs. A disadvantage of the CONT algorithm is that unjustified lines exist in the process of test generation. These unjustified lines make the procedure of switching targets complicated and restrict the possible choice in selecting the new target fault. In the new version of CONT, called CONT-2, we have removed the unjustified lines in the process of test generation and have extended to two target-fault types for switching targets. Implementing CONT-2 by a Fortran program, ISCAS85 benchmark circuits are examined. Experiments on a combined system with fault simulation followed by CONT-2 are also presented.
The high-precision kaonic neon X-ray transitions measurement performed by the SIDDHARTA-2 collaboration at the DAΦNE collider is reported. Both the X-ray energies and yields for high-n transitions were measured, demo...
详细信息
The term θϵμνρσFμνFρσ, when added to the electromagnetic Lagrangian - 1 16πFμνFμν, does not change the signature of the Lagrangian. Actually, it increases the part with negative kinetic energy term at th...
详细信息
We present a preliminary measurement of two-particle correlations in collisions of electron beam at 27.5 GeV with beam of protons at 920 GeV, which corresponds to 318 GeV centre-of-mass energy. A sample of events equi...
详细信息
In this work, some relations between crystal structure and magnetic ordering in CrCoFeNiAl HEAs are discussed in view of the KKR-CPA calculations. Remarkably, it is noticed that the transition between fcc and bcc phas...
详细信息
The process of automatic identification or verification of the human face is a very interesting problem in both sociology and industry. The way of gathering biometric information is non intrusive and easy to perform. ...
详细信息
Collective expansion of the matter created in ultrarelativistic heavy-ion collisions indicates the formation of strongly interacting quark-gluon plasma. Significant final state interactions, generating a collective fl...
详细信息
暂无评论