2) qualitative confirmation
定性确证
1.
The author suggests in the first part that Hempelian qualitative confirmation conception is the classic work in scientific confirmation theories.
本文第一部分认为，亨佩尔的定性确证思想是科学确证研究中有代表性的重要理论。
3) correctness verification
正确性验证
1.
Modeling and logical correctness verification of Web service processes;
Web服务过程建模及其逻辑正确性验证
2.
The modeling, formal description and correctness verification of online static and dynamic stock trading systems, based on Shanghai Stock Exchange, are shown by using temporal Petri nets in order to make online stock trading systems more effective and rational.
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证。
3.
Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证。
5) deterministic guarantees
确定性保证
1.
A necessary and sufficient conditions for deterministic guarantees of QoS for any destination host are given under deadline scheduling policy,which form the mathematical basis for QoS guarantees in transport communication service.
研究了实时传输连接的资源和允许控制算法 ,并在静线调度策略下 ,对任一目的主机的服务质量的确定性保证给出一个充分必要条件 。
6) affirmative experiment
确证性实验
补充资料：连续性与非连续性(见间断性与不间断性)
连续性与非连续性(见间断性与不间断性)
continuity and discontinuity
11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt，n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条