Rui Chena,b,Tangbing Cui a,b,∗a School of Biology and Biological Engineering,South China University of Technology,Guangzhou 510006,China b Guangdong Key Laboratory of Fermentation and Enzyme Engineering,South China Un...Rui Chena,b,Tangbing Cui a,b,∗a School of Biology and Biological Engineering,South China University of Technology,Guangzhou 510006,China b Guangdong Key Laboratory of Fermentation and Enzyme Engineering,South China University of Technology,Guangzhou 510006,China The authors regret that the published version of this article contained several errors and omissions,which are described and corrected below.1.Figs.3 and 4(figure order and legends).In the published article,Figs.3 and 4 were inadvertently published in reversed order.The figures should be swapped so that the figure content matches its caption.The correct figures and their legends are provided on the following page.2.Title correction.The compound name in the published title was incorrectly typeset as“benzo[a]pyrene”The correct spelling is“benzo[a]pyrene.”3.Text corrections in Section 2.4.Several typographical errors occurred in Section 2.4(“Up-regulation of acetoin,lactate,and kanosamine biosynthesis under sodium gluconate treatment”).展开更多
分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混...分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.展开更多
在Windows环境下,以MSC/PATRAN为平台,利用平台提供的二次开发语言PCL(Patran Command Language),并结合C++语言,通过客户化、增设特定的命令和窗体等技术开发了飞机结构强度静力试验数据实时跟踪与处理系统TestDTAS(Test Data Tracking...在Windows环境下,以MSC/PATRAN为平台,利用平台提供的二次开发语言PCL(Patran Command Language),并结合C++语言,通过客户化、增设特定的命令和窗体等技术开发了飞机结构强度静力试验数据实时跟踪与处理系统TestDTAS(Test Data Tracking,Analyzing and Processing System)。在结构试验进行中,TestDTAS可以实时地监测结构试验件中应力和位移的变化情况,并与理论分析结果进行对比,而在试验结束后,TestDTAS可以进行试验数据回放和分析,从而将试验与理论分析有机的结合在一起,对结构静力试验和结构设计有很高的实用价值。展开更多
文摘Rui Chena,b,Tangbing Cui a,b,∗a School of Biology and Biological Engineering,South China University of Technology,Guangzhou 510006,China b Guangdong Key Laboratory of Fermentation and Enzyme Engineering,South China University of Technology,Guangzhou 510006,China The authors regret that the published version of this article contained several errors and omissions,which are described and corrected below.1.Figs.3 and 4(figure order and legends).In the published article,Figs.3 and 4 were inadvertently published in reversed order.The figures should be swapped so that the figure content matches its caption.The correct figures and their legends are provided on the following page.2.Title correction.The compound name in the published title was incorrectly typeset as“benzo[a]pyrene”The correct spelling is“benzo[a]pyrene.”3.Text corrections in Section 2.4.Several typographical errors occurred in Section 2.4(“Up-regulation of acetoin,lactate,and kanosamine biosynthesis under sodium gluconate treatment”).
文摘分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.
文摘在Windows环境下,以MSC/PATRAN为平台,利用平台提供的二次开发语言PCL(Patran Command Language),并结合C++语言,通过客户化、增设特定的命令和窗体等技术开发了飞机结构强度静力试验数据实时跟踪与处理系统TestDTAS(Test Data Tracking,Analyzing and Processing System)。在结构试验进行中,TestDTAS可以实时地监测结构试验件中应力和位移的变化情况,并与理论分析结果进行对比,而在试验结束后,TestDTAS可以进行试验数据回放和分析,从而将试验与理论分析有机的结合在一起,对结构静力试验和结构设计有很高的实用价值。
