sequent

英 [ˈsiːkwənt]

美 [ˈsikwənt]

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

BNC.31342

英英释义

adj

• following or accompanying as a consequence
  1. an excessive growth of bureaucracy, with attendant problems
  2. snags incidental to the changeover in management
  3. attendant circumstances
  4. the period of tension and consequent need for military preparedness
  5. the ensuant response to his appeal
  6. the resultant savings were considerable
  Synonym:attendantconsequentaccompanyingconcomitantincidentalensuantresultant
• in regular succession without gaps
  1. serial concerts
  Synonym:consecutivesequentialserialsuccessive

双语例句

• It is a dynamic circular chain that formed by sequent lists and linked lists alternately. Application of the DLL in Industrial Data Communication
  该结构是由顺序表与链表交叉构造而形成的一种动态循环链表.动态链接库在工业仪表数据通信中的应用
• Last, the research of dynamic dispatch system for container truck based on circumstance of wireless network indicates that this dynamic dispatch strategy is reasonable and effective, through sequent running and the data analysis of emulational model.
  最后，对基于无线网络环境下的集卡动态调度系统进行了研究，通过连续运行和仿真模型的数据分析，表明该动态调度策略是合理且行之有效的。
• 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的语义编码方法、采用的相继式证明系统及实现技术，并给出了应用实例。
• By the technique of sequent liquid flow method, the influence of lime amendment to phosphorus adsorption-desorption kinetics were studied in three acid soils.
  采用连续液流法研究了石灰施用对酸性土壤磷解吸动力学特征的影响。
• We introduce the notion of sequent to the computation, and it results a new computing frame in the research.
  有效地处理属性论的分级现象，后承式的推理方法被引入至计算中，结果形成属性论的一个新的计算框架。
• This evaluation provides grounds for sequent work.
  评估为以后工作提供了依据。
• A method of recognizing multi-objects in sequent images has been given.
  提出了一种对序列图像中多目标进行识别的方法。
• Based on it, the paper established a sequent model of technology spillovers of IT firm and effectively explained the evolution tendency of technology spillovers with a monopolistic market of technology.
  构建了IT企业技术溢出的连续性模型，并有效地解释了IT企业技术溢出呈现的这种由一种技术垄断市场的演化趋势。
• Optimization of Sequent Snapshots Routing Algorithm in LEO Satellite Networks
  LEO卫星网络快照序列路由算法优化
• 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.
  对模型中的状态变量、策变量、果发生概率、用函数等进行了初步研究。