搜索结果: 1-4 共查到“计算机科学技术 safe”相关记录4条 . 查询时间(0.093 秒)
In the film “Top Gun: Maverick,” Maverick, played by Tom Cruise, is charged with training young pilots to complete a seemingly impossible mission — to fly their jets deep into a rocky canyon, staying ...
Safe-A Semantic Technique for Transforming Programs in the Presence of Errors
equational reasoning exceptions program optimization program transformation
2016/5/24
Language designers and implementors have avoided specifying and preserving the meaning of programs that produce errors. This is apparently because being forced to preserve error behavior severely limi...
结合DL-safe规则的评估日志本体访问模式
语义网使用挖掘 日志本体 DL安全规则
2009/9/18
为从Web使用记录中获得有效模式，在DL-Safe规则的限定下，将日志本体和应用访问规则相结合构建为一个推理过程可判定的混合日志知识库，并在此基础上提出一种从候选用户访问模式集中评估有效模式的方法。该方法首先借助归纳逻辑编程的思想对候选模式进行观察覆盖测试，并通过计算模式支持度找出其频繁项，然后利用语义普遍性测量提高了模式评估的质量。同时该方法还引入日志本体事件分类关系修剪冗余访问模式以提高模式评...
Design and Implementation of Safe & Intelligent Bridges System Based on ALE-Compliant RFID
ALE Middleware Event Detection RFID
2010/2/2
For accident surveillance and traffic flow conditions,
CCTV cameras are installed on bridges. However, their effectiveness
is diminished remarkably in a thick fog. Despite heavy fog, our
proposed s...