kooyee ‘s blog
          
			開源軟件， 眾人努力的結晶， 全人類的共同財富
		          		
	
          

          

          

          
	
          

          posts - 103, comments - 55, trackbacks - 0, articles - 66
          
	
 
 ::
首頁 ::
新隨筆 ::
聯系 ::
聚合
 ::
管理


          
		          		
	
          
	
          
		
			
          
			
          
		          		
		
			
          
				
					

          
	12 2007 檔案

          


			
          
				
				
               摘要: 一個clause形如

          B1，B2, …, Bm >- A1, A2, …, An

          

          如果A1, A2, …, An同時成立，那么可以導出B1或B2，…, 或Bm

          A之間是and的關系，B是or的關系。

          

          如果X是Z的父母，且Z是Y的父母，那么X是Y的祖父母

          grandparent(X, Y) >- parent(X, Z), parent(Z, Y).

          

          不能導出結論，good和bad不可能同時成立

          >- good(X), bad(X).

          

            閱讀全文
          
				
				
          		
					posted @ 2007-12-12 07:30 kooyee 閱讀(1026) | 評論 (0)  編輯 | 
				
          
			
          
	
			
          
				
				
               摘要: xsl本身就是一個構型良好的xml，它能夠把一個xml文檔轉換成另外一個xml文檔，或者轉換成文本文件、html文件等等。這里就是利用xsl來動態的生成我們想要的java文件（從某種角度看，java代碼其實也就是一個文本文件），希望能夠通過這篇文章，看到xml以及相關的技術所具有的強大能力！  閱讀全文
          
				
				
          		
					posted @ 2007-12-08 19:54 kooyee 閱讀(548) | 評論 (1)  編輯 | 
				
          
			
          
	
			
          
				
				
               摘要: 代碼生成器（code generator，CG），顧名思義就是生成代碼的工具。有了它，你就可以從一組簡單的設定或者數據庫設計中獲得幾百、幾千行代碼。如果不采用這項技術的話，開發者就不得不花上幾個小時或者幾天的時間來手工編寫這些代碼。另一方面，優秀的開發工具為了提供其獨特的功能或者屏蔽一些容易出錯的細節，也往往采用代碼生成技術為使用者提供一個程序的模板框架，其目的也是為了提高編程的效率。以上觀點僅是對代碼生成器的一般理解，換句話說，這似乎是一個可有可無的東西，沒有它，不過是多費一些人工而已。然而，本文要介紹的這套名為ASM的JAVA工具類的功能非同小可，它可以生成JAVA字節碼,也就是class文件。你可以在應用程序中根據情況動態生成各式各樣的class,然后就調用，達到一種近乎上帝造物般的神奇。心動不如行動，如果你也想在自己的開發中引入這一超前的編程技術，請看此文。

          

            閱讀全文
          
				
				
          		
					posted @ 2007-12-08 18:54 kooyee 閱讀(871) | 評論 (0)  編輯 | 
				
          
			
          
	
			
          
				
				
               摘要: 什么是元數據，元數據就是描述數據的數據（data about data）。最明顯的例子是XML Schema，xml schema就是描述xml的數據，所以它是元數據。另一個例子是數據庫，比如我們可以查詢數據庫中有幾個表，每個表都有什么字段，這些數據就是元數據。Office:office" />

          

          在開發的世界里，元數據就是能夠綁定到一個類的附加信息，在靜態或者運行時間。JCR175給我們提供annotation就是一種元數據。

          

          不過在這之前一個我們已經廣泛使用的元數據是XML，如就是EJB的XML發布描述符中，你需要定義基于每一個方法的事務屬性。應用服務器指導什么時候，什么地方開始，掛起或者提交一個事務，因為你在BEAN的XML的配置文件中的元數據內已經定義如方法：Required，RequiresNew，Support等等，它們綁定在你的EJB類和事務管理之間。XDoclet是另一個元數據的例子。  閱讀全文
          
				
				
          		
					posted @ 2007-12-01 20:36 kooyee 閱讀(750) | 評論 (0)  編輯 | 
				
          
			
          
	
			
          
				
				
               摘要: 讓FCKeditor在 JSP和JSF 網站項目中跑起來

          一、準備功夫

          1.1 下載最新版的FCKeditor

          http://www.fckeditor.net/download/

          目前最新版是：FCKeditor 2.3.1（FCKeditor_2.3.1）和 FCKeditor.Java（FCKeditor-2.3）

          1.2 如果需要使用到jsf的標簽庫，則還需要下載fck-faces-1.5.1, 你可以到

          http://sourceforge.net/projects/fck-faces去下載

          

          說明：

          FCKeditor 2.3.1 是功能完善的可視化編輯器，文件上傳管理部分功能已經支持asp,php,aspx...等等，

          唯獨尚未支持jsp，幸運的是Simone Chiaretta制作了Java 的整合文件FCKeditor.Java。

          

            閱讀全文
          
				
				
          		
					posted @ 2007-12-01 00:47 kooyee 閱讀(373) | 評論 (0)  編輯 | 
				
          
			
          
	
			
          
				
				
               摘要: 首先,FCKEDITOR的性能是非常好的,用戶只需很少的時間就可以載入FCKEDITOR所需文件.對于其他在線編輯器來說,這幾乎是個很難解決的難題,因為在開啟編輯器時需要裝載太多的文件.比如CUTEEDITOR,雖然功能比FCKEDITOR還要強大,可是,它本身也夠龐大了,至于FREETEXTBOX等,其易用性與FCKEDITOR相比,尚有差距,可以說,FCKEDITOR是一個別具匠心的在線編輯器,它里面融入了作者高深的面向對象的JAVASCRIPT功力,集易用性與強大的功能與一體.

          【全文】

            閱讀全文
          
				
				
          		
					posted @ 2007-12-01 00:45 kooyee 閱讀(918) | 評論 (3)  編輯 | 
				
          
			
          
	

          
	

          



				
			
          
		          		
	
          
	
          
		
			


		
	
          

          


    
          
        
	




主站蜘蛛池模板：
调兵山市|
衡南县|
浪卡子县|
宁乡县|
丹东市|
芜湖市|
新野县|
马鞍山市|
建瓯市|
寿阳县|
疏勒县|
双牌县|
汤原县|
蒲城县|
武平县|
渭源县|
峡江县|
尼勒克县|
敦化市|
天门市|
鄂伦春自治旗|
灯塔市|
富宁县|
睢宁县|
西充县|
咸阳市|
锡林郭勒盟|
巩留县|
宜黄县|
九江县|
凤台县|
天门市|
淅川县|
黎川县|
商河县|
珲春市|
杭州市|
清河县|
越西县|
方城县|
内丘县|