【正文】 。盡管 Hekman圖書館規(guī)模比較小，但是我還是很幸運(yùn)地雇傭到了系統(tǒng)程序員。保持這些復(fù)雜的代碼能夠很好的得到誒戶。所有的這些都要很輕松地為贊助商服務(wù)。他們喜歡那些圖書館的信息已經(jīng)從局域網(wǎng)以目錄的方式顯 示出來(lái)。有時(shí)，我們發(fā)現(xiàn)其他的方法展示數(shù)據(jù)，同樣的，其他的工具也要增加，我們修改名字，重新建立，并且重新認(rèn)識(shí)其他的標(biāo)簽。你們也許會(huì)問(wèn)，這些工具為什么建立以及 HDL頁(yè)面如何包含動(dòng)態(tài)數(shù)據(jù)庫(kù)的。但是我們感覺(jué)到潛在的感到很疑惑，因?yàn)槲覀冊(cè)诳紤] 誰(shuí)將用我們的系統(tǒng)，依靠我的想法是我們的四個(gè)人離開(kāi)大學(xué)之后，誰(shuí)來(lái)接替我們。 Hobbes 的未來(lái) 我和杰德利用課余時(shí)間建立了這個(gè)系統(tǒng)，所以沒(méi)有為我們的產(chǎn)品規(guī)劃很好的藍(lán)圖。數(shù)據(jù)流和精簡(jiǎn)結(jié)構(gòu)有著廣闊的前景，但是再將它們有效地用于大規(guī)模并行處理之前還有許多重要問(wèn)題需要解決。在這兩種系統(tǒng)中，作為執(zhí)行數(shù)據(jù)（或需求）激活的指令執(zhí)行結(jié)果，許多指令可以立即變成執(zhí)行有效狀態(tài)，這樣就有可能在程序中全部實(shí)現(xiàn)并行操作，我們期望這種結(jié)構(gòu)能 有效地開(kāi)發(fā)大規(guī)模計(jì)算。這些需求引起對(duì)操作數(shù)的進(jìn)一步需求，除非操作數(shù)是局部有效的。在數(shù)據(jù)驅(qū)動(dòng)計(jì)算機(jī)中，一個(gè)指令，只要它需求的數(shù)一輸入就立即被執(zhí)行，至各指令執(zhí)行之后，其結(jié)果就可為后面的指令使用。在數(shù)據(jù)流程序中，操作順序不是由編程人員確定的，而是由相 互依存的數(shù)據(jù)來(lái)指示。諾依曼機(jī)構(gòu)，其中最有前途的就是數(shù)據(jù)流結(jié)構(gòu)。此外，已經(jīng)構(gòu)成的多處理器系統(tǒng)大大地增強(qiáng)了邏輯程序和生成系統(tǒng)的并行處理性能。 適應(yīng)于并行處理的新的邏輯編程語(yǔ)言已有了很大的發(fā) 展，比如： Concurrent Prolog、 GHC、 Prolog、 DeltaProlog 等等。邏輯程序中存在著許多并行機(jī)制，其中最主要的是“與”并行性、“或”的并行性和“流式”并行性。估計(jì)用現(xiàn)在的硬件技術(shù)以合理價(jià)格來(lái)構(gòu)成的順序 Prolog機(jī)最高性能大約是 1MLIPS。日本的 PSIII 和伯克利的 PLM是兩個(gè)著名的順序 Prolog計(jì)算機(jī)。然而，過(guò)去人們把所有的努力都集中在基于解釋的軟件執(zhí)行上。 邏輯程序的不確定性使它適合于 AI 應(yīng)用（即：?jiǎn)栴}的求解）并在執(zhí)行處理中具有極大的潛力。 邏輯程序的一個(gè)主要特點(diǎn)是其不確定性，與普通程序相比，邏輯程序在以下兩個(gè)方面是不確定的： 1) 當(dāng)幾個(gè)子句符合一個(gè)給定的過(guò)程調(diào)用時(shí)，通過(guò)試探其它子句的搜尋策略是不確定的。邏輯編程的主要概念是由兩部分組成的一個(gè)算法：邏輯部分和控制部分。 Hobbes 用到的邏輯編程 基于一階謂詞邏輯的邏輯編程已被廣泛地用于 AI 應(yīng)用，它是一種極有吸引力的編程方式。他們可以在家里做這些事，也可以在會(huì)議桌上。 書簽 當(dāng) Hobbes 展示了基于圖書館登陸，我們能夠添加一些工具以便支持唯一的數(shù) 據(jù)為圖書館提供。 數(shù)據(jù)庫(kù)維護(hù) 這個(gè)標(biāo)簽包含了很多的超鏈接，其中包括管理員模塊中建立的 5個(gè)本地的數(shù)據(jù)庫(kù)。 圖書館新聞標(biāo)簽 在 2020 年電腦圖書館會(huì)議之后，我沒(méi)有花太多的時(shí)間考慮我們?nèi)绾谓M合這個(gè)標(biāo)簽在 Hobbes，并且這些特性只花了我很少一部分時(shí)間。 圖書館時(shí)間標(biāo)簽 Hekman 圖書館時(shí)間標(biāo)簽不是很容易描述文本內(nèi)容的，所以他們?cè)?HDL 里展示了日歷格式。圖書館資源標(biāo)簽包含了很廣的，各種各樣的鏈接。 圖書館資源標(biāo)簽 當(dāng)圖書館能提供很多的文件給大家的時(shí)候，那么就要提供一個(gè)大學(xué)局域網(wǎng)。這些內(nèi)容使用微軟的 word 軟件保存的，秘書記錄 Hobbes 和上傳記錄放在合適的位置。 圖書館會(huì)議記錄 會(huì)議記錄標(biāo)簽展示了許多的文件。我們能夠很好的把數(shù)據(jù)導(dǎo)入進(jìn)去，但是不是很好的建立和展示很復(fù)雜的數(shù)據(jù)。 圖書館統(tǒng)計(jì)標(biāo)簽 在 Hobbes還沒(méi)有出來(lái)之前，圖書館依然保持原來(lái)的方式。 4個(gè)星期的時(shí)間使得我們做出來(lái)了。 進(jìn)度表標(biāo)簽 在圖書館，因?yàn)樗麄儾荒茉诩依锷塘咳粘瘫?。那是管理員發(fā)送一些信息給大家。（如圖 3）所有的這些問(wèn)題都會(huì)通過(guò)統(tǒng)計(jì)的出來(lái)的。在屏幕上半方展示了一些用戶向管理員提出的問(wèn)題。 有關(guān)桌面的標(biāo)簽 默認(rèn)的 Hobbes 屏幕展示了圖書館的桌面標(biāo)簽，而且展示了一些工具。 引用語(yǔ)：當(dāng)導(dǎo)入一些信息的時(shí)候， HDL 主頁(yè)展示了唯一的引用，并且每一次 引用存儲(chǔ)在引用數(shù)據(jù)庫(kù)中。 密碼：這些表包含了密碼記錄用于登陸信息的基本方法，例如電子雜志，數(shù)據(jù)管理員模塊，或者是數(shù)據(jù)統(tǒng)計(jì)員。開(kāi)始的時(shí)候展示了公共的分離數(shù)據(jù)記錄的工具叫電子雜志。他們是這些記錄的一部分。電子雜志工具是在 Hobes 中聚集一些限定符，用復(fù)雜的腳本語(yǔ)言，使得這些工具建立了一些電子記錄用于每一個(gè)標(biāo) 題在 ISSN中。 電子雜志：從 Hobbes 的建設(shè)過(guò)程中，我們總結(jié)出很多的經(jīng)驗(yàn)。包括 A到 Z的索引表。例如：發(fā)布經(jīng)理僅僅能訪問(wèn)lib幾個(gè)小時(shí)，甚至幾分鐘，并且只是 Lib的資源。就象墳?zāi)褂涗洠@些職員表包括許多的資源允許他們做各種各樣的事情： 登錄名（基于 LDAP大學(xué)服務(wù)器） 身份：圖書管理員，基本職員，學(xué)生 辦公室位置：辦公室的電話號(hào)碼等 職責(zé)：這些顯示出 HDL從 A到 Z的索引，以便用戶能夠很好的找到他們，也就是說(shuō)圖書館的目錄。 職員：除了在 HDL 顯示職員信息之外，建立一個(gè)職員表也是很有必要的。除了一個(gè)簡(jiǎn)潔的描述之外，每一個(gè)微縮過(guò)程的 記錄都包含了詳細(xì)的信息。然而，我們?cè)?HDL 上改變了搜索的方法，因?yàn)樵S多的贊助商認(rèn)為他們是在搜索數(shù)據(jù)庫(kù)，其實(shí)他們是在搜索數(shù)據(jù)庫(kù)的內(nèi)容。當(dāng)點(diǎn)擊它，他就會(huì)給用戶一個(gè)信息頁(yè)面，用于提供符合條件的文章內(nèi)容。我們建立一個(gè)站點(diǎn)用語(yǔ)如何引用電子文檔資源。 同等的復(fù)習(xí)和咨詢：有一片領(lǐng)域那時(shí)包括如何在有限的數(shù)據(jù)庫(kù)便于搜索我所需要的東西。 賣主：大多數(shù)用我們圖書管的人。 鑒定：資源在傳輸?shù)倪^(guò)程中，通過(guò)網(wǎng)站，光盤，或者是打印，是否通過(guò)了 ip 鑒定。 按照字母順序：這是基于第一個(gè)字母；也同樣能夠包括其他的樣本。包含了許多的字段。在我們將其他功能以前我將簡(jiǎn)單的解釋一下這些功能。 管理員 這個(gè)管理員主要是由我和杰德共同管理霍布斯里面的內(nèi)容的。對(duì)于每一個(gè)描述，我們已經(jīng)包括了很多的插入語(yǔ)來(lái)幫助您來(lái)閱讀這些關(guān)鍵的地方。 在霍布斯系統(tǒng)中，每一個(gè)圖書館建立連接表和工具時(shí)首先他們都要了解圖書館的大概構(gòu)架。大約過(guò)了 2年，我們自己工作增加了系統(tǒng)很多工具。 作為一個(gè)信息管理系統(tǒng)，我剛開(kāi)始認(rèn)為霍布斯作為一個(gè)工具來(lái)幫助我管理圖書館的 WEB站點(diǎn)。我們不需要自己建立自己。因?yàn)榛谡军c(diǎn)的圖書館能夠很容易的管理數(shù)據(jù)，而且管理員可以對(duì) Perl 或者 SQL語(yǔ)言一無(wú)所知。在 2020年，我建立了 HDL當(dāng)今最流行的版本。迄今為止，1997年建立的 HDL， HDL已經(jīng)成為連接世界各方面信息的系統(tǒng)。 Hekman雇傭 17個(gè)職員日夜工作，包括 8個(gè)專業(yè)的圖書管理員專門用于和 25 個(gè)電子部門進(jìn)行交流。s relatively small size, I was fortunate that it also employed a systems programmer. Other libraries considering an undertaking like Hobbes would not only have to evaluate the skills of available employees, but also consider the time needed to create and maintain such a system. 中文譯文 題名 :inter信息管理系統(tǒng) 作者 :西曼 , 格雷格 ,計(jì)算機(jī) 圖書室 ,10417915, 2020年一月 ,24冊(cè) 數(shù)據(jù)庫(kù) :專業(yè)開(kāi)發(fā)收集信息庫(kù) inter信息管理系統(tǒng) 關(guān)鍵字 : 加爾文和霍布斯 :在線信息管理系統(tǒng) 在線管理系統(tǒng)是由加爾文大學(xué)建立的 .他是一個(gè)功能強(qiáng)大的系統(tǒng) ,包括各種各樣的工具 .適用于企業(yè)內(nèi)部網(wǎng)的站點(diǎn)內(nèi)容管理以及日常數(shù)據(jù)信息的維護(hù) . 1999 年在加爾文大學(xué)的圖書館工作的時(shí)候 ,我其中的一個(gè)工作是重新設(shè)計(jì)圖書館的 web站點(diǎn) .正如千萬(wàn)個(gè) web站點(diǎn)維護(hù)人員一樣 ,我整日連接著數(shù)據(jù)信息 .我很快就感受到利用如此巨大的數(shù)據(jù)庫(kù)去連接大量的靜態(tài)網(wǎng)頁(yè)是一件多么第效率的事情 .而且不能用到一點(diǎn)專業(yè)知識(shí) . 近幾年里 ,許多圖書館建立了基于數(shù)據(jù)驅(qū)動(dòng)動(dòng)態(tài)的站點(diǎn)管理 .這個(gè)站點(diǎn)利用簡(jiǎn)單的語(yǔ)句開(kāi)發(fā)出信息管理系統(tǒng) .主要用于維護(hù)和存儲(chǔ)數(shù)據(jù) .在 2020年，我和凱門圖書中心的研發(fā)人員杰德 .庫(kù)思共同開(kāi)發(fā)了信息管理系統(tǒng)叫做 Hobbes(圖書管理員就像在玩文字游戲 ).從那時(shí)開(kāi)始 ,經(jīng)過(guò)我們不斷調(diào)試與改進(jìn) .這個(gè)系統(tǒng)日趨完善 .能有各種適用于企業(yè)內(nèi)部網(wǎng)的工具以及一些能夠維護(hù)圖書館日常工作的任務(wù) . Hekman是一個(gè)小型的圖書館，他提供 370個(gè)系 4200個(gè)學(xué)生讀書和許多的社會(huì)團(tuán)體。?) With this in mind, most Hobbes tools have a text box for instructions that can uniquely identify the resource, and say why the tool was created and what HDL pages contain its dynamic data. (See Figure 1.) In the near future, I plan to flesh out these instructions as we consider plans to make Hobbes control the remaining HDL pages. From time to time, we find other ways of displaying the data, and as other tools are added, we rename, recreate, and reorganize some of the tabs. Even though Hobbes is yet another resource vying for attention in alreadyfull schedules, it was not difficult to convince the librarians that Hobbes was something they should be using. They like that library information has been moved from files on a shared work directory to an environment where it can be stored, displayed, and manipulated for the benefit of both the library staff and the patrons we serve. The biggest challenges that we face are the maintenance required to keep Hobbes39。s login, we were able to add some tools that provided unique data for a given librarian. For example, each person is able to upload his or her browser bookmarks from the office puter to use at the reference desk or from home. Librarians are also able to upload liaison newsletters into Hobbes, which in turn are displayed on their HDL staff page. THE LOGIC PROGRAMMING OF Hobbes