构造型的D2FA生成算法

Delayed input DFA (D²FA)中引入默认边来对确定状态机(DFA)进行状态转移精简. 为了提高D²FA生成算法的效率,分析了对正则表达式X得到的DFA(^∧X)与DFA(X)间的相关性,提出一种从DFA(^∧X)到D²FA(X)的构造型算法. 该算法将DFA(X)中的状态用DFA(^∧X)中的状态序列进行表示,从而基于状态序列进行默认边的选择,而不需要生成实际的DFA(X). 理论分析和实验结果表明,该算法降低了构造D²FA的算法复杂度,同时仍能保证进行模式匹配时的解析时间下限,以及对DFA的状态转移精简能力.     

Piccolo相关性功耗分析攻击技术研究

为了评测轻量级密码算法Piccolo抗功耗分析攻击的能力, 提出一种针对首轮的功耗分析攻击模型, 搭建了功耗模拟采集平台, 对该算法进行了相关性功耗分析攻击. 针对Piccolo算法首轮运算中包含白化密钥和轮置换操作的特点, 将首轮相关攻击密钥(包括轮密钥RK0L、RK0R、WK₀、WK₁)分成6段子密钥, 逐个完成各段子密钥的攻击, 将80位种子密钥的搜索空间从2⁸⁰降低到(2×2²⁰+2×2⁴+2×2⁸+2¹⁶), 使种子密钥的恢复成为可能. 攻击结果表明, 只需500条功耗曲线即可恢复首轮攻击密钥, 由此可见, 未加任何防护措施的Piccolo硬件实现极易遭受相关性功耗分析攻击, 研究并采取切实有效的防护措施势在必行. 据现有资料, 这是首次评估Piccolo密码算法在相关性功耗分析攻击方面的安全性.      

可见光响应型(CuAg)xIn2xZn2(1-2x)S2光催化剂的光催化制氢

为实现可见光下分解水制氢,用沉淀煅烧法合成系列(CuAg)_xIn_2xZn2(1-2x)S₂光催化剂．采用X射线衍射仪(XRD)、紫外可见吸收光谱(UV-Vis)、电位粒径仪(DLS)、X射线能谱(EDS)、电感耦合等离子体质谱(ICP-MS)等方法研究了光催化剂的能带结构,评价其光催化性能．结果表明,随着组成配比x值的增加,光催化剂的光吸收从紫外光向可见光扩展,禁带宽度逐渐变小. 通过计算发现,光催化剂的导带电位逐渐接近氢的氧化还原电位．合成的(CuAg)_xIn_2xZn2(1-2x)S₂ (x=0.05~0.30)在可见光下都能光催化产氢,并且(CuAg)0.15In0.3Zn1.4S₂(即x=0.15)具有最高的光催化制氢活性．调节组成配比可调控光催化剂的能带结构,有助于获得具有高活性和稳定性的可见光响应型光催化剂．     

线性划分问题的一个改进算法

给定一个由n个非负数构成的序列X={x1, x2, …, xn}及正整数k≤n, 线性划分问题要求将该序列划分为不大于k段子序列,使得最小化各段子序列元素之和为最大值。目前已知该问题的最好算法是时间复杂度为O(kn2)和空间复杂度为O(kn)的动态规划算法。利用非负数序列的性质,给出一个快速改进算法,其时间复杂度为O(knlogn),空间复杂度为O(n)。     

基于PSO-LSSVM的砂层可注性预测模型及其敏感性分析

现有砂层可注性评价方法多为分类评价,且分类标准不一,不利于实际工程应用.为此,采用粒子群算法(PSO)对最小二乘支持向量机(LSSVM)进行优化,提出可注性量化预测模型.选取水泥浆液水灰比R_WC、相对密实度D_r、细颗粒（直径＜0.075 mm）含量θ、砂层特征粒径D₁₀和D₁₅为控制变量,开展129组可注性室内试验,以每组试验浆液扩散距离作为可注性量化评价指标.基于PSO-LSSVM方法建立砂层可注性与各控制变量间的关系模型,采用傅里叶幅度敏感性测试法（FAST）对可注性影响因素进行全局敏感性分析.结果表明:PSO-LSSVM模型具有较高的预测精度,砂层可注性模型预测值与试验值基本一致,拟合优度R²为0.982;各影响因素对可注性的敏感性排序为:D₁₀＞D₁₅＞D_r＞θ＞R_WC,其中D₁₀和D₁₅敏感性显著高于D_r、θ和R_WC.     

由平方剩余差集与差集偶构造二元ZCZ序列偶集

提出了一种利用平方剩余差集(4t-1,2t-1,t-1) DS和差集偶(N,p,q,e,λ) DS
P构造二元零相关区(ZCZ)序列偶集的方法. 由平方剩余差集获得其二元特征序列,并由差集
偶获得其特征二元序列偶,将二者进行交织构造生成一类新的二元ZCZ序列偶集. 该方法解
决了现有二元ZCZ序列偶集构造中含有少量非二元元素的问题,通过选择适当的差集偶可使构造的二元ZCZ序列偶集在失配滤波检测中获
得较高的能量效率,从而提高了通信性能.     

模拟体液法制备仿生纳米级羟基磷灰石

以模拟体液为溶剂,磷酸钠和硝酸钙为溶质反应合成了纳米羟基磷灰石(HAP)粉体.利用X射线衍射、红外吸收光谱、扫描电子显微镜、X光电子能谱、原子吸收分光光度计对合成的HAP粉体的物相组成、化学组成、微观形貌、及体外生物活性进行了研究.用化学方法分析了羟基磷灰石晶体的Ca／P摩尔比.结果表明:合成的HAP晶体呈针状,长约60～70nm,宽约10～20nm,具有弱结晶结构,含有Na⁺、CO₂^-3基团,更接近于自然骨磷灰石的结构特点.HAP具有一定诱导钙、磷沉积的能力.     

T函数生成的非线性伪随机序列的自相关性

针对以单圈T函数代替线性移位寄存器设计流密码的可行性,对单圈T 函数的分量函数所生成序列(第k位序列)的移位自相关性进行了研究. 在移位量取第k位序列周期与2的负指数幂之积的条件下, 根据单圈T函数的性质,结合自相关函数的周期特征, 计算了对应的自相关函数的上界和下界. 由该上下界分析知,当移位量较小时,自相关函数的取值较大,表明T函数不适合直接用作密码函数生成伪随机序列.     

pH对掺杂Zn纳米Ni(OH)2电化学性能的影响

为研究pH值对掺锌氢氧化镍电化学性能的影响,采用沉淀转化法在不同pH下制备出掺杂Zn的纳米Ni(OH)₂. 利用XRD和TEM对材料的结构和微观形貌进行分析,利用循环伏安技术和恒流充放电技术对材料的电化学性能进行研究. 结果表明,pH=10时制备的材料是α型纳米Ni(OH)₂,随着pH的增大,材料逐渐变成α-Ni(OH)₂和β-Ni(OH)₂的混合物,且材料的团聚逐渐严重. pH的变化对材料的电化学性能影响明显. 随着pH的增加,材料的质子扩散系数增大;与pH=10时制备的材料相比,pH=12时制备的材料02C和3C放电比容量分别提高了20％和27％.     

济南市大气细颗粒物水溶性组分及大气传输的研究

采用大流量采样器，于2004年11月至2005年9月对济南市城区细颗粒物PM2.5进行了研究测试，对其水溶性离子成分和pH值进行了分析. 结果表明，济南市PM_2.5污染严重，超标率达93.6％，超标倍数为1.20～5.72，呈略酸性. 水溶性离子占PM2.5质量的49.81％，其中SO^2-₄，NH⁺₄，NO^-₃是水溶性离子的主要组分,各占PM_2.5质量的20.88％，12.01％和10.94％，主要以(NH₄)₂SO₄和NH₄NO₃形式存在. 72h后推气流轨迹和簇分析表明起源于济南西北方向（俄罗斯，蒙古国，中国北部）且运动速率较低的气溶胶长距离传输能够加重济南细颗粒污染水平.     

基于隐马尔科夫模型的随机系统运行时安全性验证

随机系统运行时验证中,由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为,因此,复杂随机系统在运行时其状态是难以观测的。为了对该类系统进行运行时验证,提出了状态不可观测的随机系统运行时安全性验证方法。首先,给出了随机系统安全性验证框架,框架使用隐马尔科夫模型建模运行时系统,使用确定性有限自动机规约系统安全属性,使用两者的乘积自动机作为属性验证器。然后,提出了属性验证器的构造算法,该算法消除了从初始状态不可达的状态以及与验证属性无关的组合状态,约简了验证器的规模。最后,基于验证器,提出增量迭代安全性验证算法,该算法接收到一个新的观测值,立即计算已观测到的整个有穷序列的监控结论,不需要保存当前观测值之前的有穷观测序列。实验仿真结果表明该方法能有效性地在线验证状态不可观测的随机系统安全性。     

一种字符串模式匹配算法的实现

为寻求更有效的字符串搜索方法,利用有穷自动机的定义,分析KMP算法以及自动机状态转换规律,提出了一种新的字符串模式匹配算法.结果表明此算法具有比基本的串匹配算法更优越的算法复杂度,并且相对KMP算法而言更简洁易懂,在计算机上容易实现.     

图形识别的有限自动机方法

针对工程图中具有某种特殊意义的图形符号(如粗糙度、标高符号等),研究了确定性有限自动机识别矢量图形的方法.从DFA出发,构造待识别图形符号的状态集合以及状态间的转换关系,然后通过搜索图形元素集合以及一定的条件进行状态转换,根据其最终所处状态判断识别结果.     

基于有限状态自动机的黑白数字图像表示方法

提出了一种用有限状态自动机（FA）来描述黑白数字图像的方法。对一幅给定的黑白数字图像,可以用正则语言来表示它的像素地址,反之,任一正则语言也可以表示为一幅黑白数字图像,即正则语言与黑白数字图像可以相互转化。而由自动机理论原理知,正则语言可以用有限状态自动机等价描述,从而得到用有限状态自动机来描述黑白数字图像的方法。这样就建立了图像与自动机理论这两门学科之间的联系,也为用自动机进行图像压缩奠定了基础。     

多速率混合系统的模型检查

研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质．首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式．接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机,并且通过构造域自动机对应的标注有限状态自动机,把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题．利用区间时序逻辑的模型检查算法加上上述的转换规则,就可以解决初始化的多速率混合系统的模型检查问题．     

基于Active X技术的呼叫中心设计

提出了呼叫中心模型采用业务与交换分离的设计思想,以Active X技术对中间层进行封装,业务层通过方法和事件与中间层交互。由于交换接入层的消息驱动机制,在Active X控件方法的实现上采用了DFA理论,通过DFA各状态的转换来完成相应的功能。     

基于LTL Tableau的自动机构造

基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi)的具有线性复杂度的方法,该方法能够降低最终乘积自动机的空间复杂度。     

基于自动机理论的密码匹配方法

针对用户安全登录问题,提出了一种基于自动机的密码匹配模型.首先,对于用户任意输入的密码进行同态映射加密; 其次,构造出可接受加密密码的自动机——状态数目可变自动机(VNS - DFA),该自动机不仅能够匹配加密密码,同时还可以输出加密密码的同态原像以及匹配成功的次数; 最后,在状态数目可变的自动机上对用户输入的密码进行实验验证表明,用户建立的密码经过同态映射后可全部被该自动机接受,且该自动机的时间复杂度优于传统的DFA以及改进的DFA.     

加性细胞自动机的同构性分析

根据矩阵方程理论和细胞自动机原理,提出了加性细胞自动机状态转移结构的同构性方法,该方法利用状态转移矩阵方程及其特征多项式分析规则90和150加性细胞自动机,证明了特征多项式为不可约多项式时的零边界规则90和150加性细胞自动机与其对应的线性细胞自动机具有相同结构的状态转移图,即它们同构。研究表明:该方法对实际的伪随机序列产生、通信和测试等领域具有应用推广价值。     

多态自动机在字符串搜索及统计时的应用

多态自动机较之有穷自动机有更强的计算功能和对算法的描述功能,所以在计算理论和学习理论中有相当地位.本文首先简要地介绍了多态自动机,然后利用多态自动机的计算功能给出了一种搜索算法,此算法可以完成字符串的搜索和统计功能.文章对此算法的复杂度进行了分析,该算法的复杂度是多项式的,并且对此算法添加一些辅助部分也可以完成搜索网络资源的功能.此算法在计算机上也很容易实现.