許英姿+沈玉鳳

[摘 要]規(guī)約法是人工智能所描述的知識表示的方法之一。運(yùn)用逆向思維的思維方式，提出用問題規(guī)約法求解理論力學(xué)課程中物體系統(tǒng)平衡問題約束力的方法，并通過算例進(jìn)行驗(yàn)證。算例證明該方法是一種解決物體系統(tǒng)平衡問題的最優(yōu)化的方法。

[關(guān)鍵詞]問題規(guī)約；逆向思維；系統(tǒng)平衡

[中圖分類號] O312 [文獻(xiàn)標(biāo)識碼] A [文章編號] 2095-3437（2017）04-0040-03

一、問題的提出

規(guī)約法是人工智能所描述的知識表示的方法之一。[1]所謂問題規(guī)約法就是已知一個問題的描述，通過一系列的變換，將此問題最終變?yōu)橐幌盗凶訂栴}的綜合，這些問題的解可以直接得到，從而解決了初始問題。問題規(guī)約法的實(shí)質(zhì)就是從目標(biāo)（要解決的問題）出發(fā)，逆向推理，建立子問題，以及子問題的子問題，直至最后將初始問題規(guī)約為一個本原問題的集合。

物體系統(tǒng)平衡問題，是理論力學(xué)課程中靜力學(xué)問題的重點(diǎn)內(nèi)容[2-4]，主要是應(yīng)用物體的平衡方程，求解在主動力作用下，物體系統(tǒng)平衡時的約束力的問題。盡管學(xué)生在求解單個物體平衡問題時都有一定的物理基礎(chǔ)，但絕大部分同學(xué)感到對于由三個以上構(gòu)件組成的物體系統(tǒng)的平衡問題求約束力時，存在著一定的難度。根據(jù)這一情況，我們根據(jù)教育學(xué)的原理，將復(fù)雜問題簡單化，提出了用問題歸約法求解物體系統(tǒng)平衡問題，將初始問題最終變?yōu)橐幌盗凶訂栴}的組合，找出解決物體系統(tǒng)平衡問題的最優(yōu)化的方法。

二、應(yīng)用

（一）總結(jié)

要想靈活地應(yīng)用平衡方程求解物體系統(tǒng)的平衡問題，最主要的是要理解若物體系統(tǒng)平衡則組成物體系統(tǒng)的每一個物體都處于平衡狀態(tài)，因此對于每一個受平面任意力系作用的物體，均可以寫出三個平衡方程，如系統(tǒng)中有的物體受平面匯交力系或平面平行力系作用時，則平衡方程數(shù)目相應(yīng)減少。當(dāng)系統(tǒng)中未知量數(shù)目等于獨(dú)立的平衡方程的數(shù)目時，則所有未知量都能由平衡方程求出，這樣的問題稱為靜定問題，當(dāng)未知量的數(shù)目超過平衡方程的數(shù)目，此時為超靜定問題。用問題規(guī)約法解決的是靜定的物體系統(tǒng)求解約束力的問題。

（二）問題規(guī)約法應(yīng)用

分析求解問題的關(guān)鍵是選擇合適的研究對象，研究對象的選取一般是從所計(jì)算的約束力出發(fā)，逆向推理，建立子問題，以及子問題的子問題，最后找到解決問題的思路。

當(dāng)找到解決問題的思路時，坐標(biāo)系的建立和矩心的位置選取，對解決問題至關(guān)重要，原則是平衡方程中盡量僅包含一個未知量。

三、算例

下面通過一個例題說明如何應(yīng)用問題規(guī)約法求解物體系統(tǒng)平衡問題。

如圖1所示桿系中，桿AB、CD水平，BC桿豎直，幾何尺寸為AB=BC=2CD=l，均質(zhì)桿AB、CD、BC均重為W，E、G分別是桿AB、桿BC 的中點(diǎn)，要求計(jì)算桿EG的內(nèi)力。

同樣初始問題也通過取三次研究對象，列三個平衡方程得到解決。解題過程省略。

四、結(jié)論

對于該問題，所取研究對象的數(shù)目以及所列的平衡方程的數(shù)目都是最少的，故得到的解決問題的方法也是該原問題的最優(yōu)化的方法。

運(yùn)用問題規(guī)約法，采用逆向思維的方式，計(jì)算物體系統(tǒng)平衡約束力問題，不失為一個好的方法，該法不僅可以鍛煉學(xué)生的逆向思維，還拓寬了學(xué)生解決問題的思路，而且學(xué)生在學(xué)習(xí)過程中也對優(yōu)化方法有了一定的了解。

[ 參 考 文 獻(xiàn) ]

[1] 蔡自興等.人工智能及其應(yīng)用.北京：清華大學(xué)出版社，1996.

[2] 哈爾濱工業(yè)大學(xué)理論力學(xué)教研組.理論力學(xué)I第七版.北京：高等教育出版社，2009.

[3] 西北工業(yè)大學(xué)理論力學(xué)教研室.理論力學(xué).北京：人民教育出版社，2003.

[4] 吉林工業(yè)大學(xué)理論力學(xué)教研室.理論力學(xué).長春：海潮出版社，2000.

[特約編輯：張 雷]