模代数与普通代数的关系

本文提出了模代数中的取模和退模运算，并且在此基础上指出了模代数系统和普通代数系统的反演关系，对普通代数系统也作了重新的认识，最后简略地提出了它们的一些应用.     

基于Web的Intranet信息查询系统的设计与实现

分析讨论了Ｃ／Ｓ结构和Ｂ／Ｓ结构以及基于Ｗｅｂ的数据库系统的实现技术,设计并构建了一个基于Ｗｅｂ的综合业务信息查询系统,结合公安信息系统建设的现状和要求,提出了逐步实现Ｉｎｔｒａｎｅｔ和Ｅｘｔｒａｎｅｔ的设想。     

关系数据库系统查询操作语言研究

介绍在关系数据库系统中，将选取查询操作与具体问题分离开，以实现对数据的各种非预期查询求的方法及构造查询条件的原理。     

关于Pentagon方程与Hopf模及双代数的关系

设H既是一个代数，同时又是一个余代数（不必是双代数），证明了当模HM和余模M^H满足适当条件时，H为Hopf代数，并且HM^H为Hopf模；在一般的情况下，若H是双代数，则可以构作H的商双代数－↑H，使M成为－↑H上的Hopf模，另外，从已知的双代数出发，可以构造新的Pentagon方程的解。     

偏序集与偏序集代数的关系

本文研究偏序集与偏序集代数之间的关系.给出偏序集代数KI是Artin代数,Noether代数,半素代数以及素代数的充分必要条件;得到偏序集代数KI的Jacobson根J=KI~ ,并给出?的充分必要条件;最后,用偏序集代数KI的代数性质,给出偏序集I是格的充分必要条件.     

应用LSI实现WEB图片的索引和查询

应用奇异值分解方法，分析相关文本词条和图片语义的关系，构造了一个图片“潜在语义索引”模型，用于缓解传统的许多WEB图片检索系统在索引和查询中遇到的同义词和多义词问题，实现语义索引和查询实验表明，该模型能有效地改善图片的索引和查询性能。     

利用启发式信息优化多连接查询的遗传算法

结合多连接查询的特点,讨论了在左线性树空间的遗传优化算法,采用有序串编码方法和专门的杂交、变异算子;并利用查询优化中的增量启发式信息初始化种群,来提高遗传算法的收敛速度．我们将遗传算法与迭代修正的局部搜索策略相结合,解决传统的遗传算法缺乏较强的局部搜索功能的问题．     

嵌入式数据库多连接查询优化算法的研究

针对地质灾害监测数据管理系统分布式体系结构下的复杂多连接查询,系统介绍了粒子群优化算法的原理和特点,并分析了采用粒子群优化算法求解多连接查询优化问题的有效性．该算法以左深树为搜索空间,采用有序串编码,并改进了基本粒子群优化算法的速度位置公式,将其应用于地质灾害监测数据的测试实验中,取得了良好的效果．     

代数多项式的导数与其零点分布的关系

设P_n为n次代数多项式全体,对于p_n∈P_n,记||p_n||p=(integral from n=-1 to 1(|p_n(x)|~pdx)~(1/p)),0相似文献   

微功耗数据采集器设计

通过对数据采集器的电路、芯片和软件分析和研究,控制每个部件电流的消耗,尤其是采用CPU休眠技术,使系统功耗大为降低.实践结果表明,数据采集器工作时,平均消耗电流150μA,采集器内安装10Ah锂电池能使其工作6年以上.     

应用ASP IIS技术实现远程答疑系统

构建一个基于WEB的远程答疑系统一直为许多远程教育系统开发人员所关注,本文讨论了采用IIS和ASP技术去实现一个功能完善的远程答疑系统的有关问题.     

基于阈算术代数系统的ECL触发器设计#br# #br# 基于阈算术代数系统的ECL触发器设计

针对ECL触发器设计中存在电路结构复杂、设计过程繁琐等不足,在分析ECL电路特点和阈算术代数系统的基础上,设计出一种ECL算术运算单元电路,进而提出了基于阈算术代数系统的ECL触发器的设计方法,具体设计了ECL二值主从型D触发器、ECL三值D锁存器以及ECL三值T触发器置数单元.采用TSMC 0.18 μm工艺参数对所设计的电路进行HSPICE模拟,结果显示,所设计的电路具有正确的逻辑功能和良好的瞬态特性,验证了本方法的正确性.与以往的ECL触发器电路相比,本方法设计的ECL触发器电路结构有所简化,运用和图方法,使得设计更加简单、直观有效.特别是在较复杂电路设计时,本方法更显优势,电路结构更为简单,所用晶体管数量更少.     

软代数的同余理想的同余关系

给出软代数的理论理想成为某个不同余关系的核的充要条件，并且刻划了以软代数的同余理想的核的最小和最大软代数同余关系。     

MS—代数的素理想与同余关系

对于ＭＳ－代数Ｌ,以Ｐ（Ｌ）表示Ｌ的全体素理想组成的集,Ｃｏｎ（Ｌ）表示Ｌ的同余关系格,ＸＰ（Ｌ）表示Ｐ（Ｌ）的幂集格的对偶格。本文对Ｐ（Ｌ）的子集刻划了ＭＳ－代数Ｌ的每个同余关系,我们给出了ＭＳ－代数Ｌ关于次直不可约ＭＳ－代数的次直积表示的ＭＳ－代数的次直不可约类还证明了Ｃｏｎ（Ｌ）可以嵌入到ＸＰ（Ｌ）中。     

基于阈算术代数系统的ECL触发器设计

针对ECL触发器设计中存在电路结构复杂、设计过程繁琐等不足,在分析ECL电路特点和阈算术代数系统的基础上,设计出一种ECL算术运算单元电路,进而提出了基于阈算术代数系统的ECL触发器的设计方法,具体设计了ECL二值主从型D触发器、ECL三值D锁存器以及ECL三值T触发器置数单元.采用TSMC 0.18μm工艺参数对所设计的电路进行HSPICE模拟,结果显示,所设计的电路具有正确的逻辑功能和良好的瞬态特性,验证了本方法的正确性.与以往的ECL触发器电路相比,本方法设计的ECL触发器电路结构有所简化,运用和图方法,使得设计更加简单、直观有效.特别是在较复杂电路设计时,本方法更显优势,电路结构更为简单,所用晶体管数量更少.     

su(1,1)代数在群参数空间的实现

本文提出了研究谱生成代数的一条新途径。构造了su(1,1)代数在su(1,1)群的参数空间的实现的各种可能类型。它们可以是三个变量的亦可以是两个变量的。     

应用ASP＋IIS技术实现远程答疑系统

构建一个基于WEB的远程答疑系统一直为许多远程教育系统开发人员所关注，本文讨论了采用IIS和ASP技术去实现一个功能完善的远程答疑系统的有关问题．     

演绎图象数据库模型的设计及实现

演绎数据库和图象数据库分}}J是数据库技术和图象处理/模式识别研究领域中比较新兴的研究方向,本文提出了一种将演绎数据库技术应用于图象数据库的模型一一IIDBSM,阐述了该演绎图象数据库系统的设计和用Turbo Prolog编程在微型计算机上的实现方法,简要地介绍它在地理信息系统中的几个应用实例.     

基于嵌入式平台802.16 AES-CCM算法的优化及实现

通过深入分析AES-CCM算法原理,对AES算法中运算量最大的轮变化过程进行优化,将轮变化中的4个步骤转变为查表和异或运算,进一步简化了算法的执行过程;并对802.16协议中CCM模式应用规则存在的安全隐患提出了改进措施,增强了算法在抗重放攻击方面的能力.通过在富士通3400 WiMAX开发板＂ARM＋VxWorks＂平台下设计和实现了采用AES-CCM算法的数据传输加密方案,最后采用应用模块对算法进行测试,结果表明了改进后算法模块的正确性和有效性.     

一种描述RBAC角色层次关系和互斥关系的模型及实现

RBAC角色访问控制逐渐被软件业所认同,在概述了目前的RBAC模型的特点后,对其角色的继承关系和互斥关系进行了讨论,并提出了一种逻辑模型和实现方法,最后给出了一个实例。