《（项目管理）中心所承担的省部级科研项目》由会员分享，可在线阅读，更多相关《（项目管理）中心所承担的省部级科研项目（12页珍藏版）》请在金锄头文库上搜索。
1、1.中心所承担的省部级科研项目项目名称项目类型负责人起止时间混杂生产过程的混杂Petri网建模及其符号调度技术研究国家自然科学基金古天龙2002-2004装配序列生成的符号技术研究国家自然科学基金古天龙2006-2008数字化关键技术与产品国家863子项目古天龙2002-2004电子书包研制国家863子项目古天龙1999-2000一类混杂过程Petri网规格及调度技术研究教育部留学回国人员科研启动基金古天龙2004-2006混杂生产过程的混杂Petri网建模及其符号调度研究国家自然科学基金专项基金古天龙2002-2004装配序列生成的符号技术研究国家自然科学基金古天龙2006-2008基于依赖
2、公式抽象的软件模型检测研究国家自然科学基金古天龙蔡国永2007-2009国防科研试制费财务管理系统中国电子科技集团公司钱俊彦2007-2008实时混杂模型验证技术及其应用研究广西青年科学基金(自筹)蔡国永古天龙2001-2004嵌式定时系统设计环境的研究与开发(十百千人才专项)广西“新世纪十百千人才工程”专项古天龙2001-2003MCM功能测试中的BST与BIST技术研究（编号30.2.5.1）国防科技预研项目周 娅2001-2003边界扫描测试结构与设计差错诊断技术研究（98JS03.3.1,DZ0501）国防科技重点实验室基金项目周 娅1998-2002Web自适应区分服务研究广西自然科
3、学基金周 娅2004-2007基于Web技术构建实时交互多媒体教学平台学科软环境建设项目周 娅2006-2008数字电视实验教学平台关键技术研究广西区教育厅周 娅2008-2010分布式PLC系统软件自动生成研究广西区教育厅钟艳如2003-2005时间Petri网的符号OBDD调度技术研究广西应用基础专项研究古天龙2004-2007装配序列生成的符号技术研究国家自然科学基金-地区科学基金项目陈光喜20062008麦克斯韦方程组快速数值算法研究编号：10661005 国家自然科学基金陈光喜2007-2009非线性规划约束变尺度算法的新研究及其在均衡约束优化中的应用（10501009）国家自然科学
4、基金 陈光喜2006-2008基于逻辑动画的知识可视化理论与应用 广西区教育厅基金陈光喜2004-2006双密钥公开钥密码体制在电子商务应用中的研究广西区青年科学基金张向利2001-2004网络信息安全技术的研究广西教育厅科研项目张向利2003-2006基于非主动加密的信息安全系统的研究广西教育厅科研项目张向利2002-2005网络环境下数控系统数字通信方法的研究广西区自然科学基金张向利2008-2011基于Web的信息网格服务研究广西教育厅黄文明2004-2005UML Statecharts及其时间扩展的模型检验技术研究广西青年科学基金钱俊彦古天龙2005-2008模型检测动态认知逻辑及其
5、应用(桂科青0728090)广西科学基金项目骆翔宇2007.52010.5海量信息的协同性和可生存性的理论与实践研究(No.2005CB321902)国家重点基础研究发展规划项目子课题 骆翔宇2005.122007.12系统规范表示与验证的认识逻辑途径(No.60473004)国家自然科学基金面上项目骆翔宇2005.12007.12几类非经典计算模型及相关问题的研究(No.60573006)国家自然科学基金面上项目骆翔宇2006.012008.12软件系统特征交互模型检测工具的研究与开发广西研究生教育创新计划项目骆翔宇2007.62010.62.科研获奖及推广项目名称获奖等级获奖时间备注桂林图
6、书馆网络系统文化部科技进步三等奖2000广西物价收费管理系统广西区科技进步三等奖2004全广西价格主管部门使用学分制教学管理系统广西区计算机应用成果推广二等奖2004国内近二十家高校推广使用学校学费管理系统广西区计算机应用成果推广二等奖2004国内上百所高校推广使用工业窑炉计算机智能监控系统及软件研究开发广西计算机推广应用成果奖2004水电表智能抄表系统桂林市科技进步三等奖2002局域环境气象自动监测技术开发与应用桂林市科学技术进步三等奖2004城市区域卫生信息系统桂林市科学技术进步三等奖2006国防电子科研财务管理系统中国电子科技集团立项、验收2006全国各国防电子科研单位使用中国收费管理网
7、国家发改委“发改价格2007259号文”确定全国统一使用2007全国上百万用户使用，运行良好广西区药品价格管理网广西区物价局、卫生厅、药监局立项、验收2007用户数约3000个3、近几年发表的主要科研论文作者论文名称出版刊物发表时间周娅Distance Learning System for Graduate Student at Overseas University5thInternational Conference on Information Technology Based Higher Education and Training(EI收录)2004.05周娅An Interna
8、tional Distance Learning System Based on the Internet and General Purpose Technology7th International Conference on Information Technology Based Higher Education and Training2006.07周娅A Small World Routing Model for Structured P2P Systems2008 IEEE International Symposium on Information Science & Engi
9、neering2008.1周娅Study and Implementation of Digital Interface Protocol Based on Ethernet for NC System2008 3rd IEEE Conference on Industrial Electronics and ApplicationsICIEA 20082008.3周娅保障运行时适应性WEB服务组合框架研究计算机系统应用2008年第3期2008.3周娅数据挖掘对信息安全的影响现代计算机2008年第3期2008.3周娅以计算思维能力培养为核心的“数据结构与算法”课程教学改革与实践计算机科学200
10、8年第35卷11月专辑2008.11周娅“数据结构”课程建设的思考与实践桂林电子科技大学学报，2007 27（5）2007.10周娅数据结构实验教学模式的探讨广西广播电视大学学报， 2007 18 （3）2007.10周娅数据结构课堂教学与学生创新思维培养桂林电子工业学院学报， 2006 26（4）2006.08周娅基于HTTP协议的移动成绩查询系统的设计与实现网络安全技术与应用20068周娅基于ASP技术的现代远程教育网络平台的设计与实现计算机与现代化，2005 20（11）2005.11周娅计算机图形学系列课程建设构想计算机科学（核心期刊）， 2003 30（5）2003.10周娅现代教育
11、技术的一个重要方向流媒体技术桂林电子工业学院学报， 2003 23（2）2003.02周娅探索计算机应用类人才培养目标与模式桂林电子工业学院学报， 2000 20（专刊）2000.10古天龙Simplest optimal guillotine cutting patterns for strips of identical circlesJ Comb Optim2008，152008古天龙Symbolic OBDD representations for mechanical assembly sequencesComputer-Aided Design2008，402008古天龙The s
12、ymbolic OBDD scheme for generating mechanical assembly sequencesForm Methods Syst Des2008，332008古天龙Formula-Dependent Abstraction for CTL Model Checking. ICCSA (2) 20082008古天龙Test frame updating in CPM testing of Prolog programs. Software Quality Journal 16(2):2008古天龙A Novel Test Case Generation Meth
13、od for Prolog Programs Based on Call Patterns Semantics. APLAS 20072007古天龙Goal-independent Semantics for Path Dependent Analysis of Prolog Programs.TASE 20072007古天龙The symbolic algorithms for maximum flow in networks. Computers & OR 34(3)2007古天龙基于模型检验集成规划系统的机械装配序列规划计算机集成制造系统2008，14(9)2008古天龙基于符号有序二叉
14、决策图的装配序列生成技术计算机集成制造系统2008，14(2)2008古天龙流体随机Petri 网的一阶混杂Petri 网模型计算机科学2008，35(1)2008古天龙模糊柔性制造系统的混杂Pet ri 网建模与调度计算机集成制造系统2008，14(11)2008古天龙和与积数迷的符号化模型检测计算机科学2008, 35 (05)2008古天龙流体随机Petri网的一阶混杂Petri网模型计算机科学 2008, (01)2008古天龙基于抽象解释的Prolog程序验证技术研究计算机科学2008, 35 (07)2008古天龙目标独立的Prolog程序路径依赖分析语义计算机科学2008, 35 (02)2008古天龙欧洲高等院校计算机学科形式化方法教育探析中国大学教学, 2007,(11)2007古天龙基于OBDD的有向图的存储与操作研究计算机科学, 2007,
