桂林电子科技大学学报有哪些

桂林电子科技大学学报有哪些

《桂林电子科技大学学报》为双月刊，国内外公开发行，是桂林电子科技大学主管主办的以反映自然科学研究成果为主的学术期刊。

桂林电子科技大学学报是不是中文核心

桂林电子科技大学学报，

是中国核心期刊（遴选）数据库

桂林电子科技大学学报，

是由桂林电子科技大学主管和主办的自然科学类学术期刊。

主要刊载信息与通信工程、电子科学与技术、计算机科学与技术、软件工程、机械工程、仪器科学与技术、控制科学与工程、数学与计算科学、材料科学与工程等方面有创新、有参考价值的自然科学类学术论文。
本刊被以下国内外多家检索数据库或刊物全文收录：
英国《科学文摘》（SA)
中国学术期刊（光盘版）
中国期刊全文数据库
中国学术期刊综合评价数据库
中国科技论文与引文数据库
中国核心期刊（遴选）数据库
中文科技期刊数据库
万方数据库-数字化期刊群
电子科技文摘

宗刚的发表论文

1.“我国先进制度技术发展的管理环境及其优化”，《北京工业大学学报》，2001年1期；2.“我国制造业的发展：问题与对策”，《北京工业大学学报》，2001年4期；3.“主管质量及非均衡条件下的质价关系机理的讨论”，《经济学管理学前沿》，西南财经大学出版社，2001年11期；4.“交通运输市场化经济理论分析框架”，《河北经贸大学学报》，2002年5期；5.“企业国际竞争力的机理研究”，《数量经济技术经济研究》，2002年9期；6.“西藏的经济竞争力的变化及其与交通发展关系的实证研究”，《当代经济研究》，2002年增刊；7.“工业企业竞争力的DEA评价研究”，《数量经济技术经济研究》，2002年11期；8.“产业空洞化对一国经济发展的影响”，《国际贸易问题》，2002年11期；9.“北京为何向电动自行车说‘不’”，《综合运输》，2002年11期；10.“企业成长分析”，《北京工业大学学报》，2003年1期；11.“制度安排与交通基础设施建设对经济增长作用研究”，《西藏研究》，2003年3期；12.“战略性贸易政策中的产业政策及其绩效”，《中国软科学》，2003年3期；13.“藏区交通发展与制度的关系研究”，《数量经济技术经济研究》，2003年4期；14.“环境成本内部化与我国对外贸易环境竞争力”，《经济与管理》，2003年4期；15.“试论‘后非典时期’的政府危机管理”，《学术论丛》，2003年6期；16.“交通向度对区域经济协调发展的影响”，《经济论坛》，2003年增刊；17.“公共政策框架下的北京市国有资产管理体制改革”，《北京工业大学学报（社会科学版）》，2003年9期；18.“北京汽车零部件工业发展战略研究”，《数量经济技术经济研究》，2003年11月；19.“邮政市场引入竞争的经济学分析”，《西安财经学院学报》，2004年2期；20.“非正式制度变迁的实证方法研究——以西藏为例”，《凉山大学学报》，2004年2期；21.“精益供应及其启示”，《山西财经大学学报》，2004年2期；22.“中国应对WTO贸易技术壁垒的管理政策研究”，《亚洲商务论坛》，2004年会论文；23.“战略性贸易政策下的关税保护理论与实证分析”，《北京工业大学学报》，2004年3期；24.“基于经济发展战略角度的城乡收入差异分析”，《北京工商大学学报（社会科学版）》，2004年3期；25.“‘无为而治’与现代行政管理”，《晋阳学刊》，2004年4期；26.“基于‘链理论’的汽车产业政策链探析”，《学术论丛》，2004年6期；27.“对当前价格传导受阻现象的解析”，《价格月刊》，2004年11期；28.“汽车产业的政策链理论初探”，《经济师》，2005年1期；29.“汽车产业政策的国际比较与启示”，《技术经济与管理研究》，2005年1期；30.“对我国建立存款保险制度的构想”，《陕西财经大学学报》，2005年1期；31.“浅析我国的金融制度供给”，《经济瞭望》，2005年1期；32.“提高我国汽车工业自主开发能力的政策选择”，《山西科技》，2005年3期；33.“提高我国汽车产业国际竞争力的政策选择”，《太原科技》，2005年6期；34.“对中国汽车发展自主品牌的思考”，《山西大学学报(哲社版）》，2005年6期；35.“基于可竞争市场理论的中国MP3产业‘游击战’思考”，《南华大学学报（社科版）》，2005年6期；36.“对中国汽车发展自主品牌的思考”，《生产力研究》，2005年7期；37.“从产业链‘微笑曲线’看北京汽车工业的发展策略”，《改革与战略》，2005年11期；38.“我国汽车工业与国民经济发展关系的实证研究”，《北京汽车》，2005年12期；39.“对提升我国汽车产业国际竞争力的思考”，《学习论坛》，2006年1期；40.“对提升我国汽车产业国际竞争力的思考”，《学习论坛》，2006年1期；41.“BDA级和产业群：开拓产业机群理论新视野”，《经济与管理研究》，2006年1期；42.“青藏铁路的建设与对西藏发展的影响”，《中国藏学》，2006年2期；43.“基于地区专业化指数的北京优势产业分析”，《商场现代化》，2006年2期；44.“物流系统中要素冲突问题研究”，《郑州航空工业管理学院学报》，2006年3期；45.“创新招商引资模式与提升机和产业机群效应研究”，《科学管理研究》，2006年4期；46.“服务链理论研究”，《北京工业大学学报》，2006年4期；47.“国外知识重用研究述评及新进展”，《情报科学》，2006年5期；48.“基于产业价值链理论的北京汽车服务业发展研究”，《北京汽车》，2006年5期；49.“物流网络模式研究”，《商品储运与养护》，2006年5期；50.“服务链结点相关性理论在区域产业规划中的应用”，《桂林电子科技大学学报》，2006年5期；51.“基于产业价值链的北京汽车服务业发展研究”，《北京汽车》，2006年5期；52.“基于价值链的物流企业组织模式的探讨”，《改革与战略》，2006年8期；53. “中国供应链管理发展分析与展望”，《金融经济》，2006年8期；54.“基于链理论的服务业运行机理初探”，《管理科学文摘》，2006年9期；55.“北京汽车产业发展战略研究”，《改革与战略》，2007年1期；56.“企业绩效评价研究概况分析”，《财会通讯（学术版）》，2007年1期；57.“全流程核电经济性评价系统的探讨”，《能源工程》，2007年2期；58.“核电经济性评价中的流程问题”，《集团经济研究》，2007年2期；59.“从委托代理视角看企业绩效评价指标演进”，《商业时代》，2007年3期；60.“城市汽车服务链节点最优选址与规模”，《统计与决策》，2007年4期；61.“The Construction of the Qinghai Tibet Railway and It’s Impact on Tibetan Development”,《China Tibetology》No.1March2007；62.“企业管理变革下的业绩评价创新趋势”，《商业时代》，2007年4期；63.“基于区位商的中国汽车产业结构研究”，《经济论坛》2007年7期；64.“基于常规电力的核电发展经济性研究”，《中国电力》，2007年9期；65.“北京市企业技术创新现状与对策研究”，《经济论坛》,2007年11期；66.“熵思想下的企业技术创新动力机制模型探讨”，《工业技术研究》,2008年2期；67.“运用汽车报废推导汽车产业需求规模”，《企业经济》2008年5期；68.“基于计量经济学模型来选取与汽车保有量有关的因素”，《北京汽车》2008年6期；69.“中国汽车产业市场集中度与市场绩效关系研究”，《商场现代化》,2008年3期；70.“美国机场时刻分配政策演变的经济学分析”，《综合运输》,2008年7期；71.“基于行业性质的出租汽车产业结构分析”，《综合运输》,2008年8期；72.“出租汽车司机收入相对偏低的原因分析 以北京市为例”，《经济与管理研究》，2008年5期；73.“北京出租汽车行业管制的关键问题”，《综合运输》，2008年9期；74.“我国电线电缆行业现状与发展研究”，《电器工业》，2008年第2期；75.“北京如何发展可持续的都市型工业”，《经济导刊》，2008年第2期；76.“后工业经济时期北京都市工业对第三产业的影响分析”，《工业技术经济》，2008年第2期；77.“经济增长的就业效应分析”，北方经济,2008年第8期；78.“基于计量经济学模型选取与汽车保有量相关的因素”，《汽车工业研究》2008年第7期；79.“后工业经济时期首都产业结构优化研究”，《商业时代》，2008年第22期；80.“罢运风波呼唤出租车管理模式的变革”，《综合运输》，2008年第12期；81．“工业节能降耗的全生命周期成本研究”，《成组技术与生产现代化》，2008年第4期；82.“北京城市生活垃圾物流系统研究”，《时代经贸》，2008年第S3期；83.“基于熵视角的价值理论研究”，《山西财经大学学报》，2009年第9期；84.“论产品族生产企业成本核算方法”，《审计与经济研究》，2009年第2期；85.“出租车市场的利益分配格局及对策”，《综合运输》，2009年第4期；86.“综合运输的价值链与价值链治理”，《综合运输》，2009年第12期；87.“耗散结构理论与都市圈发展演化过程”，《经济论坛》，2009年第5期；88.“都市圈演进中的产业空间影响机理”，《经济论坛》，2009年第4期；89.“都市圈内区际差异及度量方法”，《新西部》，2009年第1期；90.“产品族的作业成本法核算模型初探”，《经济研究导刊》，2009年第4期；91．“基于网络分析的什邡市灾后产业结构调整研究”，《防灾科技学院学报》，2009年第4期；92.“西藏草地畜牧业现代化的现状与问题研究” 《畜牧与饲料科学》，2009年第9期；93.“基于信任机制的复杂网络知识传播模型的研究” 《价值工程》，2009年第12期；94.“产品族设计的成本测算研究” 《科学学与科学技术管理(增刊)》，2009年第5期；95.“台海两岸物流合作方式研究” 《北京工业大学学报(社会科学版)》，2009年第6期；96.“基于公共经济视角的北京市郊铁路资源整合”，《综合运输》，2010年第1期；97.“铁路改革中公益性问题的解决途径”，《综合运输》，2009年第11期；98.“基于灰色预测的生态足迹方法研究”，《中国市场》，2010年第49期；99.“西藏经济发展面临的主要问题及其对策研究”，《特区经济》，2010年第5期；100.“印度农业地下水灌溉用电电价研究”，《中国物价》，2010年第4期；101.“农村地区水权管理研究”，《北京水务》，2010年第5期；102.“农民在灌溉系统管理转移中的作用研究”，《中国农村水利水电》，2010年第10期；103.“基于区位熵理论的北京第三产业发展研究”，《中国市场》，2010年第13期；104.“基于环境经济协调度模型的草场生态系统协调性评价研究”，《安徽农业科学》，2010年第9期；105．“草场资源生态环境与经济发展协调性评价 以西藏那曲地区为例”，《安徽农业科学》，2010年第7期；106.“磁浮交通技术应用中的路径依赖及对策”，《综合运输》，2010年第9期；107.“海峡两岸经济整合的驱动机制研究”，《北京工业大学学报(社会科学版)》，2010年第1期；108.“西藏经济增长:事实、机理及政策选择”，《中国藏学》，2010年第1期；109.“西藏经济发展面临的主要问题及其对策研究”，《特区经济》，2010年第5期；110.“中小学建筑抗震设防情况的抽样调查与分析”，《结构工程师》，2010年第2期；111.“草场资源生态环境与经济发展协调性评价 以西藏那曲地区为例(英文)”，《Agricultural Science & Technology,农业科学与技术(英文版》，2010年第1期；112.“城乡统筹发展中农村人口流动的复杂网络分析 以南磨房乡为例”，《山东省农业管理干部学院学报》，2010年第1期；113.“社会网络分析法在农转非中的实证研究 以朝阳区南磨房乡为例”，《北京理工大学学报(社会科学版)》，2010年第6期114.“A Contrastive Study on Sustainable Development of Maglev and High-Speed Wheel-Rail”，第十届“交通运输领域华人学者国际会议”（ICCTP 2010，2010.08.04）；115.“基于公共经济视角的北京市郊铁路资源整合”，《综合运输》，2010年第1期；116.“市郊铁路参与城市交通的冲突及其治理机制”，《中国铁路》，2010年第4期；117.“市郊铁路参与城市交通的合作机制研究”，《综合运输》，2010年第11期；118.“Research on the Nonlinear Pricing of Transportation: Based on ConsumerHeterogeneity for Passenger-dedicated Lines”，10th International Chinese Conference of Transportation Professionals2010卷1579页；119．“Study on the Application of Knowledge Discovery in Data Bases to the Decision Making of Railway Traffic Safety in China”，The 4th International Conference on Management and Service Science(MASS 2010)，2010卷/年2期97页；120.“Team Decision Making of Scientific Research Organization Based on Knowledge Management”，IEEE The 2nd International Conference on Advanced Management Science (ICAMS 2010)，2010卷/年1期252页。121.“交通规则形成的演化博弈分析”，《北京工业大学学报》，2011年第4期；122.“面向市政管理的不良信息传播仿真模型”，《北京工业大学学报》，2011年第4期；123.“城市交通投资与经济增长关系的实证分析”，《铁道运输与经济》，2011年第4期；124.“北京市交通投资与经济增长的关系研究”，《价格月刊》，2011年第1期；125.“城市公共交通技术应用的探讨”，《现代城市轨道交通》，2011年第1期；126.“西藏普兰县生态环境保护与经济可持续发展”，《安徽农业科学》，2011年第3期；127.“高寒草原圣域区保护与发展模式研究”，《西南民族大学学报(人文社会科学版)》，2011年第1期。128.“‘伽利略’卫星导航系统概述”，《全球定位系统》，2011年第1期；129.交通基础设施与经济增长的协整及因果关系分析，《现代管理科学》，2011年第10期；130.“基于制度经济学视角分析产业集群组织内部企业边界”，《企业活力》，2011年第11期；131.“房地产投资对北京市经济增长的影响基于面板数据的实证研究”，《现代管理科学》，2011年第11期；132.“基于BA模型的朝阳奥运功能区产业优化模式研究”，《经济与管理研究》，2011年第12期；133.“中国各行政省经济发展水平的对应分析”，《中国城市经济》，2012年第2期；134.“关于完善中国碳排放权交易制度的思考”，《中国城市经济》，2012年第2期；135.“基于自组织的台海两岸经济系统演化机制研究”，《现代管理科学》，2012年第1期；136.“北京市私人小汽车消费与经济增长的协整及因果关系研究”，《首都经济贸易大学学报》，2012年第1期；137.“美国富人利己政治隐藏在“占领华尔街”身后的真正祸根”，《世界经济与政治论坛》，2012年第1期；138.“西藏普兰县可持续发展的系统动力学分析”，《软科学》，2012年第1期；139.“企业战略联盟博弈策略选择分析”，《企业活力》，2012年第2期；140.“交通基础设施投资与经济增长的动态效应分析基于VAR模型的实证研究”，《科技管理研究》，2012年第4期；141.“国际气候变化谈判制度及谈判进展分析”，《绿色科技》，2012年第3期；142.“民族手工企业盈利能力差异研究基于新兴古典经济学分工理论的视角”，《中国商贸》，2012年第11期；143.“外部冲击对人民币汇率的影响效应分析基于VAR模型”，《中国证券期货》，2012年第4期；144.“不完全契约视角下的生态工业园区企业共生研究”，《商业时代》，2012年第13期；145.“人力资本专用性视角下的农村池塘闲置研究(英文)”，《Agricultural Science & Technology》，2012年第5期；146.“新加坡城市固体废弃物管理的经验”，《亚太经济》，2012年第3期；147.“美军基于网络空间战的空袭作战信息指挥系统效能浅析”，《飞航导弹》，2012年第6期；148.“人力资本专用性视角下的农村池塘闲置研究”，《安徽农业科学》，2012年第19期；149.“网络结构对集体行动合作决策扩散影响的仿真研究”，《现代管理科学》，2012年第7期；150.“国家助学贷款政策缘何陷入困境?基于博弈论的视角”，《当代教育论坛》，2012年第4期；151.“基于“交通—经济”大系统环境下的交通投资预测研究”，《现代管理科学》，2012年第8期；152.“交通投资对经济增长的动态影响模型研究基于状态空间模型的实证分析”，《武汉理工大学学报（社会科学版）》，2012年第4期。

广西桂林电子科技大学科学计算机科学与技术（应用型本科）的学长学姐回来一下！

教师队伍情况
经过近10年的课程建设，围绕本课程，形成了由广西首批教学团队负责人、学校示范教授、教学名师董荣胜具体负责，由全国模范教师、广西教学名师古天龙教授指导，拥有学校“十佳师德”标兵称号的，多次获得国家和省部级有关教学奖，发表多篇（部）在国内较有影响教学论著、结构合理、年轻而又有富有朝气的师资队伍。
一、课程负责人

董荣胜，男，广西高等学校教学名师，桂林电子科技大学计算思维及应用研究室主任、教授、硕士生导师。

二、教学指导及专题讲座

古天龙，男，博士，桂林电子科技大学副校长、教授、博士生导师。

三、主讲教师

钟艳如，女，硕士，桂林电子科技大学计算机与控制学院副院长，计算思维及应用研究室教授、硕士生导师。

陈光喜，男，博士，桂林电子科技大学现代教育技术中心主任、副教授、硕士生导师。

赵岭忠，男，博士，桂林电子科技大学计算思维及应用研究室副教授、硕士生导师。

常 亮，男，博士，桂林电子科技大学计算思维及应用研究室副教授、硕士生导师。

李凤英，女，硕士，桂林电子科技大学计算思维及应用研究室讲师。

课程负责人董荣胜教授
董荣胜，男，广西高等学校教学名师，桂林电子科技大学计算思维及应用研究室主任、教授、硕士研究生导师。1989年7月毕业于中国地质大学计算机科学系，现为全国高等学校计算机教育研究会理事、中国计算机学会教育专业委员会委员、广西计算机学会理事、广西首批区级教学团队负责人、桂林电子科技大学教学指导委员会委员、学校示范教授、教学名师。

研究方向：网络安全协议、形式化技术、计算思维与计算机方法论。承担了国家八五攻关项目、总装备部项目、国家863计划项目、国家自然科学基金、国防预研项目、广西科学基金等国家和省部级科研项目10余项，是计算学科认知理论——计算机科学与技术方法论的构建者和倡导者，在国内外重要学术刊物和会议发表学术论文80余篇，出版著作型教材2部，以第一作者撰写的论文和著作分别被他人引用160多次，主要成果被美国计算学科教程（CC2001）和《中国计算机科学与技术学科教程2002》采用，撰写的教材《计算机科学导论——思想与方法》（高等教育出版社，2007年9月出版）被北京大学国家级精品课程“计算概论”列为推荐教材的首位、撰写的《计算机科学与技术方法论》（人民邮电出版社，2002年9月出版）与《计算机科学导论——思想与方法》分别被华中科技大学等国内数十所高校选为教材，主持和参与的教改项目分别获广西优秀教学成果奖一等奖2次、三等奖2次，撰写的教材分别获广西优秀教材一等奖1次、广西社会科学优秀成果三等奖1次。

主讲教师古天龙教授
古天龙（教授/博导/博士）1964.10生于山西、芮城，分别于1984.08、1986.12、1996.01在太原理工大学、西安电子科技大学、浙江大学获工学学士、硕士、博士学位。1998.01至2002.03在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后研究。1998年破格晋升教授，2001.03至今为西安电子科技大学博士生导师。2003.08至今任桂林电子科技大学副校长。现为IEEE高级会员、ACM会员、教育部高等学校计算机科学与技术教学指导委员会软件工程专业分会委员、中国计算机学会Petri网专委会委员、中国计算机学会计算机工程与工艺专委会委员、中国人工智能学会知识工程与分布式智能专委会委员、广西计算机学会副理事长、《计算机科学》编委。

多年来一直从事计算机科学与技术和控制科学与工程交叉学科的教学和科研工作，主要研究领域为：软件工程与形式化方法；知识工程与符号计算；嵌入式系统；传感器网络与协议工程；离散事件/混杂系统等。近年来主持国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金、中澳国际合作项目、教育部留学回国人员基金等20余项。出版学术著作/教材《软件开发的形式化方法》（高等教育出版社，2005）、《网络协议的形式化分析与设计》（电子工业出版社，2003）、《软件工程》（电子工业出版社，2004）、《计算机科学与技术方法论》（人民邮电出版社，2002）、《离散数学》（电子工业出版社，2008）等5部，在国内外重要学术刊物和会议发表学术论文130篇（其中EI、SCI收录51篇）。入选“国家百千万人才工程”(2004)、“广西十百千人才工程”（2000）、“广西高校跨世纪中青年学科带头人”（1996），并荣获全国模范教师（1998）、国务院政府特殊津贴专家（2004）、广西优秀专家（2007）、广西优秀留学回国人员（2006）、广西教学名师（2008）、电子工业部优秀科技青年（1996）、电子工业系统优秀教师（1997）、广西高校科技进步二等奖（1998）、广西优秀教材一等奖（2006）、广西优秀教材一等奖（2003）、广西优秀教学成果一等奖（2004）、广西社会科学优秀成果三等奖（2004）等。

主讲教师钟艳如教授
钟艳如（教授/硕导） 1965.3生于江西、宜春，分别于1986.07、2000.03于桂林电子科技大学获工学学士、硕士学位。2007.12晋升教授。现任全国高等学校计算机教育研究会计算机网络教育分会理事，广西计算机学会会员，桂林电子科技大学计算机与控制学院副院长。多年来一直从事计算机学科科学与工程交叉学科的教学和科研工作。

主要研究领域为：知识工程与符号计算、计算机辅助精度设计、新一代GPS标准体系的理论等。共承担和完成科研项目12项，其中包括，主持区自然科学基金(2007年)、区教育厅项目(2004年)、横向课题(2005年)和校科研课题(2003年)各1项，参加国家自然科学基金排名第二(2006年和2009年)2项和排名第四(2003年) 1项，参加（排名第二,2004年）教育部科学技术研究重大项目子课题1项，参加（排名第二，2006年）区自然科学基金1项，参加（排名第二，2004年）教育部科学技术研究重点项目1项，参加区教育厅科研项目（排名第二，2002年）和（排名第三，2006年）各1项。共承担和完成教改项目6项：主持广西教育科学“十五”规划立项课题1项，参加区高等学校精品课程排名2项（排均为名第三），校级教改项目3项（其中两项排名第一，一项排名第二）。共发表论文40多篇，其中，国际四大索引（SCI、EI、ISR、ISTP）收录期刊15篇。荣获广西优秀教学成果一等奖(“计算机科学与技术方法论的建立及其教学实践”，2004，第四)、、《多媒体技术》网络课程获得广西教育厅多媒体课件优秀奖（2004，负责人）、曾出席中国共产党广西壮族自治区第八次代表大会，获得十佳师德标兵（2008）等。

主讲教师陈光喜副教授
陈光喜（副教授/博士），男，汉族，1971年生。1997年7月复旦大学数学研究所计算数学专业硕士毕业；2002年7月中国科学院成都计算所计算机软件与理论专业博士毕业。

1997年7月至2003年8月中国科学院成都计算所自动推理实验室助理研究员；2003年8月至今，桂林电子科技大学副教授。2005年6月起任桂林电子科技大学现代教育技术中心主任。从事计算机软件与理论、应用数学专业的教学与科研工作。广西教育技术协会常务理事。

近3年来参加国家自然基金项目2项，主持广西教育厅科研和教改项目6项，其它科研项目8项；发表科研论文24篇,其中EI检索4篇；发表教学论文12篇；主编教材1部。获桂林市科技进步三等奖1项,全国多媒体课件大赛一等奖1项, 全国多媒体课件大赛三等奖1项，广西教育教学软件大赛一等奖2项。

主讲教师赵岭忠副教授
赵岭忠(副教授/博士)，1977.11生于河南、南阳。分别于2002.06、2007.1在桂林电子科技大学、西安电子科技大学获工学硕士、博士学位. 近年来主持和参与国家自然科学基金、广西自然科学基金等项目10余项。

涉及领域包括：复杂生产过程的符号调度、面向对象分布式实时系统的建模与任务调度、安全协议分析及模型检验等. 参与计算机科学与技术方法论的研究，并于2005年获广西区高等教育教学成果一等奖. 在《Software Quality Journal》、《计算机研究与发展》、《计算机科学》、《计算机集成制造系统》、《通信学报》、《计算机工程》等国内核心期刊及“APLAS’07”、“TASE’07”、“PRICAI’06”、“AI’06”、“SEKE’06”等重要的软件工程和人工智能国际学术会议上发表和录用论文近40篇. 目前的研究兴趣包括：逻辑程序在人工智能和软件验证领域的应用，抽象解释理论及其在逻辑程序的分析和验证、软件安全领域的应用,符号计算等。

主讲教师常亮副教授
常亮(副教授/博士)，1980年6月生，2008年7月毕业于中国科学院计算技术研究所，获工学博士学位。

主要研究方向为行动理论、描述逻辑、语义Web服务、智能主体、以及形式化方法。作为主要成员先后参与或完成了1项973项目子项目、1项国家863项目、2项国家自然科学基金项目。在《计算机学报》、《软件学报》、《计算机研究与发展》、《Service Oriented Computing and Applications》等国内外期刊以及“DL’07”、“KSEM’07”、“PRICAI’08”、“ICWS’08”等重要国际学术会议上发表论文20余篇，其中被EI收录11篇。

《计算机科学导论》课程教学大纲
课程类别：专业基础必修课 课程代码：

总 学 时：48学时（其中，理论课32学时，实验课16学时） 学分：3

适用专业：计算机科学与技术、软件工程、网络工程、信息安全、信息系统与信息管理、数字媒体、教育技术学等

先修课程：无

一、课程的地位、性质和任务

本课程是计算机科学与技术专业学生入学学习的第一门专业必修课，它构建在计算学科认知模型的基础上，以计算思维能力的培养为核心，从学科思想与方法层面对计算学科进行导引。

本课程来源于ACM教育委员会对“整个计算学科综述性导引”（计算机导论）课程构建的要求，即用严密的方式将学生引入计算学科各个富有挑战性的领域之中。本课程为学生正确认知计算学科提供方法，为今后深入学习计算机课程作铺垫。

二、课程教学的基本要求

本课程要求学生了解计算学科专业名称的演变，学科的描述、培养侧重点，学科各专业方向的知识体与核心课程，“计算机导论”课程的构建，了解计算学科的历史，计算学科的基本问题；计算学科中的抽象、理论和设计三个过程及其内在联系；了解计算学科各主领域的基本内容及其相应的课程设置、计算学科中的核心概念、数学方法、系统科学方法、社会和职业问题、学科若干问题、学科教育发展与展望等内容。

三、教学内容与学时分配

1．绪论（2学时）

计算学科的定义；计算学科的根本问题；计算学科专业名称的演变；分支学科及其培养侧重点；计算机科学、计算机工程、软件工程和信息技术等4个主要分支学科的知识体和核心课程；最后，“计算机导论”课程的构建问题；计算学科认知模型——计算学科二维定义矩阵；计算学科若干问题的介绍。

2．计算学科的基本问题（6学时）

计算的历史；对问题进行抽象的典型实例——哥尼斯堡七桥问题；“梵天塔”问题；“停机问题”；算法复杂性中的难解性问题、P类问题和NP类问题；证比求易算法；P＝NP是否成立的问题；旅行商问题与组合爆炸问题；找零问题、背包问题与贪婪算法；“GOTO语句”与程序设计中的结构问题；“哲学家共餐”问题与计算机系统中的软硬件资源的管理；“两军问题”与计算机网络；“图灵测试”；“中文屋子”；计算机中的博弈问题。

3．计算学科中的3个学科形态（6学时）

一个关于“学生选课”的例子；抽象形态；理论形态；设计形态；3个学科形态的内在联系；计算机语言的发展及其3个学科形态的内在联系。

4．计算学科中的核心概念（5学时）

算法；数据结构；程序；软件；硬件；计算机中的数据（含进位制数及其相互转换，原码、反码和补码及其转换，字符、字符串和汉字，图像数据的表示，声音数据的表示等）；CC1991报告提取的核心概念。

5．计算学科中的数学方法（5学时，含1个学时的讲座）

数学的基本特征；数学方法的作用；集合，函数和关系，代数系统（含群、环、格、布尔代数，布尔代数与数字逻辑电路）；定义、定理和证明，必要条件和充分条件；证明方法；递归和迭代；公理化方法；形式化方法。

6．计算学科中的系统科学方法（3学时）

系统科学的基本思想；软件开发中为什么要引入系统科学方法；结构化方法；面向对象方法。

7．社会和职业的问题（3学时）

计算的社会背景；道德分析的方法；职业和道德责任；基于计算机系统的风险和责任；团队工作；知识产权；隐私和公民自由；计算机犯罪。

8.探讨与展望(2学时)

学科中的若干问题进行探讨，计算教育的发展与展望等内容。

四、实验教学内容与要求

1.存储程序式虚拟机（4学时）

掌握机器指令的格式，理解机器指令系统的组成；理解“程序与数据”的同等看待；理解算法与机器的关系，了解程序在机器上的执行过程。

2.结构化程序设计（3学时）

熟悉顺序、选择、循环3种程序结构；掌握C语言编写选择、循环语句的方法。

3.递归与迭代（3学时）

加深理解递归及迭代的概念；掌握用C语言编写递归及迭代程序的方法；了解递归和迭代之间的差别。

4.算法综合练习（4学时）

熟悉结构化程序设计在算法中的应用；理解二分查找法的思想。

5.实验考试（2学时）

五、教学方法的原则建议

建议由各学校学科带头人或骨干教师担任本课程的主讲，并使用投影仪进行教学，在教学过程中可穿插介绍一些计算机界著名学者的生平事迹以及我国计算机的发展历史

六、考核方式及成绩构成

成绩评定：平时成绩占10%，理论考试（开卷）成绩占70%，实验考试成绩占20%。

七、教材与参考书目

推荐教材：董荣胜.计算机科学导论——思想与方法.高等教育出版社.2007

参考书目：

1.董荣胜，古天龙.计算机科学与技术方法论.人民邮电出版社.2002

Brookshear著，刘艺等译.计算机科学概论（第9版）.人民邮电出版社.2007

3.许卓群，李文新，罗英伟.计算概论.清华大学出版社.2005

4.赵致琢.计算科学导论（第三版）.科学出版社.2004

5.王玉龙.计算机导论（第二版）.电子工业出版社.2004

6.黄国兴，陶树平，丁岳伟.计算机导论（第二版）.清华大学出版社.2008

八、说明

本大纲根据美国计算机协会（ACM）教育委员会对“整个计算学科综述性导引课程”课程的要求，以及教育部高等学校计算机科学与技术教学指导委员会编制的高等学校计算机科学与技术专业规范和IEEE/ACM制定的CC2001－CC2005有关教程编写。

主讲教师李凤英讲师
李凤英（讲师） 1974.3生于辽宁、朝阳，分别于1998.07、12003.03在桂林电子工业学院获工学学士、硕士学位。2002.03至今一直在桂林电子科技大学计算机与控制学院任教，现在西安电子科技大学攻读博士学位。

主要研究领域为：符号模型检验、Petri网、符号调度技术等的研究。近年来参加了国家自然科学基金、中澳国际合作等项目。