搜索
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技术研究（编号30.2.5.1）国防科技预研项目周娅2001-2003边界扫描测试结构与设计差错诊断技术研究（98JS03.3.1,DZ0501）国防科技重点实验室基金项目周娅1998-2002Web自适应区分服务研究广西自然科学基金周娅2004-2007基于Web技术构建实时交互多媒体教学平台学科软环境建设项目周娅2006-2008数字电视实验教学平台关键技术研究广西区教育厅周娅2008-2010分布式PLC系统软件自动生成研究广西区教育厅钟艳如2003-2005时间Petri网的符号OBDD调度技术研究广西应用基础专项研究古天龙2004-2007装配序列生成的符号技术研究国家自然科学基金-地区科学基金项目陈光喜2006～2008麦克斯韦方程组快速数值算法研究编号：10661005国家自然科学基金陈光喜2007-2009非线性规划约束变尺度算法的新研究及其在均衡约束优化中的应用（10501009）国家自然科学基金陈光喜2006-2008基于逻辑动画的知识可视化理论与应用广西区教育厅基金陈光喜2004-2006双密钥公开钥密码体制在电子商务应用中的研究广西区青年科学基金张向利2001-2004网络信息安全技术的研究广西教育厅科研项目张向利2003-2006基于非主动加密的信息安全系统的研究广西教育厅科研项目张向利2002-2005网络环境下数控系统数字通信方法的研究广西区自然科学基金张向利2008-2011基于Web的信息网格服务研究广西教育厅黄文明2004-2005UMLStatecharts及其时间扩展的模型检验技术研究广西青年科学基金钱俊彦古天龙2005-2008模型检测动态认知逻辑及其应用(桂科青0728090)广西科学基金项目骆翔宇2007.5—2010.5海量信息的协同性和可生存性的理论与实践研究(No.2005CB321902)国家重点基础研究发展规划项目子课题骆翔宇2005.12—2007.12系统规范表示与验证的认识逻辑途径(No.60473004)国家自然科学基金面上项目骆翔宇2005.1—2007.12几类非经典计算模型及相关问题的研究(No.60573006)国家自然科学基金面上项目骆翔宇2006.01—2008.12软件系统特征交互模型检测工具的研究与开发广西研究生教育创新计划项目骆翔宇2007.6—2010.62.科研获奖及推广项目名称获奖等级获奖时间备注桂林图书馆网络系统文化部科技进步三等奖2000广西物价收费管理系统广西区科技进步三等奖2004全广西价格主管部门使用学分制教学管理系统广西区计算机应用成果推广二等奖2004国内近二十家高校推广使用学校学费管理系统广西区计算机应用成果推广二等奖2004国内上百所高校推广使用工业窑炉计算机智能监控系统及软件研究开发广西计算机推广应用成果奖2004水电表智能抄表系统桂林市科技进步三等奖2002局域环境气象自动监测技术开发与应用桂林市科学技术进步三等奖2004城市区域卫生信息系统桂林市科学技术进步三等奖2006国防电子科研财务管理系统中国电子科技集团立项、验收2006全国各国防电子科研单位使用中国收费管理网国家发改委“发改价格[2007]259号文”确定全国统一使用2007全国上百万用户使用，运行良好广西区药品价格管理网广西区物价局、卫生厅、药监局立项、验收2007用户数约3000个3、近几年发表的主要科研论文作者论文名称出版刊物发表时间周娅DistanceLearningSystemforGraduateStudentatOverseasUniversity5thInternationalConferenceonInformationTechnologyBasedHigherEducationandTraining(EI收录)2004.05周娅AnInternationalDistanceLearningSystemBasedontheInternetandGeneralPurposeTechnology7thInternationalConferenceonInformationTechnologyBasedHigherEducationandTraining2006.07周娅ASmallWorldRoutingModelforStructuredP2PSystems2008IEEEInternationalSymposiumonInformationScience&Engineering2008.1周娅StudyandImplementationofDigitalInterfaceProtocolBasedonEthernetforNCSystem20083rdIEEEConferenceonIndustrialElectronicsandApplicationsICIEA20082008.3周娅保障运行时适应性WEB服务组合框架研究计算机系统应用2008年第3期2008.3周娅数据挖掘对信息安全的影响现代计算机2008年第3期2008.3周娅以计算思维能力培养为核心的“数据结构与算法”课程教学改革与实践计算机科学2008年第35卷11月专辑2008.11周娅“数据结构”课程建设的思考与实践桂林电子科技大学学报，200727（5）2007.10周娅《数据结构》实验教学模式的探讨广西广播电视大学学报，200718（3）2007.10周娅《数据结构》课堂教学与学生创新思维培养桂林电子工业学院学报，200626（4）2006.08周娅基于HTTP协议的移动成绩查询系统的设计与实现网络安全技术与应用2006．8周娅基于ASP技术的现代远程教育网络平台的设计与实现计算机与现代化，200520（11）2005.11周娅计算机图形学系列课程建设构想计算机科学（核心期刊），200330（5）2003.10周娅现代教育技术的一个重要方向——流媒体技术桂林电子工业学院学报，200323（2）2003.02周娅探索计算机应用类人才培养目标与模式桂林电子工业学院学报，200020（专刊）2000.10古天龙SimplestoptimalguillotinecuttingpatternsforstripsofidenticalcirclesJCombOptim2008，152008古天龙SymbolicOBDDrepresentationsformechanicalassemblysequencesComputer-AidedDesign2008，402008古天龙ThesymbolicOBDDschemeforgeneratingmechanicalassemblysequencesFormMethodsSystDes2008，332008古天龙Formula-DependentAbstractionforCTLModelChecking.ICCSA(2)20082008古天龙TestframeupdatinginCPMtestingofPrologprograms.SoftwareQualityJournal16(2):2008古天龙ANovelTestCaseGenerationMethodforPrologProgramsBasedonCallPatternsSemantics.APLAS20072007古天龙Goal-independentSemanticsforPathDependentAnalysisofPrologPrograms.TASE20072007古天龙Thesymbolicalgorithmsformaximumflowinnetworks.Computers&OR34(3)2007古天龙基于模型检验集成规划系统的机械装配序列规划计算机集成制造系统2008，14(9)2008古天龙基于符号有序二叉决策图的装配序列生成技术计算机集成制造系统2008，14(2)2008古天龙流体随机Petri网的一阶混杂Petri网模型计算机科学2008，35(1)2008古天龙模糊柔性制造系统的混杂Petri网建模与调度计算机集成制造系统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-1392007古天龙基于模糊逻辑的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张向利StudyandImplementationofDigitalInterfaceProtocolBasedonEthernetforNCSystem20083rdIEEEConferenceonIndustrialElectronicsandApplicationsICIEA20082008张向利XTR三元素等价现象的研究及改进方案计算机应用2008年第28卷第122008期张向利基于最大熵方法汉语基本短语分析计算机工程与应用200844(32)2008张向利分布式植物标本数据库的设计与实现电脑与电信2008年第8期2008张向利基于内核２.6的Linux包过滤型防火墙的设计与实理基于内核２.6的Linux包过滤型防火墙的设计与实理计算机系统应用2008年第10期2008张向利基于问题的学习及其教学策略的设计计算机教育2007．7张向利从计算机技术发展探索计算机教