助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[14]条 当前为第1条到14条
 

相关语句
未完全匹配句对
    The key step in SAC gradation design is validation of the verification of SAC gradation's skeleton and dense structure status.
    能否有效地检验SAC(多碎石沥青混凝土)级配是否形成骨架密实结构或是处于哪种骨架结构状态(悬浮、一般、紧密)是SAC级配设计方法的关键所在。
    For those conditions that the UIO(S) and the IO(S,K) lose their usefulness in the IUT, a testing method is given.
    并针对在IUT中,会出现UIO(S)和IO(S,K)序列失效的问题,提出了一种有效的检验方法.
    At the same time, there are many problems with current BAN-like logics. Based on analyzing these BAN-like logics, a new formal verification method of security protocols is presented. The new logic can realize verification function of current BAN-like logics, and makes the verification process implement conveniently.
    形式化方法能有效检验安全协议的安全性 ,BAN类逻辑的发展极大地促进了这一领域的研究 ,但是现有的BAN类逻辑仍然存在许多问题 在分析现有BAN类逻辑的基础上 ,提出一种新的安全协议形式化验证方法 ,实现现有BAN类逻辑的验证功能 ,并使安全协议验证工作简单可行 ,便于实现机器自动验证 为安全协议形式化验证提供了一种新的途径
    This method realizes the separation of the plant model and controller on two computers through OPC technology, which provides an effective test platform for theory research on NCS.
    该方法通过OPC技术实现了对象模型和控制器在两台计算机的分离实现,可为网络控制系统的理论研究提供有效的检验平台。
    Applying singlechip control technique and designing this decoy system can create the vivid conditions of infrared jamming backgrounds for infrared guidance missile firing training to verify the missiles' battle effectiveness.
    应用单片机控制技术设计诱饵系统,可以为红外制导导弹射击训练创造逼真的红外干扰背景,有效检验导弹的实战能力。
    In order to test the effects of international technology diffusion on eastern-,mid-and western-China technology progress more effectively,the paper makes a regressive analysis of the panel data of China's 29 provinces from 1985 to 2003.According to the results,the paper also puts forward suggestions on China's regional economic growth and its policy making.
    为系统、有效地检验FDI对中国及东、中、西部地区技术进步的影响,本文选用中国29个省(市)1985~2003年的面板数据进行回归分析,并根据实证结果,为中国的区域经济发展和政策制定提出针对性的建议。
    For the empiric research, we adopted twosuitable methods and annuity reports data, which issued by the list companies in 2000.The conclusion is that both Shanghai and Shezhen security market are Weak-FormEfficiency Markets but not Semi-Strong-Form Efficiency Market.
    最后采用2000年上市公司年报中的最新数据,利用游程检验法、累积超常收益法分别对上海和深圳两个证券市场进行了弱式有效和半强式有效检验,实证分析得出结论:上海和深圳两个证券市场都已经达到了弱式有效阶段,但尚未达到半强式有效阶段。
    In the research of bird-impact to aircraft windshield, the experiment is always the ultimate and the most effective method.
    在国内外鸟撞飞机风挡的研究中,鸟撞实验是最终、也是最有效的检验方法。
    Four measuring models of credit risk are compared in the fourth chapter,which can help us find more rational method to measure credit risk.
    第四章通过比较几种常见的信用风险量化模型,试图找到量化信用风险比较合理的方法。 由于信用等级变化以及违约发生的频率比较少,风险期的跨度又比较长,从而导致很难对模型进行有效的检验,模型输出结果的准确度也就大大降低。
    According to the classic taxonomy of information sets, efficient market is classified as weak-form, semistrong-form and strong-form.
    针对我国天然胶期货市场的实际情况,本文将只进行弱式有效检验
    serotype of isolates were proved, and examined techniques were constructed also. Sensitive antimicrobial agents were selected by susceptibility tests of isolates, the results were the references in the selection of drugs to prevent these infections, and some informations and methods were provided so as to effectively examine and control these bacterial septicaemia.
    测定了病原细菌的血清型,并建立了在发病特点、病原分离与鉴定、免疫学检验等方面的检验技术,通过对所分离鉴定的病原细菌做药物敏感性测定选择出了可用于防治的敏感药物,为对这些细菌性疾病及病原细菌的有效检验与防治、进一步深入研究等提供了相应的技术资料与方法。
    An ambiguous EPS structure with low inner consistency created trouble in explaining entrepreneurship activities and events, building competition models, and developing entrepreneurship constructs.
    如果创业绩效结构不明确,缺乏内部一致性,那么,创业理论的解释力与预测力就得不到有效地检验,几种竞争性理论孰优孰劣将无法判断,这将阻碍创业理论的发展。
    For computer courses, especially some practical courses, the traditional test method can merely test students' logical reasoning ability and calculating ability, while can not check the students' practical ability effectively. But the non-paper test method not only overcomes the disadvantage of the traditional test method, but also makes the test process more automatic and scientific.
    对于计算机方面的课程,特别是实践性强的课程,利用无纸化考试不仅克服了传统考试方法只能考查学生的逻辑推理和运算能力,不能有效的检验学生的实践动手能力的缺点,而且大大提高了考试过程的自动化和科学化。
    In addition,the Box Beam static loading test,which is one of the effective means of inspecting quality of box beam,is also described in the paper for the purpose of reference.
    压浆、封端、桥面防水层和保护层施工的一些规定和注意事项等都是对箱梁制造行之有效的施工技术和施工方法,并可为以后类似施工作借鉴。 箱梁静载试验是有效检验箱梁制造质量的手段之一,文中的介绍可作为箱梁质量检验方法的参考。
 

首页上一页1下一页尾页 

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社