五五字典>英语词典>sequent翻译和用法

sequent

英 [ˈsiːkwənt]

美 [ˈsikwənt]

adj.  继续的; 连续的; 随着…而发生的 (on; upon; to)
n.  后果; 接着发生的事; 结果

BNC.31342

英英释义

adj

双语例句

  • We introduce the notion of sequent to the computation, and it results a new computing frame in the research.
    有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。
  • This thesis tends to put the sequent words into the reverse words by using a simple program.
    通过一个简单的程序,把顺序词转换为倒序词。
  • In addition, this thesis makes a detailed introduction about the specific design and implementation of each module combined with sequent diagram, classes diagram and database table design.
    然后结合流程图、类图和数据库表设计等,对软件的详细设计和实现做了详细的阐述。
  • Using sorting selection, more point crossover strategy and mutation strategy, the method effectively improves search performance of genetic algorithm. It avoids existing local extremum for sequent optimization methods.
    算法采用排序选择、多点交叉和变异优选策略,有效地提高遗传算法的搜索性能,避免了序贯优化方法有可能存在局部极值的问题。
  • In this paper, the authors briefly describe the semantic encoding approach, and the sequent calculus, as well as the related implementation techniques of the DC/ P.
    该文介绍了DC/P的语义编码方法、采用的相继式证明系统及实现技术,并给出了应用实例。
  • Recognition and Research on Post earthquake Anomalies of Haicheng Earthquake and Anomalies of Sequent Earthquake
    海城地震震后异常与后续新地震(唐山地震等)异常的识别和研究
  • Also pilot studies are carried out on some variables in the model including character variable, decision variable, probability of the sequent occurring and utility function.
    对模型中的状态变量、策变量、果发生概率、用函数等进行了初步研究。
  • Combined with the instance of the opening Electronics Project Design course in my college, the paper discusses the status of the project design course in the whole teaching program and its effect to the learning of sequent courses.
    从课程设计在教学中的地位和作用及课程设计对后续课程的学习等方面,结合我校开设《电子技术基础课程设计》实际情况进行了探讨。
  • It is a dynamic circular chain that formed by sequent lists and linked lists alternately. Application of the DLL in Industrial Data Communication
    该结构是由顺序表与链表交叉构造而形成的一种动态循环链表.动态链接库在工业仪表数据通信中的应用
  • Meanwhile, through the grey forecasting of equidistant data sequent, GM ( 1,1) modeling is established, while the data analysis about the relationship between additive stress and time is made.
    同时,运用灰色理论中的等间距数列预测建立了GM(1,1)模型,对膜致应力-时间的关系进行了数据分析。