面向分组密码的NCL电路处理模型

根据分组密码操作方式的特点,提出一种面向分组密码处理的NCL电路模型。采用双异步流水线并行工作方式、线性握手和非线性握手混合的握手方式以及基于NCL闭环流水线的控制方式,将AES算法在该模型上进行映射,使用异步电路综合工具Balsa在1 µm工艺下进行综合和仿真,结果证明该模型有效。     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

面向并行备份数据流的数据快速存储方法

在大规模数据服务应用中,尤其是备份与共享系统中,服务器往往会面临大量的上行数据流,而对这些数据的处理需要进行频繁的写操作,由于服务器数据存储位置的随机性,在多用户多任务环境下磁盘性能大大降低.传统的缓存技术只是针对小范围数据的局部性进行优化,对于并行备份数据流的效果不好,因此提出一种数据缓冲方法,通过数据封装,对上行数据流进行整理,动态调整IO次序,实现异步的数据处理接口,提高了文件服务器的存储性能.     

有时态本体模型及其管理原型系统

为使本体能够方便地表达、处理与时间相关的信息,将有效时间概念引入本体模型,介绍有时态本体模型定义及相关定理,在此基础上,实现有时态本体管理原型系统,并将该原型系统应用于存在时态冲突的信息集成系统中进行实验。实验结果证明了将本体用有效时间进行扩展,从而形成有时态本体模型,并对其进行存储管理的必要性,同时也显示了该原型系统对时态查询的支持能力。     

从时空观看标志设计的新思路

本文先简要分析了现今流行的标志设计手法,从时间性和空间性出发,重新认识了二维标志的设计方法,探讨目前标志设计的一些动态发展方向,着重思考其在实际应用中所产生的一些标志设计的新思路。     

针对隐性需求的产品设计研究

随着经济、技术的发展,消费者的需求变得日渐复杂。很多深层次的需求,连消费者自身都不能明确表达。本文就是在这样的背景下,研究消费者隐性需求产生的原因和不同阶段,提出了借鉴群体文化学的方法,并对其步骤进行了分析,希望设计能更好的满足人的需要。     

分组移动对象的区域偏离监视算法

以大量可分组移动对象的区域偏离监视问题为研究背景,扩展了基于区域覆盖的空间索引结构——虚拟网格四分树,提出了一种新的索引结构VGQ_G。基于VGQ_G,实现了区域偏离监视算法RDMA;给出了监视算法的性能对比实验。实验结果表明,在移动对象数量足够大的时候,设计的监视算法比朴素的监视算法在响应时间上提高了一个数量级。     

多时间粒度序列模式挖掘

序列模式挖掘是数据挖掘的一个重要问题.传统的序列模式仅能揭示频繁出现的项目以及出现的顺序,但不能揭示在前续项目出现的情况下,后续项目出现的时间.在本文中,引入一种新的多时间粒度序列模式,模式中相邻项目之间的转换时间采用从原数据集中导出的、多时间粒度下的最小有界时间区间和平均时间标注.建立了多时间粒度序列模式挖掘模型,提出了一种新的多时间序列模式挖掘算法MG-PrefixSpan.实验表明,算法是有效的.     

On properties not inherited by monoids from their Schützenberger groups

We give an example of a monoid with finitely many left and right ideals, all of whose Schützenberger groups are presentable by finite complete rewriting systems, and so each have finite derivation type, but such that the monoid itself does not have finite derivation type, and therefore does not admit a presentation by a finite complete rewriting system. The example also serves as a counterexample to several other natural questions regarding complete rewriting systems and finite derivation type. Specifically it allows us to construct two finitely generated monoids M and N with isometric Cayley graphs, where N has finite derivation type (respectively, admits a presentation by a finite complete rewriting system) but M does not. This contrasts with the case of finitely generated groups for which finite derivation type is known to be a quasi-isometry invariant. The same example is also used to show that neither of these two properties is preserved under finite Green index extensions.     

Soft groups and normalistic soft groups

Soft set theory, proposed by Molodtsov, has been regarded as an effective mathematical tool to deal with uncertainties. In this paper, first we correct some of the problematic cases in a previous paper by Akta? and Çag˜man [H. Akta?, N. Çag˜man, Soft sets and soft groups, Inf. Sci. 177 (2007) 2726-2735]. Moreover, we introduce the concepts of normalistic soft group and normalistic soft group homomorphism, study their several related properties, and investigate some structures that are preserved under normalistic soft group homomorphisms.