國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃(973)項(xiàng)目

《國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃(973)項(xiàng)目》由會(huì)員上傳分享，免費(fèi)在線(xiàn)閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。

1、國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃(973)項(xiàng)目“數(shù)學(xué)機(jī)械化方法及其在信息技術(shù)中的應(yīng)用”學(xué)術(shù)交流與匯報(bào)會(huì)第二屆全國(guó)計(jì)算機(jī)數(shù)學(xué)學(xué)術(shù)會(huì)議(CM2008)2008年10月24-27日青島目錄l973項(xiàng)目學(xué)術(shù)交流與匯報(bào)會(huì)日程l第二屆全國(guó)計(jì)算機(jī)數(shù)學(xué)學(xué)術(shù)會(huì)議日程l報(bào)告摘要l會(huì)議須知第二屆全國(guó)計(jì)算機(jī)數(shù)學(xué)學(xué)術(shù)會(huì)議組織主辦：中國(guó)數(shù)學(xué)學(xué)會(huì)計(jì)算機(jī)數(shù)學(xué)專(zhuān)業(yè)委員會(huì)承辦：中國(guó)石油大學(xué)中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所中國(guó)科學(xué)院數(shù)學(xué)機(jī)械化重點(diǎn)實(shí)驗(yàn)室會(huì)議主席：高小山程序委員會(huì)：李洪波(主席)、曾振柄、陳永川、李子明、楊路、劉木蘭、查紅彬、陳發(fā)來(lái)、李華組織委員會(huì)：李樹(shù)榮(主席)、周代珍、

2、黃雷國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃(973)項(xiàng)目“數(shù)學(xué)機(jī)械化方法及其在信息技術(shù)中的應(yīng)用”學(xué)術(shù)交流與匯報(bào)會(huì)地點(diǎn)：青島金港大酒店時(shí)間：2008年10月24日09:00-09:30項(xiàng)目介紹、領(lǐng)導(dǎo)講話(huà)09:30-10:10數(shù)學(xué)機(jī)械化理論與核心算法10:10-10:30休息10:30-11:10差分與微分方程的機(jī)械化算法11:10-11:50實(shí)幾何與實(shí)代數(shù)的高效能算法12:00-14:00午餐14:00-14:40數(shù)學(xué)機(jī)械化與信息安全和編碼基礎(chǔ)理論研究14:40-15:20數(shù)學(xué)機(jī)械化在生物特征識(shí)別中的應(yīng)用15:20-15:40休息15:40-16:2

3、0數(shù)學(xué)機(jī)械化在幾何建模中的應(yīng)用16:20-17:00基于網(wǎng)絡(luò)的數(shù)學(xué)機(jī)械化軟件開(kāi)發(fā)17:00總結(jié)18:00-晚餐第二屆全國(guó)計(jì)算機(jī)數(shù)學(xué)大會(huì)日程(CSCM2008)2008年10月25-27日青島金港大酒店10月25日地點(diǎn)：***08:30-09:00開(kāi)幕式主會(huì)場(chǎng)1（主席：高小山）09:00-09:45邀請(qǐng)報(bào)告:徐宗本,西安交通大學(xué)基于視覺(jué)認(rèn)知的數(shù)據(jù)建模09:45-10:30邀請(qǐng)報(bào)告:齊東旭,澳門(mén)科技大學(xué)關(guān)于非連續(xù)的正交函數(shù)10:30-10:50休息10月25日10:50-12:05分組報(bào)告：**會(huì)議室**會(huì)議室**會(huì)議室分組1：微分代數(shù)（

4、主席：張鴻慶）分組2：應(yīng)用研究（主席：王定康）分組3：代數(shù)方法（主席：符紅光）10:50-11:15李子明,吳敏Computingdimensionofsolutionspacesforlinearfunctionalsystems10:50-11:15李邦和酶動(dòng)力學(xué)中的擬穩(wěn)態(tài)假設(shè)10:50-11:15張樹(shù)功多元有理插值的Groebner基方法11:15-11:40王懷富Acriterionforthesimilarityoflength-twoelementsinaPID11:15-11:40LEIYANG,李樹(shù)榮Optimizat

5、ionofinjectionstrategiesforpolymerfloodingbasedonareal-codedgeneticalgorithm11:15-11:40ErichKaltofen,李斌,楊爭(zhēng)鋒,支麗紅ExactCertificationofGlobalOptimalityofApproximateFactorizationsViaRationalizingSums-Of-SquareswithFloatingPointScalars11:40-12:05鄭大彬,吳敏Testingalgebraicdependen

6、ceofhyperexponentialelements11:40-12:05侯春望因子優(yōu)化法在控制系統(tǒng)根軌跡繪制中的應(yīng)用11:40-12:05王明生Primefactorizationofmultivariatepolynomialmatrices12:00-2:00午餐10月25日2:00-3:40分組報(bào)告：**會(huì)議室**會(huì)議室**會(huì)議室分組4：微分代數(shù)（主席：李志斌）分組5：編碼與密碼（主席：邢朝平）分組6：應(yīng)用與算法（主席：齊東旭）2:00-2:25朝魯DifferentialCharacteristicSetAlgorith

7、mfortheCompleteSymmetryClassificationofPDEs2:00-2:25林東岱,鄧炎炎密碼學(xué)理論中的挑戰(zhàn)2:00-2:25黃雷,李洪波基于共形幾何和復(fù)數(shù)法的幾何計(jì)算新方法2:25-2:50劉姜,李洪波,曹源昊涉及坐標(biāo)變換的微分多項(xiàng)式在求和約定下的化簡(jiǎn)和標(biāo)準(zhǔn)型2:25-2:50吳文玲ImprovedImpossibleDifferentialCryptanalysisofReduced-RoundCamellia2:25-2:50廖啟征四元數(shù)的復(fù)數(shù)形式及其在機(jī)構(gòu)求解中的應(yīng)用2:50-3:15李子明,Mar

8、tinOndera,王懷富Simplifyingskewfractionsmodulodifferentialanddifferencerelations2:50-3:15劉峰,武傳坤,林喜軍ColorVisualCry