排序方式: 共有20条查询结果,搜索用时 15 毫秒
1.
Scott连续映射的分析式与分层次式刻划及应用 总被引:1,自引:1,他引:0
张德学 《四川大学学报(自然科学版)》1994,31(2):137-140
首先建立了拓扑空间到连续格的Scott连续映射的分析式与层次式刻划。共次利用这些刻划得到了连续格的分析式与层次式刻划,改进了有关作者的完全分配格的分析式刻划。 相似文献
2.
大边数图的星约束色数 总被引:1,自引:0,他引:1
图的P-色数χ(G,P)是对G的顶点着色,使得每一色类的导出子图具有性质P的最小颜色数,该文研究χ(G,P),这里P是星的并这一性质,且把这种P-色数星约束色数,记为χ(G,St),该文给出一些大边数图的星约束色数。 相似文献
3.
4.
党的十一届三中全会以来,特别是近几年来,高校学报工作出现了一和前所未有的繁荣局面。目前,高等本科院校校校都有了学报自不待言,就高等专科学校来说,也80%以上的学校办起了学报,仅师专学报,据统计,全国已达一百五十余家。高校学报工作的这种繁荣局面,从一个方面,一种角度反映了高校学术科研的灿烂春天。对于高等本科院校来说,鉴于他们学术科研基础雄厚,领导重视,编辑力量强,科研经费 相似文献
5.
张德学 《四川大学学报(自然科学版)》1994,(2)
首先建立了拓扑空间到连续格的Scott连续映射的分析式与层次式刻划;其次利用这些刻划得到了连续格的分析式与层次式刻划,改进了有关作者的完全分配格的分析式刻划. 相似文献
6.
The notion of continuous generalized partial metric space is introduced via the Yoneda embedding. Such spaces are the counterparts of continuous directed complete partially ordered sets in the realm of generalized partial metric spaces. It is shown that both the forward globalization functor and the formal ball functor on generalized partial metric spaces preserve continuity, and the formal ball functor also reflects continuity. 相似文献
7.
本文目的在于对任一完备Heyting代数M,引入M的L-fuzzy素元的概念,并在这些L-fuzzy素元之集上赋予一自然的L-fUzzy拓扑,这样得到的L-fuzzy拓扑空间称为M的L-fuzzy谱.其次讨论该拓扑空间的拓扑性质与M的代数性质及M的分明谱之间的关系.文中L记一具有逆序对合对应的完全分配格,M,N记完备Heyting代数.f:M→N称为frame映射,若f保并及有限交. 相似文献
8.
AOJCP(area-optimized JavaCard processor)是一种自主设计的基于微码、面积优化、低功耗的JavaCard硬件处理器.首先,描述了AOJCP中的微码处理器总体框架、单周期与控制-应答机制结合的微码设计、JavaCard指令执行过程;然后在FPGA(field programmable gate array)中实现.结果表明,AOJCP占用1410 LogicCells(约合16k门),最高频率36.2MHz,典型时钟频率3.7MHz时,功耗为48mW. 相似文献
9.
本文利用连续三角模的序和分解定理给出了赋予典则模糊序的单位区间中的平坦理想的刻画. 该刻画有助于进一步研究模糊序的拓扑性质和domain 性质. 相似文献
10.
设计了一种用于低端设备、低功耗的AES(advanced encryption standard)加解密硬件模块.混合设计加解密算法,减少了资源占用,使设备在较低的时钟频率下保持较高的性能,在20 MHz时,加解密速度仍可达128 Mbit/s. 相似文献