扩张代数AsB的Frobenius态射和固定点代数

考虑AsB的箭图 (Q*, I*) 的自同构由带关系箭图(Q, I)的自同构和带关系箭图 (Q′, I′) 的自同构决定情况, 证明了 AsB的Frobenius态射由 A 的Frobenius态射和 B 的Frobenius态射决定; 代数 AsB 的固定点代数同构于相应的代数 A 的固定点代数与 B 的固定点代数的张量积.     

利用ODBC接口加强Authorware题库系统的开发

结合实例阐述了在Authorware开发题库系统时,如何通过ODBC数据库接口和SQL语言,用VFP创建的数据库作为数据源,能使最终用户实现对测验题库自行扩充和修改,以增强题库的使用价值．     

关于线性多项式乘积序列的最小公倍数的误差项估计

设f(x)可表为几个整系数线性多项式的乘积.本文详细地研究了log lcm(f(1),...,f(n))的渐近行为,并利用算术级数的素数定理以及Hong,Qian和Tan等人所得的已知结果最终得到了log 1cm(f(1),...,f(n))的一个带余项的渐近公式.     

组合CC++并行编程并行块研究

<正>在CC++语言中,并行控制线程的创建大都使用并行块机制来完成。并行控制块(par)的结构与C语言或C++语言中的复合声明比较相似,区别仅在于结构之前所用的是关键字"par",而非其他串行语言中的关键字。     

蒙太格语法产生的历史背景

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.其方法是,首先将语句映射为内涵逻辑中的翻译语言,然后给出这种语言的解释.本文主要阐述蒙太格语法产生的历史背景,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统,并将这种传统与语言学中的语义学传统相对照,后者表现出了与蒙太格理论的重大的和富有争议的不同.     

利用Visual Basic实现计算机考试中的单选题与多选题

本文主要介绍了在运行模式下,使用Visual Basic实现计算机考试中的单选题与多选题要做的工作和思考的问题,主要讨论了运行模式下的流程图和代码设计。     

刍议地道英语的特殊表达方式

从对动词及动词短语的妙用入手 ,从而阐明地道英语并不是神秘的和无法掌握的 ,它就在我们日常英语学习中     

环境影响经济评价方法与应用--提高福州市空气质量健康效益评估

概述了环境影响经济评价的方法和具体步骤，结构福州市实际经估算，结果表明如果福州市区空气污染程度降低50％，空气质量达到国标GB3095－96《环境空气质量标准》一级水平，所获得的年健康效益经济价值将达到7380万元。     

技术创新能力的百分制赋值层次模糊综合测评研究

依据技术创新测评因素体系的特性,创新性地构造了集"层次分析理论"、"模糊综合测评理论"、"百分制赋值"优点于一体并优于传统模糊综合测评模型的"技术创新百分制赋值层次模糊综合测评模型",阐述了该模型综合测评的基本方法和步骤。     

拉姆齐语句的基本蕴涵及其影响论争

作为逻辑实证主义或分析哲学的重要工具,拉姆齐语句源于拉姆齐《理论》一文,除形成了自身独特蕴涵、主要特征与基本构成以外,还经卡尔·亨普尔、鲁道夫·卡尔纳普等思想家的诠释或改造,不仅在科学哲学领域得到了重要发展,而且在语义学、民族心理学、伦理学等学科领域有着非常重要的应用。当然,对于究竟应该给予拉姆齐语句怎样的历史地位以及它又能够产生什么样的历史影响,迄今学界还是褒贬不一、论争纷纷。