用划分序列构造时序机核实序列的方法

任何既约的、强联结的时序机 ,必存在核实序列 .若该机存在区分序列 ,构造其核实序列的方法已经形成 ;但是 ,若该机不存在区分序列 ,需寻求构造其核实序列的方法 .作者从时序机的状态表出发 ,定义了划分序列 ,并针对无区分序列的时序机 ,提出了利用划分序列构造时序机核实序列的一种方法 .该方法中求划分序列部分建立在时序机的矩阵模型上 ,易于工程实现     

脉冲型时序逻辑网络设计(Ⅰ)

本文讨论了脉冲型时序逻辑网络中各触发器控制方程的求法,并给出了脉冲型时序逻辑网络设计的一种新方法。这种方法适用于计算机辅助设计。     

针对空域明文LSB隐写的消息提取方法

在嵌入消息为明文的情况下,利用中英文字节比特的统计特性,改进了已有的针对空域连续最低有效位(LSB)隐写的消息提取方法,提高了提取消息的准确度;提出了一种针对空域随机LSB隐写的消息提取方法.该方法首先求出恢复隐写密钥的唯一解距,然后穷举隐写密钥空间,对每个密钥确定长度为T的隐写路径,提取此隐写路径上像素的LSB,并从该LSB序列的第一个比特开始间隔7采样获得一条子序列,若该子序列为全0或全1,则该密钥为真密钥,否则为伪密钥;同时还研究了漏检的情况.实验结果表明了本文方法的可行性和有效性.     

毒扁豆碱的合成研究进展

介绍了具有六氢吡咯吲哚环系结构单元的毒扁豆碱结构、生物活性及其合成研究进展.主要从不同的方法对C3a位季碳的构筑,从而对合成毒扁豆碱天然产物的合成方法进行归纳和总结.     

面向目标导向的软件演化过程行为的研究

对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理对软件演化过程的行为进行了研究,分别从过程的迹、确定性和不确定性等方面进行了深入的分析,并给出了每一种行为的计算方法.     

在线信息产品捆绑定价研究

基于在线信息产品交易各方的互动关系,考虑网络接入商与信息产品生产商各自市场垄断力的对比,研究了两者进行价格决策的先后顺序对信息产品捆绑的最终价格和对信息产品厂商采用捆绑销售策略的影响.研究结果表明当两者同时进行价格决策时,两者均分市场利润;当两者进行序贯博弈时,先决策价格者将获得先动者优势,且消费者在此情形下的总支付将大于当两者同时决策时的总支付;信息产品厂商采用何种捆绑策略与其决策顺序无关,仅与被捆绑产品的捆绑价值参数相关.     

基于函数逼近的改进SMO算法研究

采用Zoutendijk最大下降方向法,对基于函数逼近的工作集选择方式进行了分析,并进行严格的数学推导.研究指出了目前二次逼近工作集选择策略存在的不足,提出了改进的目标函数,从而进一步完善了基于函数逼近的SMO算法.     

有色冶炼废渣的矿物学特征与环境活性

通过扫描电子显微镜与X射线衍射仪分析、BCR法三步连续提取及元素化学分析,对某有色冶炼废渣中重金属的赋存状态、环境活性及其释放机理进行研究。研究结果表明:废渣中主要有价金属为Fe,Zn,Cu,Pb,Ag和In等,主要毒害元素为Pb,Cd和As等。废渣矿物相中Fe主要以单质铁、铁的氧化物和硫化亚铁存在,Zn主要以闪锌矿存在,Pb主要以方铅矿存在,Cu和Cd主要以硫化矿物等形式存在;Ag和In则很可能以类质同相镶嵌在闪锌矿晶格中;废渣中Zn,Cd,Cu和Pb主要以残渣态为主;酸可提取态含量相对较低,而可还原态和可氧化态含量相对较高;在我国南方地区,酸沉降、微生物作用及原电池效应共同影响废渣中重金属的溶出,为生物浸出废渣中有价金属,实现其资源化和无害化提供了理论依据。     

序列线性方程组方法解约束SC1函数最小化问题

对不等式约束SC1函数最小化问题提出一个可行的序列线性方程组算法.算法的每步迭代,子问题只需解具有相同的系数矩阵的四个简化的线性方程组.这个算法的特点是产生的迭代点是可行的;只考虑指标在集合I的一个子集Ak中的约束函数;不需假定聚点的孤立性,就可证明算法产生的迭代点全局收敛到问题的KKT(库恩-塔克)点.在较弱条件下,证明算法是超线性收敛的.