伪补MS-代数的同余关系

研究了伪补MS代数的素理想与同余关系之间的联系,证明了伪补MS代数的同余格与它的MS代数的同余格是相同的。     

MS-代数的一类主同余关系

讨论了MS-代数的主同余关系的性质，当a=a^00或b=b^00时给出了MS-代数的主同余关系θ(a，6)的一个新的表达式．     

PMS—代数中的正则理想

本文提出伪补MS-代数（简称PMS-代数）中正则理想，正则同余关系等概念．研究正则理想与核理想，0-理想之间的关系，讨论正则同余关系的性质，得到若干结果．     

烷基电子效应的再认识

烷基的电子效应尽管因其所连环境的不同而有异,但是认为烷基此一时是给电子的诱导效应,彼一时又是吸电子的诱导效应,以及认为烷基的超共轭效应仅存于溶液体系中是站不住脚的。本文作者认为,烷基在不带电荷的中性有机结构中,通过诱导效应总是吸电子的,但当它与不饱和结构,包括带正电荷的原子或原子团相连时,还通过Baker—Nathan超共轭效应,乃至空间超共轭效应起供电作用。只是这种供电作用,在溶液中,由于溶剂化作用,其相对强弱遵循Baker—Nathan顺序;而在气相或溶剂化作用很小的溶液中则遵循反Baker—Nathan顺序.     

直觉模糊群与它的诱导商群

根据Atanassov K所定义的直觉模糊集的概念．给出一个直觉模糊集为直觉模糊群的充要条件；引入直觉模糊群关于它的正规子群的诱导商集的概念；利用代数思想及方法证明直觉模糊群的诱导商集也是直觉模糊群．该结论完整地解决了一个直觉模糊群关于它的正规子群的商集的问题．     

智能制造系统的一种研究方法

把制造系统描述为互相连接的信息、数据、知识处理单元的集合，把数据、知识处理单元抽象为信息处理单元，构造制造系统的抽象模型，据此提出了一种从这种抽象模型展开对智能制造系统研究的方法．     

一类图的亏格嵌入

在联树模型的基础上,把图在曲面上的嵌入用其联树,也即其关联曲面来表示。然后通过对关联曲面进行分类,建立递推关系式,进而得到了一类异于目前已知嵌入分布的新图类的可定向嵌入分布。     

企业资产剥离决策的期权定价模型

在假设某项资产的寿命无限长、在任何时刻出售的价格不变以及其经营利润服从布朗运动的基础上，得出了一个经营利润达到临界点的模型。当该资产在临界点的经营利润低于其出售价格一定比例时，最佳的选择就是剥离该资产。通过变量取值的替代和适当改变，得到了一个可用于操作的剥离决策模型。     

基于规则的网状结构目标识别研究

在分析ＥＤＧ图的基础上，针对拱桥图像的网状结构，提出了以有向边缘为属性的ｅｄＮＬＣ图文法及其产生式规则，导出了该类网状结构目标的自上而下的识别算法，模拟实验的结果表明，本算法对网状结构的识别是有效的．     

近岸区人工岛周围波生流系统数学模型的验证

对于近岸区人工岛周围波浪破碎引起的平均流系统的研究不但具有直接工程意义,而且也涉及诸多理论问题,根据已建立的以Ｂｏｕｓｓｉｎｅｓｑ方程为基础的波浪破碎模型,结合东京电力研究所所做的人工岛周围波生流系统的实测资料,探讨近岸人工岛周围波浪破碎引起的环流系统,运用实测资料对数学模型进行了验证工作。     

观测器在机器人抑振控制中的应用

分析机器人约束运动中外界干扰引起的振动问题，并用观测器构成状态反馈最优控制系统。该系统用于一个三自由度的机器人插孔实验表明，引入观测器以后，基本上消除了插入过程的振动现象。     

基于二叉树的装配体数据

在计算机辅助设计装配体设计中，必须建立一个有效合理的装配体数据结构。本文从装配体拆卸出发，构建了一个装配体的二叉树结构模型。通过对该结构的后序遍历，自动生成装配序列，能有效地描述装配体。     

基于分区的改进维纳滤波图像复原

图像复原技术是图像处理技术中的关键研究内容。由于相机散焦、相机与目标相对运动和噪声等诸多因素的影响,图像质量有所下降。本文针对经典维纳滤波复原方法存在的局限性,提出一种基于分区的改进维纳滤波复原方法。在视觉效果上,该方法不仅可以很好地削弱伪像和抑制噪声,而且能够保持图像边缘。对使用经典方法及改进方法的复原的图像进行进行峰值信噪比评价,结果表明改进方法的峰值信噪比较传统方法有所提高。     

产生任意k阶余因式的原理和方法

提出了不定导纳矩阵任意k阶余因式的有向树拓扑表示式;给出了通过混合分割产生有向树多项式的分解定理.应用它们可以方便有效地求取任意k阶余因式的拓扑表示式.用其求全符号网络函数,可扩大计算机所能拓扑分析的网络规模.用其求部分符号网络函数,可使计算机所能分析的网络规模扩大到一般数值分析程序所能处理的阶数.     

数据挖掘中一种基于集合覆盖的元素重要性估计算法

对给定数据集合的元素重要性进行估计是数据挖掘领域中的一项重要应用。现有的技术都是通过排序或选择来发现重要元素,其主要缺点是没考虑高排名对象可能非常相似甚至完全相同这一事实,忽略了高排名对象间的冗余性。因此,在强调多样性的场合,该方法性能有限。本文通过将排序和选择相结合,提出一种基于集合覆盖的元素重要性估计算法。该算法不仅考察单个集合覆盖的解,而且计算元素参与的高质量集合覆盖数量,进而为元素分配重要性分值。基于实际数据的实验和用户学习结果表明,本文算法性能高效,元素重要性评估结果的有用性高,且与人类感知相一致。     

非最大量子纠缠信道的量子态传送——在腔QED系统中利用非最大三粒子纠缠GHZ态传送未知原子态

讨论在腔QED中如何利用非最大三粒子纠缠GHZ态实现未知单原子态、两原子纠缠态的概率隐形传送.在量子态传送过程中需要引入一个辅助粒子以解决使用非最大纠缠量子信道导致的态畸变问题.本方案在两原子与腔相互作用的整个过程中,由于经典场同时对两原子进行驱动,量子态的演化不依赖于腔场的态,因而不受腔泄漏和热腔场的影响.     

Context-dependent contributions of backbone hydrogen bonding to beta-sheet folding energetics

Backbone hydrogen bonds (H-bonds) are prominent features of protein structures; however, their role in protein folding remains controversial because they cannot be selectively perturbed by traditional methods of protein mutagenesis. Here we have assessed the contribution of backbone H-bonds to the folding kinetics and thermodynamics of the PIN WW domain, a small beta-sheet protein, by individually replacing its backbone amides with esters. Amide-to-ester mutations site-specifically perturb backbone H-bonds in two ways: a H-bond donor is eliminated by replacing an amide NH with an ester oxygen, and a H-bond acceptor is weakened by replacing an amide carbonyl with an ester carbonyl. We perturbed the 11 backbone H-bonds of the PIN WW domain by synthesizing 19 amide-to-ester mutants. Thermodynamic studies on these variants show that the protein is most destabilized when H-bonds that are enveloped by a hydrophobic cluster are perturbed. Kinetic studies indicate that native-like secondary structure forms in one of the protein's loops in the folding transition state, but the backbone is less ordered elsewhere in the sequence. Collectively, our results provide an unusually detailed picture of the folding of a beta-sheet protein.     

一种特殊流体表面的阴影法

以电磁场来驱动环形凹槽中的特殊流体－－水银流动，从而获得一个理想的层流流态，用附影法对水银流体在凹槽中的间垂直放置的小圆棒后产紊乱进行显像，并在计算机上进行处理，分析了紊乱整体形态的空间结构。     

基于Windows日志的安全审计技术研究

事件日志记录着操作系统或应用程序中重要的事件。通过对日志进行分析,发现所需事件信息和规律是安全审计的根本目的。文章讨论了对Windows系统日志文件进行集中式统一管理,采用API钩子技术实现Windows下的审计数据的获取,并通过对Windows日志的分析给出了一种基于主机日志分析的安全审计通用模型。     

线性规划中产生初始可行基的一种新方法

本文提出了一种利用最优基的启发性刻划产生初始基,进而利用无比检验规则产生初始可行基的方法。