严格蕴涵系统S3的协调性

文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方法);其次证明模态系统P3和严格蕴涵系统S3等价.     

关于严格蕴涵系统的布尔值模型

本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.     

关于模态命题系统的一种布尔值模型

本文首先定义了模态命题公式□a的布尔值,然后证明模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.     

蕴涵意义新解

严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法，并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件，将它作为蕴涵成立的充分条件来使用是不合适的。为有效避免蕴涵怪论问题的出现，提出了一种新的意义蕴涵概念。这一概念简明、直观和容易理解。     

一般模糊推理具有还原性的全蕴涵三I算法

在王国俊教授提出的满足还原性的单一规则的全蕴涵三I算法基础上,利用模糊集合的相似度给每条模糊推理规则赋予权重,即wi=1-S2,i■I1+S2,i∈I,其中S={max S1,S2,…,Sn}且I=i|Si=S,{1≤i≤n},使得全蕴涵三I算法在一般的模糊推理情形下也满足还原性。最后通过实例表明:用新方法推理得出的结果比文献[4]的全蕴涵三I算法的结果更具合理性。     

一般模糊推理具有还原性的全蕴涵三I算法

在王国俊教授提出的满足还原性的单一规则的全蕴涵三I算法基础上,利用模糊集合的相似度给每条模糊推理规则赋予权重,即wi={1-S/2,i(∈)I 1+S/2,i∈I,其中S=max{S1,S2,…,Sn}且I={i|Si=S,1≤i≤n},使得全蕴涵三I算法在一般的模糊推理情形下也满足还原性.最后通过实例表明:用新方法推理得出的结果比文献[4]的全蕴涵三I算法的结果更具合理性.     

关于QL-算子的第一变元反序性

研究了由连续三角模T,连续三角余模S和严格否定n生成的QL-算子I=（x,y）=S（n（x）,T（x,y））,给出了该算子的部分类型成为模糊蕴涵的充要条件,推广了参考文献[8]的相应结论。     

命题公式集F(S)在Godel系统中的一个24类分划

将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中,在Godel系统中引入确定集的概念,并按不同确定集对Godel系统中的公式集F(S)进行分类,得到F(S)在Godel系统中的一个24类分划.证明这种划分关于┐是同余的.     

R-蕴涵与(S,N)-蕴涵等价关系的研究

当(T,S,N)为德摩根三元组时,分别在T为连续t-模和左连续t-模条件下讨论了R-蕴涵与(S,N)-蕴涵之间的等价关系,得到了二者等价的若干定理.同时,基于蕴涵自身所满足的性质,给出了二者等价的一个充分条件.得到的结论一方面有助于更好地理解两类模糊蕴涵之间的关系,另一方面为模糊蕴涵的应用提供了必要的理论基础.     

基于析取统一模的S蕴涵的研究

讨论了基于析取统一模的S蕴涵的若干性质,并在此基础上给出了它的2种等价刻画.最后研究了基于2种特殊析取统一模(幂等统一模、表现统一模)的S蕴涵.     

形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。     

多模式精品课程项目申报系统的设计与实现

提出一种C/S(客户机和服务器)与B/S(浏览器/服务器)相结合的,基于网页模板的精品课程项目申报系统系统的主要组成部分包括申报子系统、申报管理发布子系统和精品课程申报网站.其中,申报管理发布子系统使用B/S模式,申报子系统使用带有本地存储的C/S模式.前者较好地满足了简化部署、多人并发操作等要求.后者能构造精致的人-机交互界面,并具有应答敏捷的优势,从而给用户带来较好的使用体验.另外,本地存储解决了大数据量传输的问题.     

基于学分制管理的教务系统的设计和实现

给出了基于学分制管理的教务管理系统的基本组成、功能和工作流程,结合实际采用面向对象技术实现了一个基于B/S和C/S混合多层体系结构的学分制教务管理系统,并讨论了系统实施中的安全问题.     

基于C/S和B/S混合结构的水泥销售系统的分析与设计

分析和比较了C／S和B／S两种体系结构的特点，结合某企业的业务管理规则和行业管理规范，给出了基于C／S和B／S混合结构的水泥销售系统的分析、设计及实现过程．     

Java-B/S结构应用系统的开发流程

简要介绍了Java-B/S结构系统开发常用框架,讨论了开发中框架的配置关系,给出了Java-B/S结构应用系统的开发流程。     

恩施州电网实时信息发布系统的方案设计与应用

通过C／S系统与B／S系统体系结构的比较，并结合恩施州电力总公司管理信息系统(MIS)实际情况，说明恩施州电网实时信息发布系统选择B／S体系结构模式的成因，并提出详细设计方案，最后就建成后的系统运行和管理情况进行了说明。     

网络分销管理系统的开发与应用

系统采用当今最先进的Microsoft．net技术开发，以基于B／S结构的信息系统为核心，构建网络分销管理系统的框架，使用数据库服务分离的技术，实现了系统各模块的相应功能．在应用中，客户只需使用标准浏览器上网即可使用该系统的全部功能，且在最大程度上保证B／S结构的运行效率和数据的安全性．     

网上教学系统的研究与设计

以网上教学为背景,分析了B/S计算模式的特点和技术的实现,讨论了构建基于B/S模式的网上教学系统。     

基于Struts构架的企业Web管理信息系统模式研究

文章首先介绍了B/S三层客户/服务器结构,并分析了XM L和三层客户/服务器的有关技术,在此基础上提出了一种新的企业信息系统集成解决方案：用B/S三层客户/服务器搭建企业信息系统的动态集成.最后以实际的案例对该模型进行了简单的分析.     

基于S7-200可编程控制器的一拖三供水系统设计

介绍了用SIEMENS PLC S7-200控制变频恒压供水系统的完整设计,详细阐述了控制系统的主电路设计、电控系统的原理设计、系统程序设计,在这个设计中,电控系统和系统的PID控制均由S7-200完成。