In condensed matter physics, a spin glass is a magnetic state characterized by randomness, besides cooperative behavior in freezing of spins at a temperature called "freezing temperature" Tf.[1] In ferromagnetic solids, component atoms' magnetic spins all align in the same direction. Spin glass when contrasted with a ferromagnet is defined as "disordered" magnetic state in which spins are aligned randomly or without a regular pattern and the couplings too are random.[1] A spin glass should not be confused with a "spin-on glass". The latter is a thin film, usually based on SiO2, which is applied via spin coating.
The term "glass" comes from an analogy between the magnetic disorder in a spin glass and the positional disorder of a conventional, chemical glass, e.g., a window glass. In window glass or any amorphous solid the atomic bond structure is highly irregular; in contrast, a crystal has a uniform pattern of atomic bonds. In ferromagnetic solids, magnetic spins all align in the same direction; this is analogous to a crystal's lattice-based structure.
The individual atomic bonds in a spin glass are a mixture of roughly equal numbers of ferromagnetic bonds (where neighbors have the same orientation) and antiferromagnetic bonds (where neighbors have exactly the opposite orientation: north and south poles are flipped 180 degrees). These patterns of aligned and misaligned atomic magnets create what are known as frustrated interactions – distortions in the geometry of atomic bonds compared to what would be seen in a regular, fully aligned solid. They may also create situations where more than one geometric arrangement of atoms is stable.
There are two main aspects of spin glass. On the physical side, spin glasses are real materials with distinctive properties, a review of which is.[2] On the mathematical side, simple statistical mechanics models, inspired by real spin glasses, are widely studied and applied.[3]
Spin glasses and the complex internal structures that arise within them are termed "metastable" because they are "stuck" in stable configurations other than the lowest-energy configuration (which would be aligned and ferromagnetic). The mathematical complexity of these structures is difficult but fruitful to study experimentally or in simulations; with applications to physics, chemistry, materials science and artificial neural networks in computer science.
If a magnetic field is applied as the sample is cooled to the transition temperature, magnetization of the sample increases as described by the Curie law. Upon reaching Tc, the sample becomes a spin glass, and further cooling results in little change in magnetization. This is referred to as the field-cooled magnetization.
When the external magnetic field is removed, the magnetization of the spin glass falls rapidly to a lower value known as the remanent magnetization.
Magnetization then decays slowly as it approaches zero (or some small fraction of the original value – this remains unknown). This decay is non-exponential, and no simple function can fit the curve of magnetization versus time adequately.[4] This slow decay is particular to spin glasses. Experimental measurements on the order of days have shown continual changes above the noise level of instrumentation.[4]
Spin glasses differ from ferromagnetic materials by the fact that after the external magnetic field is removed from a ferromagnetic substance, the magnetization remains indefinitely at the remanent value. Paramagnetic materials differ from spin glasses by the fact that, after the external magnetic field is removed, the magnetization rapidly falls to zero, with no remanent magnetization. The decay is rapid and exponential.[citation needed]
If the sample is cooled below Tc in the absence of an external magnetic field, and a magnetic field is applied after the transition to the spin glass phase, there is a rapid initial increase to a value called the zero-field-cooled magnetization. A slow upward drift then occurs toward the field-cooled magnetization.
Surprisingly, the sum of the two complicated functions of time (the zero-field-cooled and remanent magnetizations) is a constant, namely the field-cooled value, and thus both share identical functional forms with time,[5] at least in the limit of very small external fields.
Edwards–Anderson model
This is similar to the Ising model. In this model, we have spins arranged on a -dimensional lattice with only nearest neighbor interactions. This model can be solved exactly for the critical temperatures and a glassy phase is observed to exist at low temperatures.[6] The Hamiltonian for this spin system is given by:
where refers to the Pauli spin matrix for the spin-half particle at lattice point , and the sum over refers to summing over neighboring lattice points and . A negative value of denotes an antiferromagnetic type interaction between spins at points and . The sum runs over all nearest neighbor positions on a lattice, of any dimension. The variables representing the magnetic nature of the spin-spin interactions are called bond or link variables.
In order to determine the partition function for this system, one needs to average the free energy where , over all possible values of . The distribution of values of is taken to be a Gaussian with a mean and a variance :
Solving for the free energy using the replica method, below a certain temperature, a new magnetic phase called the spin glass phase (or glassy phase) of the system is found to exist which is characterized by a vanishing magnetization along with a non-vanishing value of the two point correlation function between spins at the same lattice point but at two different replicas:
where are replica indices. The order parameter for the ferromagnetic to spin glass phase transition is therefore , and that for paramagnetic to spin glass is again . Hence the new set of order parameters describing the three magnetic phases consists of both and .
Under the assumption of replica symmetry, the mean-field free energy is given by the expression:[6]
Sherrington–Kirkpatrick model
In addition to unusual experimental properties, spin glasses are the subject of extensive theoretical and computational investigations. A substantial part of early theoretical work on spin glasses dealt with a form of mean-field theory based on a set of replicas of the partition function of the system.
An important, exactly solvable model of a spin glass was introduced by David Sherrington and Scott Kirkpatrick in 1975. It is an Ising model with long range frustrated ferro- as well as antiferromagnetic couplings. It corresponds to a mean-field approximation of spin glasses describing the slow dynamics of the magnetization and the complex non-ergodic equilibrium state.
Unlike the Edwards–Anderson (EA) model, in the system though only two-spin interactions are considered, the range of each interaction can be potentially infinite (of the order of the size of the lattice). Therefore, we see that any two spins can be linked with a ferromagnetic or an antiferromagnetic bond and the distribution of these is given exactly as in the case of Edwards–Anderson model. The Hamiltonian for SK model is very similar to the EA model:
where have same meanings as in the EA model. The equilibrium solution of the model, after some initial attempts by Sherrington, Kirkpatrick and others, was found by Giorgio Parisi in 1979 with the replica method. The subsequent work of interpretation of the Parisi solution—by M. Mezard, G. Parisi, M.A. Virasoro and many others—revealed the complex nature of a glassy low temperature phase characterized by ergodicity breaking, ultrametricity and non-selfaverageness. Further developments led to the creation of the cavity method, which allowed study of the low temperature phase without replicas. A rigorous proof of the Parisi solution has been provided in the work of Francesco Guerra and Michel Talagrand.[7]
Phase diagram
When there is a uniform external magnetic field of magnitude , the energy function becomesLet all couplings are IID samples from the gaussian distribution of mean 0 and variance . In 1979, J.R.L. de Almeida and David Thouless[8] found that, as in the case of the Ising model, the mean-field solution to the SK model becomes unstable when under low-temperature, low-magnetic field state.
The stability region on the phase diagram of the SK model is determined by two dimensionless parameters . Its phase diagram has two parts, divided by the de Almeida-Thouless curve, The curve is the solution set to the equations[8]The phase transition occurs at . Just below it, we haveAt low temperature, high magnetic field limit, the line is
Infinite-range model
This is also called the "p-spin model".[3] The infinite-range model is a generalization of the Sherrington–Kirkpatrick model where we not only consider two-spin interactions but -spin interactions, where and is the total number of spins. Unlike the Edwards–Anderson model, but similar to the SK model, the interaction range is infinite. The Hamiltonian for this model is described by:
where have similar meanings as in the EA model. The limit of this model is known as the random energy model. In this limit, the probability of the spin glass existing in a particular state depends only on the energy of that state and not on the individual spin configurations in it.
A Gaussian distribution of magnetic bonds across the lattice is assumed usually to solve this model. Any other distribution is expected to give the same result, as a consequence of the central limit theorem. The Gaussian distribution function, with mean and variance , is given as:
The order parameters for this system are given by the magnetization and the two point spin correlation between spins at the same site , in two different replicas, which are the same as for the SK model. This infinite range model can be solved explicitly for the free energy[6] in terms of and , under the assumption of replica symmetry as well as 1-Replica Symmetry Breaking.[6]
Non-ergodic behavior and applications
A thermodynamic system is ergodic when, given any (equilibrium) instance of the system, it eventually visits every other possible (equilibrium) state (of the same energy). One characteristic of spin glass systems is that, below the freezing temperature , instances are trapped in a "non-ergodic" set of states: the system may fluctuate between several states, but cannot transition to other states of equivalent energy. Intuitively, one can say that the system cannot escape from deep minima of the hierarchically disordered energy landscape; the distances between minima are given by an ultrametric, with tall energy barriers between minima.[note 2] The participation ratio counts the number of states that are accessible from a given instance, that is, the number of states that participate in the ground state. The ergodic aspect of spin glass was instrumental in the awarding of half the 2021 Nobel Prize in Physics to Giorgio Parisi.[9][10][11]
For physical systems, such as dilute manganese in copper, the freezing temperature is typically as low as 30 kelvins (−240 °C), and so the spin-glass magnetism appears to be practically without applications in daily life. The non-ergodic states and rugged energy landscapes are, however, quite useful in understanding the behavior of certain neural networks, including Hopfield networks, as well as many problems in computer scienceoptimization and genetics.
Spin-glass without structural disorder
Elemental crystalline neodymium is paramagnetic at room temperature and becomes an antiferromagnet with incommensurate order upon cooling below 19.9 K.[12] Below this transition temperature it exhibits a complex set of magnetic phases[13][14] that have long spin relaxation times and spin-glass behavior that does not rely on structural disorder.[15]
In 1930s, material scientists discovered the Kondo effect, where the resistivity of nominally pure gold reaches a minimum at 10 K, and similarly for nominally pure Cu at 2 K. It was later understood that the Kondo effect occurs when a nonmagnetic metal is infused with dilute magnetic atoms.
Unusual behavior was observed in of iron-in-gold alloy (AuFe) and manganese-in-copper alloy (CuMn) at around 1 to 10 atomic percent. Cannella and Mydosh observed in 1972[24] that AuFe had an unexpected cusplike peak in the a.c. susceptibility at a well defined temperature, which would later be termed spin glass freezing temperature.[25]
It was also called "mictomagnet" (micto- is Greek for "mixed"). The term arose from the observation that these materials often contain a mix of ferromagnetic () and antiferromagnetic () interactions, leading to their disordered magnetic structure. This term fell out of favor as the theoretical understanding of spin glasses evolved, recognizing that the magnetic frustration arises not just from a simple mixture of ferro- and antiferromagnetic interactions, but from their randomness and frustration in the system.
Sherrington–Kirkpatrick model
Sherrington and Kirkpatrick proposed the SK model in 1975, and solved it by the replica method.[26] They discovered that at low temperatures, its entropy becomes negative, which they thought was because the replica method is a heuristic method that does not apply at low temperatures.
It was then discovered that the replica method was correct, but the problem lies in that the low-temperature broken symmetry in the SK model cannot be purely characterized by the Edwards-Anderson order parameter. Instead, further order parameters are necessary, which leads to replica breaking ansatz of Giorgio Parisi. At the full replica breaking ansatz, infinitely many order parameters are required to characterize a stable solution.[27]
Applications
The formalism of replica mean-field theory has also been applied in the study of neural networks, where it has enabled calculations of properties such as the storage capacity of simple neural network architectures without requiring a training algorithm (such as backpropagation) to be designed or implemented.[28]
More realistic spin glass models with short range frustrated interactions and disorder, like the Gaussian model where the couplings between neighboring spins follow a Gaussian distribution, have been studied extensively as well, especially using Monte Carlo simulations. These models display spin glass phases bordered by sharp phase transitions.
Besides its relevance in condensed matter physics, spin glass theory has acquired a strongly interdisciplinary character, with applications to neural network theory, computer science, theoretical biology, econophysics etc.
^ is identical to the so-called "freezing temperature"
^The hierarchical disorder of the energy landscape may be verbally characterized by a single sentence: in this landscape there are "(random) valleys within still deeper (random) valleys within still deeper (random) valleys, ..., etc."
References
^ abMydosh, J. A. (1993). Spin Glasses: An Experimental Introduction. London, Washington DC: Taylor & Francis. p. 3. ISBN0748400389. 9780748400386.
^ abMézard, Marc; Montanari, Andrea (2009). Information, physics, and computation. Oxford graduate texts. Oxford: Oxford university press. ISBN978-0-19-857083-7.
^ abJoy, P. A.; Kumar, P. S. Anil; Date, S. K. (7 October 1998). "The relationship between field-cooled and zero-field-cooled susceptibilities of some ordered magnetic systems". J. Phys.: Condens. Matter. 10 (48): 11049–11054. Bibcode:1998JPCM...1011049J. doi:10.1088/0953-8984/10/48/024. S2CID250734239.
^Nordblad, P.; Lundgren, L.; Sandlund, L. (February 1986). "A link between the relaxation of the zero field cooled and the thermoremanent magnetizations in spin glasses". Journal of Magnetism and Magnetic Materials. 54–57 (1): 185–186. Bibcode:1986JMMM...54..185N. doi:10.1016/0304-8853(86)90543-3.
^ abcdNishimori, Hidetoshi (2001). Statistical Physics of Spin Glasses and Information Processing: An Introduction. Oxford: Oxford University Press. p. 243. ISBN9780198509400.
^Lebech, B; Wolny, J; Moon, R M (1994). "Magnetic phase transitions in double hexagonal close packed neodymium metal-commensurate in two dimensions". Journal of Physics: Condensed Matter. 6 (27): 5201–5222. Bibcode:1994JPCM....6.5201L. doi:10.1088/0953-8984/6/27/029. ISSN0953-8984.
^Kamber, Umut; Bergman, Anders; Eich, Andreas; Iuşan, Diana; Steinbrecher, Manuel; Hauptmann, Nadine; Nordström, Lars; Katsnelson, Mikhail I.; Wegner, Daniel; Eriksson, Olle; Khajetoorians, Alexander A. (2020). "Self-induced spin glass state in elemental and crystalline neodymium". Science. 368 (6494). arXiv:1907.02295. doi:10.1126/science.aay6757. ISSN0036-8075. PMID32467362.
Stein, Daniel L.; Newman, Charles M. (2013). Spin glasses and complexity. Primers in complex systems. Princeton: Princeton University Press. ISBN978-0-691-14733-8. Popular exposition, with a minimal amount of mathematics.
Mydosh, J. A. (1993). Spin glasses: an experimental introduction. London; Washington, DC: Taylor & Francis. ISBN978-0-7484-0038-6. Focuses on the experimentally measurable properties of spin glasses (such as copper-manganese alloy).
Fischer, K. H.; Hertz, John (1991). Spin glasses. Cambridge studies in magnetism. Cambridge; New York, NY, USA: Cambridge University Press. ISBN978-0-521-34296-4. Covers mean field theory, experimental data, and numerical simulations.
Talagrand, Michel (2010). Mean field models for spin glasses. 1: Basic examples. Ergebnisse der Mathematik und ihrer Grenzgebiete (Softcover repr. of the harcover 1st ed. 2010 ed.). Berlin Heidelberg: Springer. ISBN978-3-642-26598-3. and Talagrand, Michel (2011). Mean field models for spin glasses. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge = A series of modern surveys in mathematics. Heidelberg; New York: Springer. ISBN978-3-642-15201-6. OCLC733249730.. Compendium of rigorously provable results.
Nordblad, P.; Lundgren, L.; Sandlund, L. (1986), "A link between the relaxation of the zero field cooled and the thermoremanent magnetizations in spin glasses", Journal of Magnetism and Magnetic Materials, 54: 185–186, Bibcode:1986JMMM...54..185N, doi:10.1016/0304-8853(86)90543-3.
State park in Texas, United States Fort Parker State ParkFort Parker State ParkShow map of TexasShow map of the United StatesLocationLimestone County, TexasNearest cityMexia, TexasCoordinates31°36′13″N 96°33′03″W / 31.60361°N 96.55083°W / 31.60361; -96.55083Area1,458.8 acres (590.4 ha)[1]Established1941; 82 years ago (1941)Governing bodyTexas Parks and Wildlife Department[2] Fort Parker State Park is a Texas ...
بروتوكول بصمة اليدمعلومات عامةالبداية 1971 الاستعمال Presence information (en) المكتشف أو المخترع ليه إيرنست منفذ حاسوب 7979 الموقع في نموذج الربط البيني للأنظمة المفتوحة طبقة التطبيق تعديل - تعديل مصدري - تعديل ويكي بيانات بروتوكول الاصبع في علم شبكات الكمبيوتر، يعد بروتوكول من بروتوك�...
Artikel ini bukan mengenai Liga Negara UEFA. Liga Negara CONCACAF250pxMulai digelar2018WilayahAmerika Utara (CONCACAF)Jumlah tim41Kualifikasi untukPiala Emas CONCACAFJuara bertahanAmerika Serikat Liga Negara CONCACAF 2022–23 Liga Negara CONCACAF (bahasa Inggris: CONCACAF Nations League) adalah sebuah kompetisi sepak bola pria senior antarnegara anggota CONCACAF, badan pengatur sepak bola wilayah Amerika Utara, Amerika Tengah, dan Karibia. Kompetisi ini akan menggantikan sebagian besar p...
Elias Elias atuando pelo Corinthians em 2010. Informações pessoais Nome completo Elias Mendes Trindade Data de nascimento 16 de maio de 1985 (38 anos) Local de nascimento São Paulo, São Paulo, Brasil Nacionalidade brasileiro Altura 1,73 m Pé destro Apelido Tico Informações profissionais Clube atual aposentado Posição volante Clubes de juventude 1991-19971997–2005 ADC Nitro QuímicaPalmeiras Clubes profissionais2 Anos Clubes Jogos e gol(o)s 20062007200720082008–201020112...
Bahasa Breton Brezhoneg Tanda dwibahasa di Quimper (Kemper), BretagnePengucapanbʁeˈzõːnɛk, brehõˈnɛkDituturkan diPrancisWilayahBretagne dan Loire-AtlantiqueEtnisSuku BretonPenutursekitar 207.000 jiwa di Bretagne (2007)[1]16.000 di Île-de-France[2](Jumlah termasuk siswa yang menghadiri kelas dwibahasa)[3]Rumpun bahasaIndo-Eropa KeltKelt KepulauanBritonikBritonik Barat DayaBreton DialekGwenedegKernevegLeonegTregeriegSistem penulisanLatinStatus resmiDia...
Largest naval formation of warships controlled by a single leader This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Naval fleet – news · newspapers · books · scholar · JSTOR (November 2016) (Learn how and when to remove this template message) A rare occurrence of a 5-country multinational fleet, during Operati...
Campeonato Mundial de PoloEstancia Grande 2011 Polo internacional Partido inaugural entre Argentina y México Datos generalesSede Estancia Grande ArgentinaCategoría 14 goles de hándicapFecha 10 – 21 de octubre de 2011Edición IXOrganizador Federación Internacional de PoloPalmarésCampeón ArgentinaSubcampeón BrasilTercero Italia Cronología Ciudad de México 2008 Estancia Grande 2011 Santiago de Chile 2015 [editar datos en Wikidata] El Campeonato Mundial de Polo de 2011 f...
Wappen der Landeshauptstadt DüsseldorfFriedrichstadtStadtteil der Landeshauptstadt Düsseldorf Lage im Stadtgebiet Basisdaten[1] Geographische Lage: 51° 13′ N, 6° 47′ O51.2122222222226.780555555555638.0Koordinaten: 51° 13′ N, 6° 47′ O Höhe: 38 m ü. NN Fläche: 1,1 km² Einwohner: 20.084 (30. Juni 2023) Bevölkerungsdichte: 18.258 Einwohner je km² Eingemeindung: 1384 Stadtbezirk: Stadtbezirk 3 Stadtteilnummer: ...
Cet article recense les pratiques inscrites au patrimoine culturel immatériel en Guinée. Statistiques La Guinée ratifie la convention pour la sauvegarde du patrimoine culturel immatériel le 20 février 2008[1]. La première pratique protégée est inscrite en 2008[1]. En 2016, la Guinée compte 1 élément inscrit au patrimoine culturel immatériel, sur la liste représentative[1]. Listes Liste représentative L'élément suivant est inscrit sur la liste représentative du patrimoine cult...
يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (ديسمبر 2018) الدوري الإسباني الدرجة الثانية الموسم 2002–2003 البلد إسبانيا المنظم الاتحاد الملكي الإسباني لكرة القد�...
Cuban football club Football clubCiudad de La HabanaFull nameFC Ciudad de La HabanaGroundEstadio Pedro MarreroHavanaCapacity20,000LeagueCampeonato Nacional de Fútbol Home colours Ciudad de La Habana is a Cuban professional football team playing at the top level of Cuban football. It is based in Havana. Their home stadium is Estadio Pedro Marrero. vteCampeonato Nacional de Fútbol de CubaTeams Camagüey Ciego de Ávila Cienfuegos Granma Guantánamo Isla de La Juventud La Habana Las Tunas Pina...
Gabinete de los Estados Unidos Cabinet of the United States (inglés) Gran Sello de los Estados UnidosLocalizaciónPaís Estados UnidosInformación generalJurisdicción Estados UnidosTipo Poder ejecutivoSede Sala del Gabinete, Casa Blanca, Washington D. C.Sistema República presidencialistaOrganizaciónPresidente Joe BidenVicepresidenta Kamala HarrisSecretario de Estado Antony BlinkenComposición Véase Gabinete en el período presidencial de Joe BidenDepende de Presiden...
Ukrainian political party Native Zakarpattia Рідне ЗакарпаттяLeaderAndriy NovytskyiFoundedOctober 24, 2018HeadquartersUzhhorod, UkraineIdeologyRegionalismVerkhovna Rada0 / 450Zakarpattia Oblast Council12 / 64[1]Regions354 / 43,122[2]Politics of UkrainePolitical partiesElections Native Zakarpattia (Ukrainian: Рідне Закарпаття, romanized: Ridne Zakarpattia) is a political party in Zakarpattia Oblast, western Ukraine. Founded in 2018,[3]...
Bacterial regulatory system Regulation of Porin genes EnvZ/OmpR is a two-component regulatory system widely distributed in bacteria and particularly well characterized in Escherichia coli. Its function is in osmoregulation, responding to changes in environmental osmolality by regulating the expression of the outer membrane porins OmpF and OmpC. EnvZ is a histidine kinase which also possesses a cytoplasmic osmosensory domain, and OmpR is its corresponding response regulator protein.[1]...
Renault ScénicInformasiProdusenRenaultJuga disebutRenault Mégane Scénic (Republik Tiongkok)Masa produksi1996-2022Bodi & rangkaKelasMPV kompakBentuk kerangkaMPV 5 pintuTata letakMesin depan, Penggerak roda depan / Penggerak 4 rodaDimensiJarak sumbu roda2.580 mm (102 in)Panjang4.134 mm (163 in)Lebar1.719 mm (68 in)Tinggi1.615 mm (64 in)Berat kosong1.220 kg (2.690 pon) 1996-1999 Renault Mégane Scénic 2001 Renault Scénic R...
Soviet-Latvian chess player (1936–1992) In this name that follows Eastern Slavic naming conventions, the patronymic is Nekhemyevich and the family name is Tal. Mikhail TalTal in 1962Full nameMikhail Nekhemyevich TalCountrySoviet Union (until 1991)Latvia (1992)Born9 November 1936 (1936-11-09)Riga, LatviaDied28 June 1992 (1992-06-29) (aged 55)[1]Moscow, RussiaTitleGrandmaster (1957)World Champion1960–1961Peak rating2705 (January 1980)Peak rankingNo....
Former railway station in Victoria, Australia RobinvaleTrack side of the Robinvale station buildingGeneral informationLine(s)RobinvalePlatforms1Tracks1Other informationStatusClosedHistoryOpened1924ClosedTo passengers on 3 June 1978Services Preceding station Disused railways Following station Bannerton Robinvale line Terminus List of closed railway stations in Victoria Robinvale station in Robinvale, Victoria, Australia, is the terminus of the Robinval...
ديك كيلسي معلومات شخصية اسم الولادة (بالإنجليزية: Richmond Irwin Kelsey)، و(بالتشيكية: Richmond Irwing Kelsey) الميلاد 3 مايو 1905[1] مقاطعة سان دييغو، وسان دييغو الوفاة 3 مايو 1987 (82 سنة) [1] كاماريلو، فينتورا، كاليفورنيا مواطنة الولايات المتحدة الحياة العملية ا...
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (January 2013) (Learn how and when to remove this template message) Aigle-class destroyer Class overview NameAigle class Operators French Navy Preceded byGuépard class Succeeded byVauquelin class Completed6 Scrapped1 General characteristics (as built) TypeDestroyer...
The Knowledge Based Software Assistant (KBSA) was a research program funded by the United States Air Force. The goal of the program was to apply concepts from artificial intelligence to the problem of designing and implementing computer software. Software would be described by models in very high level languages (essentially equivalent to first order logic) and then transformation rules would transform the specification into efficient code. The air force hoped to be able to generate the softw...