有穷自动机计算中数据结构的设计

尽管邻接矩阵是有穷自动机的一种常用存储方法,但是,邻接矩阵并不适合存储所有类型的有穷自动机.原因是两个状态间可能有两条以上同方向的弧,而邻接矩阵只能记录两个状态间存在的一条弧.所以,有穷自动机的存储结构最好采用邻接链表来存储.将此数据结构应用于NFA转换为DFA的计算,将传统的子集法中状态转换矩阵,由三维数组降低为二维数组.     

具有可见光催化活性的MoS2量子点/NH2-MIL-125复合材料的制备及性能表征

采用水热法合成金属-有机骨架材料NH₂-MIL-125, 并修饰硫化钼量子点, 从而构筑具有增强电荷分离的二硫化钼量子点/NH₂-MIL-125复合光催化材料(MoS₂ QDs/NH₂-MIL-125)。利用XRD、HRTEM、DRS、PL对材料性能进行分析, 通过降解甲基橙MO染料测试MoS₂ QDs/NH₂-MIL-125复合材料的光催化性能。结果表明：尺寸约 4 nm的MoS₂ QDs均匀分散在NH₂-MIL-125上, 在可见光照射下, MoS₂ QDs/NH₂-MIL-125复合材料的光催化性能极大优于单一的Bulk MoS₂和NH₂-MIL-125, 降解常数分别是它们的5.8和7.4倍。循环光催化实验结果表明, MoS₂ QDs/NH₂-MIL-125复合材料的光催化能力具有良好的稳定性。DRS和PL的测试结果表明, MoS₂ QDs/NH₂-MIL-125复合材料优异的可见光催化性能主要归因于异质结构的形成, 抑制了光生电子-空穴的复合, 进而提高了光催化性能。     

基于金属-有机骨架的锂离子电池硅负极的研究进展

近年来,金属-有机骨架(MOFs)及其衍生物由于具有高孔隙率、可修饰的官能团、可控的化学成分等优点,在改善硅负极体积膨胀和导电性等方面取得了很大进展.通过讨论MOFs及其衍生物在锂离子电池硅负极的最新研究成果,重点阐述了以MOFs为基体的硅负极的结构设计,提出了影响其电化学性能的相关因素.最后,针对MOFs及其衍生物在...     

基于有载频率的简支梁桥自振频率计算方法

由于车辆的存在,在桥梁的动力试验中,测试到的桥梁频率实际上是以桥梁振动为主要振动形式的车-桥耦合系统的振动频率(工程上称为有载频率),而非桥梁自身的固有频率.基于车-桥系统的耦合振动模型和模态分析技术,提出了多个车辆作用下的桥梁有载频率计算方法.在中小跨径的公路桥梁的动态检测中,往往采用单个车辆对桥梁进行激振.对此推导...     

基于时间-有色Petri网的电梯系统的建模与分析

根据时间Petri网和有色Petri网的知识，提出了基于时间-有色Petri网（TCPN）的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度，控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。     

基于有监督核函数主元分析的故障状态识别

介绍一种有监督核函数主元分析算法(SupervisedKernelPrincipalComponentAnalysis,SKPCA),通过将样本类内差和类间差融入总体方差中,从而达到更好的分类目的.在齿轮故障诊断实验中,采用SKPCA提取故障信号的非线性特征,实验结果表明SKPCA相比KPCA前两个主元贡献更为集中,故障识别结果更为理想.     

基于发光金属-有机框架物的小分子和离子荧光探针研究进展

金属-有机框架物(MOFs)由于其在分离、催化、储氢以及荧光探测等方面的潜在应用而成为当前的研究热,最简单介绍了MOFs近期的发展,着重评述了以稀土为中心的发光MOFs作为有机小分子、阳离子和阴离子荧光探测的研究进展,提出了探针用发光MOFs研究目前存在的问题和今后的发展趋势.     

基于熔体静电纺丝技术制备一种金属-有机骨架复合材料的方法

高性能金属-有机骨架（MOFs）复合材料是目前研究热点。文中首次采用熔体静电纺丝法制备了低密度聚乙烯（LDPE）纤维作为沉积MOFs晶体的衬底,并采用溶剂热合成法原位制备了负载锆基金属-有机骨架材料（UiO-66）的LDPE纤维复合材料。通过扫描电子显微镜（SEM）、X射线衍射（XRD）、傅里叶变换红外光谱分析（FT-IR）和热重分析（TG）,对UiO-66@PE纤维复合材料的表面形貌和结构进行了表征。结果表明,UiO-66@PE复合纤维材料最佳制备温度是100℃,它是由UiO-66包裹的纤维态复合材料,且晶体较均匀负载于LDPE纤维表面,UiO-66晶体直径为190～900 nm;FT-IR分析表明UiO-66晶体与LDPE纤维之间没有化学作用;TG分析结果表明,相比基材LDPE,UiO-66@PE复合材料的热分解温度有所提高,能够达到425℃。     

基于有限自动机的网络入侵检测技术

入侵检测是对计算机网络和计算机系统的关键节点的信息进行收集和分祈。由于高速网络和交换式网络的普遍应用,以分布式拒绝服务攻击为代表的新型攻击方式的出现和发展,以及现有入侵检测系统效率低下、误报率和漏报率较高的问题无法得到有效解决等问题,目前入侵检测技术正处于发展的关键时期。协议分析是网络入侵检测技术中的一种关键技术,但不能解决对于包含在多个数据包中的攻击。针对这一问题,本文提出了基于状态协议分析的检测技术,构建一个有限自动机（Finite Automata,简称FA）来约束网络,并用由正则表达式产生的语言来描述一系列的正常的状态转化,充分利用协议的状态信息检测入侵。     

基于模糊有限自动机的双模糊拓扑性质

本文研究了由模糊有限自动机的bifuzzy successor算子和bifuzzy source算子所导出的双模糊拓扑.根据这两个算子的性质,我们把它们导出的所有可能的双模糊拓扑系统地进行了分类,并证明了它们都是FFA的双模糊拓扑;进而研究了这些双模糊拓扑之间的关系.     

概率有限自动机的商和同态

本文主要是通过概率有限自动机的有效划分来研究概率有限自动机的同态与商概率有限自动机的相关问题,得到了在同态或同构(弱同构)意义下概率有限自动机相互之间的关系,以及它们的商概率有限自动机的相互关系,得到了一些有意义的结果.     

输入存贮线性有限自动机积的讨论

本文刻画了输入存贮线性有限自动机本身结构矩阵的特点,证明了两个输入存贮线性有限自动机作积(后并、全直积、化合)之后仍然是输入存贮线性有限自动机,给出了两个输入存贮线性有限自动机作积之后的结构矩阵、自由响应生成矩阵、传输函数矩阵和原来两个输入存贮线性有限自动机的结构矩阵、自由响应生成矩阵、传输函数矩阵的关系.得出线性有限自动机M具有r阶输入存贮的等价命题.     

由单个状态生成的有限自动机的一些性质

本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.     

介观电路中量子逻辑门的研究

在介观电路的研究中,提出了用超晶格量子阱如何实现基本量子门及量子开关,同时展示了在超晶格量子阱中量子信息位的具体转化过程.对垒阱中电子波动行为及隧穿情况做了详细的理论分析,并给出如何避免隧穿效应的具体条件.     

Recognition of online unconstrained handwritten Gurmukhi characters based on Finite State Automata

This paper presents a language-based efficient post-processing algorithm for the recognition of online unconstrained handwritten Gurmukhi characters. A total of 93 stroke classes have been identified to recognize the Gurmukhi character set in this work. Support Vector Machine (SVM) classifier has been employed for stroke classification. The main objective of this paper is to improve the character level recognition accuracy using an efficient Finite State Automata (FSA)-based formation of Gurmukhi characters algorithm. A database of 21,945 online handwritten Gurmukhi words is primarily collected in this experiment. After analysing the collected database, we have observed that a character can be written using one or more strokes. Therefore, a total of 65,946 strokes have been annotated using the 93 identified stroke classes. Among these strokes, 15,069 stroke samples are considered for training the classifier. The proposed system achieved promising recognition accuracy of 97.3% for Gurmukhi characters, when tested with a new database of 8,200 characters, written by 20 different writers.     

基于布尔逻辑的测试选择算法

提出了一种基于布尔逻辑运算的测试选择新方法.首先建立布尔关联矩阵来描述系统中故障与测试的相关关系;然后依据关联矩阵,分别定义描述故障检测用测试集和故障隔离用测试集的布尔逻辑函数;再根据布尔运算定律对逻辑函数进行展开和化简处理,并根据计算结果得到最优测试集.通过案例验证了该方法的正确性,并指出了该方法的优势及其在计算复杂性方面存在的不足.     

几种粉尘层反应动力学参数的研究

研究了两种烟煤和玉米淀粉、石权子粉粉尘层的反应动力学参数。实验是采用热重分析方法在氧浓度分别为0、2％、8％、20％、50％和100％及层流条件下进行的．并用气相色谱在不同的温度范田内对粉样的气相成分进行了分析，依据实验结果求出上述4种粉尘的氧化、热解动力学参数并对粉尘层氧化某些机理作了描述。     

产品研发过程中不同类型企业能力的相互关系研究

针对产品研发环节,分析了企业的网络能力和技术能力及其交互对产品研发成功的影响,提出了相关假设并利用河南省283家制造企业的调研数据进行了初步的实证检验．结果显示,企业网络能力和技术能力的提高都有利于促进产品研发的成功,但两者的交互作用与产品研发成功之间存在三种关系：显著的互补关系、显著的互斥关系及介于两者之间的潜在的互补（互斥）关系．从知识管理的角度来看,我国制造业企业存在的“引进一落后再引进一再落后”的怪圈,其主要原因之一,可能就是一些来自于企业外部的增量知识与企业内部的存量知识难以融合、进而难以形成系统化的知识,最终难以促进企业产生持续的技术创新．