可信
子由①书孟德事见寄。余既闻而异之，以为虎畏不惧己者，其理似可信。然世未有见虎而不惧者，则斯言之有无，终无所试之。然曩余闻忠、万、云安②多虎。有妇人昼日置二小儿沙上而浣衣于水者，虎自山上驰来，妇人仓皇沉水避之。二小儿戏沙上自若。虎熟视久之，至以首抵触，庶几其一惧，而儿痴，竞不知怪，虎亦卒去。意虎之食人，必先被之以威，而不惧之人，威无所从施欤？有言虎不食醉人，必坐守之，以俟其醒。非俟其醒，俟其惧也。有人夜自外归，见有物蹲其门，以为猪狗类也。以杖击之，即逸去。至山下月明处，则虎也。是人非有以胜虎，而气已盖之矣。
子由①书孟德事见寄。余既闻而异之，以为虎畏不惧己者，其理似可信。然世未有见虎而不惧者，则斯言之有无，终无所试之。然曩余闻忠、万、云安②多虎。有妇人昼日置二小儿沙上而浣衣于水者，虎自山上驰来，妇人仓皇沉水避之。二小儿戏沙上自若。虎熟视久之，至以首抵触，庶几其一惧，而儿痴，竞不知怪，虎亦卒去。意虎之食人，必先被之以威，而不惧之人，威无所从施欤？有言虎不食醉人，必坐守之，以俟其醒。非俟其醒，俟其惧也。有
高分辨电子显微学在固体科学中的应用.pdf
本书系统地介绍了高分辨电子显微学的原理、实验方法、象的分析处理及在固体科学中的应用．全书共分两部分．第一部分包括第一—六章，系统论述了高分辨电子显微学的发展与现状、成象原理、高分辨电子显微镜结构、实验技巧、高分辨象的模拟计算及图象处理．第二部分包括第七—十二章，详细介绍高分辨电子
可信的移动IPv6网络及协议.pdf
本书主要内容包括移动IPv6协议本身的安全技术、切换过程中的服务质量保障技术、切换过程中的安全保障技术、跨域移动的信任控制技术、协议的形式描述和验证技术、网络设备的可靠性测试技术、移动代理的容错和负载均衡技术等方面。
可信软件与开发方法.pdf
本书以可信软件开发为主线，从软件实际开发过程出发，对可信软件开发的技术、方法和过程进行分析和研究，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法。其中包括从UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约、精化直到代码生产阶段的模型形式化验证及自动
网构化软件可信评估技术.pdf
本书选取网构化软件可信评估相关理论与技术进行深入的研究，全书共10章。第1~第2章概述服务组合与演化的研究背景、意义及研究现状；第3章提出环境感知的服务可信QoS评价与选取策略；第4章提出信任推理与演化的服务组合策略；第5章提出链路级的可信演化服务组合策略；第6章提出环境学习与感
晶体学中的对称群.pdf
本书运用群论讨论了晶体的对称性，推导和介绍了晶体学点阵、平移群和空间群，描述了群论和晶体的对称性在固体科学中的应用。
可信编译构造理论与关键技术.pdf
本书介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。
需求驱动的可信软件过程.pdf
本书主要介绍需求驱动的可信软件过程建模及管理方法。首先，系统地论述可信软件与软件过程领域的相关研究与实践背景，分析可信软件与软件过程的关系。在通过可信软件需求获取过程策略的基础上，提出面向方面的可信软件过程建模，建模的主要目的是建立可信软件过程的抽象模型，通过对该抽象模型的分
参数可信性优化方法.pdf
在采用优化方法解决实际工程与管理问题时，由于实际问题本身的复杂性，模型中不确定参数的精确可能性分布通常无法获得。本书基于2型模糊理论这一公理化体系，提出了当精确可能性分布无法获得时，如何从可变参数可能性分布这一新视角对实际决策问题进行建模，弥补了文献中基于名义可能性分布优化方法的
- «
- »