查询词典 interactive

This is done by formalising the NSL (Needham-Schroeder-Lowe) protocol and its correctness in Agda, an interactive proof editor, using both the inductive method and strand spaces in Agda.

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化，并比较了这两种安全协议验证法，证明两种方法形式化的正确性和攻击者能力是相同的。

The Absolute Fretboard Trainer will take you there, step by step, through enjoyable, interactive exercises.

绝对fretboard教练机将带您在那里，一步一步，通过愉快的，互动的演习。

The interactive fretboard has 22 frets, a notepad and a masking function that clears strings and frets individually.

交互的 fretboard 有 22，笔记本和弄清楚线，单独地担心的掩蔽功能。

The creation of the meaningful-experience setting takes place in an interactive process between the individual and the offering party.

建立了有意义的经验设定发生在一个互动的过程之间的个人和提供方。

This paper presents an interactive hairstyling method which can handle both global and local details of the hairstyle.

提出了一种交互式发型建模方法，使得用户可以通过交互操作处理发型的整体和局部特性。

The solutions are obtained by interactive calculation of two linear matrix inequalities based on homotopy method.

分散H∞控制器的设计可以归结为基于同伦参数法的两个线性矩阵不等式的求解问题。

Through questionnaires, we have learned some information about teachers' interactiveness of teaching research and their profession improvement, such as, teachers have a strong desire for their profession improvement, they are active in the interactive ness of teaching research, the other factors affect the further development of teaching research.

影响教研活动深入开展的具体因素包括：多数教师选择教研互动对象时，注重与对方的感情关系、对方的教学经验；部分教师参与意识不强、少数人主宰活动过程、学校的硬性规定等。

Second,it was Marxists who first conductedsystematic studies of the interactive relation between international politics and international economy.

国际学是在政治经济学的基础上产生的，马克思主义政治经济学对国际政治经济学的形成和作出了重大贡献。

Is to provide an interactive study tool and educational resource for ophthalmologists, resident ophthalmologists, and professionals in the field of ophthalmology.

是专为眼科医生，住院眼科医生及眼科的专业人士提供了一个交流和学习的资源平台，内容很多，也很新！

It also provides links to games and activities including interactive sites; fossils and general palaeontology news taken from international institutions and universities.

同时网站还提供了一些研究懂活动网站链接目录，包括交互式网站目录、化石及一些与国际研究机构和大学相关的一般古生物学新闻网站目录等内容。

These rules reflect some inherent feature of self and nonself, and they are the basic detection criterion of GECISM.

这些规则反映了"自我"和"非我"的内在特征，是GECISM进行"非我"检测的判据。

Until today, the media from China and the outside world still uses the term "Post 89". Regardless to whether it is for commercial gimmick or convenience, everybody still remember "Post 89", a term which carries a strong Cantonese accent.

时至今日，国内外艺术媒体还是在沿用&后八九&这个称谓，不管当初是为了商业噱头还是容易上口好记，反正大家现在是记住了&后八九&这个广东口音很重的词。