Definite Programs Research Articles

Made in Brazil: Futsal coaching education at a large-scale perspective

Coaching education programs can be perceived as a fundamental cornerstone to certify and further develop sports coaches across domestic and continental territories. Particularly in Brazil, futsal coaches have been benefiting from a large-scale perspective that allows the sport to keep evolving nationwide. To better understand its educational structure and benefits, this study explored a futsal coaching education program that provides state-level certification in the Brazilian territory. Our mixed-methods research design included a qualitative analysis of official documents, a questionnaire collecting data from 67 futsal coaches, semi-structured interviews with the program's coordinator, five coach developers and five coaches, in addition to a participant's observation performed by the lead researcher. Our findings highlight five themes: (1) program's definition, (2) educational model, (3) program's identity and coaching awareness, (4) pedagogical approach, as well as (5) evaluation and impact. More intriguingly, however, this Brazilian futsal coach education program revealed low levels of interaction and practical reflection among its participants, while futsal coaches also reported a lack of feedback on most of the activities they performed. Overall, the present study suggests a switch from the program's traditional assessment into a rather procedural and contextualized evaluation to enhance learning and development in futsal coaching practice.

TOA based mobile source localization with unknown start transmission time and sensor position uncertainty in asynchronous networks

ABSTRACT This letter addresses the issue of mobile source localization using time of arrival (TOA) measurements in scenarios where the source and sensors are not synchronized, and the start transmission time is unknown. We propose a non-convex weighted least squares (WLS) minimization problem for estimating the source position, velocity and start transmission time from the distance measurement equation, without the need for Taylor approximation commonly used in traditional processing approaches. To effectively solve the non-convex WLS optimization problem, we use the semi-positive definite relaxation (SDR) technique to transform the original problem into a convex semi-positive definite programming (SDP) problem. Additionally, we further extend the proposed method to scenarios where the positions of sensors are uncertain. Computer simulation results demonstrate that the proposed method surpasses the existing methods, whether the positions of sensors are known or uncertain.

Solving Max-cut Problem with a mixed penalization method for Semidefinite Programming

This paper is an attempt to exploit the opportunity of Semi Definite Programming (SDP), which is an area of convex and conic optimization. Indeed, Numerous NP-hard problems can be solveby using this approach. Hence, we intend to investigate the strength of SDP to model and provide tight relaxations of combinatorial and quadratic problems in order to present a new polynomial time algorithm for solving this robust model. This algorithm was firstly use to solve the nonlinear programs, the reason for which we search to extend it to the SDP programs. Actually, this algorithm designs the combination of two penalization methods. The first one is a primal-dual interior point (PDIM) method while the second one is a primal-dual exterior point (PDEM) method. Unlike the first method, which converges globally, the second one, also called the primal dual nonlinear rescaling method, has local super linear/quadratic convergence. Therefore, it seems appropriate to use a mixed algorithm based on the interior-exterior point method (IEPM). In fact, this resolution starts from the interior method, and at a certain level of execution, it proceeds to exterior method. Hence, a convergence evaluation function is use to know the level of permutation. Through evaluation, it has been approve that our approach is use to solve some instances of max-cut problem. This problem is a central graph theory model that occurs in many real problems and it is one of many NP-hard problems, which has attracted many researchers over the years. Then, we have used a semi definite programming solver SDPA (Semi Definite Programming Algorithm) that is modify to include the exterior point method subroutine. From the computational performance, we conclude that as the problem size increases, interior-exterior point algorithm gets relatively faster. The numerical results obtained are promising.

Joint parameter estimation algorithm for polarization-sensitive channel compression arrays based on atomic norm minimization

Joint parameter estimation algorithm for polarization-sensitive channel compression arrays based on atomic norm minimization

Optimal Scheme Selection Model of Distributed Photovoltaic Consumption in Smart City Based on Gaussian Mixture Model

In an effort to guarantee the stable action and photovoltaic absorption capability of the spread mesh after a macro digit of distributed solar panels are related to the mesh, this paper puts forward the definitive scheme selection model of distributed photovoltaic absorption in smart cities based on Gaussian mixture model. The principal constituent analysis arithmetic is used to process the chronicle data of distributed photovoltaic action, and the processed data are transmitted to the Gaussian compound model. According to this model, the short-term power situation of distributed photovoltaic is predicted, and the external ability and restrict requirements of the definitive programme of distributed photovoltaic consumption are determined according to the prediction fruits. The definitive programme of distributed photovoltaic consumption is selected by the approximate ideal solution sorting method. The measurement fruits show that the model has a good short-term power prediction effect of distributed photovoltaic, and the prediction fruits are in high agreement with the actual fruits, and the coverage rate and interval average bandwidth fruits are above 0.918 and below 0.11 respectively. The photovoltaic consumption of the definitive programme is above 130%.

Air Reconfigurable Intelligent Surface Enhanced Multiuser NOMA System

This paper proposes a new framework of Aerial Reconfigurable Intelligent Surface (ARIS) enhancing the Non-Orthogonal Multiple Access (NOMA) system. The Base Station (BS) transmits superimposed signals to multiple users with different channel gains through ARIS which can flexibly change channel conditions and perform intelligent NOMA operations. It ensures that our system can perform well in providing services to multiple users simultaneously. In this system, the placement of the Unmanned Aerial Vehicle (UAV) is jointly optimized along with the AIRS passive beam and the multi-user power allocation in order to maximize the communication sum rate. Since the joint optimization problem is non-convex and coupled, it is hence disintegrated into three subproblems and it is solved alternately through the Successive Convex Approximation (SCA). Moreover, Semi Definite Programming (SDP) is used to deal with the rank one constraint of RIS reflection matrix and comparisons are made using particle swarm optimization (PSO). The numerical results show that the proposed ARIS-NOMA framework can achieve better sum rate performance than traditional NOMA with fixed RIS and OMA-ARIS.

Readiness and perceived barriers for self-directed learning among medical students and faculty members: An observational study

ABSTRACT Background: Self-directed learning (SDL) is an internationally accepted principle of adult education. CBME curriculum implemented by the Government of India has allotted 280 hours of SDL in all subjects for undergraduate medical students. SDL is yet to root into the student community as norms and a definitive program evaluation is still not in shape. Aim and Objective: To identify students’ readiness and perceived barriers towards SDL. Materials and Methods: This questionnaire-based study was conducted between January 2023 to May 2023 among faculties and students. The 12 items of self-directed learning readiness instrument were adopted from Shen et al. Results: A total of 480 MBBS students participated. 97.7% of students were aware of SDL in their first year. The highest score was in the “self-monitoring” domain (Mean ± SD = 3.89 ± 0.64) and the lowest score was in “Planning and Implementation” (3.56 ± 0.80). Students perceived that SDL would enhance their communication (50.41%), critical thinking (49.2%), problem solving (40.4%), research (39.8%) and cognitive skills (37.1%). Among barriers the most significant was lack of guidance and resource deficiency (30.4%, 29%). In this study 52 CISP completed faculty participated and 82.69% agreed students were ready for SDL. The suggested resource materials were reference books and online materials (90.38% & 26.92%). Conclusion: Medical students’ readiness for SDL is quite encouraging which was also attested by 83% of faculty. Given the fertile nidus of growing young minds if deficiencies are addressed, the medical curriculum would be fortified with SDL ensuring long term benefits.

Hydrazine Concentration Estimation in the Secondary Circuit of a Nuclear Power Plant: a IQC LPV approach

Hydrazine Concentration Estimation in the Secondary Circuit of a Nuclear Power Plant: a IQC LPV approach

Polarization Direction of Arrival Estimation for Vector Array of Unmanned Aerial Vehicle Swarm

Aiming at the problem of the excessive error of direction of arrival (DOA) estimation caused by the position disturbance of a UAV swarm during flight, a robust polarization-DOA estimation method based on sparse Bayesian learning (SBL) is proposed. First, the algorithm decomposes the covariance matrix of the received data of the UAV swarm vector array and then constructs the determination matrix of the UAV position coordinates by exploiting the orthogonality of the eigenvalues and eigenvectors. Then, the optimal solution of the semi-positive definite programming (SDP) problem is solved using the constrained global least square method, and the exact self-positioning coordinates of UAVs are obtained. Second, we construct a spatially discrete grid to model the received data of the UAV group vector array. The SBL theory is then applied to obtain the posterior probability distribution of the sparse signal matrix. The sparsity of the signal matrix is controlled with a hyperparameter, and the estimation of the DOA is conducted using a fixed-point iteration to obtain the maximum posterior estimate of the signal matrix. Finally, according to the estimated DOA, the polarization parameter is obtained from the constructed objective function of the polarization parameter estimation. The simulation results show that the proposed algorithm achieves higher accuracy and robustness than the traditional 2D DOA estimation algorithm in the direction-finding system for UAV swarm vector arrays.

Challenges and Coping Mechanisms in Supervision of the Instructional Leaders in the New Normal

Supervision is an important role of instructional leaders in the new normal and is a pressing global issue. The study found out what challenges and coping mechanisms instructional leaders faced in supervising in the new normal. This is a pressing global issue that is of great interest to stakeholders. This mixed research method involved 102 faculty respondents and 6 Deans of the different Bataan Peninsula State University colleges. Results showed that 26 or 25.49% of the respondents belong to the age group of 32 to 39 years old. The Deans were designated as early as 3 months to 12 years. Their supervision experiences with the teachers and students include difficulties in monitoring teachers and students and innovative methods of instruction. Data showed that the deans considered planning a program for curriculum development (Mean=3.54, SD=0.82) as very challenging. Data indicate that a significant difference is not evident in the perception of teacher-respondents on the challenges their deans met in the new normal and the deans’ coping mechanisms in resolving the challenges they met in the new normal when grouped according to the length of service. The analysis using Spearman’s rho indicates a very weak positive correlation between coping mechanisms and the challenges in planning a program for curriculum development, implementing a definite program of supervision, and providing leadership in the professional upgrading of the faculty. The p-values which are statistically lesser than the alpha of .05 indicate that there is not enough evidence to claim that the relationship is significant, thus, it fails to reject the null hypothesis. The challenges that were experienced in supervision included the Dearth of Resources, Communication, and Age barriers. Coping mechanisms that they employed include versatility and flexibility in leadership. Supervisory competencies of instructional lead include Interpersonal Skills. Keywords: Challenges and Coping Mechanisms, Convergent Mixed Method, Instructional Leaders, New Normal, Philippines

Implementasi Program Pendaftaran Tanah Sistematis Lengkap, Kota Surabaya

The government has conducted the program of systematic and complete land registration (PTSL) in order to have a legal certainty guarantee and protection of human rights in owning land fairly and evenly, as well as to encourage the state economic growth generally and the community economy in Indonesia. The registration system is regulated by the Ministry of Agrarian and Spatial/ the head of BPN No.12 in the Year 2017 regarding the acceleration of systematic and complete land registration. The study examines the implementation of the PTSL program in Surabaya. This is a literature study that describes and analyzes by using policy implementation theory in George C. Edward III. The variables are communication, resources, disposition, and bureaucratic structure. The results explain that Surabaya has conducted a PTSL program which is begun from 2017 to recent years. The program continues to be carried out, so that the implementation of PTSL program in Surabaya has been done properly. The supporting factors in PTSL implementation re communication, i.e. the definite program, and bureaucratic structure in Standard Operating Procedure (SOP). Whereas, the inhibiting factors are the human resources, for example, the staff, budget, and the information. In addition, human resource is the most inhibiting factor in the process of PTSL implementation in Surabaya. The study also suggests that it is important to have management information system in land registration for supporting PTSL implementation.

Joint allocation of transmit-receive resource for MIMO-STAP

Joint allocation of transmit-receive resource for MIMO-STAP

Advancing the pursuit of the United Nations Sustainable Development Goals: Initiatives of selected publicly listed companies in the Philippines

Advancing the pursuit of the United Nations Sustainable Development Goals: Initiatives of selected publicly listed companies in the Philippines

Joint Optimization on Power Allocation and Splitting for WSNs With SWIPT-Based Relay

How to prolong network lifetime has become an important issue in the design of large scale wireless sensor networks (WSNs). In this paper, a novel power saving scheme for conventional WSNs via simultaneous wireless information and power transfer (SWIPT) based relays is proposed. Unlike conventional relays based communications need extra energy supply for data forwarding, the relay applied in this paper works in an energy-free manner with the support of SWIPT. The power saving model with both power splitting (PS) and time switching (TS) based SWIPT are proposed. Then, we formulate the joint power allocation and splitting problems of SWIPT relay assisted WSNs as non-convex constrained optimization problems. Since the formulated problems are non-convex, semi-positive definite programming (SDP) algorithms are proposed to find the joint optimization on power allocation and splitting with low complexity. The simulation results show that the PS model has more advantages than the traditional direct communication model in long distance transmission. Under the same information receiving strategy, the PS model outperforms the TS model.

CONFLICT IN THE SPHERE OF TAX RELATIONS AS A PRECONDITION FOR THE EMERGENCE OF A TAX DISPUTE

In the article, the author notes that the relations arising between the subjects of public and private law in the process of financial activity of the state, are multidimensional in nature and in their social, political and legal content are conflicting. And these conflicts are caused primarily by contradictions between private and public property interests. Conditioned by the implementation and enforcement of public-law interests, the desire of an authority subject to seize the financial means of a private subject becomes a consequence of the objectively existing contradiction between public and private interests. The taxpayer counteracts his subjective right – the right of ownership, which mediates the realization of his legitimate interest – the interest of owning, using and disposing of his property – to the demands of public authorities. Resolution of such conflict is possible through legalization of financial claims of public authorities on the basis of legislative consolidation of strictly defined conditions, grounds and procedure for the recovery of private funds. The law for objective and subjective reasons is not free from gaps, which the legislator is objectively unable to provide. In addition, the reality is that in the Ukrainian conditions the process of building a tax system is largely haphazard, with the absence of a definite program and direct dependence on the needs of the state budget. Application of tax legislation in practice reveals the presence of contradictions with previously adopted acts of tax legislation. Due to these circumstances, the conflict of interests in the sphere of tax legal relations lays the basis for the transition of a controversy to another stage, characterized by the emergence of different initial positions of the parties in the legal assessment of the essence of disputed tax-legal norms and, accordingly, the scope of their rights and obligations. The occurrence forms the basis for the emergence of a tax dispute, because it requires a solution, the implementation of which is impossible without recourse to the competent authorities of the state. In this regard, before the application of an interested person to a jurisdictional body, it is impossible to talk about the presence of a dispute. A tax dispute is a certain situation in the development of a conflict in the sphere of tax legal relations, or rather one of its stages – a stage aimed at resolving a conflict.

Robust secure beamforming algorithm for intelligent reflecting surface-assisted satellite-terrestrial integrated networks

For intelligent reflection surface (IRS) assisted satellite-terrestrial integrated network (STIN), a robust secure beamforming method based on the imperfect channel state information (CSI) of eavesdroppers is proposed. First of all, considering that the satellite uses spot beam technology to serve the earth station, while the ground base station (BS) serves multiple ground users through multicast technology, and in the case of frequency spectrum shared between the two networks, a joint optimization problem is formulated to minimize the total transmit power of STIN while satisfying the quality of service constraints of the BS users and the achievable secrecy rate constraints of the earth station. Secondly, in order to solve this non-convex problem, the upper bound and the lower bound of the eavesdroppers’ output signal-to-noise ratio under the condition of imperfect CSI are derived by employing triangle inequality together with Holder inequality. Then, a joint optimization scheme of robust BF and power control based on semi-positive definite programming and penalty function method is proposed to realize the secure and reliable transmission in STIN. Finally, the simulation results verify the effectiveness and superiority of the proposed algorithm.

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation

Algebraic characterization of logic programs has received increasing attention in recent years. Researchers attempt to exploit connections between linear algebraic computation and symbolic computation to perform logical inference in large-scale knowledge bases. In this paper, we analyze the complexity of the linear algebraic methods for logic programs and propose further improvement by using sparse matrices to embed logic programs in vector spaces. We show its great power of computation in reaching the fixed point of the immediate consequence operator. In particular, performance for computing the least models of definite programs is dramatically improved using the sparse matrix representation. We also apply the method to the computation of stable models of normal programs, in which the guesses are associated with initial matrices, and verify its effect when there are small numbers of negation. These results show good enhancement in terms of performance for computing consequences of programs and depict the potential power of tensorized logic programs.

Readiness of Special-Needs Schools in Developing Oral Language Skills Programs for Deaf Students

Limited learning programs in developing spoken language, as well as the inconsistency of teachers in implementing oral language communication, are allegedly the main causes of poor communication skills, especially for hearing impaired students. In contrast to this, oral language skills are a prerequisite for having communication with others. The present study draws attention to receive a description of the school (teacher) readiness in developing oral language skills programs for students with hearing impairment. Conducted through descriptive qualitative method, the current project explores data from the chosen teachers of grade 2, 3, and 4, as well as PKPBI teachers through interviews, observation and documentation study. The data analysis technique is performed through data reduction, data presentation, drawing conclusions and verification. The findings disclosed that the oral language program planning is based on incidental needs analysis. The oral language skills program is still developed separately from the PKPBI program and communication training (either speaking or articulation). Likewise, conversational competence as a basis for developing communication has not become a definite program and is only applied to certain themes. The implementation of the oral language skills program is carried out partially with different learning patterns and methods, namely the global word method and the maternal reflective method (MMR). The teacher’s evaluation was limited to correcting phonemes, repeating simple sentences and once into integrated thematically. The faced constraints are the availability of supporting infrastructure such as PKPBI room and articulation room that have not been optimized and the limited number of speech experts and PKPBI teachers. For such obvious reason, the seriousness and consistency of schools are highly necessary in developing oral language skills programs as the main focus during the learning process at each grade level by providing opportunities for all teachers to possess integration with PKPBI program and thematic articulation training programs using the reflective maternal method (MMR).

An efficient reasoning method on logic programming using partial evaluation in vector spaces

Abstract In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices. The least model of a definite program is computed by multiplying an interpretation vector and a program matrix. To optimize computation in vector spaces, we provide a method of partial evaluation of programs using linear algebra. Partial evaluation is done by unfolding rules in a program, and it is realized in a vector space by multiplying program matrices. We perform experiments using artificial data and real data, and show that partial evaluation has the potential for realizing efficient computation of huge scale of programs in vector spaces.

Semi–definite programming for the nearest circulant semi–definite matrix problem

"Positive semi–definite circulant matrices arise in many important applications. The problem arises in various applications where the data collected in a matrix do not maintain the specified structure as is expected in the original system. The task is to retrieve useful information while maintaining the underlying physical feasibility often necessitates search for a good structured approximation of the data matrix. This paper construct structured circulant positive semi–definite matrix that is nearest to a given data matrix. The problem is converted into a semi–definite programming problem as well as a problem comprising a semi–defined program and second-order cone problem. The duality and optimality conditions are obtained and the primal-dual algorithm is outlined. Some of the numerical issues involved will be addressed including unsymmetrical of the problem. Computational results are presented."