计算机软件开发标准化工作——在型号研制中的应用

概述软件研制标准化的必要性,并结合“发动机应用软件集成环境”的研究探讨软件开发标准化工作的方法、特点和体会。     

复自治微分系统(E)的奇点量计算公式

文献[1]对(E)引入奇点量和 Lie 不变量概念,实现了实自治微分系统焦点量和鞍点量概念的统一,并得到奇点量的结构定理。文献[1]还对三次系统(E_3)找到了全部120个基本 Lie 不变量并具体计算了二次系统(E_2)和缺二次项的三次系统(E_3~((3)))的奇点量。文献[2]还计算了一类特殊三次系统(4)的奇点量。但是,对于计算(E_3)的奇点量的工作,仍有很大困难,甚至前几个奇点量也得不到,况且对(E)找到全部基本Lie 不变量亦非常困难。本文利用规范形理论讨论(E)的奇点量的计算问题,得到了计算公式。该公式对一些特殊系统可直接得到前几个奇点量。作为公式的应用及验证,我们给出(E_3)的前两个奇点量,至于 M(3)=?的问题将另文讨论。     

军民信息资源共享探讨

构建军民融合、体系完善、运转顺畅的军民一体化信息保障体系,实现军民信息资源共享,应以全面建设现代化军队为总目标,紧紧围绕军民融合式保障体系建设发展思路,全面贯彻平战结合、军民结合、寓军于民的方针,加快军地信息协调部门建设和标准规范建设,完善军地一体的信息沟通平台,在保证军事信息安全的前提下,努力提高军民信息资源广泛共享的质量。     

总体把握 全程管控 加强地方资助经费管理

近年来,我们针对地方资助经费来源渠道多、数额大、管理难等实际,加大管理力度,有效地发挥了地方资助经费在部队建设中的作用,促进了部队全面建设。近两年,支队各级共争取地方资助经费2100万元(含物资折款),顺利完成《军队基层建设纲要》规定的部队基础设施建设任务。截止今年4月份,支队本级家底积累达到510万元,33个基层中队家底积累均达到1—2个月伙食费标准。     

FIPA规范的防空导弹体系Agent建模方法

针对防空导弹体系建模的复杂性,探讨研究防空导弹体系的Agent建模方法.提出了基于G/A矩阵的Agent建模方法步骤,通过分析角色之间的关系描述了Agent组织结构,给出了角色类和Agent类的统一定义,并建立了Agent结构框架和类实现模型,最后构建了基于FIPA规范的MAS综合集成框架.该方法的提出,为防空导弹体系的进一步建模提供了方法依据.     

WindoWs NT环境下双网卡冗余备份技术

通常在WindowsNT系统中安装两块网卡,它们分别有不同的物理地址和IP地址。但在对网络通信可靠性要求高的系统中,需要对网卡进行双冗余备份,一块网卡正常工作,另一块网卡备份。当正常通信的网卡或线路出现故障时能自动地切换到备份网卡。双冗余网卡不同于双网卡,它只能有一个物理地址,一个IP地址,且某个时刻只能有一块网卡工作。本文论述了在WindowsNT系统下如何实现双网卡冗余备份技术。     

强化素质 坚持标准 狠抓军需规范化管理

实现军需规范化管理,对于提高官兵生活质量、增强部队凝聚力和战斗力具有十分重要的意义。近几年来,我们通过抓队伍、抓规范、抓管理,使军需规范化管理逐步走上了健康发展的轨道。     

滁州支队狠抓基层财务管理见成效

安徽总队滁州支队党委狠抓基层财务规范化管理,促进了基层后勤管理工作的健康发展,受到了基层官兵的欢迎。     

遏制乱开“万能”发票的行为

发票是在购销商品或者接受服务以及从事其他经营活动中,开具的收付款凭证。但社会上不少单位和个人、为了各自的经济利益,把购销收付款凭证变成随意改变其真实用途、真实内容、与实际购销商品不符的交易工具,即“万能”发票。“万能”发票这一经济领域的隐患,也渗透进了部队,助长了个别单位和人员的不廉洁行为。因此,必须加大监控力度,遏制乱开“万能”发票行为,堵塞漏洞。     

当前经费标准化供应与管理面临的矛盾与对策

矛盾分析法是我们认识问题、分析问题和解决问题的基本方法。在深化后勤规范化管理中,如何搞好经费标准化供应与管理,实现“向标准要效益”,也应该坚持从分析矛盾和解决矛盾入手。