云计算中可验证的语义模糊可搜索加密方案

针对目前可搜索加密方案不能进行语义模糊搜索的不足,并且无法充分应对"不诚实且好奇"的服务器威胁,提出基于混合云模型的可验证语义模糊可搜索加密方案。该方案通过Word Net对关键词进行语义扩展,并使用布隆过滤器构造安全索引,索引和查询经过布隆过滤器两轮映射保证了无关联性,确保了用户数据隐私的安全性。在混合云模型下,尽可能地减少终端计算开销,在私有云服务器上构建索引和验证集合并对搜索结果进行验证以确保搜索结果完整性,在公有云服务器上进行文档搜索确保搜索效率。通过在真实数据集上的测试,验证了该方案的有效性与可行性。

S_(BOS)相邻逻辑对称序列构造与实现方法

本文基于布尔序集相邻逻辑对称关系的二分枝树(T_(BOS))结构模型的研究,从中找出布尔序集相邻逻辑对称序列(S_(BOS))关系的内在规律,进而提出用S_(BOS)构造的新方法,来实现N维布尔序集唯一相邻的逻辑路径问题。文中介绍了“对跳定界搜索”方法,对工程应用有着实际意义。

高维D=3 SM阵列编码构造和实现

本文基于第一作者1994年提出的D=2 SM阵列码的概念体系,进一步给出D=3 SM阵列码的编码规则和存在条件,并讨论其结构特点、构造步骤和设计分析。最后指出其编码性能和用途。

高维大码距Hamilton阵列编码理论与综合算法

该文定义了高维大码距Hamilton阵列编码理论的基本概念,分析了d=2k-1(k≥3)类型和d=2k(k≥3)类型阵列编码的Hamilton逻辑拓扑结构模型和一般Hamilton阵列编码的存在拓扑条件,并给出d=2k-1(k≥3)与d=2k(k≥3)高阶高维Hamilton阵列编码的构造原理和综合算法。文中还讨论了两类模型的区别,以及实例设计,这为新型阵列密码研究提供一个新方向。

用图论方法实现D=4SM阵列编码

本文给出一种构造D＝4SM阵列编码的图论方法。它是基于文献[1]的基础之上，利用生成Hamilton逻辑路径的顶点排列与SMn（4）阵列码的对应关系，找出一种简便的生成算法。实现不限维地，方便快速地构造SMn（4）阵列编码。

(n,6,m)等重等距码的一种构造方法

本文给出(n,6,m)(m≥6)等重等距码的一种构造方法,侧重讨论了(n,6,m)等重等距码的基本结构形式,设计了几类可以用来构造(n,6,m)等重等距码的基本单元子块,并分析了构造原则和实现结果,以及置换个数和性能分析。

(n,4,m)极大等重等距码结构的再分析

本文根据文［１］提出的极大等重等距码的概念，利用等重等距码窗口矩阵设计原理，对（ｎ，４，ｍ）极大等重等距码结构重新进行了分析．讨论了码重基本情形，对称情形与非对称情形等几类特殊结构类型，并组合了各种不同结构的极大等重等距码，其结果比较完整地解决了（ｎ，４，ｍ）极大等重等距码的结构等价类问题．

大码距半Hamilton阵列编码特点分析与快速实现

本文基于文献[1～5]的研究结果,讨论了d=2k(k(>-)3)高维大码距半Hamilton阵列编码特点.在定义半Hamilton逻辑路径概念的基础上,给出d=2k(k(>-)3)类型的半Hamilton阵列编码主要的逻辑拓扑模型分析、偏序结构特征以及具体算法的快速实现步骤,最后给出设计实例.

信息安全专业宽口径培养模式探讨

本文根据信息安全专业的特点,对如何进行宽口径通用型人才培养模式的问题作了简单探讨,主要阐述了夯实必要理论基础,拓宽相关知识面,重视工程实践训练,突出专业方向发挥,尤其要在创新意识和智能潜力挖掘培养策略上更多为学生创造良好的学习环境和得到严格的训练和锻炼的教育新理念。

格扩展的信息系统安全域模型分析

基于一般信息系统结构模型、状态转移和安全性关系的原理,提出了一种格扩展的信息系统安全域与安全访问控制策略模型分析,克服了普通格策略模型中的一些不足,并对其访问控制策略的一致性安全判定做了比较分析。

超立方体互连网络自适应简捷盲寻径搜索算法

根据n-cube超立方体互连网络的并行特点,分析了任意当前结点相邻集合类的求解方法,并给出一种自适应优化盲寻径搜索算法.即通过任一当前结点的Hamming距离相邻测度,寻找从任一始发结点到目标结点的所有可能的自适应盲寻径优化算法.

d=7大码距Hamilton阵列编码及密码特性分析

提出了一种新的d=7大码距Hamilton阵列编码构造方法,分析了d=7大码距Hamilton阵列编码的存在规律和模型设计,以及限维情形下不同构造模型的相互关系。给出了维数n=9,码距d=7时的Hamilton阵列编码设计实例,并讨论了相关的组合密码特性。该方法简捷直观,容易构造,这对高维大码距Hamilton阵列编码研究和具体密码应用有实际意义。

论孙子互余定理Ⅰ

本文给出一个与孙子定理 (中国剩余定理 )相并行的对偶理论———孙子互余定理 ,用以解决一元一次互余式组通解的问题。同时还给出互余式组与同余式组的一个等价转换定理。这是一个值得研究的对偶规律 ,而且具有一定的普遍意义 。

布尔序集相邻逻辑对称的实现

本文提出一种用逻辑对称轴的关系,解决N维布尔序集唯一相邻的逻辑路径问题。同时还给出一种限维内任一逻辑相邻子集的确定方法。其结果简单直观,适合于计算机实现。这种思想,对于二分树快速搜寻和二分树排序决策等,也具有一定意义。

PLC时间外设定控制技术的实现

介绍了可编程序控制器的时间外设定控制技术，列举出典型ＰＬＣ外设定电路的结构类型和连接形式，并给出具体的梯形图控制电路实例。

一类同余多模编码序列分析与实现

为了研究新的编码与密码系统的需要,引入一种新的同余多模编码序列概念,分析了这种序列的基本模型和相关性质.给出了一组新的第二类同余多模编码序列具体构造和证明过程,并讨论了在变模条件下相关同余特征和密码应用的基本思路.

关于互余理论Ⅰ

提出了一个互余理论问题,这是一个与同余概念相并行的理论体系,在基础数论中绝对不可忽略。本文研究了互余理论的一般概念,有关性质,以及互余与同余的相互关系。

并行进程快速定界搜索方法及应用

以如何实现高维情形ＳＭ（ｄ）阵列编码为背景，给出一种并行进程快速定界搜索（ＦＢＳＰ）方法，分别用来实现ｄ＝ １和ｄ＝ ２两种不同类型的ＳＭ 阵列编码。介绍了ＦＢＳＰ方法的模型、理论依据、具体应用实例和实现过程。

PLC 组成的瓷砖冲压机自动控制系统

介绍了用可编程序控制器（ＰＬＣ）技术实现瓷砖加工冲压机的自动控制系统研制，给出了ＰＬＣ控制系统组成、程序设计方法以及联网通讯等技术，从而提高了瓷砖冲压机设备的稳定性和可靠性。

确定S_(BOS)对称序列左右界顶点子集的一个通项公式

根据本文作者之一(1991)提出的S_(BOS)相邻逻辑对称序列的性质,给出确定S_(BOS)对称序列左右界两顶点子集的一个通项公式。这对于利用“对跳定界搜索”法快速实现S_(BOS)对称序列,提供了一个选择定界范围和实用算法的依据。