在该框架下,程序员可以对多核并行程序的部分正确性进行验证。
Programmers can verify the partial correctness of multi-core parallel programs in our framework.
ConcurrentHashMap实现,加上ut il . concurrent包的其他部分,已经被研究正确性和线程安全性的并发专家所正视。
The ConcurrentHashMap implementation, along with the rest of util.concurrent, has been extensively peer-reviewed by concurrency experts for correctness and thread safety.
承包商应负责工程的设计,并在除下列雇主应负责的部分外,对雇主要求(包括设计标准和计算)的正确性负责。
The Contractor shall be responsible for the design of the Works and for the accuracy of such Employers Requirements (including design criteria and calculations), except as stated below.
得出主要钢结构的计算分析结果,并对其关键部分进行力学测试,验证了理论分析的正确性。
The calculation and analysis results of key steel structures are obtained. The correctness of the theoretical analysis is verified by mechanical test on some important points of the beam.
概率模型和伪随机数发生器是蒙特卡罗法中两个很重要的组成部分,它们决定了蒙特卡罗法的正确性和计算精度。
Probability models and pseudorandom number generators are two important component part of Monte Carlo method, and they influence the accuracy and correctness of the calculation.
最后,文章给出了传统大功率HAPF系统有源部分及低容性无功倒送的新型HAPF系统的实验验证,证明了文章的相关设计的正确性。
Finally, Experimental validation of the active part of the high power HAPF system and the new hybrid active filter technology is given, verifying the correctness of the related design in this paper.
计算机体系结构的新理论、新方法的正确性和有效性验证,是体系结构技术的重要组成部分。
Verificating the correctness and effectivity of new techniques is one of the most important stages in computer architecture research.
程序的正确性部分的由“语言活动”的有效执行所确定,回答应该是真实的,响应性的,承诺必须被遵守。
The correctness of programs is partly defined in terms of proper performance of the speech acts. Answers should be truthful and responsive, and promises should be kept.
通过两座部分斜拉桥拉索的疲劳试验结果,验证了本文介绍的疲劳强度设计方法的正确性。
At last, correctness of the design methods about fatigue strength via the fatigue experimental results of two partially cable-stayed Bridges are verified.
最后,以Z省DN发电公司为例,对所构造的部分模型进行了实证分析,说明所构建模型的可行性和正确性。
At last, a simple example of DN Generation Company in Z province is served for illustrating some presented method.
然而,契约式设计认为契约对于软件的正确性至关重要,它们应当是设计过程的一部分。
However, DbC considers these contracts to be so crucial to software correctness that they should be part of the design process.
我把我自己超过90%的净值放在巴菲特合伙基金中。我大部分的家庭成员也差不多把90%的净值投入了合伙基金。当然,这只表明了我看法的真诚度,而不是证明我的看法的正确性。
I have over 90% of my net worth in BPL, and most of my family have percentages in that area, but of course, that only demonstrates the sincerity of my view - not the validity of it.
通过将仿真模型的计算结果与西南石油学院钻头研究室部分台架实验结果进行对比,验证了该仿真模型的正确性。
Compared the result of the simulate model with the experimental data that collected by the Lab. of Drilling Bit in Southwest Petroleum Institute, the model has been validated.
给出“建立盲表正确性”的验证方法,从而保证这种类型安全多方计算协议的核心部分——盲表的正确性。
Provided a protocol to validate the correctness of building a blind table, and so ensure the correctness of blind tables that are cores of this type of multiparty computation protocol.
也证明了作为其一部分的多媒体移位器及多媒体部件的正确性。
Finally, the result proves that the multimedia unit and multimedia shifter are correct.
数值模拟部分,根据实验条件编制有限差分法程序,以土槽实验模型为例验证了程序编制的正确性,同时模拟了溶质浓度的时空分布规律。
Numerical simulate: the finite difference program was compiled to simulate solute concentration distribution with time and distance. its property was proved by the soil trough experimental model.
两回、三回、四回线路的仿真实验结果验证了命题的正确性,对部分文献结果进行了检验、补充和修正。
Experiment results of simulating on lines with two, three, and four circuits validate the proposition. Verifications, complements and modifications are made for some of the literatures.
在介绍EPA网络体系结构的基础上,详细地描述了《EPA标准》的核心部分:应用层服务和管理层服务,并介绍了基于《EPA标准》的演示系统,从而验证了《EPA标准》的可行性与正确性。
The application layer and management layer, the core of EPA profile, are described detailedly after the architecture of EPA network is introduced and EPA profile is proved out by the demo system.
学生的小论文,一则反映了探索性物理实验具有本论文探讨的两大教育功能,二则也说明了本论文第五部分提出的指导思想和设计原则的正确性。
The sixth part according to the guiding thought and design principle of the fifth part, designs a group of explorative physical experiments and arranges the students' relative small theses.
原理分析、量化实验、系统实验、及部分算法在产品中的应用从多方面表明了论文所提方法的正确性。
The application of principle analysis, quantum experiment , system experiment, and some arithmetic in products has proved the exactness of the method we have provided from several aspects.
在此方案基础上提出了一个高效的基于身份的受限部分盲签名体制,证明了该方案的正确性、不可伪造性、限制性和部分盲性。
Based on the scheme mentioned above, a restrictive partially blind signature is proposed and proved to be efficient, correct, unforgeable, as well as restrictive and partially blind.
在实例计算部分,验证了增压机组的热损失数学表达式,并分析其计算结果,最终证明计算方法的正确性。
An example is given to educe the mathematical equations of the heat loss about the gas-turbine driven supercharger. It is showed that the analysis is right by the computation results.
在此基础上,实现了部分仿真构件模型和仿真构件管理模型,证明了理论的正确性和有效性。
On the basis of this, this paper realize some simulation component model and the manage model of the simulation component. The theory has been proved the exactness and validity through testing.
在此基础上,实现了部分仿真构件模型和仿真构件管理模型,证明了理论的正确性和有效性。
On the basis of this, this paper realize some simulation component model and the manage model of the simulation component. The theory has been proved the exactness and validity through testing.
应用推荐