scholarly journals Abstract Architecture Representation Using VSPEC

VLSI Design ◽  
1999 ◽  
Vol 9 (2) ◽  
pp. 181-201 ◽  
Author(s):  
Phillip Baraona ◽  
Perry Alexander
Keyword(s):  
Design Process ◽  
Formal Analysis ◽  
Digital Systems ◽  
Formal Definition ◽  
Paper Briefly ◽  
Simulation Based ◽  
Abstract Architecture ◽  
Definition Of ◽  
The Impact

Complex digital systems are often decomposed into architectures very early in the design process. Unfortunately, traditional simulation based languages such as VHDL do not allow the impact of these architectural decisions to be evaluated until a complete, simulatable design of the system is available. After a complete design is available, architectural errors are time-consuming and expensive to correct. However, there is an alternative to simulation based techniques: formal analysis of abstract architectures at the requirements level. This paper describes VSBEC'S approach for defining and analyzing abstract architectures. VSBEC is a Larch interface language for VHDL that allows a designer to specify the requirements of a VHDL entity using the canonical Larch approach. VHDL structural architectures that instantiate VSPEC entities define abstract architectures. These abstract architectures can be evaluated at the requirements level to determine the impact of architectural decisions. This paper briefly introduces VSPEC provides a formal definition of VSPEC abstract architectures and presents two examples that illustrate the architectural definition capabilities of the language.

scholarly journals The role of conceptual integration and simple dynamic scenarios in the meaning construction of the mapping in mathematics

2018 ◽  
Author(s):  
Jacek Woźny
Keyword(s):  
Conceptual Metaphor ◽  
Meaning Construction ◽  
Formal Definition ◽  
Mathematics Textbooks ◽  
Conceptual Blending ◽  
Conceptual Integration ◽  
The World ◽  
Definition Of ◽  
The Impact

The role of conceptual integration and simple dynamic scenarios in the meaning construction of the mapping in mathematicsOver the last two decades the impact of conceptual metaphor and conceptual blending on mathematics has been extensively researched (Lakoff & Núñez, 2000; Fauconnier & Turner, 2002; Turner, 2005; Núñez, 2006; Alexander, 2011; Turner, 2012; Danesi, 2016; Woźny, 2018). This paper examines the manner in which simple dynamic scenarios allow, through the process of conceptual integration, for multiple ways of constructing the meaning of a mathematical mapping. The paper analyses selected fragments extracted from two popular academic mathematics textbooks to ascertain how the authors use a number of simple dynamic scenarios to explain the concept. The paper then demonstrates how these dynamic scenarios help to avoid the problem of circularity of the (static) formal definition of the mapping. The results of the study indicate that conceptual blending may account for the flexibility of mathematics and its effectiveness in modelling the world around us. Rola integracji pojęciowej i prostych scenariuszy dynamicznych w konstrukcji znaczenia odwzorowania w matematyceW ciągu ostatnich dwudziestu lat pojawiło się wiele publikacji dotyczących roli metafor oraz integracji pojęciowej w matematyce (Lakoff & Núñez, 2000; Fauconnier & Turner, 2002; Turner, 2005; Núñez, 2006; Alexander, 2011; Turner, 2012; Danesi, 2016; Woźny, 2018). W tym artykule badany jest sposób, w jaki proste scenariusze dynamiczne wpływają, poprzez proces integracji pojęciowej, na konstruowanie wielu znaczeń odwzorowania (funkcji) w matematyce. Badane są fragmenty dwóch popularnych podręczników matematyki, w których autorzy wyjaśniają pojęcie odwzorowania poprzez proste scenariusze dynamiczne, unikając w ten sposób błędu logicznego „nieznane przez nieznane", którym obarczona jest statyczna definicja odwzorowania. Wyniki analizy mogą sugerować, że elastyczność matematyki – jej niezmienna skuteczność w modelowaniu otaczającego nas świata – jest efektem procesów integracji pojęciowej.

scholarly journals Fairness Analysis for Multiparty Nonrepudiation Protocols Based on Improved Strand Space

2014 ◽  
Vol 2014 ◽  
pp. 1-7
Author(s):  
Lei Li ◽  
Licheng Wang ◽  
Jing Chen ◽  
Ruiming Wang ◽  
Zhihong Zhang
Keyword(s):  
Formal Analysis ◽  
New Method ◽  
Formal Definition ◽  
Space Theory ◽  
Analysis Method ◽  
Definition Of ◽  
Fairness Analysis

Aimed at the problem of the fairness analysis for multiparty nonrepudiation protocols, a new formal analysis method based on improved strand space is presented. Based on the strand space theory, signature operation is added; the set of terms, the subterm relation and the set of penetrator traces are redefined and the assumption of free encryption is extended in the new method. The formal definition of fairness in multi-party non-repudiation protocols is given and the guideline to verify it based on improved strand space is presented. Finally, the fairness of multi-party non-repudiation protocols is verified with an example of Kremer-Markowitch protocol, which indicates that the new method is suitable for analyzing the fairness of multiparty nonrepudiation protocols.

Queer-Sensible Designing

2019 ◽  
Vol 2 (1) ◽  
Author(s):  
Silas DENZ ◽  
Wouter EGGINK
Keyword(s):  
Queer Theory ◽  
Design Process ◽  
Industrial Design ◽  
Gender Norms ◽  
Design Practice ◽  
Gender Scripts ◽  
Femininity And Masculinity ◽  
Design Workshop ◽  
Definition Of ◽  
Design Style

Conventional design practices regard gender as a given precondition defined by femininity and masculinity. To shift these strategies to include non-heteronormative or queer users, queer theory served as a source of inspiration as well as user sensitive design techniques. As a result, a co-design workshop was developed and executed. Participants supported claims that gender scripts in designed artefacts uphold gender norms. The practice did not specify a definition of a queer design style. However, the co-design practice opened up the design process to non-normative gender scripts by unmasking binary gender dichotomies in industrial design.

PERTANGGUNGJAWABAN KERUGIAN NEGARA DALAM PENGELOLAAN KEUANGAN DAERAH

EDUKASI ◽  
2018 ◽  
Vol 16 (1) ◽  
Author(s):  
Hendra Karianga
Keyword(s):  
Financial Management ◽  
Criminal Liability ◽  
The State ◽  
Legal Proceedings ◽  
Regional Finance ◽  
Regional Budget ◽  
State Finance ◽  
Budget Policy ◽  
Definition Of ◽  
The Impact

Sources of revenue and expenditure of APBD (regional budget) can be allocated to finance the compulsory affairs and optional affairs in the form of programs and activities related to the improvement of public services, job creation, poverty alleviation, improvement of environmental quality, and regional economic growth. The implications of these policies is the need for funds to finance the implementation of the functions, that have become regional authority, is also increasing. In practice, regional financial management still poses a complicated issue because the regional head are reluctant to release pro-people regional budget policy, even implication of regional autonomy is likely to give birth to little kings in region causing losses to state finance and most end up in legal proceedings. This paper discusses the loss of state finance and forms of liability for losses to the state finance. The result of the study can be concluded firstly,  there are still many differences in giving meaning and definition of the loss of state finace and no standard definition of state losses, can cause difficulties. The difficulty there is in an effort to determine the amount of the state finance losses. The calculation of state/regions losses that occur today is simply assessing the suitability of the size of the budget and expenditure without considering profits earned by the community and the impact of the use of budget to the community. Secondly, the liability for losses to the state finance is the fulfillment of the consequences for a person to give or to do something in the regional financial management by giving birth to three forms of liability, namely the Criminal liability, Civil liability, and Administrative liability.Keywords: state finance losses, liability, regional finance.

Empowering Women Entrepreneurs Through Microfinance - A Case of Rural Bangladesh

2017 ◽  
Vol 3 (2) ◽  
pp. 7
Author(s):  
Saida Parvin
Keyword(s):  
Women's Empowerment ◽  
Assessment Tools ◽  
Women’S Empowerment ◽  
Case Study Method ◽  
Policy Makers ◽  
Theoretical Contribution ◽  
Donor Agencies ◽  
Definition Of ◽  
The Impact

Women’s empowerment has been at the centre of research focus for many decades. Extant literature examined the process, outcome and various challenges. Some claimed substantial success, while others contradicted with evidence of failure. But the success remains a matter of debate due to lack of empirical evidence of actual empowerment of women around the world. The current study aimed to address this gap by taking a case study method. The study critically evaluates 20 cases carefully sampled to include representatives from the entire country of Bangladesh. The study demonstrates popular beliefs about microfinance often misguide even the borrowers and they start living in a fabricated feeling of empowerment, facing real challenges to achieve true empowerment in their lives. The impact of this finding is twofold; firstly there is a theoretical contribution, where the definition of women’s empowerment is proposed to be revisited considering findings from these cases. And lastly, the policy makers at governmental and non-governmental organisations, and multinational donor agencies need to revise their assessment tools for funding.

Perkembangan TIK, Globalisasi dan Peranan Guru Pendidikan Kewarganegaraan dalam Pengembangan Pendidikan Karakter

2018 ◽  
Vol 1 ◽  
Author(s):  
Zulpadli Zulpadli
Keyword(s):  
Character Education ◽  
Civic Education ◽  
Moral Values ◽  
Hard Work ◽  
Theoretical Studies ◽  
Paper Briefly ◽  
History Of ◽  
Younger Generation ◽  
The Impact

This paper briefly and through theoretical studies will discuss simply the problems formulated, the impact of globalization on Character education in Indonesia, as well as the paradigm of PKN learning and Character education challenges for the younger generation. It is on the ground by the declining awareness and moral values, as well as to increase the values of the characters seen in the young generations. Civic education in Indonesia has been running throughout the history of Indonesian independence, and has gone through various stages and arms, it certainly demands greater hard work of teachers to be able to increase the values of Pancasila and love of the homeland, and practice the character values which is based on the noble values of Indonesian culture into Indonesian youth.

Sign in / Sign up

Export Citation Format

Share Document