Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: formalisation

Sortuj według:

Ogranicz wyniki do:

Assessment of the economic efficiency of industrial enterprise management during the Kazakhstan integration into the EAEU

Nurekenova Elvira S., Sholpanbayeva Kanshaim Zh., Apysheva Assel A., Rakhimberdinova Madina U., Shaikhanova Nurgul K.

Polish Journal of Management Studies

2022

Vol. 26, No. 1

233--249

The purpose of this study is to examine the effectiveness of the measures taken and to identify areas for further integration cooperation. The originality of the study is determined by the fact that the formalisation of Kazakhstan integration into the Eurasian Economic Union (EAEU) structures allows expanding the possibilities of building cooperative ties. This requires greater involvement of enterprises in the integration and the development of a unified state system to assess the effectiveness of integration associations. The authors show that, in general, the integration of Kazakhstan and the EAEU can be assessed based on a common methodology for the economic efficiency of individual enterprises. The authors suggest the adapted methodology of the balanced scorecard system since it is appropriate in this case. The practical significance of the study is determined by the need to clarify the structural features of integration and calculate efficiency in general based on the results of the cooperation of Kazakh enterprises with external partners. The development of such an assessment system can also be implemented taking into account the need to counter the global economic crisis.

Celem niniejszego opracowania jest zbadanie skuteczności podejmowanych działań oraz zidentyfikowanie obszarów dalszej współpracy integracyjnej. O oryginalności opracowania decyduje fakt, że sformalizowanie integracji Kazachstanu ze strukturami Eurazjatyckiej Unii Gospodarczej (EUG) pozwala na rozszerzenie możliwości budowania powiązań kooperacyjnych. Wymaga to większego zaangażowania przedsiębiorstw w integrację i budowy jednolitego systemu państwowego do oceny efektywności stowarzyszeń integracyjnych. Autorzy pokazują, że generalnie integrację Kazachstanu i EUG można oceniać w oparciu o wspólną metodologię efektywności ekonomicznej poszczególnych przedsiębiorstw. Autorzy proponują zaadaptowaną metodologię systemu zrównoważonej karty wyników, ponieważ jest ona w tym przypadku odpowiednia. Praktyczne znaczenie badania przesądza o potrzebie doprecyzowania cech strukturalnych integracji i obliczenia efektywności w ogóle na podstawie wyników współpracy kazachskich przedsiębiorstw z partnerami zewnętrznymi. Opracowanie takiego systemu oceny może być również realizowane z uwzględnieniem konieczności przeciwdziałania światowemu kryzysowi gospodarczemu.

Zastosowanie klauzul w formalizacji czynności w metodyce Cheesmana-Danielsa

Gratkowski T.

Pomiary Automatyka Kontrola

2006

R. 52, nr 6 bis

83-84

Artykuł przedstawia formalizację czynności tworzenia modelu typów na etapie specyfikowania z zastosowaniem języka klauzul. Zastosowanie języka logiki jest bliższe ludzkiemu myśleniu niż inne formalizmy. Umożliwia to przeniesienie mechanizmu wnioskowania dokonywanego przez analityka systemowego w procesie projektowania systemu, do zapisu czytelnego dla systemów komputerowych. Opisana reprezentacja zostanie użyta podczas opracowywania systemu wspomagającego analityka w podejmowaniu decyzji na poszczególnych etapach projektu.

This paper presents a formal representation of develop type model activity at specification stage in a clausal language. Logic language is more human-oriented than other formalism. Using clauses enables to represent a mechanism of concluding used in a process of designing the system. This representation will be used in a decision support system which will support a designer.