一种加法交换律和结合律的验证方法

依据"数位对齐、逢十进一"的运算法则,结合十进制加法表,给出了验证加法交换律与结合律的一种方法。     

如何在工程竣工结算过程中控制工程造价

随着我国经济建设的发展,建筑企业的规模越来越大,工程结算又是决定工程造价最关键的一步,如何在这最关键的一步控制好工程造价。工程造价直接关系着建设单位和施工单位效益的问题,这就需要双方共同努力,所以文章就作者在这几年工作中总结的几点经验进行论述。     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.     

生成测试数据的结构归纳法

提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。     

预蠕变—塑性的本构描述及其实验验证

基于热力学相容的本构模型并合理地定义广义时间标度，得到了描述蠕变，塑性及其交互作用的统一型本构方程。进而通过对蠕变、塑性及其交互作用过程中材料内部子结构及其变化的分析，将材料的强化分解为对应于累积非弹性变形的强化和由蠕变变形导致的附加强化。对对高温环境二维应力路径下３１６不锈钢的预蠕变－塑性变形过程进行了分析，取得了与Ｏｈａｓｈｉ等的实验数据相吻合的结果。     

模拟数字混合电路故障诊断的验证方法

本文提出一种适于模拟数字混合电路故障诊断的验证方法,该方法对模拟元件和数字元件的故障特征均用故障补偿源表示;在求解诊断方程过程中,当数字元件状态预估值与实际值不相符时,不需要利用修正后的预估值重新求解诊断方程,从而减少了测后计算量,对所提方法在计算机上做了模拟,证明算法有效。     

知识库的一致性与完备性检验

本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

纳米级石墨晶体的各向异性力学性能的计算

理想的石墨晶体是由碳原子以sp^2杂化轨道和邻近的三个碳原子形成共价键，构成六角平面的网状层片结构，层片之间以Van der Waals力相结合．基于原子键合理论的力能关系基本原理：层片内以C—S键合单元相结合，层片间采用连续介质填充单元，建立石墨晶体的复合模型．其中C—C键合单元包括两个节点，每个节点包含三个自由度：ux，uy，uz．键合单元是该复合建模方法的主要部分．通过运算分析，确定了石墨晶体C—C键合单元的各个参数，该参数保证了石墨晶体正交各向异性的性质．同时，通过建立石墨晶体的拉伸、剪切等计算模型，并与实验数据相对比，验证了该石墨晶体复合建模方法的正确性，并将该复合模型用于研究石墨晶体的模态分析．该复合建模方法为研究石墨的微观结构、性能等提供了一种有效的数值模拟方法．