皮卫星电源系统的设计与仿真

为了满足皮卫星微小型化的要求,提出了一种新型卫星电源系统的设计方案.太阳电池阵 蓄电池组系统采用目前国内效率最高的三结砷化镓太阳电池阵和比容量最高的锂离子蓄电池,电源分配和变换广泛使用超低功耗工业级集成化器件,并且采用合理的筛选和测试手段保证系统可靠性.通过对太阳电池阵、蓄电池充放电和卫星负载进行建模,结合电源系统在轨运行的条件,仿真了卫星实时的能量状态,计算了在故障条件下电源系统的响应,以蓄电池容量变化作为能量平衡的判断依据.各种环境测试结果表明电源系统有效可靠,能量平衡仿真结果表明浙大皮卫星的能量策略不仅满足在轨运行条件,而且具有较强的抗故障能力.     

基于ASP.NET的考试成绩管理系统设计与实现

传统的人工方式管理成绩,效率低、保密性差、查询统计困难,目前大多数考试成绩管理系统又不能满足军队院校对成绩管理的需求.根据军队任职教育院校成绩管理特点,建立数据模型,采用B/S模式,通过ASP.NET2.0技术基于三层架构设计开发学员考试成绩管理系统,实现了权限管理、数据维护、数据审核、查询统计、导出打印功能.     

基于SPIN内核的SDL模型检验工具设计

规格描述语言SDL目前广泛应用于复杂通信协议和软件系统的建模。使用模型检验技术对SDL进行分析和验证可以检测出模型中的逻辑错误,大大提高SDL建模结果的精确性。论文研究了SDL的形式化语义SDL/PR中常用部分与模型检验工具SPIN的输入语言Promela之间的语义映射规则,并以此为基础开发了一个基于SPIN内核的SDL模型检验器SSMC Tool。     

软件缺陷估计中捕获再捕获方法的改进

捕获－再捕获是一种用于估计评审后软件产品中剩余缺陷的常用方法。由于其估计器普遍存在低估的问题,提出了两种基于历史数据的缺陷估计改进方案,在基于两篇文献的部分数据进行虚拟评审后,对比了改进前后估计器的缺陷估计效果,并确定了两种改进方案的适用范围。     

面向皮卫星的地球磁场测量系统设计

针对姿态控制采取主动磁控方式的皮卫星,介绍了一种适用于皮卫星姿控系统的地球磁场测量系统设计方法。提出了在极端环境中保持系统最佳性能的方案,同时讨论了基于PauTa准则和L~*MAD准则的滤波优化效果,并给出缓解实时性和灵敏度之间矛盾的途径及两种测量磁场的方法即直接测量法和偏置电流带法。实测数据表明,测量结果与标准磁场线性吻合,能够测量毫高斯量级的磁场。整个系统功耗较低、体积小、精度高,不仅能在皮卫星中应用,亦可在手持式电子罗盘、导弹惯性导航等众多场合使用,具有良好的工程应用前景。     

基于B／S的考试成绩管理系统设计与实现及数据分析

根据军队任职教育院校成绩管理特点,建立数据模型,采用B／S模式,通过ASP．NET2．0技术基于三层架构设计开发学员考试成绩管理系统,实现了权限管理、数据维护、数据审核、查询统计、导出打印功能,并应用数据挖掘技术实现对成绩数据的分析,极大提高了工作效率,为管理部门决策提供依据,从而提高教学质量。     

大视场数字式太阳敏感器设计

提出了一种新型的大视场数字式太阳敏感器设计方法,其光学系统由全景环形光学镜头和滤光膜组成.该敏感器具有视场大、结构简单及功耗低的特点.从工作原理出发,建立了该敏感器模型,并利用搭建的实验平台,对敏感器进行精度标定.设计中,采用非线性最小均方最优解来确定模型中的参数.对测量误差进行分析,消除系统误差后,敏感器的测量精度由...     

一种因人施教的CAI模式设计

介绍一种智能化ＣＡＩ模式的设计与实现，它可根据学习者的实际情况提供个人的学习计划。     

物流配送管理系统设计与实现

介绍一个物流配送管理系统作为电子商务的配套软件，旨在探讨电子商务领域，物流配送管理系统的设计与实现。     

复杂软件第三方自适应测试研究

复杂软件的第三方测试面临诸多问题,比如软件失效的过程复杂并具有不确定性、测试人员难以选择有代表性的测试用例、测试的时间和资源非常有限、测试效率比较低。结合软件工程实际,根据软件失效的关联特征,将测试过程抽象为节点序列的执行过程,从两个层次提出了一种面向测试用例相似性度量的复杂软件第三方自适应测试方法,并在实际测试项目中进行了应用。