基于单纯形法的城轨列车惰行点搜索

对电气化铁路的节能技术,解决的方案通常为优化牵引运行策略、再生制动和能量存储系统.为提高单列车区间运行牵引能源利用效率,有效的做法是合理设定区间运行时间,适当减少牵引能源消耗.惰行控制是平衡运行时间和能源消耗的一种通用方法.然而,在应用系统实际情况的约束下,确定合适的惰行点并不容易.针对城市轨道列车区间运行,介绍了基于单纯形法的搜寻合适惰行点的方法,考虑在特定运行时间下,借助于单列车仿真系统的帮助,研究这种启发式搜索法在确定惰行点方面的可行性和性能表现.     

玉米高产产量形成特征及其验证

 分析中国玉米高产田(≧15000kg/hm²)的典型特征、内在规律,提出产量突破的途径与关键技术,并进行高产验证。结果表明,35°N～44°N可作为中国玉米高产带。收获穗数是产量构成因素中影响和决定产量的首要因素,按80%置信限计算,在目前生产水平下,产量实现15000kg/hm²的理想结构模式为:种植密度70755～101250株/hm²,穗数7.01×10⁴～10.09×10⁴穗/hm²,穗粒数453～642粒,千粒重323.0～414.9g,单穗粒重162.5～236.2g;高产田单株生产力以穗粒重200g左右的中穗型为主。选择耐密植、中晚熟品种,增密种植,保障水肥供应,精细管理,适时晚收,创建一个高质量群体,增加花后物质生产量和转移率,充分挖掘当地光热资源是当前中国玉米高产突破的主要途径。     

基于疲劳强度分布的复合材料疲劳验证载荷放大系数

传统的载荷放大系数(LFE)法是在复合材料静强度和疲劳寿命的Weibull分布基础上推导得出的。为了保证复合材料疲劳试验验证的可靠性和疲劳载荷放大系数的分散性较小,利用疲劳可靠性理论,提出一种基于复合材料疲劳强度和疲劳寿命Weibull分布的载荷系数法——疲劳强度载荷放大系数(FLEF)法。将LEF和FLEF方法应用于疲劳试验数据分析,结果表明:在无批量数据的前提下,采用LEF法获得的疲劳载荷放大系数无法保证复合材料疲劳试验验证的可靠性,FLEF法确定的载荷系数具有更小的分散性,更高的可靠性。可见,与LEF法相比,FLEF法在理论和实践上更适合复合材料疲劳试验载荷放大系数的确定。     

在线签名认证的数据采集系统设计

在线动态签名认证由于其安全性和方便性,广泛适用于银行金融系统以及个人身份识别等.作为在线签名笔迹的数据采集,对后续认证的准确性显得尤为重要.利用STM32F103C8、触摸屏、触摸屏控制器TSC2046和SD卡,实现了对在线笔迹包括压力在内的3维数据采集以及存储.实验结果表明,设计的在线签名数据采集系统精度高,稳定可靠,抗干扰能力强,具有很好的认证效果.     

C4ISR系统能力需求行为建模及验证

针对C⁴ISR系统需求分析行为建模中,统一建模语言（unified modeling language, UML)的行为模型验证困难问题,提出了一种C⁴ISR系统能力需求行为建模及验证方法。从构建C⁴ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。     

多Agent运行环境的软件框架与数据机制研究

根据面向Agent的软件开发方法,分析了Agent基本特性和基于多Agent的仿真软件运行机制。设计出包括数据管理、时间管理、日志服务、兴趣管理和调度管理等功能在内的多Agent运行环境（Multi-Agent Runtime Environment）。对运行环境的数据机制进行了深入研究,通过阐述数据存储机制,提出环境节点的多叉树结构,通过并行编程实现环境内部、环境之间的数据传输,解决了多Agent运行环境的核心数据问题。测试表明这种数据机制能够可靠保证Agent间的实时通信,实时性完全满足训练仿真软件的需要。     

车辆自主决策安全性验证方法

针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,基于形式化的可达性方法分析车辆自主决策行为状态的可行性,并给出车辆自主决策的行为状态完备性集合。采用有向凸多面体算法对自主车辆非线性混合系统进行保守线性化处理,再利用迭代原理和Zonotope近似方法计算可达集。变道避碰的仿真实验表明,在初始状态集和传感器噪声边界条件下,自主车辆位置可达集和速度可达集给出了高置信水平的安全保证。     

航天嵌入式软件运行时错误静态分析方法

提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.      

基于web的高校毕业资格审核系统设计与实现

系统以Visual studio2008为开发工具,采用SQL Server 2000数据库、B/S架构,实现了高校毕业资格审核过程中不同单位之间的数据流通,节省人力、提高毕业资格审核速度与效率。     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.