| 1. | Measures and reports the following verification times in milliseconds
测量并报告下列验证时间（以毫秒为单位） ： |
| 2. | Also avoid using many default attributes , since this increases validation time
同时要避免使用太多的默认属性，因为这会增加验证时间。 |
| 3. | Nevertheless , atomic clocks are accurate enough to record the shift and confirm that time really is stretched by motion
然而，原子钟的精准度确实能记录这个时间差，并验证时间真的会因运动而拉长。 |
| 4. | Sliding expiration resets the active authentication time for a cookie to expire upon each request during a single session
可调过期将cookie的当前身份验证时间重置为在单个会话期间收到每个请求时过期。 |
| 5. | Experimental results show that compared with traditional dependency removal strategy , the dependency removal strategy in the method can reduce the time of verification
实验结果表明，与传统依赖性处理策略相比，该验证方法中的依赖性处理策略减少了验证时间。 |
| 6. | Orgnaization of social insurance agency wants appropriate to arrange time of test and verify , examine data of concerned certificate , proof seriously , exact record proves result case
社会保险经办机构要妥善安排验证时间，认真查验有关证件、证实材料，准确记载查验结果情况。 |
| 7. | With the rapid development recent years the static verification can offer relative faster speed and shorter time than dynamic one can do in the growing field of large scale chip
静态验证技术在近几年内有着飞速的发展。静态验证技术可以克服芯片规模增大时动态验证时间耗费巨大的缺点。 |
| 8. | There are several crucial questions for researchers to answer : how to model and validate the timing constraints ? how to guarantee the satisfaction of constraint in system implementation
目前使用面向对象方法开发实时系统研究的热点问题包括：时间约束在对象模型中如何描述、如何应用传统的实时系统理论验证时间约束、以及如何在系统实现中保障时间约束的满足。 |
| 9. | Because the data of media processing is large , a simple network protocol is also implemented to speedup the data transmission between the host machine to the target platform when we simulate the media processing program
媒体处理的数据流很大，为了提高平台验证时下载速度， iota设计了网络协议栈，来提高数据传输速度，从而缩短验证时间。作者同时实现了一种基于rtos软硬件仿真验证平台。 |
| 10. | Marker making is the part in nacpro much needing breakthrough , which is also the biggest gap between the domestic and foreign software . therefore new development in marker making must be made to realize the aim of human - intervenable automatic marker - making system and we had to spend long time to develop a bundle of new arithmetic . finally we find it after repeated discussion , implement , evaluation and choosing
Nacpro另一个最需要有所突破的部分是排料，这部分也是我们与国外软件差距最大的部分，因此必须对排料部分进行全新的开发，最终实现可人工干预智能自动排料系统的目标，为此不得不付出大量的开发验证时间研发一大批新算法，这是在不断讨论实施评估取舍的反复过程中前进的，最终找到更行之有效的新算法。 |
