At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and...At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and put forward knowledge presenting way of modal logic. Finally,we provide arithmetic of modal logic reason.展开更多
高校自主招生考试考务编排系统是基于.NET4.0的三层构架设计原理,以SQL Server2008作为后台数据库平台,用Visual Studio 2010的C#语言作为设计工具设计和实现的C/S应用程序,将考生报名数据信息进行分类统计,分别设计考务编排系统的表现...高校自主招生考试考务编排系统是基于.NET4.0的三层构架设计原理,以SQL Server2008作为后台数据库平台,用Visual Studio 2010的C#语言作为设计工具设计和实现的C/S应用程序,将考生报名数据信息进行分类统计,分别设计考务编排系统的表现层(UI)、业务逻辑层(BLL)和数据访问层(DAL),从而实现考生的准考证编排、考试时间、监考老师和考场的安排、考生准考证、监考老师通知单、考场名单及考场信息的打印及考生成绩的录入和成绩查询等功能。展开更多
高校自主招生考试网上报名系统是基于ASP.NET4.0的三层构架设计原理,以SQL Server2008作为后台数据库平台,用Visual Studio 2010的C#语言作为设计工具设计B/S应用程序,分别实现网上报名系统的表现层(UI)、业务逻辑层(BLL)和数据访问层(D...高校自主招生考试网上报名系统是基于ASP.NET4.0的三层构架设计原理,以SQL Server2008作为后台数据库平台,用Visual Studio 2010的C#语言作为设计工具设计B/S应用程序,分别实现网上报名系统的表现层(UI)、业务逻辑层(BLL)和数据访问层(DAL)的设计,从而实现考生网上个人信息的注册、专业志愿的选报,考生报名信息的确认、打印、考试时间的查询、准考证的打印和考试成绩的查询功能。展开更多
文摘At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and put forward knowledge presenting way of modal logic. Finally,we provide arithmetic of modal logic reason.
文摘高校自主招生考试考务编排系统是基于.NET4.0的三层构架设计原理,以SQL Server2008作为后台数据库平台,用Visual Studio 2010的C#语言作为设计工具设计和实现的C/S应用程序,将考生报名数据信息进行分类统计,分别设计考务编排系统的表现层(UI)、业务逻辑层(BLL)和数据访问层(DAL),从而实现考生的准考证编排、考试时间、监考老师和考场的安排、考生准考证、监考老师通知单、考场名单及考场信息的打印及考生成绩的录入和成绩查询等功能。
文摘高校自主招生考试网上报名系统是基于ASP.NET4.0的三层构架设计原理,以SQL Server2008作为后台数据库平台,用Visual Studio 2010的C#语言作为设计工具设计B/S应用程序,分别实现网上报名系统的表现层(UI)、业务逻辑层(BLL)和数据访问层(DAL)的设计,从而实现考生网上个人信息的注册、专业志愿的选报,考生报名信息的确认、打印、考试时间的查询、准考证的打印和考试成绩的查询功能。