軟體工程（software engineering）作為一級學科的軟體理論知識和學術基礎研究
（協同智慧型計算系統）軟體≥程式+ 介面
（協同智慧型計算系統）程式≥演算法+ 資料結構
（協同智慧型計算系統）介面≥知識本體+ 物件
from：
中國知網：鄒曉輝-協同智慧型計算系統——理論模型及其應用[j]. 軟體. 2023年06期
《軟體》雜誌 2023年 第6期
專家論壇
協同智慧型計算系統——理論模型及其應用
鄒曉輝
zouxiaohui 2:15:49
由圖2 可見，筆者對σ*= 所做的理想分類：單一集合、分層集合、標誌集合以及原先不做這樣細分的雜多集合（即σ*）。筆者以二進位制數為例這樣來描述理想分類集，不僅可揭示其中蘊含的資訊基本命題，而且，還可通過這種細分為進一步最優化各類資料結構提供一種切實可行的方略，更重要的是：這樣論述理想分類集可做到言簡意賅，對識別、理解和表達均具有事半功倍的效果。
from：
中國知網：鄒曉輝-間接計算模型和間接形式化方法[j]. 軟體. 2023年05期
《軟體》雜誌 2023年 第5期
專家論壇
間接計算模型和間接形式化方法
鄒曉輝
注：這就是著名的克萊尼星號（σ*），即：字串形式理論的集中體現。我就是在此基礎上推進了一步，即：對它做了進一步的細分——區分出了：單一集合、分層集合、標誌集合，其意義至少有二，其一，在單一集合和分層集合的方框之內，發現並可清晰地描述第一資訊基本定律——序位關係唯一守恆，排除了第三次數學危機一直沒有很好解決的邏輯悖論；其二，發現並可清晰地描述第二資訊基本定律——同義並列對應轉換，例如：0標誌集合與1標誌集合之間就符合第二資訊基本定律。
from：
中國科學網：理想分類的意義至少有二，即：可證明資訊基本定律假說成立。
《軟體》雜誌 2023年 第6期
專家論壇
協同智慧型計算系統——理論模型及其應用
鄒曉輝
《軟體》雜誌 2023年 第5期
專家論壇
間接計算模型和間接形式化方法
鄒曉輝
計算機系統軟體 作業系統
眾所眾知，計算機系統由硬體和軟體兩大部分組成。硬體是指用電子器件和機電裝置組成的計算機實體。軟體一般是指面向某個領域或解決某一特定問題以及實現計算機自身管理的各種程式的總稱，前者稱為應用程式，後者稱為系統軟體。計算機硬體 馮諾依曼型計算機結構由 運算器，控制器，儲存器，輸入裝置和輸出裝置五部分組成 ...
Debian系統軟體安裝
檢視已安裝軟體 建議用root安裝，有一些工具，使用非root使用者安裝後，仍然不識別命令，可能跟許可權有關。netstat command not found 說明沒有安裝netstat工具，而該工具在 net tools 工具包內。apt get install net tools ok.再說一...
定位軟體 西門子發布全新智慧型定位系統軟體
西門子推出全新 location intelligence 軟體，用於擴充套件 simatic rtls 實時定位系統 定位平台，體現了數位化雙胞胎應用特色。該款基於web的軟體可實現對動態資料的分析和視覺化，事件處理，以及直接從本地 erp 企業資源計畫 或 mes 製造執行系統 進行資料關聯。同...