摘要：非线性反馈移存器型序列密码被使用于智能卡、射频识别标签(RFID)和无线传感器等硬件资源受限设备的信息加密中,其典型代表为Trivium算法、Grain v1算法和Mickey算法,然而现有的完全性算法在应用于此类序列密码时存在分析轮数较少及对依赖关系区分不清楚等问题.本文提出了一种考察此类序列密码完全性的通用算法,将算法内部状态表示成线性集合和非线性集合,将序列密码每轮更新转化为集合的运算,通过迭代计算可给出算法达到非线性完全性所需轮数的下界,克服了现有完全性算法的不足.应用此通用算法给出Trivium算法更优的1比特差分区分器并完成对Trivium-B算法的实时攻击.本方法可为此类序列密码的设计提供一定的理论依据.

摘要：基于混合运算的密码算法(MOC)以安全性高、软硬件实现效率高等特点受到人们的广泛关注。完全性指输出的每一比特都包含有输入每一比特的信息,达到完全性是密码算法设计的一个基本原则。该文提出针对MOC算法完全性分析的通用算法,并在此基础上提出利用完全性寻找MOC算法的不可能差分区分器的方法,此构造方法可直接给出MOC算法高重量的不可能差分区分器且搜索效率高,为MOC算法不可能差分区分器的实际构造提供了理论指导和技术支持。应用此方法找到了SIMON系列算法全部现有的最长不可能差分区分器,并找到了SPECK系列算法更多的不可能差分区分器。

摘要：事务工作流模型可被视为扩展的事务模型和通用工作流模型的交汇点,提出将工作流的模型定义同其事务属性的定义独立开来,尽管在此方法中区分了多重的事务属性。提出了直观的注解符来定义原子性,提供了一个通用规则--放宽的完全性准则,以适应现实运行中事务管理的需要,以一个网上电子书店工作流应用为例来阐明这种思路。

摘要：目的：确定对于临床完全性非动脉炎性的视网膜中央动脉阻塞(CRAO)普遍应用微创治疗的效果，并设计一项评价选择性动脉溶栓治疗此疾病的前瞻性随机实验。

摘要：MORUS算法是已进入CAESAR竞赛第二轮评选的一个基于流密码的认证加密算法,研究算法的混乱与扩散性质对于评估其安全性来说十分必要.本文首次从完全性和差分扩散性两个角度对MORUS算法初始化过程的混乱与扩散性质进行了研究.我们首先研究了MORUS-640-128的完全性,得到算法输出密钥流和内部状态达到完全性的步数下界分别为4步和6步.利用此性质,我们对3步简化版MORUS-640-128进行了差分-区分攻击和密钥分割攻击.其中,差分-区分攻击仅需2个选择IV就能以0.999985的区分优势完成攻击;密钥分割攻击需要110个选择IV,能以99.8%的成功率恢复全部128比特初始密钥,计算复杂度为O(2^(106.8)).结合完全性算法,本文提出了改进的差分自动推演算法,并对4步简化版MORUS-640-128进行了差分-区分攻击,攻击所需的数据量和区分优势分别为2105和0.999665.上述攻击均是首次针对MORUS算法的安全性分析结果,对其初始化过程的设计有一定的参考意义.

摘要：为了能够有效的描述现实世界中的相对静止状态,分析了在哲学逻辑理论中的线序时态逻辑定理系统中引入自反性质的可行性,在此基础上建立了具有自反性质的线序时态逻辑系统TA。叙述了TA时态系统的主要定理以及该系统具有无端稠密线序性质,并表明了该系统的紧致性、可靠性和完全性。运用状态重命名方法说明了TA系统与行为时序逻辑TLA系统之间的联系,从而将TA的定理系统运用到行为时序逻辑的研究中。

摘要：论理解的循环汉斯—乔治·伽达默尔著王志伟译我们必须从个体出发去理解整体，并且从整体出发去理解个体，这一阐释学原则导源于古代修辞学，又为现代阐释学从说话的艺术转用到理解的艺术中来。在这两种情形中都存在一种循环关系。正是由于为整体所支配的部分同时又支配着...

摘要：服装与模仿他们有着千丝万缕的联系。服装设计中的模仿并不是个坏“东西”。一国模仿先进国家的服装设计会促进本国的服装设计水平的提高，。模仿可以促进服装新产品的不断问世。初涉服装设计的人通过模仿可以使其设计水平得到迅速提高。诃以按照生模仿到生再创造性模仿的步骤进行。

摘要：通过对仪表板、仪表座、仪表台本体及侧箱体等仪表台主要部件的设计及结构分析,考虑了仪表台的安全性及工艺性,叙述了大客车仪表台在车身内部起的重要作用。

摘要：在另一文中,我們介紹了几种基本电路以及由它們組成計算机电路的例子,该文是通俗性的介紹,所談的布氏代数方法現在已很通行。在該文例子的最后,出現了延迟元件“延”(以下改記作“D”),对于具有延迟元件的电路,其設計及化簡問題,用布氏代数就不够了。在这方面,現在已有几种邏輯性的数学理論(見文献),但作者謐为其构成形式不够滿意,或则失于散漫,或則比較奇特。