Development of a structured program for conversion to prenex normal form

The method of structured programming or program development using a top-down, stepwise refinement technique provides a systematic approach for the development of programs of considerable complexity. The aim of this paper is to present the philosophy of structured programming through a case study of a nonnumeric programming task. The problem of converting a well-formed formula in first-order logic into prenex normal form is considered. The program has been coded in the programming language PASCAL and implemented on a DEC-10 system. The program has about 500 lines of code and comprises 11 procedures.

Rauhan atomi, sodan koodi : Suomalaisen atomivoimaratkaisun teknopolitiikka 1955-1970

This dissertation investigates the atomic power solution in Finland between 1955 - 1970. During these years a national arrangement for atomic energy technology evolved. The foundations of the Finnish atomic energy policy; the creation of basic legislation and the first governmental bodies, were laid between 1955 - 1965. In the late 1960's, the necessary technological and political decisions were made in order to purchase the first commercial nuclear reactor. A historical narration of this process is seen in the international context of "atoms for peace" policies and Cold War history in general. The geopolitical position of Finland made it necessary to become involved in the balanced participation in international scientific-technical exchange and assistive nuclear programs. The Paris Peace Treaty of 1947 categorically denied Finland acquisition of nuclear weapons. Accordingly, from the "Geneva year" of 1955, the emphasis was placed on peaceful purposes for atomic energy as well as on the education of national professionals in Finland. An initiative for the governmental atomic energy commission came from academia but the ultimate motive behind it was an anticipated structural change in the supply of national energy. Economically exploitable hydro power resources were expected to be built within ten years and atomic power was seen as a promising and complementing new energy technology. While importing fuels like coal was out of the question, because of scarce foreign currency, domestic uranium mineral deposits were considered as a potential source of nuclear fuel. Nevertheless, even then nuclear energy was regarded as just one of the possible future energy options. In the mid-1960 s a bandwagon effect of light water reactor orders was witnessed in the United States and soon elsewhere in the world. In Finland, two separate invitations for bids for nuclear reactors were initiated. This study explores at length both their preceding grounds and later phases. An explanation is given that the parallel, independent and nearly identical tenders reflected a post-war ideological rivalry between the state-owned utility Imatran Voima and private energy utilities. A private sector nuclear power association Voimayhdistys Ydin represented energy intensive paper and pulp industries and wanted to have free choice instead of being associated themselves with "the state monopoly" in energy pricing. As a background to this, a decisive change had started to happen within Finnish energy policy: private and municipal big thermal power plants became incorporated into the national hydro power production system. A characteristic phenomenon in the later history is the Soviet Union s effort to bid for the tender of Imatran Voima. A nuclear superpower was willing to take part in competition but not on a turnkey basis as Imatran Voima had presumed. As a result of many political turns and four years of negotiations the first Finnish commercial light water reactor was ordered from the East. Soon after this the private nuclear power group ordered its reactors from Sweden. This work interprets this as a reasonable geopolitical balance in choosing politically sensitive technology. Conceptually, social and political dimensions of new technology are emphasised. Negotiations on the Finnish atomic energy program are viewed as a cooperation and a struggle, where state-oriented and private-oriented regimes pose their own macro level views and goals (technopolitical imaginaries) and defend and advance their plans and practical modes of action (schemata). Here, not only technologists but even political actors are seen to contribute to technopolitical realisations.

HELANAL: A program to characterise helix geometry in proteins,

A detailed analysis of structural and position dependent characteristic features of helices will give a better understanding of the secondary structure formation in globular proteins. Here we describe an algorithm that quantifies the geometry of helices in proteins on the basis of their C-alpha atoms alone. The Fortran program HELANAL can extract the helices from the PDB files and then characterises the overall geometry of each helix as being linear, curved or kinked, in terms of its local structural features, viz. local helical twist and rise, virtual torsion angle, local helix origins and bending angles between successive local helix axes. Even helices with large radius of curvature are unambiguously identified as being linear or curved. The program can also be used to differentiate a kinked helix and other motifs, such as helix-loop-helix or a helix-turn-helix (with a single residue linker) with the help of local bending angles. In addition to these, the program can also be used to characterise the helix start and end as well as other types of secondary structures.

Blivande socionomers svar på ett yrkesetiskt dilemma - Hur klienten bemöts och hur dilemmat löses

Syftet med denna studie är att genom data-analys triangulation undersöka socionomstuderandes svar på ett yrkesetiskt dilemma av omsorgsetisk natur. Samplet består av 32 socionomer i början av sina studier som har svarat på ett hypotetiskt dilemma om hur de skulle bemöta en ung kvinna som ber om råd i en mycket svår situation. De huvudsakliga teoretiska utgångspunkterna för detta arbete är ECI (Ethic of Care Interview) som utvecklats av Eva Skoe som metod för att undersöka omsorgsetik, samt Osers och Althofs teori om diskursiva problemlösningsmetoder bland professionella. Som grundläggande teorier för all modern forskning om människans moralutveckling, presenteras också Carol Gilligans och Lawrence Kohlbergs teorier samt den huvudsakliga kritiken dessa bemött. Carol Gilligan är den som ursprungligen presenterade tanken om att det finns två olika typer av moraliskt tänkande där omsorgsetik är mer typisk för kvinnor och rättviseetik är mer typisk för män. Den första delen av analysen är en innehållsanalys där svaren på det yrkesrelaterade dilemmat på olika ECI stadium jämförs med varandra. Poängsättningen i ECI har varit grunden för denna analys. Den andra delen av analysen är en deduktiv teoribunden analys, där jag undersökt i fall Osers och Althofs modell om problemlösningsstrategier även går att tillämpa på ett yrkesetiskt dilemma. Slutligen tar jag också ställning till dessa två teoriers kompatibilitet. Resultatet visar att eleverna har svarat aningen sämre på det yrkesetiska dilemmat än vad deras allmänna ECI stadium är. Detta kan bero på att de är i början av sina studier men också på det allmänna klimat som råder inom socialbranschen. Teorin om diskursiva problemlösningsstrategier går inte heller att tillämpa på detta yrkesetiska dilemma, eftersom den hypotetiska klientens självbestämmanderätt gör en diskursiv lösning omöjlig. Till följd av detta har jag skapat en ny modell som baserar sig på 6 kategorier utgående från de faktorer de intervjuade lyfter fram som de viktigaste i den professionellas möte med klienten. Eftersom den nya modellen inte är hierarkisk, kan de två teorierna inte jämföras med varandra på så sätt att högre ECI nivå skulle innebära en viss typ av problemlösningsstrategi.

Finlandssvenska åsikter om och attityder till modern språkpåverkan

The study describes and analyzes Finland Swedes attitudes to modern-day linguistic influence, the relationship between informants explicitly reported views and the implicit attitudes they express towards language influence. The methods are primarily sociolinguistic. For the analysis of opinions and attitudes I have further developed and tested a new tool in attitude research. With statistical correlation analysis of data collected through a quantitative survey I describe the views that Swedish-language Finns (N=500) report on the influence of English, on imports, and on domain loss. With experimental matchedguise techniques, I study Finland-Swedes (N=600) subconscious reactions to English imports in spoken text. My results show that the subconscious reactions in some respects differ markedly from the views informants explicitly report that they have: informants respond that they would like English words that come into Swedish to be replaced by Swedish replacement words, but in a matched-guise test on their subconscious attitudes, the informants consider English words in a Swedish context to have a positive effect. The topic is further dealt with in interviews where I examine 36 informants implicit attitudes through interactional sociolinguistic analyses. This study comes close to pragmatic discourse analysis in its focus on pragmatic particles and modality. The study makes a rather strict distinction between explicitly expressed opinions and implicit, subconscious attitudes. The quantitative analyses suggest that the opinions we express can be tied to the explicit in language. The outcome of the matched-guise test shows that it is furthermore possible to find subconscious, implicit attitudes that people in actual situations rely on when they make decisions. The discourse analysis finds many subconscious signals, but it also shows that the signals arise in interaction with one s interlocutor, the situation, and the norms in the society. To account for this I have introduced the concept of socioconscious attitude. Socioconscious attitudes reflect not only the traditions and values the utterer grew up with, but also the speaker s relation to the social situation (s)he takes part in.

Vänner, kolleger och gynnare : Namngivningen av de finska fästningsverken under Augustin Ehrensvärds tid

Under 1700-talets andra hälft hörde Sveriges nya fästningar i öst (Helsingfors, Sveaborg, Lovisa och Svartholm) till rikets största satsningar. Fästningsprojektet leddes med undantag av ett par avbrott av Augustin Ehrensvärd (1710 1772). När arbetet tog fart namngavs de enskilda fästningsverken i så gott som alla fall efter samtida personer. Under Ehrensvärds tid tillämpades denna namngivning på omkring femtio av Sveaborgs och Helsingfors fästningsverk samt på Lovisas och Svartholms totalt aderton verk. Genom personerna de knöts till berättar namnen en hel del om Augustin Ehrensvärds samtid och omvärld. Hur de gjorde det är denna avhandlings huvudfråga. Källmaterialet utgörs av relationsritningar och brev, medan de teoretiska ramarna står att finna i nätverksteori och onomastiska teorier om namnmönster. Ehrensvärd förklarade sin namngivningspraxis för sin överordnade, tronföljaren Adolf Fredrik, 1749 i samband med att Gustavssvärd med fästningsverk namngavs: tanken var att namnge bastioner efter de som bidragit till arbetets framgång och att namnge utanverk efter officerare vid fästningsbygget. Innebörden av Ehrensvärds ord framgår ur namnbeståndet. De största grupperna består av ämbetsmän och militärer. Med de som bidragit till arbetets framgång avsågs sålunda den lokala eliten: landshövdingar som involverats i fästningsbygget samt högre och lägre militärer som tjänstgjorde vid fästningarna. Redan från början syns en klar hierarki i namngivningen. Medan landshövdingarna och de högre militärerna tillägnades bastioner, fick de lägre officerarna se mindre fästningsverk namngivna efter sig, helt i enlighet med Ehrensvärds egen beskrivning. Utanför de ovan nämnda grupperna, hedrades en hel del personer som inte konkret hade engagerats i fästningsbygget. Denna namngivning kan förklaras å ena sidan inom ramen för Ehrensvärds sociala nätverk och å andra sidan mot bakgrund av riksdagspolitiken i frihetstidens Sverige. Av de två förklaringsmodeller bör Ehrensvärds personliga vänskaper ses som en bidragande orsak, medan de politiska motiven utgjorde en avgörande orsak. Som en del av Ehrensvärds nätverk kan de gynnare ses som hade stöttat Ehrensvärd under hans karriär samt hans närmaste medarbetare vid fästningsbygget, ofta officerer han själv handplockat. Namngivningens politiska aspekt syns i det stora antalet riksråd som tillägandes bastionnamn. Vid sidan om riksråden hedrades också talmän vid de samtida riksdagarna. En komparativ studie i namngivningen av fästningsverk vid samtida och äldre svenska fästningar framhäver Ehrensvärd som en innovativ namngivare. Fästningsverk namngivna efter kungligheter verkar ha varit en norm, som också Ehrensvärd anknöt till genom ett fåtal namn. Däremot var namn efter personer inte vanliga, vilket gav den Ehrensvärdska namngivningen en förhållandevis stark anknytning till samtiden. Denna aspekt bekräftas om namnen ses mot bakgrund av 1700-talets uppfattning om ära och äregirighetens samhälleliga nytta. I denna uppfattning syns bakgrunden till förekomsten av personer med både hög och låg status i Ehrensvärds namngivning. Sammanfattningsvis speglar namnen på de finska fästningsverken sin samtid genom den byråkratiska, militära och politiska elit de representerar samt genom motiveringen till dem.

"Kyl mä varmaan kohta ymmärrän." : Asunnon suunnittelu -opetusohjelma oppilaiden ajattelun ja oppimisen haastajana peruskoulun kotitalousopetuksessa

"I will soon understand." The House Planning Program as an Enhancer of Pupils´ Thinking Skills and Learning in Home Economics at Comprehensive School The aim of the research was to build a study program for home economics education in order to enhance pupils´ thinking skills. The program was based on the intervention programs or strategies known as Cognitive Acceleration (CA), which are founded on the theories of Jean Piaget, Lev Vygotsky, and Reuven Feuerstein. In addition, Carl Bereiter s theory of knowledge building was integrated to the research. The viewpoint of home economics was based on the multidimensional foundation of home economics science, particularly household technology and house planning. I first analyzed the kind of body of knowledge home economics science and home economics education provides for enhancing thinking skills in home economics. For the study, a CATE (Cognitive Acceleration through Technology Education) program was adapted and modified and a House Planning program was created for home economics classes. The house planning program consisted of five lessons during which pupils learned how to make functional floor plans as well as choose furniture, household appliances and materials for the home. In order to obtain the required data, various classroom experiments were arranged in 2005 with grade 9 pupils at a comprehensive school in Helsinki. All the experiments were videotaped, and five hours of the videotaped material was edited and transcribed for closer examination. The material consisted of all the video-recorded activity of the selected study group. Interaction study and content analysis were used to analyze the data. Following the experiments, a small survey was conducted to solicit pupils´ and teacher´s opinions of the program. The analysis sheds light on the nature of pupils´ interaction and knowledge building in small group activity. Special attention was given to tracking pupils´ interaction during the socalled construction zone activity. The models and qualities of teacher´s aid and support during the lessons were examined as well. The results revealed the versatility of the pupils social interaction and common knowledge building that occurred during the small group activity. The pupils discussions, including their arguments, their sharing of ideas, and the multiple perspectives that emerged reflected home economics knowledge building. The construction zone activity appeared through expressions of cognitive conflict and metacognition. Cognitive conflict was evident in the pupils´ words and involved questioning, doubting and disputing. The metacognitive activity emerged by thinking aloud, choosing the strategies, and negotiating the results. The pupils also coordinated their activity, allocated the responsibility, and systematized their work. The teacher assisted by preparing new themes for the pupils and by participating in the small group work. The teacher´s help during the small group sessions strengthened the pupils activity in the construction zone. The results showed that one can utilize the wide multidisciplinary basis of home economics, which includes scientific knowledge but also the knowledge derived from practical activity and experience. In this study practical activity was undertaken as a planning project the result of which was a plan or a new vision for the house planning situation. The study showed that the House Planning program was able to enhance the pupils´ social interaction and collaboration. The learning environment challenged the pupils in a way that could be a gateway to further developing their thinking skills. The method of analysis created in the study could be a potential tool for examining social interaction, construction zone activity, and knowledge building in other learning environments as well. Key words: home economics, house planning, classroom experiment, thinking skills,cognitive conflict, metacognition, social interaction, knowledge building