赋值映射,递降方程与双上同调系列

本文首先讨论了规范变换群的数学结构,然后利用Bonora等人介绍的赋值映射方法推导了规范理论的递降方程,并且推广了B.Zumino关于双上同调系列的讨论,得到了一般情况下由上链的上边缘算子△和底外微分d构成的双上同调系列。     

语句的逻辑概率演算

概率演算已成为逻辑推理的一个重要内容,着重介绍关于语句的概率演算方法及规则,以期补充在现行逻辑教材中缺少的内容.     

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

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

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

全国计算机等级考试—二级c语言程序设计易出错题目分析

简述易出错的知识点,并通过举例加以说明。     

基于AOCPN的半导体生产线多代理交互协议建模技术

提出了基于AOCPN的多代理交互协议的建模技术．在建模方面,提出了AUML模型向AOCPN模型的转换规则,以实现AUML模型向AOCPN模型的映射;在交互协议分析方面,对CPN模型简化规则进行了扩展,提出了集成简化规则和可达图的定性分析方法．以基于GPGP-CN的半导体生产线多代理交互协议为实例,验证了该建模技术的有效性．     

一类用于优化设计的T_(B-D)构造

本文以复杂系统的逻辑分析、多状态模糊控制为直观背景,建立了一类用于优化设计的 T_(B-D)构造,进而可以构筑其相应的、综合的语义模型。     

一种基于SAGE的高性能PIM的解决策略

针对主处理器和存储处理器之间运行速度存在差距,为了减少运行时间和充分利用PIM结构的优越性,按照这两种不同处理器的特点,提出了使用语句分析分组估算（SAGE）系统来实现PIM高速性的一种新策略．在该策略里,源程序被分割成块,同时为主处理器和存储处理器生成一个可用的运行调度机制,这个调度机制具有低的时间复杂度,并给出了新策略的同步机制．实验和结果充分论证了所提出策略的有效性．     

基于SQL Server的中文拼音首字母转化的程序实现

利用微软数据库SQLServer,创建了拼音首字母转化函数。该方法可以实现大批量汉字的拼音首字母转化,通过汇总首字母相同的数据,采用SQLServer导入导出技术,将Excel表数据输入到SQLServer数据库中。处理后的数据可再次导出到Excel表。该研究为相关的数据处理应用提供了必要的理论依据。     

Quick BASIC语言教学中几个难点的处理

论述程序的定义、变量的本质、循环语句、过程的含义是QuickBASIC语言教学中几个难点,必须给予充分重视,应当用深入浅出的讲解和实例讲清讲透.