两阶段有向网络马尔可夫系统维修模型与分析

根据实际管道有向网络系统,作者构造了两阶段有向网络马尔可夫维修系统.对组成系统的边以及系统的状态进行了分析,运用求解指标的一般方法和Laplace变换,对模型的可靠性指标进行了求解,给出了边与系统瞬时可用度、瞬时故障频度、稳态可用度、稳态故障频度以及平均指标的表达式.将两部件不独立运行系统与两部件独立的系统可靠性指标进行对比,用数值示例加以说明.研究结果为有向网络的马尔可夫维修系统的进一步研究提供了基础.     

广义Sasakian空间形式中的理想子流形

利用陈不等式研究了理想子流形的一些相关的几何问题,将理想子流形的概念推广到广义Sasakian空间形式中,并证明广义Sasakian空间形式中的一类特殊理想子流形是其极小子流形,推广了Sasakian空间形式中的相关结论.     

一种基于DAG图的异构可重构任务划分方法

为了实现高性能低功耗的计算,以任务划分为研究对象,提出了异构可重构计算的基本概念和形式化描述方法,给出了基于异构计算任务和异构可重构体系结构相结合的异构可重构两种任务划分方法:节点内部可重组及网络可重建的任务划分及算法,最后验证了其任务划分方法的有效性.     

构造极小广播网络的新方法

广播是指从网络中某一成员开始 ,将消息传递给网络中其余成员的过程 .极小广播网络就是指能在最短时间内广播一条消息的通讯网络 .本文主要讨论一种构造极小广播网络的新方法 ,这种方法在大多数情况下改进了极小广播网络的最少边数的上界.     

Improving the thermal stability of lactate oxidase by directed evolution

Lactate oxidase is used in biosensors to measure the concentration of lactate in the blood and other body fluids. Increasing the thermostability of lactate oxidase can significantly prolong the lifetime of these biosensors. We have previously obtained a variant of lactate oxidase from Aerococcus viridans with two mutations (E160G/V198I) that is significantly more thermostable than the wild-type enzyme. Here we have attempted to further improve the thermostability of E160G/V198I lactate oxidase using directed evolution. We made a mutant lactate oxidase gene library by applying error-prone PCR and DNA shuffling, and screened for thermostable mutant lactate oxidase using a plate-based assay. After three rounds of screening we obtained a thermostable mutant lactate oxidase, which has six mutations (E160G/V198I/G36S/T103S/A232S/F277Y). The half-life of this lactate oxidase at 70 °C was about 2 times that of E160G/V198I and about 36 times that of the wild-type enzyme. The amino acid mutation process suggests that the combined neutral mutations are important in protein evolution. Received 15 September 2006; received after revision 21 October 2006; accepted 2 November 2006     

基于 Rough Set理论的商务决策支持系统知识发现的研究

以商务决策作为研究背景,基于Rough Set理论解决商务决策支持系统中信息不确定,数据量大的困难.从Rough Set理论的基本概念出发,给出决策表的知识表达系统,提出计算最小决策规则的算法,最后通过运用Rough Set理论和方法对商务决策支持系统的实例进行属性及属性值的约简,挖掘其中隐含的知识,从而得出最小决策规则.     

基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

关于一类立方图的可圈性研究

设G为无向图,如果对G的每一个定向D,都存在S（D）包含V（G）使在D中改变所有恰与S（D）中一个顶点相关联的弧的方向后所得的图为有向哈密尔顿图,则称G为可圈图．Klostermeyer和Soltes证明了P4k^3（k≥1）是不可圈图,现证明对任意整数n≥3,Pn^3是可圈图当且仅当n为奇数．     

曲线的主法线曲面

在三维欧氏空间中,作为特殊曲线,Mannheim曲线、Bertrand曲线以及一般螺线具有良好的几何和代数性质.讨论了三维欧氏空间中特殊曲线的主法线曲面.根据渐近曲线的方程,具体给出主法线曲面的一族非直线的渐近曲线.再根据平均曲率、高斯曲率及主曲率函数,能得到曲线的主法线曲面的极小轨迹、常高斯曲率曲线及两个主曲率函数之比为常数的曲线.还给出曲面上测地线和腰曲线的性质.     

一类特殊的有限p-群

探讨了一类特殊的有限p -群,即对任意x,y∈G,如果[x,y]≠1,那么《x,y》(△)-G.主要证明了:如果满足这样条件的有限p -群G＝《x1,x2,…,xn》,其中对任意x∈G,《x》G是交换群或者内交换群.