COMPUTING MACHINERY ASSOCIATION TOPLANTISI

Program, Başlıklar ve Özetler

Association for Computing Machinery’nin 12. Ulusal Toplantısı, 19 Haziran Çarşamba’dan 21 Haziran Cuma’ya kadar, Houston, Texas’taki University of Houston’da gerçekleştirilmiştir. Aşağıda program, bildirilerin ve konuşmaların başlıkları ile bazı bildirilerin özetleri verilmektedir. Toplantı süresince iki oturum eşzamanlı olarak yürütülmüştür. Toplantı bildirilerinin yayımlanması beklenmemektedir. Herhangi bir bildiri hakkında daha fazla bilgi için, adresi programda verilen yazara doğrudan başvurulması rica olunur.

Bir bildiriyi izleyen parantez içindeki sayı, özet numarasını ifade eder. Parantez içindeki bir yıldız işareti (*) davetli bildiriyi belirtir.

Program

Çarşamba Sabahı, 19 Haziran 1957

A1. Açılış Oturumu

A. D. Bruce, Şansölye, University of Houston
J. W. Carr III, Başkan, Association for Computing Machinery

B1. Petrol Üretimi

Petrol Rezervuarlarına Uygulanan Bilgisayar Teknolojisi, Julius Aronofsky, Magnolia Field Laboratories, Dallas, Texas (*)
İki Boyutlu Hareketli Sınır Problemlerinin Sayısal Çözümü, D. W. Peaceman, Jim Douglas, Jr., A. O. Garder, Humble Oil & Refining Company, Houston, Texas (*)

B2. Bilgisayar Tasarımı I

Aritmetik İşlemlerde Taşmadan Kaynaklanan Hatalar, Özellikle Finac Elektronik Bilgisayarı Açısından, Paolo Ercoli ve Roberto Vacca, Istituto Nazionale per le Applicazioni del Calcolo, Roma, İtalya (5)
İkili Çarpma Sırasında Toplamaların En Aza İndirilmesine Yönelik Bir Yöntem, George W. Reitwiesner, Aberdeen Proving Ground, Maryland (31)
Ayrı Taşıma Depolamasına Sahip İkili, Paralel Bir Aritmetik Birim, Gernot A. Metze, University of Illinois, Urbana, Illinois (26)

Çarşamba Öğleden Sonra, 19 Haziran 1957

C1. Sayısal Analiz I

Kayan Nokta Aritmetiğinde Hata Analizi, John W. Carr III, University of Michigan, Ann Arbor, Michigan (52)
Pertürbasyon Yöntemi—Doğrusal ve Doğrusal Olmayan Örneklerle, George M. Kuby, Bell Aircraft Corporation, Buffalo, New York (25)
Hata Denetimli Runge–Kutta İntegrasyonu, Lester D. Earnest, Massachusetts Institute of Technology, Lincoln Laboratory, Lexington, Massachusetts (23)
IBM 650 Üzerinde Diferansiyel Denklemlerin Çözümünde Otomatik Hata Denetimi, W. Barkley Fritz ve N. Moraff, Westinghouse Electric Corporation, Air Arm Division, Baltimore, Maryland (47)
Diferansiyel Denklemlerin Kısmi Fark Gösterimlerinde Kesme Hatası, A. S. Householder, Oak Ridge National Laboratory ve Mathematics Research Center, U.S. Army (30)
En Dik İniş Yönteminin Asimptotik Davranışı Üzerine, R. J. Arms, U.S. Naval Proving Ground, Dahlgren, Virginia (29)
Ising Kafes Problemine Uygulanan Bir Monte Carlo Yöntemi Üzerine Çalışmalar, L. D. Fosdick, Midwestern Universities Research Association, Madison, Wisconsin (27)
Stefan Benzeri Bir Problemin Çözümü İçin Sayısal Bir Yöntem, Louis W. Ehrlich, The Ramo-Wooldridge Corporation, Inglewood, California (22)

C2. Bilgisayar Tasarımı II

Pegasus Bilgisayarının İşlevsel Bir Tanımı, Christopher Strachey, National Research Development Corporation, Londra, İngiltere (*)
Bilgisayar Uygulamaları İçin Yüksek Tarama Hızına Sahip Bir Depolama Aygıtı, D. M. Baumann, Massachusetts Institute of Technology, Cambridge, Massachusetts (11)
Magnacard: Yeni Bir Yüksek Hızlı Dosyalama Sistemi, Jerome B. Wiener, The Magnavox Company, Los Angeles, California (17)

C3. Petrol Arama Hesaplamaları

704 Yardımıyla Manyetik ve Gravimetrik Etütlerin Yorumlanması, E. Kogbetliantz, The Service Bureau Corporation, IBM, New York, New York (3)
Bessel Fonksiyonları ve Dairesel Fonksiyon Kombinasyonlarını İçeren İntegrallerin Değerlendirilmesi, L. de Witte ve Kenneth Fournier, Lane Wells Company, San Gabriel, California (7)
Petrol Aramacılığında Bazı Hesaplama Problemleri, Gerald Webster, Carter Oil Company, Tulsa, Oklahoma (*)

Perşembe Sabahı, 20 Haziran 1957

D1. Sayısal Analiz II

Kareköklərin Hesaplanması, Diran Sarafyan, Lamar State College of Technology, Beaumont, Texas (2)
Karmaşık Katsayılı Bir Polinomun Köklerinin Elde Edilmesi, D. M. Brown ve James H. Brown, The University of Michigan, Willow Run Laboratories, Ypsilanti, Michigan (6)
Eşit Aralıklı Olmayan Noktalarda Eğri ve Yüzey Uydurma İçin Tümleşik Bir Programlar Kümesi, Albert Newhouse ve Charles Hobby, University of Houston, Houston, Texas (28)
Fourier Katsayıları İçin İkinci Mertebe Formüller, Henry F. Hunter, General Electric Company, Schenectady, New York (48)
Neredeyse Tekil Matrislerin Tersi, Christopher Strachey, National Research Development Corporation, Londra, İngiltere (*)
Genel Matrislerin Özdeğerleri ve Özvektörleri, Morton A. Hyman, Remington Rand Univac, Philadelphia, Pennsylvania (32)
Keyfi Fonksiyonların Sıfırlarının Bulunması, Werner L. Frank, The Ramo-Wooldridge Corporation, Los Angeles, California (21)

D2. Analog ve Dijital Simülasyon

Didas, George R. Slayton, Lockheed Aircraft Corporation, Marietta, Georgia (33)
Bir Diferansiyel Analizörün Dijital Bir Bilgisayar Üzerinde Simülasyonu Yöntemleri, H. Fred Lesh, Electro-Data Division, Burroughs Corporation, Pasadena, California, ve William R. Hoover, California Institute of Technology, Jet Propulsion Laboratory, Pasadena, California (35)
Gaz Dinamiği Tesisi Tesis Simülatörü, George McKay, Jr., ARO, Inc., Tullahoma, Tennessee (35)
Tesis Simülasyonu: Olağandışı Gereksinimlere Sahip Ortak Bir Problem, J. S. Bonner, Bonner & Moore Engineering Associates, Houston, Texas (58)

D3. Lisede Bilgisayarların Rolü

FEN EĞİTİMİ

Panel Tartışması

George Forsythe, Başkan, University of California at Los Angeles;
Richard Melville, Stanford Research Institute, Stanford, California;
D. L. Trautman, Hughes Aircraft Co., Culver City, California;
V. Eugene Ferguson, Newton High School, Newtonville, Massachusetts (*)

Perşembe Öğleden Sonra, 20 Haziran 1957

E1. OTOMATİK KODLAMA

Dinamik Akış Diyagramları: Bilgisayar Programlamada Yeni Bir Kavram
R. P. Mayer, Massachusetts Institute of Technology, Lincoln Laboratory, Lexington, Massachusetts (43)

Akış Diyagramlarının Cebirsel Biçimlendirilmesi
Edward A. Voorhees, University of California, Los Alamos Scientific Laboratory, Los Alamos, New Mexico (4)

IBM 705 Autocoder Sistemi
Stanley J. Szabronski, IBM Corporation, New York, New York (19)

IBM Type 705 EDPM Üzerinde Teknik Hesaplamalarda Autocoder Kullanımı
R. W. Schrage, Esso Standard Oil Company, Linden, New Jersey (53)

E2. VERİ İŞLEME

Otomatik Çevrim İçi Bir Rüzgâr Tüneli Veri İndirgeme Sisteminin Programlanması
John N. Walz, Aro, Inc., Tullahoma, Tennessee (34)

Dijital Bir Bilgisayar (SEAC) Üzerinde Patent Aramasına İlk Bir Yaklaşım
Harold Pfeffer, Herbert R. Koller ve Ethel Marden, National Bureau of Standards, Washington, D.C. (24)

Çift Girişli Tablolar İçin Yoğunlaştırma ve Başvuru Prosedürleri
Nathaniel Macon, General Electric Company, Evendale, Ohio (16)

E3. ÜNİVERSİTE BİLGİSAYAR LABORATUVARLARININ PROBLEMLERİ

Panel Tartışması, Açılış Konuşmaları
Paul Brock, Purdue University

Tartışma, Paul Brock, Başkan:

Bölümler Arası İrtibat ve Müfredatlar, M. H. Wrubel, University of Indiana
Bir Üniversite Hesaplama Merkezinin Donatılması ve Personel Temini, A. J. Perlis, Carnegie Institute of Technology
Öğrenci İlgi Gelişimi: Kapsamlı Bir Yönlendirme Programı, R. F. Reeves, Ohio State University
ACM: Üniversiteler Arası İş Birliği İçin Bir Kuruluş, John W. Carr III, University of Michigan

Cuma Sabahı, 21 Haziran 1957

F1. PETROL RAFİNERİSİ PROBLEMLERİ

Rafineri Hesaplamalarında Doğrusal Programlama ve Diğer Matematiksel Tekniklerin Bütünleştirilmesi
Frank Pfaff, Bayway Refinery, Esso Standard Oil Company, Linden, New Jersey (*)

Rafineri Simülasyonunda Matematiksel Programlama Deneyimi
R. B. Grant, Phillips Petroleum Company, Bartlesville, Oklahoma (*)

F2. SAYISAL ANALİZ III

Birinci Sınır Değer Probleminin Çözümüne Uygulanan, Eşit Olmayan Uzunlukta Adımlara Sahip Rastgele Yürüyüş
Valdemars Punga, Hartford Graduate Center, Rensselaer Polytechnic Institute, East Windsor Hill, Connecticut (12)

Bir Diferansiyel Denklemin Belirlenmesi İçin Yinelemeli Bir Yöntem
James A. Ward, Holloman Air Force Base, New Mexico (9)

İkili Bir Bilgisayarda Diferansiyel Denklemleri İntegrasyon İçin Bir Sistem
Charles J. Swift, Convair, San Diego, California (1)

F3. TASARIMDA DİJİTAL BİLGİSAYARLARIN KULLANIMI

Program Doğrulama Süresini Azaltacak Hesaplayıcı Özellikleri
Marvin S. Maxwell, U.S. Naval Proving Ground, Dahlgren, Virginia (50)

Bazı ILLIAC ve FERUT Kütüphane Rutinlerinde Saklanacak Sıra Türleri ve Başvurular Üzerine Bir İnceleme
J. H. Chung ve C. C. Gotlieb, University of Toronto, Toronto, Ontario; ve D. E. Muller, University of Illinois, Urbana, Illinois (54)

Bilgisayar Mantığının Otomatik Uygulanması
E. F. Morris ve T. E. Wohr, IBM Corporation, Poughkeepsie, New York (37)

Geri Besleme Devre Diyagramlarından Karmaşık Grafiklerin Hesaplanması İçin Çok Yönlü Bir Dijital Program
Thomas Guenther ve Eldo C. Koenig, Allis-Chalmers Manufacturing Company, Milwaukee, Wisconsin (55)

F4. DİJİTAL BİLGİSAYAR UYGULAMALARI

Yüksek Enerjili Hızlandırıcıların Tasarımında Bir Bilgisayarın Kullanımı Üzerine
James N. Snyder, Midwestern Universities Research Association, Madison, Wisconsin (70*)

Dil Çevirisi
A. F. R. Brown, Georgetown University, Washington, D.C. (71*)

Cuma Öğleden Sonra, 21 Haziran 1957

G1. KOD DENETİMİ VE HESAPLAMADA BİLGİSAYARLARIN VERİMLİ İŞLETİMİ

Panel Tartışması
Joseph Wegstein, Başkan, National Bureau of Standards, Washington, D.C.

Büyük bilgisayarların yüksek maliyeti, kullanıcıları makinelerinin kullanımında ölü zamanı en aza indirerek, operatör sorumluluklarını sadeleştirerek, kodlamayı basitleştirerek ve kod denetimini hızlandırarak tasarrufa zorlamaktadır. Buna bağlı olarak, çeşitli kuruluşlar bilgisayarlarının kolay ve verimli kullanımı için sistemler geliştirmiştir. Bu sistemlerin temsilcilerinden birkaçı katılıma davet edilmiştir. Bazı üyeler uzun süredir kullanımda olan sistemleri, diğerleri ise planlanmakta olan sistemleri ele alacaktır.

Üyelerden, sistemlerini kısaca tanımlamaları ve uygun olduğu durumlarda teleks şerit kullanımı, kart kullanımı, manyetik bant ve tambur kullanımı, bilgisayar süresi ve kod hazırlama süresinin ekonomisini tartışmaları istenmiştir. Her üye 20 dakika konuşacak, bunu 10 dakikalık soru ve tartışma süresi izleyecektir. Dinleyicilerden tartışmayı aydınlatacak sorular sormaları rica edilmektedir. Sorular salondan sözlü olarak sorulabileceği gibi, önceden yazılı olarak Başkana da iletilebilir.

GMR Giriş-Çıkış Sistemi, George Ryckman, General Motors Research Laboratory
1103A için Boeing Derleyicisi, Don Cook, Boeing Airplane Company
ILLIAC İşletimi, D. E. Muller, University of Illinois
GP ve LARC, Anatol Holt, Sperry-Rand Corporation
FORTRAN, John Backus, International Business Machines Corporation
Önerilen bir MIT Otomatik Kodlama Sistemi, Frank Helwig, Massachusetts Institute of Technology

G2. ANAHTARLAMA TEORİSİ

Mantıksal Tasarım Probleminde Nicemleyici Eliminasyonu
Calvin C. Elgot ve J. B. Wright, The University of Michigan, Willow Run Laboratories, Ypsilanti, Michigan (15)

Eşdeğer Ardışıl Devreler
William J. Cadden, Bell Telephone Laboratories, Whippany, New Jersey (10)

Asenkron Mantıksal Devrelerin Davranışını Simüle Eden ve İstenmeyen Yarış Koşullarını Saptayan Bir Illiac Programı
W. S. Bartky ve D. E. Muller, University of Illinois, Urbana, Illinois (57)

İkili Mantıksal Programlar Üzerine Bazı Sınırlar
C. Y. Lee, Bell Telephone Laboratories, Whippany, New Jersey (20)

ÖZETLER

1. İKİLİ BİR BİLGİSAYARDA DİFERANSİYEL DENKLEMLERİN İNTEGRASYONU İÇİN BİR SİSTEM

C. J. Swift

Convair’de hem analog hem de dijital parçalara sahip ikili bir bilgisayar oluşturulmuştur. Bu bilgisayarın diferansiyel denklem kümelerini çözmek için kullanımı, her iki tür bilgisayarın bazı avantajlarını elde etmek amacıyla denenmektedir. Analog yöntemlerle kolayca uyum sağlayabilmesi nedeniyle üçüncü mertebeden bir Kutta süreci seçilmiştir. Birleşik bilgisayar için kesme hatalarının bir analizi verilmiştir. Kısa süre içinde bazı sonuçların elde edilmesi beklenmektedir.

2. KAREKÖKLERİN HESAPLANMASI

Diran Sarafyan

Bu bildirinin amacı, kareköklerin hesaplanması için yeni bir yöntem ve buna bağlı hata kestirimidir. y = x² ve y = x − a eğrilerinin kesişimi önce cebirsel olarak, ardından grafiksel bir sınır süreciyle belirlenir. Her iki sonuç eşitlenerek aşağıdaki formül elde edilir

yₙ = 1/2 [(xᵢ + x₁)² + x₁]² + … + x₁ᶠ

burada

x₁ = (1 − n)/4 = 0.25(1 − n).

√n’nin j’inci yaklaşımı, (j − 1) adet karesini alma işlemiyle elde edilir. Bölme aritmetik işlemi kullanılmaz; ancak 0 < n < 1 olması gerekir. n > 1 için uygun bir ondalık kat kullanılır. j’inci yaklaşımda hata ε için bir üst sınır ε < kʲ⁺¹ ile verilir; burada |1 − √n| < k < 1’dir.

3. 704 YARDIMIYLA MANYETİK VE GRAVİMETRİK ETÜTLERİN YORUMLANMASI

E. Kogbetliantz

Manyetik ve gravimetrik etütlerin yorumlanması, bölgesel etkilerin doğru bir tahminine (gözlenen istasyon değerlerinden çıkarılmak üzere) ve yalnızca düzensiz dağılmış istasyon konumlarında bilinen, düzeltilmiş istasyon değerlerinden oluşan dikdörtgen ya da üçgen bir ağın köşelerinde mükemmel bir enterpolasyona dayanmalıdır.

Ancak bölgesel etkilerin doğru tahmini ve iyi bir enterpolasyon, o denli büyük miktarda sayısal hesaplama gerektirir ki, genellikle grafiksel yöntemler kullanılır. Bu yöntemler zaman ve emek kazandırır, ancak büyük hatalar getirir.

Elektronik hesaplama donanımının kullanımı bu problemi çözer ve aynı zamanda saha verilerinin artık anomaliler haritalarına, gözlenen niceliğin düşey türevine ve anomalilerin aşağı doğru devam ettirilmesine çok hızlı ve çok doğru bir biçimde dönüştürülmesine olanak tanır; böylece haritalanan verilerin doğru jeolojik yorumu mümkün ve kolay hâle gelir.

4. AKIŞ DİYAGRAMLARININ CEBİRSEL BİÇİMLENDİRİLMESİ

Edward A. Voorhees

Otomatik kodlama sistemleriyle kodlama için problemlerin tanımlanmasındaki temel güçlüğün, muhtemelen problemin denetiminin (ya da mantığının) ifade edilmesi alanında olduğu söylenebilir. Bu güçlüğe yönelik olası bir çözüm olarak, problemin iki bölüme ayrılması önerilmektedir: (a) yapılacak işin denklemleri ya da ifadeleri ve (b) denklemlerin yürütülme sırasını ve koşullarını tanımlayan denetim ifadeleri. Bu bildiri, bu tür denetim ifadelerinin basit cebirsel bir dille yazılabilirliğini göstermeyi ve böylece problemin tüm tanımını cebirsel hâle getirmeyi amaçlamaktadır.

6. BİR POLİNOMUN KÖKLERİNİN ELDE EDİLMESİ

D. M. Brown ve J. H. Brown

Bu rapor, karmaşık katsayılara sahip bir polinomun köklerinin elde edilmesi için “Downhill” şemasının mekanize edilmesine yönelik bir yöntemi açıklamaktadır. Mekanizasyon kuralları, yüksek dereceli genel polinomlar için ölçekleme ve doğruluk açısından sabit noktalı bir bilgisayarın en verimli biçimde kullanılmasına olanak tanır. Mekanizasyon yöntemi, polinomun değerlendirildiği noktaları birim çember içinde tutmak için sentetik bölme ve ters kök tekniklerini kullanır; böylece değerlendirme noktası için ölçekleme gerekmez.

Bu yöntem MIDAC için programlanmıştır ve programın sonuçları ile çalışma süresine ilişkin kısa bir özet sunulmaktadır.

7. BESSEL FONKSİYONLARI VE DAİRESEL FONKSİYON KOMBİNASYONLARINI İÇEREN İNTEGRALLERİN DEĞERLENDİRİLMESİ

L. de Witte ve Kenneth Fournier

Bessel fonksiyonları ile dairesel fonksiyonların birleşimlerini içeren integrallerin değerlendirilmesi için bir yöntem ele alınmaktadır; bu yöntemde integralin dairesel olmayan kısmı basit polinomlar ve üstel ifadelerin toplamlarıyla uyumlandırılmaktadır. Sıfır ve sonsuzluk sınırlarına doğru, argümanın küçük ve büyük değerleri için Bessel fonksiyonlarının seri açılımlarından türetilmiş asimptotik ifadeler kullanılmaktadır.

Tüm bu ifadelerin dairesel fonksiyonlarla çarpımları biçimsel olarak integre edilebilir ve sinüsler, kosinüsler, logaritmalar, üstel ifadeler ile integral sinüs ve kosinüsler cinsinden ifadeler elde edilir. Bunların yalnızca önceden belirlenmiş görece az sayıda noktada değerlendirilmesi gerekir ve önceden tablolaştırılabilirler. Bu yöntem, sayısal integrasyon kullanan yöntemlere kıyasla bilgisayar zamanında büyük tasarruf sağlar ve elverişli bir doğruluk sunar.

8. ARİTMETİK İŞLEMLERDE TAŞMAYA BAĞLI HATALAR, ÖZELLİKLE FINAC ELEKTRONİK BİLGİSAYARI AÇISINDAN

Paolo Ercoli ve Roberto Vacca

Makale, tümleyen gösteriminde ifade edilen ikili sayılar üzerinde gerçekleştirilen aritmetik işlemlerde taşma olarak adlandırılabilecek durumu tanımlar. Toplama, çıkarma, pozitif kaydırma, tümleme ve çarpma işlemleri genel kuralları belirlemek amacıyla incelenmekte ve farklı durumlar için örnekler verilmektedir.

FINAC’a kurulmuş bir taşma algılama aygıtının mantıksal tasarımında kullanılan bir düzenlemeye dikkat çekilmektedir; bu düzenleme, dijital bilgisayarların yazmaçlarında en yüksek anlamlı bitten daha sola ek bitler depolamayı gerekli kılmadan taşma denetimlerinin yapılmasına olanak tanır.

9. BİR DİFERANSİYEL DENKLEMİN BELİRLENMESİ İÇİN YİNELEMELİ BİR YÖNTEM

James A. Ward

Bu, denklemin biçimi biliniyorsa, sayısal bir çözüme dayanarak bir diferansiyel denklemin katsayılarını belirlemek için kullanılan bir yöntemdir. En basit durum, ÿ = Pẏ + Qy denkleminde P ve Q’nun bulunmasıdır.

P ve Q başlangıçta yaklaşımlar olarak alınır ve her bir veri noktası için, yeni yaklaşımın her zaman bir iyileşme olacak biçimde P, Q ya da hiçbirisi (hangisi uygunsa) değiştirilir. Veri gürültülü olsa ve başlangıç yaklaşımı büyük bir hata içerse bile yöntem hızlı bir biçimde yakınsar. Yöntem, P ve/veya Q değişken olduğunda da kullanılabilir.

10. EŞDEĞER ARDIŞIL DEVRELER

W. J. Cadden

Önceki yazarlar, tüm devrelerin aynı türde olduğu durumlarda (yani ya senkron ya da asenkron) eşdeğer ardışıl devreler kavramını ele almışlardır. Bu eşdeğerlik kavramını genişletmek ve farklı türlerdeki devreler için eşdeğer devreler bulmaya yönelik yöntemler geliştirmek ilgi çekicidir (örneğin, verilen bir senkron devreye eşdeğer bir asenkron devre).

Bu çalışmada üç tür ardışıl devre tanımlanacak ve verilen bir türdeki devrenin diğer türlere eşdeğer devrelere dönüştürülmesine yönelik yöntemler sunulacaktır.

11. BİLGİSAYAR UYGULAMALARI İÇİN YÜKSEK TARAMA HIZLI BİR DEPOLAMA AYGITI

D. M. Bauman

Yüksek tarama hızlı sayısal depolama için fotoğrafik tekniklerin kullanımına ilişkin bir incelemenin sonuçları sunulmaktadır. En umut verici teknik olan, bir projeksiyon sistemi ve dönen ayna kullanımına dayalı yöntem ayrıntılı olarak açıklanmaktadır. Bu sistemde, lekeler biçiminde fotoğrafik bir ortam üzerine kaydedilmiş ikili sayısal bilgi, sıradan bir slayt projektörüne benzer bir aygıtla dönen bir aynaya yansıtılır. Dönen aynadan yansıyan görüntü, sabit fotoelektrik dönüştürücülerden oluşan bir sıranın önünden tarama yaparak geçer ve dönüştürücülerin depolanmış bilgiyi okumasına neden olur.

Basit bir slayt projektörü ve dönen ayna ile gerçekleştirilen deneyler, 3600 rpm ayna hızı ve inç başına 110 çizgilik bir bellek deseni ile 250.000 cps’lik bir okuma hızına ulaşmıştır.

4 × 4 inç boyutlarında ve her biri 0,0005 × 0,002 inç olan 16 × 10⁶ bit bilgi içeren bir bellek deseni kullanan bir sistem önerilmektedir. Bu bilgi, her biri yaklaşık 36 bit genişliğinde ve 4 inç uzunluğunda paralel kanallar halinde yazılacaktır. Kanalların her birinin yinelemeli olarak okunması ve kanalların ardışık olarak okunmasına yönelik düzenler tartışılmaktadır. Okuma hızının saniyede 1 milyon kelimeden büyük olması beklenmektedir.

Computers and Automation, Temmuz 1957

12. Eşit Olmayan Uzunlukta Adımlarla Rastgele Yürüyüşün Birinci Sınır Değer Probleminin Çözümüne Uygulanması

Valdemars Punga

Düzensiz bir dikdörtgensel kafesle kapsanan bir bölgede, yani rastgele yürüyüş adımlarının eşit olmayan uzunlukta olduğu durumda, belirlenmiş sınır koşullarına sahip eliptik bir diferansiyel denklemin çözümü için Monte Carlo yöntemi ele alınmaktadır.

Formüllerimiz, eğri sınıra yakın kafes noktalarında, genellikle sınıra düzensiz bir uzaklıkta bulunan kare ağ durumunda da kullanılabilir.

15. MANTIKSAL TASARIM PROBLEMİNDE NICELEYİCİ ELİMİNASYONU

C. C. Elgot ve J. B. Wright

Mantıksal tasarım kuramındaki temel bir problem, bilgisayar devreleri tarafından gerçekleştirilebilen davranışın ifade edilmesidir. Zamandan bağımsız devreler için, önermeler hesabının formülleri davranışı ifade etmede yararlı olmuştur. Zamana bağlı devreler için ise, bu amaçla zaman değişkenlerinin niceleyicilerle ifade edilebildiği formüllerin kullanılması yönünde girişimlerde bulunulmuştur.

Niceleyici eliminasyonu yöntemiyle, devre davranışını tanımlama girişimlerinde kullanılmış olan belirli bir formül sınıfının ifade gücünü buluyoruz. Bir sonuç olarak, bu formüllerin belirli bir tür bilgisayar davranışını ifade etmekte yetersiz olduğunu kanıtlıyoruz.

16. ÇİFT GİRİŞLİ TABLOLAR İÇİN YOĞUNLAŞTIRMA VE BAK-AL YÖNTEMLERİ

N. Macon

Varsayalım ki

Z = f(x, y)

m · n adet tablo noktasında verilmiş olsun:

Zᵢⱼ = f(Xᵢ, Yⱼ), (i = 1, 2, …, m; j = 1, 2, …, n),

ve bir doğruluk gereksinimi belirlenmiş olsun. Doğruluk gereksiniminin izin verdiği ölçüde tablonun yoğunlaştırılması ve yoğunlaştırılmış tablodan Z’nin yaklaşık olarak elde edilmesi için yöntemler tanımlanmaktadır. Yalnızca doğrusal enterpolasyon gereklidir. Bu yöntem, depolama kapasitesinin sınırlı olduğu durumlarda “patolojik” fonksiyonların temsil edilmesi için uygundur.

17. “Magnacard”—Yeni Bir Yüksek Hızlı Dosyalama Sistemi

Jerome Wiener

Temel depolama ortamı olarak manyetik duyarlı malzeme ile kaplanmış kartların kullanıldığı, yüksek hızlı, büyük kapasiteli, otomatik bir dosyalama sisteminin yeni bir türü tanımlanmaktadır. Bu kartlar, bit hızları 450 kc’ye kadar olan vakum tamburları üzerinde ve dosya bloğu başına toplam kapasitesi 1,3 × 10⁹ bite kadar çıkan dosya blokları halinde işlenmektedir.

Olası dosya düzenlemelerinden ikisi de açıklanmaktadır; bunlar arasında, kartları dosya içindeki sorgulanma sıklığına göre otomatik olarak sıralayan bir dosya da yer almaktadır. Sıralamanın otomatik olarak yapılmasının bazı avantajlarına ilişkin bir çerçeve sunulmaktadır.

19. IBM 705 Autocoder Sistemi

S. J. Szabronski

Bu makale, IBM 705 EDPM için geliştirilmiş bir otomatik kodlama sistemini ve bunun çeşitli veri işleme tesislerindeki kullanım deneyimlerini tanımlamaktadır. Bu sistemde yer alan özellikler arasında, öğelerin anlamlı İngilizce adlarla tanımlanabilmesi; makro-komutlar olarak adlandırılan genişletilmiş bir işlem kümesi; ve adreslenen öğelerin birebir karşılıkları olan işlenenlerin kullanılabilmesi yer almaktadır.

Autocoder, derlenmekte olan program üzerinde sistematik bir denetim gerçekleştirir ve hata saptandığında programcının niyetini teşhis eder ve mümkünse bu hataları düzeltir. Tek bir makine çalıştırmasında hemen hemen tüm bürokratik ve teknik hatalar saptanabilir. Aktarılan deneyimler, bu tür bir sistemin kodlama süresini ve çabasını azaltmaya nasıl önemli bir katkı sağlayabileceğini gösterecektir.

20. İKİLİ MANTIK PROGRAMLARI ÜZERİNE BAZI SINIRLAR

C. Y. Lee

İkili ifadelerin programlanmasına yönelik çeşitli yollar ele alınmakta ve dizi uzunluğu ile ikili işlem sayısı üzerine bazı sınırlar verilmektedir.

Computers and Automation, Temmuz 1957

21. KEYFİ FONKSİYONLARIN SIFIRLARININ BULUNMASI

Werner I. Frank

D. Muller’e ait olan ve polinom denklemlerin gerçek ve karmaşık köklerini bulmaya yönelik bir yöntem, f(x) = 0 biçimindeki genel denklemlerin köklerini bulmaya uygulanmaktadır; burada f(x), köklerin komşuluğunda analitiktir. Yöntem, köklerin konumuna ilişkin herhangi bir ön bilgiye ya da özel bir başlangıç sürecine bağlı değildir.

Gerekli olan tek şey, x’in istenen herhangi bir değeri için f(x)’i değerlendirebilme yeteneğidir. Çok katlı kökler de elde edilebilir. UNIVAC Scientific 1103 ve 1103A için hazırlanmış genel amaçlı bir program tanımlanmakta ve şu uygulamalar için sayısal sonuçlar sunulmaktadır: diferansiyel operatörlerin özdeğerlerinin bulunması; keyfi matrislerin özdeğerlerinin bulunması; genelleştirilmiş özdeğer probleminin sıfırlarının bulunması; çeşitli aşkın denklemlerin köklerinin bulunması.

22. STEFAN BENZERİ BİR PROBLEMİN ÇÖZÜMÜ İÇİN SAYISAL BİR YÖNTEM

Louis W. Ehrlich

Sıvının uzaklaştırılmadığı bir katının erimesini içeren tek boyutlu bir ısı akışı problemi ele alınmaktadır. Problemin, yüksek hızlı bir bilgisayarda sonlu fark yöntemi kullanılarak çözülmesiyle elde edilen sonuçlar tartışılmaktadır. Arayüz yakınında özel sonlu fark formüllerine gerek vardır. Fark denklemleri doğrudan bir yöntemle çözülürken, her zaman adımında arayüzün eğimini ve konumunu belirlemek için yinelemeli bir yöntem kullanılmaktadır.

Yöntemin doğruluğu, mevcut olduğunda analitik çözümlerle ve ağ boyutları değiştirilerek elde edilen sonuçlarla karşılaştırma yoluyla incelenmektedir.

23. HATA DENETİMLİ KUTTA İNTEGRASYONU

Lester D. Earnest

Eşzamanlı diferansiyel denklemlerin adım adım integrasyonunu gerçekleştirmek üzere sayısal bilgisayarların programlanmasında, önceki fonksiyon değerlerinin bilinmesini gerektirmeyen yöntemlerin kullanılması avantajlıdır. En yüksek etkinlik için, bu tür yöntemlerin adım büyüklüğünün otomatik seçimi için bir ölçüt sağlayacak biçimde kesme hatasını tahmin etmeye yönelik bir araç içermesi gerekir. Ayrıca, gerekli depolama yazmaçlarının sayısını en aza indirmek de istenir.

Kutta tarafından genelleştirilen bir yaklaşımdan yola çıkılarak, bu gereksinimleri dördüncü mertebe doğrulukla karşılayan bir süreç geliştirilmektedir.

24. SAYISAL BİR BİLGİSAYARDA (SEAC) PATENT TARAMASINA İLK BİR YAKLAŞIM

Harold Pfeffer, Herbert R. Koller ve Ethel Marden

Patentleri, süreli yayınları ve diğer yayınları kapsayan, kodlanmış bir teknik belge kütüphanesinde gerçekleştirilen bir literatür taramasının tanımı verilmektedir. Arama türü, ABD Patent Ofisi tarafından gerçekleştirilen türdendir. SEAC üzerinde taranacak ilk veriler kimya literatürüyle, özellikle kimyasal patentlerle sınırlandırılmıştır.

25. BOZUNUM YÖNTEMİ—DOĞRUSAL VE DOĞRUSAL OLMAYAN ÖRNEKLERLE

George M. Kuby

Bozunum—bir denklemin (ya da denklem kümesinin) komşu çözümlerinin, komşu ve özgün denklemler arasındaki farkı ölçen parametreler cinsinden kuvvet serileri olarak açılması yoluyla belirlenmesi yöntemi—özellikle aşağıdaki problemlerde tanımlanmakta ve örneklenmektedir:

Ters matrislerin iyileştirilmesi.
Polinomların köklerinin sayısal hesaplama yoluyla elde edilmesi; hem normalde kolay çözülebilen durumlarda hem de olağandışı derecede zor çözülen durumlarda.
Özdeğer ve özvektör hesaplaması.
Özel bir biçimdeki eşzamanlı doğrusal olmayan diferansiyel denklemler.

Sayısal örnekler verilmekte ve bunların sayısal hesaplamasıyla ilişkili problemler tartışılmaktadır.

26. AYRI TAŞIMA DEPOLAMALI İKİLİ, PARALEL BİR ARİTMETİK BİRİM

Gernot A. Metze

Çoğu ikili, paralel aritmetik birimde, toplayıcı her kullanıldığında taşımaların tüm toplayıcı boyunca yayılmasını beklemek gereklidir. Ayrı bir taşıma depolamasının kullanımının gösterileceği belirtilmektedir...

Yeni Ürünler ve Fikirler

Bir Araç İçin Uzaktan Kumanda

Lear, Inc., Grand Rapids, Mich. tarafından araçların uzaktan kumandası için benzersiz bir sistem tanıtılmıştır. Bu sistemle donatılmış bir araç, bir televizyon vericisi aracılığıyla uzak, tehlikeli ya da başka şekilde erişilemeyen bölgelerden veri veya bilgi elde etmek için kullanılabilir. Sistem, paletli ya da tekerlekli herhangi bir araca kolayca kurulabilir ve sürücü tarafından genellikle gerçekleştirilen işlevleri denetlemek için elektromekanik eyleyiciler kullanır.

Araç, radyo ile ya da sürücü için çeşitli uzak konumlara olanak tanıyan bir elektrik kablosu aracılığıyla kontrol edilebilir. Aracın normal manuel kullanımı engellenmez ve manuelden uzaktan kumandaya hızlı geçiş kolayca sağlanır.

Kontroller Nasıl Çalışır

Bir basma düğmesi motoru çalıştırır ve uçak tipi bir kumanda çubuğu, sağa-sola hareketle aracı yönlendirirken aynı zamanda ileri-geri hareketle gazı kontrol eder. Kumanda çubuğunun tamamen arka konuma getirilmesi freni uygular. Kumanda kutusundaki diğer basma düğmeleri, aracı operatör tarafından seçilen herhangi bir vitese geçirir.

Sistem, en aşırı çevresel koşullar altında çalışacak biçimde sağlam olarak tasarlanmıştır. ABD Deniz Piyadeleri’nin çıkarma araçlarının tehlikeli dalga koşullarındaki gerçek testlerinde kullanılmıştır. Bu uygulamada LVT, havada asılı duran bir helikopterden ya da sahildeki bir gözlem noktasından radyo ile kontrol edilmiştir.

Sylvania Electric Tarafından Geliştirilen “Mobidic”

Çoğu kullanıcı için bilgisayar sözcüğü, oldukça büyük bir kurulum, bir kalıcılık duygusu ve problemlerin getirildiği özel olarak tasarlanmış bir odadaki sabit donanımı çağrıştırır.

Sylvania Electric Products, Inc.’in Waltham Laboratories birimi tarafından ABD Ordusunun askerî problemlerinin çözümü için geliştirilen yeni bir bilgisayar olan “Mobidic” (Mobile Digital Computer), bu kavramların çoğunu altüst etmektedir. Çünkü bu, probleme doğru hareket etmek ve dünyanın herhangi bir yerinde, savaş alanlarında ya da yakınında çalışmak üzere tasarlanmış bir bilgisayardır.

Bu taşınabilir saha bilgisayarı, yaklaşık 28 fit uzunluğunda standart, klimalı bir römorka sığar ve genel askerî hizmet için şimdiye kadar tasarlanmış en çok yönlü, çok amaçlı mobil bilgisayarlardan biri olarak kabul edilmektedir.

“Mobidic” için öngörülen uygulamalar arasında lojistik, muharebe gözetimi, analitik hesaplama, muharebe stratejisi değerlendirmesi, hava trafik kontrolü, topçu hedef hesaplamaları vb. yer almaktadır. Sağlam, güvenilir alt-minyatür transistörlere, bileşenlere ve devrelere vurgu yapılmaktadır.

Sylvania, “Mobidic”i, tasarım ve performans gereksinimlerini belirlemiş olan Fort Monmouth, N.J.’deki ABD Ordusu Signal Engineering Laboratories ile yapılan 1.000.000 doların üzerindeki bir sözleşme kapsamında geliştirmektedir.

Hisse Senedi Fiyatları İçin Yeni Saatlik Hesaplanan Endeks

Hisse senedi analistleri, brokerlar ve yatırımcılar artık, Standard & Poor’s tarafından tanıtılan ve New York Borsası’nda listelenmiş yaklaşık 1.100 adi hissenin toplam değerinin yüzde 90’ını kapsayan 500 adi hisseyi içeren yeni bir borsa ortalamasında, bilgisayarların değerine ilişkin çarpıcı bir saatlik kanıta sahiptir.

Ticaret sırasında her saat başı yeni bir ortalamanın haber şeritlerinde yayımlanmasını mümkün kılan bilgisayar, Burroughs Corporation’ın Electrodata Bölümü tarafından üretilen bir Datatron’dur. Datatron’un borsa uygulaması, birkaç yıllık geliştirme sürecinin ardından, Westinghouse Air Brake Co.’nun bir bağlı ortaklığı olan Boston merkezli Melpar, Inc. tarafından gerçekleştirilmiştir.

Melpar mühendisleri, gerçekleştiği anda her bir şerit işlem girişini alan, ancak daha sonra endeksi oluşturan 500 adi hisseyi etkileyen işlemleri seçen bir bilgisayar geliştirmiştir. Makine, şüphe uyandıracak kadar büyük herhangi bir şerit bant hatasını duyuracak şekilde programlanmıştır. Tüm fiyatlardaki anlamlı basamakları hatırlar; böylece işlem faaliyetlerindeki herhangi bir ani artış sırasında otomatik olarak ayarlama yapar.

Yeni hesaplanan ortalamanın, işlem faaliyetinin ağırlıklı örneklerine dayanan diğer hisse senedi ortalamalarına yöneltilen çok sayıdaki eleştiriye yanıt vermesi beklenmektedir. Standard & Poor’s Başkanı Charles A. Schmutz, yeni endeksi “bugüne kadar geliştirilmiş hisse senedi piyasasının en kapsamlı ve teknik olarak en doğru ölçüsü” olarak nitelendirmiştir.

IBM 704 için Daha Büyük Hızlı Bellek

Birçok problemde bir IBM 704 elektronik bilgisayarının etkinliğini iki kattan fazla artıracak daha büyük bir yüksek hızlı bellek biriminin ilk modeli, Santa Monica, Calif.’teki Rand Corporation’da tanıtılmıştır. Bu bellek, küçük halka şeklindeki manyetik ferrit çekirdeklerden oluşan bir sistemden meydana gelmektedir.

IBM 738 olarak adlandırılan genişletilmiş depolama birimi, 32.768 makine sözcüğüne kadar depolanmış bilgi içerir; bu, IBM 704’ün önceki azami depolama kapasitesinin dört katıdır. IBM 704’te bir makine sözcüğü, altı harfli bir İngilizce sözcüğe eşdeğerdir. Makine, depolanmış sözcüklere saniyenin 12 milyonda biri sürede erişir.

Rand Corporation, bilgisayara erişilebilir hızlı belleğin artması nedeniyle, bazı problemlerinin IBM 738 depolama birimiyle beş kat daha hızlı çalışacağını tahmin etmektedir. Rand 738 bir pilot modeldir; ancak IBM, birimin yakında üretime alınacağını ve çok sayıda büyük sanayi firmasından siparişler alındığını açıklamıştır.

Basmalı Düğmeli Hava-Yer İletişimi

TACAN (Tactical Air Navigation) Data Link adı verilen ve uçak pilotları ile bir trafik kontrol kulesi arasında, radyo ses kanallarını meşgul etmeden bilgi iletebilen yeni bir görsel elektronik sistem, International Telephone and Telegraph Co.’nun bir bağlı ortaklığı olan Federal Telecommunications Laboratories tarafından geliştirilmiştir.

Uçaktaki gönderici birim, uçağın konumu, irtifası, rotası ve hızı hakkında saniyesi saniyesine güncel bilgileri hava trafik kontrol merkezine otomatik olarak iletir. Kontrol kulesi karşılık verebilir; gönderilen talimatlar uçağın göstergelerindeki uygun kadranlarda görünür ve böylece uçağın alet okumalarıyla anında ilişkilendirilir.

COMPUTERS and AUTOMATION — Temmuz 1957

Bilgisayar Alanındaki Önde Gelen Şirketler BRYANT Manyetik Depolama Tamburlarını Kullanıyor

Bryant Manyetik Tamburları, doğru ve güvenilir performansları nedeniyle Remington Rand–Univac ve diğer önde gelen elektronik bilgisayar üreticileri tarafından yaygın biçimde kullanılmaktadır. Bu tamburlar yalnızca dijital bilgisayarlarda, envanter kontrol sistemlerinde ve banttan karta dönüştürücülerde değil; aynı zamanda gecikme hatları, senkronizatörler ve frekans üreteçleri olarak da kullanılmaktadır.

ÖZELLİKLER

Alıcıların gereksinimlerine göre tasarım
Tambur eksen kaçıklığı doğruluğu .00010" T.I.R. veya daha az garanti
Hava yatakları veya süper hassas bilyalı yataklar
Kayış tahriki veya entegre motor tahriki, 100.000 RPM ve üzeri hızlar
5.000.000 veya daha fazla ikili basamak kapasitesi
Dikey veya yatay muhafaza
Uygun kafa montaj yüzeyleri
Yüksek yoğunluklu manyetik oksit kaplama

1957

BRYANT GAGE AND SPINDLE DIVISION
P.O. Box 620-K, Springfield, Vermont, A.B.D.
Bryant Chucking Grinder Co.’nun bir bölümü

BİLGİSAYAR ALANINDA

KİM? NE? NEREDE?

Yanıtlar ve temel kaynak bilgileri COMPUTERS and AUTOMATION’dan edinebilirsiniz.

KİŞİLER

Bilgisayar Alanında Kim Kimdir, 1956–57
1955’ten bu yana eklenen 4.500 yeni kayıt dahil olmak üzere 12.000’den fazla giriş (isimler, adresler ve diğer bilgiler).
$17.50

15.000’den fazla bilgisayar uzmanı için Posta Etiketleri; Kim Kimdir yayımlandıktan sonraki eklemeler ve düzeltmeler dahildir. Zarflarınızı adresliyoruz.
M başına $19

KURULUŞLAR

Bilgisayar Dizini ve Alıcılar Rehberi, 1957
(Computers and Automation dergisinin Haziran 1957 sayısı): 790 kuruluş listesi, 1.370 ürün ve hizmet listesi.
$6.00

MAKİNELER

(Kaynak bilgileri eski sayılarda)

Otomatik Hesaplama Makineleri ve Bileşen Türleri, Mart 1957 — $1.25
220’den Fazla Otomatik Bilgisayarın Listesi, Haziran 1956 — $4.00
Ticari Otomatik Bilgisayarlar, Aralık 1956 — $1.25

TERİMLER VE İFADELER SÖZLÜĞÜ

480’den fazla özenli, açık ve anlaşılır tanım. Ekim 1956 itibarıyla dördüncü kümülatif baskı. (20 veya daha fazla kopyada %10 indirim.)
$1.00

ABONELİK BİLGİLERİ

A.B.D.: bir yıl $5.50; iki yıl $10.50
Kanada için yılda 50¢ ekleyin; diğer ülkeler için yılda $1.00.

Doğrudan bize birlikte gönderilen peşin ödemeli aboneliklerde; 2 adet için %5, 3 adet için %9, 4–6 adet için %16 ve 7 veya daha fazla için %24 tasarruf edin.

ARŞİV SAYILARI

(Yayınlanan altı yıl için)
Mevcutsa, her biri $1.25, Dizin sayıları hariç:
Haziran 1955, 1956 — her biri $4.00; Haziran 1957 — $6.00

Siparişleri peşin ödemeli olarak veya daha fazla bilgi taleplerini şuraya gönderin:

COMPUTERS and AUTOMATION
815 Washington St., Dept. R-206
Newtonville 60, Mass.

Memnun kalınmazsa, tam geri ödeme için yedi gün içinde iade edilebilir.

Buna ek olarak pilot, uygun düğmeye basarak 21 iletiden oluşan bir kitaplıktaki herhangi birini gönderebilir. Yanıt geri yansıtılır ve iletiler için ayrılmış göstergede görsel olarak belirir. Sistem görsel olduğu için, uluslararası dil farklılıklarından kaynaklanan sorunlar ortaya çıkmaz; böylece uluslararası uçuşların kontrolünde olası güçlük kaynaklarından biri ortadan kaldırılmış olur.

MICHIGAN ÜNİVERSİTESİ’NDE BİLGİSAYARLAR

Üniversitenin beş analog hesaplama tesisi vardır: dördü kampüste ve biri Mühendislik Araştırma Enstitüsü’nün Willow Run Laboratuvarları’nda.

Havacılık Mühendisliği Bölümü’nün elektronik diferansiyel analizörü, yüksek dereceli doğrusal ve doğrusal olmayan diferansiyel denklemleri çözmek ve karmaşık fiziksel sistemleri simüle etmek için kullanılabilen, orta büyüklükte genel amaçlı bir analog bilgisayardır.

Elektrik Mühendisliği Bölümü, nispeten küçük, genel amaçlı bir elektronik diferansiyel analizör bulundurmaktadır. Doğrusal elemanları, en fazla beş ikinci dereceden doğrusal diferansiyel denklemden oluşan kümelerin eşzamanlı çözümüne olanak verir. Çarpanlar aracılığıyla, değişken katsayılı doğrusal denklemleri ve çeşitli doğrusal olmayan diferansiyel denklemleri çözebilir.

İnşaat Mühendisliği Bölümü’nün analog bilgisayarı, statik ya da dinamik olarak yüklenmiş yapı çerçevelerinin analizinde karşılaşılan problemleri çözmek üzere özel olarak tasarlanmıştır. Aynı anda en fazla 10 doğrusal cebirsel denklem ya da 10 ikinci dereceden diferansiyel denklem veya birkaç doğrusal olmayan diferansiyel denklemi çözebildiğinden, kullanımı yapı gerilme analiziyle sınırlı değildir.

Kimya ve Metalurji Mühendisliği Bölümü tarafından, Spektroskopi Laboratuvarı ile birlikte işletilen küçük bir analog bilgisayar bulunmaktadır. Bu bilgisayar 12 eşzamanlı doğrusal cebirsel denklemi çözebilir. Öncelikle karmaşık karışımların çatlama desenlerini matematiksel olarak ayrıştırmak için kullanılmaktadır.

Dijital bilgisayar olanakları, Tabülasyon Hizmeti ve İstatistiksel Araştırma Laboratuvarı’nda yer almaktadır.

Şu anda Elektrik Mühendisliği Bölümü, sayıları saniyenin 70 milyonda biri sürede toplayabilen bir elektronik dijital bilgisayarın tasarım ve yapımının son aşamalarındadır. MIC (Michigan Instructional Computer) adı verilen bu bilgisayar, Üniversitenin mühendislik öğrencilerine bilgisayarların nasıl tasarlanacağını ve değiştirileceğini öğretmek amacıyla yalnızca eğitimde kullanılacaktır. Öğrenciler, bileşenleri değiştirmek, yeni birimler eklemek, eskilerini yeniden düzenlemek ve yeni kuramları sınamak için onu sürekli olarak söküp yeniden birleştireceklerdir.

MIC beş ana birimden oluşur:

Yaklaşık 1.000 sözcük bilgiyi depolamak için bir bellek tamburu
Bilgi girişi yapmak ve yanıtları sunmak için elektrikli daktiloya benzer bir makine
Tamburdan bilgiyi seçen, hesaplamaları yapan ve ardından daha fazla talimat için geri kontrol eden bir mantık bölümü
15 amperlik bir güç kaynağı
İşlemleri gözlemlemek, değiştirmek, başlatmak ve durdurmak için bir kontrol paneli

Temel birimlerin birçoğu öğrenciler tarafından tasarlanmış ve üreticilerden satın alınmış, diğerleri ise yerinde planlanmış ve yapılmıştır.

KİTAPLAR VE DİĞER YAYINLAR

(Liste Computers and Automation, Cilt 6, No. 7, Temmuz 1957’de yayımlanmıştır)

Burada, bilgisayarlar, veri işleme ve otomasyonla önemli ilişkisi bulunan ve dikkatimizi çeken kitaplar, makaleler, bildiriler ve diğer yayınlara ilişkin kaynaklar ve kısa değerlendirmeler yayımlıyoruz. İnceleme kopyası gönderilmesi halinde, gelecekteki listelerde başka bilgileri aktarmaktan memnuniyet duyarız.

Her bir girdinin planı şöyledir: yazar veya editör / başlık / yayınevi veya yayımlayan / tarih, yayın yöntemi, sayfa sayısı, fiyat veya eşdeğeri / yorumlar. Bir yayınevine veya yayımlayana yazarsanız, Computers and Automation’dan söz etmenizi rica ederiz. İmza içeren bir inceleme söz konusu olduğunda, ifade edilen görüşler inceleyene aittir ve Computers and Automation’ın görüşlerini yansıtmak zorunda değildir.

Aşağıdaki incelemeler Ned Chapin, Menlo Park, Calif. tarafından yapılmıştır.

Kircher, Paul.
"Farmers Insurance Group’ta Elektronik Bilgisayar Sistemine İlişkin Durum İncelemesi," Management Science Research Report No. 52, 12 s.
Management Sciences Research Project, University of California, Los Angeles 24, Calif., Şubat 1957. Mimoğraf, ücretsiz.

1953–1955 dönemi boyunca Farmers Insurance Group of Companies bir yapılabilirlik incelemesi yapmış, bir IBM 705 kullanılmasına karar vermiş, uygulamalarını hazırlayıp programlamış ve 1956’da ekipmanı etkin biçimde kullanmaya başlamıştır. Bu kurulumun ilginç özellikleri şunlardır: (1) uygulamaları ve programlamayı hazırlayan küçük kadro; ve (2) sistem çalışmasının ve ilişkili programlamanın verimliliği. Bu verimliliğe katkıda bulunan bazı etkenler şunlardı: şirketin gelişmiş veri işleme tekniklerini kullanma geçmişi; açıkça tanımlanmış yönetim beklentileri; ve analistlerin girdi verilerine dair kapsamlı bilgisi.

Rawlings, Edwin V.
"Askerî Yönetimin Bilgisayardan Bekledikleri," Pioneering in Electronic Data Processing içinde, s. 151–159.
American Management Association, Inc., 1515 Broadway, New York 36, N.Y., 1956. Basılı, $3.75.

1948’den bu yana, Hava Kuvvetleri lojistik problemlerinin boyutu ve karmaşıklığı, iyileştirilmiş veri akışının ciddi biçimde ele alınmasını zorunlu kılmıştır. Başlıca güçlükler; nitelikli insan gücünü sağlamak ve elde tutmak, doğru ve zamanında girdi sağlamak ve otomatik bilgisayarlardan azami yararı elde etmek için tüm veri işleme sistemlerini yeniden düşünmeyi içermektedir.

Guest, Jr., Leon C.
"Sylvania’da İdari Otomasyon: Bir Durum İncelemesi: Merkezî Veri İşleme—Yerinden Yönetim," Office Management, Seri 144 içinde, s. 28–37.
American Management Association, Inc., 1956. Basılı, $1.75.

Yazar, düzeltici önlemler alınmadığı takdirde 15 yıl içinde ciddi bir büro personeli açığı olacağı konusunda uyarıda bulunmaktadır. Otomatik bilgisayarların ve ilişkili çevre birimlerinin kullanımını önermekte; Sylvania’nın deneyimine dayanarak, yüksek hızlı bir dijital bilgisayarın, yerinden yönetim felsefesini korurken büro işlerinin angaryasını ortadan kaldırabileceğini belirtmektedir.

Gallagher, James D.
"Sylvania’da İdari Otomasyon: Bir Durum İncelemesi: Operasyonlardaki Program," Office Management, Seri 144 içinde, s. 47–72.
American Management Association, Inc., 1956. Basılı, $1.75.

Bu makale, hem veri işlemeyi hem de normal idari iletileri ele alabilecek bir veri iletim sisteminin hazırlanmasını tartışmaktadır. Yeterli bilgisayar performansını güvence altına almak için otomatik yönlendirme, prosedürlerin tekdüzeliği ve girdi verilerinin doğruluğu vurgulanmaktadır.

Weik, Martin H.
"Yurtiçi Elektronik Dijital Hesaplama Sistemlerine Genel Bir Bakış."
Ballistic Research Laboratories Report No. 971 (PB 111996), Office of Technical Services, U.S. Department of Commerce, Washington 25, D.C., Aralık 1955. Ofset, 272 s., $4.75.

Bu bülten, çoğu otomatik bilgisayar olmak üzere 84 elektronik makineyi; sistem, aritmetik birim, depolama, giriş/çıkış, fiziksel etkenler, maliyet, güvenilirlik ve işletme deneyimi açısından sınıflandırarak tanımlamaktadır. Son 70 sayfa, tanımlayıcı kategorileri açıklamakta; bunu özet tablolar ve 450 maddelik bir sözlük izlemektedir.

Bradshaw, T. F.
"Otomatik Veri İşleme Yöntemleri," Proceedings: Automatic Data Processing Conference içinde, s. 3–27.
Graduate School of Business Administration, Harvard University, Boston 63, Mass., 1956. Basılı, $3.50.

Bu makale, 1955 başlarında düzenlenen bir American Management Association Konferansı’nda sunulan materyali yinelemekte ve veri işlemenin temel yapı taşlarının sınıflandırma, sıralama, hesaplama ve depolamayı sürdürme olduğu kavramını geliştirmektedir.

Haziran ACM Toplantısı Özetleri

(231. sayfadan devam)

Taşıma depolama yazmacı, taşıma yayılımı olmaksızın toplama dizilerine olanak verir. Toplayıcı ve taşıma yazmacının içeriklerinin, yalnızca toplamların depolanması amacıyla taşıma özümsemesi yoluyla birleştirilmesi gerekir. Bu nedenle toplama dizileri hızlanacak; çarpma ve bölme işlemleri de aynı şekilde daha hızlı olacaktır. Taşma saptaması ve kayan nokta işleminin sağlanmasından doğan problemler tartışılmaktadır.

27. Ising Kafes Problemi’ne Uygulanan Bir Monte Carlo Yöntemine İlişkin İncelemeler

L. D. Fosdick

İki boyutlu Ising kafesi, niteliksel olarak doğru ve kesin olarak bilinen özelliklere sahip basit bir ferromıknatıs modelidir. Bu nedenle, benzer ancak daha karmaşık sistemler üzerindeki sayısal yöntemler için ilgi çekici bir sınama modelidir. Buna bağlı olarak, iki boyutlu Ising kafes problemine bir Monte Carlo yönteminin uygulanmasında elde edilebilir doğruluğun incelenmesi yapılmıştır. Hesaplanan enerji ve manyetizasyonun, kafes boyutuna, yineleme sayısına ve sistemin başlangıç durumuna bağlılığı gözlemlenmiştir. Curie sıcaklığından uzakta, makul hesaplama sürelerinde %1’den az hata ile sonuçlar elde edilmiştir ve Curie sıcaklığı civarında bile hatalar %5’in altında kalmıştır. Hesaplamalar, Illinois Üniversitesi’ndeki ILLIAC üzerinde gerçekleştirilmiştir.

28. Eşit Aralıklı Olmayan Noktalarda Eğri ve Yüzey Uydurumu için Tümleşik Bir Programlar Dizisi

Charles Hobby ve Albert Newhouse

Eşit aralıklı olmayan noktalarda en küçük kareler eğri uydurumu için ortogonal polinomların kullanımı, görece yeni bir sayısal yaklaşımdır; ancak zorunlu olarak yeni bir kavram değildir.

Argüman aralığına hiçbir kısıtlama getirmeyen ortogonal polinomlarla eğri uydurma ve yüzey uydurma için genel bir plan sunulmaktadır. Bu planın yeni özelliği, ele alınan özel probleme uyacak bir ortogonal polinomlar kümesinin oluşturulmasıdır. Plan, eğri ve yüzey uydurma için önerilen kapsamlı ve bütünleşik bir bilgisayar programları kümesi açısından açıklanmaktadır. Problemin matematiksel bir ifadesi ve önerilen hesaplama sırası da verilmektedir.

Plan, orta ölçekli bir bilgisayarda uygulanmış ve tatmin edici bulunmuştur. Kullanılan belirli makine için eksiksiz program yazımları mevcuttur.

29. En Dik İniş Yönteminin Asimptotik Davranışı Üzerine

R. J. Arms

Klasik ikinci dereceden fonksiyon minimizasyon yöntemiyle elde edilen yinelemeler dizisi (x^{(n)}) olsun:

[\phi(x) = (x - A^{-1}b, Ax - b).]

Burada ((x, y) = x^T y) simgesi olağan skaler çarpımı göstermektedir. (A) matrisinin pozitif tanımlı olduğu varsayılmaktadır. Buna göre

[ x^{(n+1)} = x^{(n)} - t_n r^{(n)}, ]

[ r^{(n)} = Ax^{(n)} - b, ]

[ t_n = (Ae^{(n)}, e^{(n)}), ]

[ e^{(n)} = r^{(n)} / \sqrt{(r^{(n)}, r^{(n)})}. ]

A. I. Forsythe ve G. E. Forsythe, ["Punched-card experiments with accelerated gradient methods for linear equations," N.B.S. Applied Mathematics Series 39 (1954), s. 55–70] çalışmalarında, (e^{(n)})’nin asimptotik olarak, (A)’nın özvektörleri olan iki vektör (u_1) ve (u_2) tarafından belirlenen bir (\Pi) düzlemi içinde bulunduğu yönünde bir varsayım ileri sürmüşlerdir. Ayrıca genel olarak (u_1) ve (u_2)’nin sırasıyla (A)’nın en küçük ve en büyük özdeğerleriyle ilişkili olduğu da öne sürülmüştür. Bu varsayımların kanıtları elde edilmiştir. Bu sonuçlar, (r^{(n)})’nin sıfıra yakınsamasının genellikle oldukça yavaş olduğunu gösteren bilgisayar deneyimleriyle uyumlu görünmektedir.

30. Diferansiyel Denklemlerin Kısmi Fark Gösterimlerinde Kesme Hatası

Alston S. Householder

Lineer kısmi diferansiyel denklemlerin kısmi fark gösterimi, biçimi gösterim şemasına ve diferansiyel denkleme bağlı olan (Ax = b) formunda lineer bir cebirsel sisteme yol açar. Kesme hatası, yalnızca (b) vektörü bakımından farklılık gösteren bir sistemi sağlar. Bu gerçek, ısı denkleminin Crank–Nicolson çözümündeki hata için açık sınırlar elde etmekte kullanılmaktadır. Üç hata ölçütü ele alınmaktadır: en büyük sapma, ortalama mutlak sapma ve ortalama karesel sapmanın karekökü.

31. İkili Çarpma Sırasında Toplamaları En Aza İndirme Yöntemi

George W. Reitwiesner

Geleneksel ikili çarpma yöntemlerinde, çarpanın veya mutlak değerinin sıfır olmayan her basamağı için bir toplama (eşdeğer olarak bir çıkarma) yapılır ve çarpma başına beklenen istatistiksel toplama sayısı bu basamakların sayısının yarısıdır.

Bu tartışma, işaretli çarpanı ifade eden basamak sayısının yaklaşık üçte birine çok yakın istatistiksel beklenen değerlere sahip ve sıfır olmayan basamak sayıları indirgenemez olan, yerine geçen çarpan basamak kümelerinin yinelemeli tanımı için Boole fonksiyonlarını geliştirmekte ve bu fonksiyonları bilinen üç ikili gösterime uygulamaktadır: 2’nin tümleyeni, 1’in tümleyeni ve işaret eklenmiş büyüklük gösterimi.

32. Genel Matrislerin Özdeğerleri ve Özvektörleri

Morton A. Hyman

Bu makale, hesaplama makineleriyle kullanım için elverişli olduğu düşünülen ve genel (karmaşık elemanlı, simetrisi olmayan) bir (A) matrisinin özdeğerlerini ve özvektörlerini veren bir yöntem sunmaktadır. Sonlu sayıda dönme ((A)’ya bağlı olarak gerçek veya karmaşık) ile, birinci üst köşegenin üzerindeki tüm elemanları sıfır olan (B = R^{-1}AR) matrisi elde edilmektedir. Herhangi bir deneme özdeğeri (\lambda) için, karakteristik polinom (F(\lambda)) basit bir yinelemeli süreçle kolayca hesaplanmakta ve yan ürün olarak karşılık gelen özvektör için bir yaklaşık (X) vermektedir. Enterpolasyona dayalı bir kök bulma yöntemi kullanılarak, (\lambda) ve (eşzamanlı olarak) (X) dizileri oluşturulmakta ve bunlar (B)’nin özdeğerleri (E_i) ve özvektörleri (\xi_i)’ye yakınsamaktadır. Bulunan özvektörler, gerekirse Wielandt’ın bir fikri kullanılarak çok hızlı biçimde iyileştirilebilmektedir. (A)’nın özdeğerleri ve özvektörleri (E_i, R\xi_i)’dir.