《基於對象知識網的信息系統形式化表達與最佳化研究》是依託鄭州大學,由薛朝改擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名:基於對象知識網的信息系統形式化表達與最佳化研究
- 項目類別:青年科學基金項目
- 項目負責人:薛朝改
- 依託單位:鄭州大學
- 批准號:70701031
- 申請代碼:G0112
- 負責人職稱:教授
- 研究期限:2008-01-01 至 2008-12-31
- 支持經費:6.5(萬元)
《基於對象知識網的信息系統形式化表達與最佳化研究》是依託鄭州大學,由薛朝改擔任項目負責人的青年科學基金項目。
《基於對象知識網的信息系統形式化表達與最佳化研究》是依託鄭州大學,由薛朝改擔任項目負責人的青年科學基金項目。項目摘要本項目研究信息系統的形式化表達以及性能最佳化,包括以下主要研究內容:1. 提出基於對象知識網的信息系統形式化...
《基於對象知識網的企業信息系統適應性最佳化研究》是依託鄭州大學,由薛朝改擔任項目負責人的面上項目。項目摘要 隨著各種信息的激增,企業迫切需要套用信息系統實現信息的有序流動與合理利用,然而目前企業信息系統結構僵化,難以適應企業業務...
第4章在企業信息系統理論及形式化方法理論的基礎上,深入研究了企業信息系統均形式化表達,介紹了知識網理論及對象知識網的企業信息系統形式化的理論與方法。目錄 前言 上 篇 企業信息系統的形式化理論 第l章 企業信息系統概述 1.1...
以對象Petri網為基礎對複雜信息系統功能進行可執行驗證。本項目研究從嚴格的功能形式化描述入手並依賴於可執行模型驗證系統的功能,為系統功能的分析和最佳化提出了一種新的思路,為系統功能分析和功能設計提供了科學的定量化的研究方法。
1.國家自然科學基金項目:基於對象知識網的企業信息系統形式化表達與最佳化研究(2008),主持 2.國家自然科學基金項目:基於對象知識網的企業信息系統適應性的最佳化研究(2009-2012),主持 3.國家自然科學基金項目:先進制造模式擴散的動力學...
基於對象知識網的信息系統形式化表達與最佳化研究)、上海市勞動和社會保障局項目1項(電子商務師職業開發)、鄭州市物價局項目1項(區域性中心城市價格預測預警體系研究),河南省科技廳科技攻關項目1項(基於訂單的敏捷製造企業建模研究);...