1中心所承担的省部级科研项目.doc

1.中心所承担的省部级科研项目项目名称项目类型负责人起止时间混杂生产过程的混杂Petri网建模及其符号调度技术研究国家自然科学基金古天龙2002-2004装配序列生成的符号技术研究国家自然科学基金古天龙2006-2008数字化关键技术与产品国家863子项目古天龙2002-2004电子书包研制国家863子项目古天龙1999-2000一类混杂过程Petri网规格及调度技术研究教育部留学回国人员科研启动基金古天龙2004-2006混杂生产过程的混杂Petri网建模及其符号调度研究国家自然科学基金专项基金古天龙2002-2004装配序列生成的符号技术研究国家自然科学基金古天龙2006-2008基于依赖公式抽象的软件模型检测研究国家自然科学基金古天龙蔡国永2007-2009国防科研试制费财务管理系统中国电子科技集团公司钱俊彦2007-2008实时混杂模型验证技术及其应用研究广西青年科学基金(自筹)蔡国永古天龙2001-2004嵌式定时系统设计环境的研究与开发(十百千人才专项)广西“新世纪十百千人才工程”专项古天龙2001-2003MCM功能测试中的BST与BIST技术研究（编号）国防科技预研项目周 娅2001-2003边界扫描测试结构与设计差错诊断技术研究（98JS03.3.1,DZ0501）国防科技重点实验室基金项目周 娅1998-2002Web自适应区分服务研究广西自然科学基金周 娅2004-2007基于Web技术构建实时交互多媒体教学平台学科软环境建设项目周 娅2006-2008数字电视实验教学平台关键技术研究广西区教育厅周 娅2008-2010分布式PLC系统软件自动生成研究广西区教育厅钟艳如2003-2005时间Petri网的符号OBDD调度技术研究广西应用基础专项研究古天龙2004-2007装配序列生成的符号技术研究国家自然科学基金-地区科学基金项目陈光喜20062008麦克斯韦方程组快速数值算法研究编号：10661005 国家自然科学基金陈光喜2007-2009非线性规划约束变尺度算法的新研究及其在均衡约束优化中的应用（10501009）国家自然科学基金 陈光喜2006-2008基于逻辑动画的知识可视化理论与应用 广西区教育厅基金陈光喜2004-2006双密钥公开钥密码体制在电子商务应用中的研究广西区青年科学基金张向利2001-2004网络信息安全技术的研究广西教育厅科研项目张向利2003-2006基于非主动加密的信息安全系统的研究广西教育厅科研项目张向利2002-2005网络环境下数控系统数字通信方法的研究广西区自然科学基金张向利2008-2011基于Web的信息网格服务研究广西教育厅黄文明2004-2005UML Statecharts及其时间扩展的模型检验技术研究广西青年科学基金钱俊彦古天龙2005-2008模型检测动态认知逻辑及其应用(桂科青0728090)广西科学基金项目骆翔宇2007.52010.5海量信息的协同性和可生存性的理论与实践研究(No.2005CB321902)国家重点基础研究发展规划项目子课题 骆翔宇2005.122007.12系统规范表示与验证的认识逻辑途径(No.60473004)国家自然科学基金面上项目骆翔宇2005.12007.12几类非经典计算模型及相关问题的研究(No.60573006)国家自然科学基金面上项目骆翔宇2006.012008.12软件系统特征交互模型检测工具的研究与开发广西研究生教育创新计划项目骆翔宇2007.62010.62.科研获奖及推广项目名称获奖等级获奖时间备注桂林图书馆网络系统文化部科技进步三等奖2000广西物价收费管理系统广西区科技进步三等奖2004全广西价格主管部门使用学分制教学管理系统广西区计算机应用成果推广二等奖2004国内近二十家高校推广使用学校学费管理系统广西区计算机应用成果推广二等奖2004国内上百所高校推广使用工业窑炉计算机智能监控系统及软件研究开发广西计算机推广应用成果奖2004水电表智能抄表系统桂林市科技进步三等奖2002局域环境气象自动监测技术开发与应用桂林市科学技术进步三等奖2004城市区域卫生信息系统桂林市科学技术进步三等奖2006国防电子科研财务管理系统中国电子科技集团立项、验收2006全国各国防电子科研单位使用中国收费管理网国家发改委“发改价格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 International 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 & Engineering2008.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周娅以计算思维能力培养为核心的“数据结构与算法”课程教学改革与实践计算机科学2008年第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周娅现代教育技术的一个重要方向流媒体技术桂林电子工业学院学报， 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 symbolic 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 Method 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古天龙基于符号有序二叉决策图的装配序列生成技术计算机集成制造系统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,34(8)2007古天龙离散结构课程中关于OBDD的教学实践计算机科学, 2007,34(7) (专辑)2007古天龙基于OBDD的灰度图像无损压缩算法计算机工程与设计2007，28(23)2007古天龙基于着色Petri网的Internet电话端系统业务冲突检测计算机科学2007，34(12)2007古天龙基于串空间模型的Athena方法的改进. 计算机工程 2007, 33 (08): 136-139 2007古天龙基于模糊逻辑的CCPN瞬时引发速率求解方法. 计算机工程 2007, 33 (09):2007古天龙软件开发中使用系统化方法的真正原因计算机教育, 2006,(4)2006古天龙新形势下计算机科学与技术专业人才培养特色与课程体系的探讨计算机科学, 2004,31(11) (专辑)2004古天龙人机交互技术的计算机辅助教学实践研究计算机科学, 2004,31(11) (专辑)2004古天龙计算机教育的三个重大问题计算机科学, 2004,31(11) (专辑)2004古天龙形式系统L中公理独立性的一个证明”,计算机科学,2003,30(6) (专辑) 2003古天龙计算机科学与技术方法论计算机科学, 2002,29(1)2002张向利Study and Implementation of Digital Interface Protocol Based on Ethernet for NC System2008 3rd IEEE Conference on Industrial Electronics and ApplicationsICIEA 20082008张向利XTR三元素等价现象的研究及改进方案计算机应用2008年第28卷第12期2008张向利基于最大熵方法汉语基本短语分析计算机工程与应用2008 44 (32) 2008张向利分布式植物标本数据库的设计与实现电脑与电信2008年第8期2008张向利基于内核.6的Linux包过滤型防火墙的设计与实理基于内核.6的Linux包过滤型防火墙的设计与实理计算机系统应用2008年第10期2008张向利基于问题的学习及其教学策略的设计计算机教育20077张向利从计算机技术发展探索计算机教育改革桂林电子工业学院学报20058张向利案例教学法及其运用桂林电子工业学院学报20048张向利高校程序设计语言教学探讨桂林电子工业学院学报20038张向利CAI教学模式的研究与实践桂林电子工业学院学报20034张向利探究性学习及其运用桂林电子工业学院学报20038黄 冰对进一步完善学分制的思考桂电学报，2002（2）2002年黄 冰大众高等教育的质量保障华中师范大学学报2001年黄 冰高等学校实行全面质量管理的探索桂电学报，2000（11）2000年黄 冰重视质量监控 提高教学质量广西高教研究，2000（1）2000年黄 冰电子类专业计算机教育改革的探索与思考桂林电子工业学院学报1997年黄 冰紧跟科技发展 加强计算机教育桂电学报，1996（3）1996年黄 冰对进一步完善学分制的思考桂林电子工业学院学报2002.04陈光喜Machine Cognition and Learning based onInteractive Symbolic Computation2007 INTERNATIONAL CONFERENCE ONINTELLIGENT PERVASIVE COMPUTING,2007,456-461 (EI 收录)2007陈光喜Neighborhood Preprocessing SVM for Large-scale Data Sets Classification the IEEE 5thInternational Conference on Fuzzy Systems and Knowledge Discovery2008陈光喜luster Reduction Support Vector Machinefor Large-scale Data Set Classification, IEEE Pacific-AsiaWorkshop on Computational Intelligence and Industrial Application2008陈光喜A Robust Adaptive Video Watermarking Algorithm Based on HVSThe IEEE 9th International Conference for Young Computer2008陈光喜基于HVS 的自适应鲁棒视频水印算法 计算机科学2008(11)2008陈光喜面向学习者实践的逻辑证明器及其原型设计.计算机科学2008,(11.专辑)2008陈光喜网络教学资源支撑平台的功能体系与教学资源建设实施分析,高等工程教育研究,2008 增刊高等工程教育研究2008 增刊2008陈光喜离散数学精品课程教学改革实践 桂林电子科技大学学报 2007.08陈光喜提高学分制下计算机专业的毕业设计(论文)质量的思考和策略 高教论坛2007.02陈光喜用.Net技术开发网络教学系统 计算机与现代化2005.07陈光喜基于二项分布的组卷算法及其改进算法计算机应用研究 2005.06陈光喜计算机自适应测试系统的算法 桂林电子工业学院学报 2005.08陈光喜基于IRT的网络自适应学习系统研究 计算机科学2005孙希延Evaluation of Two Methods for Three Satellites Position of GPS With Amtimeter Aiding5th International Conference on Information Technology and Applications (ICITA 2008)2008孙希延基于GPS软件接收机的抗窄带干扰方法武汉大学学报（信息科学版）2009 34(1) 2009孙希延中国区域定位系统的定位精度分析中国科学G辑：物理力学天文2008,38(12)2008孙希延MATLAB的两种图形用户界面参数输入方法电脑知识与技术2008年13期2008孙希延基于PCI9820和GP2015的GPS信号采集与频谱分析纪元法现代电子技术2008年第21期2008孙希延基于GPS的新测姿算法全球定位系统2006年第31卷第3期2008孙希延同步轨道卫星实时测定轨方法清华大学学报(自然科学版) 2007年 S2期2007廖 凯“微机原理与接口技术“实验教学内容的优化高等理科教育2007（2）2007.04廖 凯探讨实验教学改革培养新型人才高等理科教育2006.12廖 凯计算机文化基础课理论和实践教学的探讨高等理科教育2005.7廖 凯“微机接口技术”实验教学的改革与实践高等理科教育2005.9黄海萍微机原理与接口技术实验教学研究才智2007（8）2007.08陈用昌正确理解“以人为本“思想 提高实验教学质量高等理科教育2007（2）2007.04汪 瑾远程教育教学模式探讨高等理科教育2007.6汪 瑾Access数据库安全计算机应用研究2006.1汪 瑾计算机多媒体教学探讨高教论坛2005(1)2005.2汪 瑾计算机安全保障探讨高等理科教育2004（2）2004.12汪 瑾深化教学改革 加强实践教学数据库原理及应用教学改革探讨职业时空2008年第4卷第9期2008周信东蔗糖自动煮炼过程中计算机控制的数据处理 计算机工程200935(9)2008何国民实验选课系统的设计与实现实验科学与技术(4)2004.4刘俊景一种改进的DCT和SVD联合的数字图像水印算法计算机工程与科学2009年 第31卷 第01期2009刘俊景SQL注入攻击的分类防御模型的研究信息技术与标准化2008年第11期2008刘俊景一种基于离散余弦变换与奇异值分解的数字图像水印算法微电子学与计算机2007年 第24卷 第10期2007刘俊景RPR中一种高性能公平算法的研究光子技术2006年 第03期2006刘俊景弹性分组环的两种保护机制研究中国科技信息2005年 第2卷 第22期2005胡晓丽浅论多媒体教学的优势教育研究与实验2006.1甘才军基于ASP的本科教学评估系统的设计与实现桂林电子工业学院学报2006.8SCI、EI收录科研论文一览表论文名称作者发表时间出版刊物一种基于度量的Web服务质量机制周娅2004.03计算机工程. EI收录基于小世界层次分布式路由模型研究周娅2006.08计算机工程. EI收录一种对等网络信任模型改进研究周娅2006.08计算机工程. EI收录A Multistage Chaotic Encryption Model Combined BP Neural Network周娅2007.05International Symposium on Computer Science & Technology, May 16-20, 2007, Lingbo, P.R.China. (ISTP收录)A Differentiated QoS Approach for Meeting Real Time Requirements in Web Servers within Industrial Ecosystems周娅2007.052007 IEEE International Symposium on Industrial Electronics, June 4-7, 2007, Vigo, Spain.（EI收录)Simplest optimal guillotine cutting patterns for strips of identical circles古天龙2008J Comb Optim 2008，15(SCI、EI收录)Symbolic OBDD representations for mechanical assembly sequences古天龙2008Computer-Aided Design 2008，40(SCI、EI收录)The symbolic OBDD scheme for generating mechanical assembly sequences古天龙2008Form Methods Syst Des2008，33 (SCI、EI收录)基于模型检验集成规划系统的机械装配序列规划古天龙2008计算机集成制造系统2008，14(9)（EI收录)基于符号有序二叉决策图的装配序列生成技术古天龙2008计算机集成制造系统2008，14(2) （EI收录)模糊柔性制造系统的混杂Pet ri 网建模与调度古天龙2008计算机集成制造系统2008，14(11)The Symbolic Algorithms for Maximum Flow in Networks. 古天龙2007Computer& Operations Research, 2007, 34(2): 799-816(SCI、EI)On the New Application of Call Patterns to CPM Testing of Prolog Programs. 古天龙2006Lecture Notes in Artificial Intelligence, 4034, 2006: 1265- 1270(SCI、EI)Designing Prolog Semantics for a Class of Observables.古天龙2006Lecture Notes in Artificial Intelligence, 4099, 2006: 1052- 1057(SCI、EI)Optimization and control for mixed batch/continuous processes based on hybrid time Petri nets. 古天龙2006Dynamics of Continuous Discrete and Impulsive Systems -Series A: Mathematical Analysis, 2006,13: 14881495(SCI、EI)Development time hybrid Petri nets for optimization and control of hybrid systems. 古天龙2006Dynamics of Continuous Discrete and Impulsive Systems-Series A: Mathematical Analysis, 2006,13: 1479 1487(SCI、EI)Petri-net based formulation and algorithm for short-term scheduling of batch plants古天龙2005Computers & Chemical Engineering, 2005, 29(2):249 259 (SCI、EI)A Novel Continuous Model to Approximate Time Petri Nets: Modeling and Analysis.古天龙2005Int. J. Applied Mathematics & Computer Science, 2005,15(1): 141-150 (SCI、EI)Timed Petri-Net Based Formulation and an Algorithm for the Optimal Scheduling of Batch Plants. 古天龙2003Int. J. Applied Mathmatics. & Computer Science,2003,13(4):527 -536 (SCI、EI)A Survey of Petri-Net Applications in Batch Processes. 古天龙2002Computers in Industry, 2002,47 (1):99-111(SCI、EI)A Novel Supervisory Control Method for the Switch operations in the Hybrid Wind/Diesel/Battery Energy Systems. 古天龙2000Proceedings of IME, Part A, 2000,214(A6):691-696(SCI、EI)网络最大流问题的一种新的符号ADD求解算法古天龙2005.2通信学报 （EI收录）X-10在智能家居应用中干扰问题的研究朱名日2004.6电子器件. （EI收录）基于uCLinux和S3C4510B的网络通信的设计与实现朱名日2004.8微计算机信息. （EI收录）地磁场对焊枪高度跟踪影响及减小方法朱名日2004.10中南大学学报 （EI收录）基于C/OS-智能传感朱名日2005.2仪表技术与传感器. （EI收录）嵌入式系统中Bootloader的设计与实现朱名日2005.4计算机工程 （EI收录）基于GMR的二维焊缝检测传感器的设计与实现朱名日2005.4仪表技术与传感器. （EI收录）Machine Cognition and Learning based onInteractive Symbolic Computation陈光喜20077 INTERNATIONAL CONFERENCE ONINTELLIGENT PERVASIVE COMPUTING (EI 收录)Hierarchical real-time networked CNC system based on the transparent model of industrial Ethernet张向利20078International Journal of Advanced Manufacturing（SCI、EI收录）Internet/Ethernet-Based Computer Numerical Control System张向利20078IEEE International conference on Automation and Logistics（EI收录）Time Syn. of Hierarchical Real-Time Networked CNC System Based on Ethernet/Internet张向利20071International Journal of Advanced Manufacturing（SCI、EI源）基于以太网的数控系统实时通信和时间同步张向利录用计算机集成制造系统（EI源）数控系统的并行处理张向利录用计算机集成制造系统（EI源）Distributed Intrusion Detection System Based on Data Fusion Method王勇2004the 5th World Congress on Intelligent Control and Automation, Hangzhou, China（ IE：04388367824）基于最小二乘支持向量机的Linux主机入侵检测系统王勇20054计算机工程与应用 （EI：05289209197）Research On Methods of Network Connection Based Anomaly Intrusion Detection王勇2005The Asia Simulation Conference/Sixth International Conference on System Simulation and Scientific Computing ( ISTP收录 ) 一种Windows主机入侵检测实验系统王勇2006计算机工程(IE：06249938903) 基于粗糙集理论的网络型入侵检测系统王勇2006计算机工程(IE：064810278798)GPS软件基带信号处理与定位实现 孙希延2007，19（24）系统仿真学报EI：080311033824）.约束最小二乘法孙希延2006.6仪器仪表学报（EI源刊）.The Novel Method of Data Processing in