《余代數及其在軟體方法學中的套用》是依託北京大學，由張乃孝擔任負責人的面上項目。
《余代數及其在軟體方法學中的套用》是依託北京大學，由張乃孝擔任負責人的面上項目。項目摘要代數和余代數均提供了對計算機科學中的若干模型的抽象描述，而兩者數學上的對偶性，使得它們分別適於從構造和觀察的角度研究抽象數據類型和系...
代數是數學的一個分支。傳統的代數用有字元 (變數) 的表達式進行算術運算，字元代表未知數或未定數。如果不包括除法 (用整數除除外)，則每一個表達式都是一個含有理係數的多項式。代數方法使問題的求解簡化為符號表達式的操作，已滲入數學的各分支。余代數(coalgebra)是代數的對偶概念。設C是R模，Δ是一個R線性...
余自由余代數(cofree coalgebra)一類余代數.它與向量空間密切相關。定義 設V是域R上的向量空間.一個對(C，二)，其中C是R上的余代數，二:C-＞ V是R線性映射，若對R上任意的余代數D和任意的R線性映射f:D-＞V，存在惟一的余代數同態F使右圖交換（圖1所示），則稱(C,n)為V上余自由的余代數.對R上任意...
余代數同態(coalgebra morphism)是代數同態的對偶概念。對偶是凸集幾何的一個重要概念。同態是模型論用語。指兩個模型間的同態映射。余代數是代數的對偶概念。設C是R模，Δ是一個R線性映射C→CRC，被稱為余乘法或對角映射；ε是一個R線性映射C→R，稱為余單位元或增廣。簡介 余代數同態(coalgebra morphism)是...
商余代數(quotient coalgebra)是商代數的對偶概念。定義 商余代數(quotient coalgebra)商代數的對偶概念.設(C,,e)是R上的一個余代數，V是C的一個雙邊余理想，二是C到C/V的R模同態.因為 e(V)=0，所以有惟一的R模同態E二使上(左)圖交換。又因為(二⑧川·。)(V)一。所以有惟一的R模同態cw使上(右)...
余代數張量積 余代數張量積是代數張量積的對偶概念。定義 余代數張量積，代數張量積的對偶概念.設(C.',4},}}.)和(D,}n}En)是R上的兩個余代數.定義兩個R線性映射:從而，(C⑧ad, }}} } Ec'}D)也是一個余代數，稱為余代數C和D的張量積.
單余代數 單余代數是一個數學術語。定義 單余代數(simple coalgebra)與單代數相平行的概念.R上余代數C，若沒有非平凡的子余代數，則C稱為單余代數.若C的子余代數作為余代數是單的，則稱為單子余代數.當余代數C的每一個單子余代數都是單R模時，C稱為點余代數.
3 張潔琳，多元多項式插值的理論研究及套用(DUT10LK37)，中央高校基本科研業務費專項資金，2010年1月至2011年12月。4 張潔琳（副組長），實時線上大規模路網交通流預測模型研究，中央高校基本科研業務費專項資金，數學+X交叉項目，2011年1月至2012年12月。參加項目：1.羅鐘鉉，張潔琳，李天岩，馮二寶，代數曲線基本...
子余代數(sub-coalgebra)子代數的對偶概念.若(C,Δ,ε)是一個R上的余代數。定義介紹 子余代數，子代數的對偶概念.若(C,Δ,ε)是一個R上的余代數，V是C的一個R子模，使。Δ(V)VRV，則三元組(v,oIV,EiV)稱為C的一個子余代數.若余代數C中任意兩個非零的子余代數的交非零，則稱C是不可約的.
“本項目從工程技術套用的視角，審視了線性代數課程教學內容和教學方法，將工程背景、套用實例和現代科學計算軟體融入了線性代數教學，符合國內外教學改革的方向和國際潮流，有助於實現“提高教育現代化水平”的目標，在國內線性代數課程教學中屬於首創。課題組編寫的《線性代數實踐及MATLAB入門》和《工程線性代數（MATLAB版...
[23]. 鄒建成，鐵小勻， 孫偉 . 數字圖象三維 Anorld 變換及其周期性 . 見： Chinagraph'2000 論文集：計算機圖形、圖象和視覺的融合及套用 . 杭州， 2000.163-171 [24] 孫偉 . 代數曲線插值及其圖形的繪製 . 北方工業大學學報， 2000.12(1) ： 36~40 出版物及論著情況：[25]. 多媒體製作實例與技巧 ...
3。 調和分析及其在偏微分方程中的套用 4。 自守型與表示論、Hopf代數、量子群及其套用 5。 複分析與復動力系統及其相關領域 6。 非線性泛函分析、運算元理論及其套用 7。 小波分析 科學與工程計算研究所 科學與工程計算研究所我省從事計算數學與套用軟體的理論研究與套用的主要基地之一，力量雄厚，資源豐富。現有博士...
套用意識、獲取新知識的能力以及分析和解決問題的能力。本書也努力做到突出重點、詳略得當、通俗易懂，以便於自學。由於讀者通過前兩本書中已經對Mathematica數學軟體的使用有較詳盡的說明，在此基礎上編者只是用附錄的方式給出了“Mathematica中的線性代數運算”的方法。學生可以通過前面書中的運用在計算機上實際演算。
《線性代數 | 3版》是2011年科學出版社出版的圖書，作者是蔡光興、李逢高。內容簡介 本書分三篇：第一篇是基礎篇，主要介紹了線性代數教學基本內容；第二篇是套用篇，結合線性代數四個知識面通過生動的實例介紹了它們在經濟、工程技術等方面的套用；第三篇是實驗篇，簡要介紹Matlab軟體及其在線性代數中的套用。圖書...
在眾多的教職工作之餘，他擠出時間發表了300餘篇作品，有些是完整的論述，很多是處理純數學、套用數學、數學物理、和理論力學的最艱深的問題的備忘錄。有句通常歸於他名下的話：“人生只有兩樣美好的事情：發現數學和教數學。”（La vie n'est bonne qu'à deux choses: découvrir les mathématiques et en...
非線性偏微分方程的最優控制、最最佳化理論算法及套用 專業介紹：本專業是華南理工大學的新興專業，現有指導教師2名；主要培養具有較紮實基礎數學功底、掌握本專業的基本理論和方法、並能靈活運用專業知識和計算機軟體來解決實際中的管理與決策問題。本專業除開設分析學和代數學等共選學位課程外，還開設非線性規劃理論與...
通過研究，他帶領的小組已經在不等式機器證明方面開發出了在國際上領先的軟體；在圖像壓縮上，建成了性能優良的壓縮與復現系統，壓縮比高達240倍；獨立建立了中國拼圖算法，可用於圖像的隱藏和偽裝等。這些成果不僅可用於計算機輔助設計，還能套用於蛋白質的結構作圖等方面。高小山於1999年獲得香港求是基金會傑出青年學者...
on deduction theorems in several logic systems. Fuzzy Sets and Systems, 2006, 157(3): 427-443.9. 王國俊, 周紅軍. MV-代數的度量化研究及其在Lukasiewicz命題邏輯中的套用. 數學學報2009, 52(3): 501-514.10. 周紅軍, 王國俊. 邏輯系統NMG的滿足性和緊緻性. 軟體學報，2009, 20(3): 515-523.
7.市科學計畫項目：基因連鎖定位分析數學計算機方法及套用，第二名，已完成。8.省教委課題：人類遺傳群體與家系資料計算機分析系統, 第二名，已完成。9.省衛生廳課題：自動化藥物動力學分析軟體包,主持（第一名），已完成。10.省科委青年課題：治療囊蟲病藥物的定量研究及個體最最佳化給藥方案設計,主持（第一名），...
研究工作：數值代數、數值逼近及其套用。1994年起享受“國務院政府特殊津貼”，1993年獲機械部科學進步二等獎，2011年獲上海市自然科學二等獎。發表學術論文140餘篇，其中在國際著名期刊發表SCI檢索論文40餘篇。在國際上首次提出基於廣義逆矩陣Pade逼近、矩陣Pade-型逼近兩種方法，見J.Computational and Applied ...
路見可，數學家。長期從事函式論領域的研究。主要成就涉及解析函式邊值問題，奇異積分方程理論、奇異積分方程數值理論和平面彈性的數學理論等領域。專長於函式論及其套用。在國內、外刊物上發表學術論文100多篇，編撰有多部專著和教材，其中專著《解折函式邊值問題》、《平面彈性復變方法》、《平面彈性理論的周期問題》...
主幹課程——數學分析、高等代數、空間解析幾何、機率論與數理統計、常微分方程、數學物理方程、複變函數、實變函式、泛函分析、數值逼近、數值代數、微分方程數值解、離散數學、數學建模、資訊理論基礎、最最佳化方法、數學軟體與實驗、數位訊號與圖像處理。套用物理學專業 一、培養目標及模式 本專業培養德、智、體、美全面...
狹義而言，信息技術是指利用計算機、網路、廣播電視等各種硬體設備及軟體工具與科學方法，對文圖聲像各種信息進行獲取、加工、存儲、傳輸與使用的技術之和。該定義強調的是信息技術的現代化與高科技含量。信息技術的套用包括計算機硬體和軟體，網路和通訊技術，套用軟體開發工具等。計算機和網際網路普及以來，人們日益普遍地...
[3]. 2014-2016，湘潭大學大學生創新課題: 網上購物最優決策和信用評價的數學問題及套用研究 [4]. 2013-2015，湖南省大學生創新課題：產品再生系統生產計畫最佳化問題研究及關於廢舊產品回收、再利用問題的思考 [5]. 2010-2012，教育部大學生創新課題：個股變化曲線研究及其模擬系統軟體設計 教改論文：楊柳，劉韶躍....
軟體發展依賴於整機和套用需求的發展，整機的發展依賴於晶片、部件及需求的發展，晶片的發展依賴於“積體電路生產線大三角形”的發展，這裡積體電路生產線大三角形是指積體電路生產線的三大部分，即大底座、中間層和頂層。大底座即半導體材料製造，中間層是各種高速低功耗電路設計，頂層是矽編譯等軟體，即把邏輯設計圖...
1988年提出Pseudo-Natural Language Understanding （PNLU, 類自然語言理解）方法，作為一種簡易但有效的從書面語言素材自動獲取知識以快速構造基於知識的系統的《天蜂》技術，可把ICAI（智慧型計算機輔助教學）生成技術從初期的手工編制、和後來主流的用寫作軟體編制，推進到基於知識的自動生成；將PNLU套用於軟體工程的需求...
4．對信息科學與計算科學理論、技術及套用的新發展有所了解；5．掌握文獻檢索、資料查詢的基本方法，具有一定的科學研究和軟體開發能力。主要課程：數學基礎課(數學分析、高等代數、解析幾何)、機率論基礎與數理統計、物理學、計算機基礎、C++、數據結構、資料庫、數值計算方法、信息與編碼、密碼學、數字圖像處理等 主要...
主要研究領域為系統辨識、數學建模、數學規劃及其在生產計畫中的套用等。教學成果 《數學模型》（姜啟源編 高等教育出版社1987年）在1992年第二屆全國教材評選中獲全國優秀獎，該書第二版於1993年出版，累計印數五萬餘冊；《工程學科數學教育的改革》1997年獲國家級教學成果二等獎。出版圖書 主要著作 姜啟源. 數學模型...
結構方程模型、統計原理和數據處理、心理測量、教育研究法、教育實驗學、實驗設計與數據分析、統計軟體SPSS、模糊數學及其在教育研究中的套用、多元統計分析 本科生課程：機率論與數理統計、實變函式、泛函分析、常微分方程 專科生課程：機率統計基礎、線性代數、中學數學邏輯基礎、中學數學教材教法 高級統計（主要是結構...
