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

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-2005UML Statecha...