基于VCT-EIS开发模式的教务管理系统的设计

提出了基于VCT-EIS开发模式的教务管理系统的设计思路,该模式由视图层View、管理层CT及数据库层EIS组成。根据VCT-EIS模式将系统分为表现层、业务逻辑管理层和数据库层:表现层通过请求获取并展示相关数据,实现模块的具体功能;业务逻辑管理层中采用功能编码对应SQL语句(或存储过程)构建配置文件,通过执行不同的SQL语句(或存储过程)获得数据库层的相关数据,然后将这些数据封装成JSON数据返回给表现层;数据库层通过构建中间表,设置触发器,使用存储过程等技术保证数据逻辑的正确性。这3层结构彼此独立,使得系统更容易被维护。通过使用该系统,用户能降低日常教务管理工作的复杂性,最终实现简便、高效的信息化教务管理。     

基于语义的语句相似度计算研究

在对常用的语句相似度计算进行研究的基础上,指出了这些方法存在的不足.为了满足实际应用的需要,基于语句的语义和组成句子的词语在句子中重要性程度,设计出了具有较高准确率的相似度计算方法,通过实验,证明了这种方法的有效性.     

PASCAL程序中FOR语句正确性验证

本文给出ｆｏｒ ｘ：－ａ ｔｏ ｂ ｄｏ ｓ语句正确性验证法则的推导，通过一实例说明这个法则的应用。类似地可给出ｆｏｒ ｘ：＝ｂ ｄｏｗｎｔｏ ａ ｄｏ ｓ语句正确性验证法则的推导。     

一类构造性几何定理并行数值检验证明机

为实现构造性几何定理机器证明的数值并行法，作者提供了一个证明机，它适用于由所谓“直线程序”构造的语句。     

BASIC语言中的循环语句运用时应注意的几个问题

本文首先简述循环语句的格式、功能和执行过程,然后着重归纳说明在运用循环语句编程时应注意的几个问题.     

英语句段特征分析

英语句段是英语语言交际中的一个特殊现象,也是语言运用中的一种修辞手段。因此,从学习和运用的角度出发,都有必要了解和认识这种现象。本文拟从语法、语义和修辞三个层次探讨英语句段的特征。     

多重赋值语句的翻译方法

本文介绍一种翻译多重赋值语句的方法,用所提出的方法对Pascal S编译程序中翻译赋值语句的assignment过程作了修改。给出了新的assignment过程代码。最后列举一两个编译实例,说明修改后的Pascal S编译程序能成功地编译多重赋值语句。     

查询语句语义优化的一个方法

查询语句语义优化的基本思想是,数据库所反映的现实世界的特定知识可以用来将查询语句变换成语义上等价但句法上不同的形式,以期寻找常规优化方法不可能找到的最优执行方案。本文提出了建立在费用模型及约束强度概念上的语义优化策略,并对查询语句中连接运算的删除作了进一步讨论。     

语句无意义的根源及意义判定问题的思考

语句内在的逻辑矛盾,或由特定语境引起语句内在的逻辑矛盾,使得语句预设为假,预设假又导致语句无意义。对于语句意义我们可以用集合论的方法加以判定。     

传统车床电控系统的改造设计

现代在数控机床普及的情况下,企业的竞争越来越大.一些中小企业为了满足社会发展的需求,为了追求更高的效益,又在不过多的增加成本的情况下,如何提高生产效率,增加企业的效益呢？笔者根据企业的现状,分析了相关机床的工艺流程,研究了电气电路部分,应用先进的PLC控制技术加以设计改造,辅以相关的指令语句程序,取得了很好的效果.