论航天系统中软件可靠性工程

本文从工程应用角度讨论计算机软件可靠性问题,讨论了航天系统中有关软件可靠性的问题,并提出三点建议:(1)亟需加强航天软件可靠性技术应用研究;(2)软件可靠性工程研究的基本内容;(3)当前工作的几点原则。     

GPS技术开发应用概况和展望

全球定位系统GPS是美国继阿波罗登月飞船和航天飞机之后第三大航天工程。它的建成将对现代科学技术尤其是航天技术各领域产生深远影响。本文全面论述GPS的现状和展望它的未来,包括:(1)GPS现状、计划和美国政府的政策;(2)GPS定位、授时原理和误差概述;(3)GPS用户接收机研制、生产和市场概况;(4)国内外航天领域GPS定位技术开发应用概况;(5)国内外航天领域GPS授时技术开发应用概况;(6)展望未来GPS技术和我们可以采取的对策。文末附录扼要地介绍了苏联全球导航卫星系统(GLONASS)概况。     

极点配置

本章分述三个主要问题:(1)系统设计中极点-零点配置的使用——它们对动态响应的影响;(2)使用根轨迹法和状态反馈或输出反馈控制器设计单输入单输出系统;(3)用输出反馈控制器(固定控制器、动态控制器和比例 积分控制器)在多变量系统中实现极点配置。在(3)中主要介绍最简单的单位秩控制器及极点配置,对于无约束秩控制器以及零点配置问题也将作某些解释。     

一类逻辑环随机模型的队列与站点状态转移

借助随机服务系统理论,探讨带有优先队列逻辑环随机模型的状态转移有关问题,主要内容有：(1)阐述系统和站点队列排队服务模型及特点;(2)描绘队列状态转移图,提出队列状态零转移和非零转移问题;(3)给出判断队列状态转移性质的条件;(4)导出队列和站点(双队列)状态转移概率算法;(5)引出队列和站点的无条件零转移概念。通过相关数学表达式和典型事例等,表征该系统队列和站点所具有的状态转移特性。     

计算机辅助危机管理

国际危机事件的频繁发生和日益复杂提出了用计算机辅助危机管理的需求。本文讨论与此有关的三个问题:(1)计算机辅助危机管理的必要性;(2)基于计算机的危机管理支持系统;(3)人工智能技术的应用前景。     

容量有限非门限方式的逻辑环网建模与分析

讨论了具有以下特征的逻辑环通信网(1)系统队列容量有限;(2)采用非门限服务方式;(3)服务数上额受限。阐述了该系统站点队列结构和运行特点,说明了其状态转移特征;提出了非门限方式中存在的步转移特殊问题;给出了此类系统有关工作特征参数的算法或近似算法,利用计算机进行运算,给出了在忽略溢出损失率时,容量和站点数不同时的部分参数的特征曲线。     

聚焦雷达"热点"--参加2003年国际雷达会议后感

20 0 3年国际雷达会议于 2 0 0 3年 9月 3～ 5日在澳大利亚南部阿特莱德市 (Adelaide)如期举行。参加会议代表 30 0余人 ,共发表 10 0多篇文章 ,有 3篇大会特邀报告 ,报告分布于 2 3个分报告会中进行。分报告会 (session)并不像以往分为雷达系统、雷达目标、传播、信号处理等传统分类 ,而是关注于现代雷达的“热点” ,展望雷达的发展与变革。这些“热点”问题可归纳为 (1)双 /多基地雷达 ;(2 )宽带雷达 ;(3)合成孔径雷达 /逆合成孔径雷达 ;(4)天波 /地波高频雷达。1　双 /多基地雷达大会开幕式后的第一篇大会特邀报告是 :“从不同观点展望…     

“三农”强则国强:实施乡村振兴战略的系统思考

实施乡村振兴战略,是全面建设社会主义现代化国家的必然选择,也是新时代解决"三农"问题的重大战略决策。因此,要按照"产业兴旺、生态宜居、乡风文明、治理有效、生活富裕"的总要求,系统推进农业农村的现代化。(1)要明确实施乡村振兴战略,是新时代做好三农工作的总抓手;(2)要从粗放经营到集约发展,探寻农业转型的新路径;(3)要从单向突进到综合破题,激发农村发展的新活力;(4)要从内部发力到内外联动,建设美丽宜居的新农村。     

基于上游知识共享的创意产业链创意外包契约

考虑知识共享对创意产业链价值生成的推动作用,研究创意产业链上下游创意外包问题。设计创意产品生产商和创意团队间签订的创意外包最优激励契约,旨在激励创意团队积极进行原始创新和知识共享,并引入了二维相对业绩控制风险。分析相关参数对创意团队在两任务中最优投入和风险分担的影响,发现由于某些影响因素过高而导致的激励失衡问题,并提出管理建议。研究表明:(1)任一维度相对业绩的调节系数仅与该维度业绩的协方差和方差相关;(2)创意团队知识共享高转化率可提升其对知识共享的投入和激励水平,并削弱原始创新的激励水平;(3)知识共享相对业绩方差递增、协方差递减和风险增加可减弱该任务激励,并促使创意团队投入转移至原始创新;(4)任务关联性的改变可使创意团队投入发生转移,系数的增减决定转移方向。     

基于HLA的鱼雷武器性能仿真系统及其VV&A研究

讨论了高层体系结构(HLA)技术应用于鱼雷武器性能仿真的需求和关键技术以及该仿真系统的VV&A:(1)建立精确的武器系统仿真模型;(2)解决实时性问题;(3)建立有效的VV&A技术保障。在基于HLA的鱼雷武器性能仿真系统的FEDEP开发过程中利用Labworks工具集辅助进行FOM/SOM校核、互操作性校核以及联邦测试等VV&A过程,采用主观判断分析、软件测试和频谱分析等方法对鱼雷控制系统模型、弹道模型和自导系统模型进行了校核与验证,提高了HLA仿真试验结果的可信度。     

给定数量线圈的网络布局优化方法

针对交通网络中数量给定的线圈布局优化问题,提出了一种图论算法。新算法充分利用网络支撑树的拓扑特征,并通过对网络路段赋权,使得相继添加新路段后形成的网络回路对路段流量的推断影响最小,从而优化了定量线圈的布局。新方法具有如下特点:(1)避免了常用代数方法繁复的数学分析过程,降低了运算量;(2)揭示了未安装线圈路段的树状网络拓扑特征;(3)利用支撑树多样性的优势,可为交通管理和施工部门提供多种优化布局方案。通过算例验证了新方法的有效性。     

周期性的多趟可分任务调度算法研究

基于可分任务理论,研究大规模计算中的应用调度问题。利用线性规划得到了周期性的多趟调度算法的数学模型。针对同构计算平台进行参数优化,得到如下解析结果:(1)在处理机选定的情况下得到优化的调度趟数;(2)在趟数给定的情况下得到优化的处理机选择方法;(3)对于给定的任务,得到优化的处理机选择方法和相应的趟数。仿真结果表明所得结果的正确性。     

数据处理组合法(GMDH)——回顾与经验

文章回顾苏联伊凡年科和他的同事们提出的数据处理组合法的基本概念。这种方法的优点是;(1)它可以确定非线性系统的结构;(2)这种方法把拟合数据与校核数据分开,从而避免了过拟合的毛病;(3)进行模型验证时,这种方法可采用多判据目标函数。 本文评论分析了上述优点以及GMDH的另外一些特点(诸如多项式网络和分层法概念),并与非线性系统辨识所用的其它方法进行了比较,还列出了这种方法在工业和环境建模问题方面应用的实例。     

有效的符号网络函数生成程序SFGEX

本文介绍符号网络函数生成程序SFGEX的设计和实际运用。该程序依据网络拓展理论的“模型法”来构造,其特点是(1)占内存小,在小型机和微型机上能处理中等规模的电路;(2)运算量很省;(3)能灵活地给出局部子网络的结果而不增加运算量;(4)允许数学宏模输入;(5)程序容易扩充。文中给出了在DJS-6机上计算的例子。其中一个例子,在文献[2]中K.Singhal和J.Vlach认为其规模接近于符号应用有意义的极限。由于本程序在主要方面都具有超过现有其它方法的优点,因此是一个值得向电路设计人员和研究人员推荐的程序。     

基于多目标进化算法的高维模糊分类系统的设计

提出一种可同时构造多个精确性和解释性较好折中的高维模糊分类系统的设计方法。该方法由以下三步组成:(1)利用Simba算法进行特征变量选择;(2)采用模糊聚类算法辨识初始的模糊模型;(3)利用匹茨堡型实数编码的多目标遗传算法对初始模糊模型的结构和参数进行学习。基于NSGA-Ⅱ算法的目标函数同时考虑模型的精确性和解释性;为提高模型的解释性,在多目标进化算法中利用基于相似性的模型简化方法对模型进行约简。利用该方法对Wine等问题进行分类,仿真结果验证了方法的有效性。     

仿真与战略防御倡议计划

仿真可以包括:(1)战争对局】(2)武器交战分析;(3)系统仿真;(4)技术仿真;以及众所周知的仿真在训练和演习中的应用。对于战略防御倡议计划(SDI)来说,仿真提出了四大挑战:首先,设想的防御体制中所需使用的系统大多数还有待于确定和产生,因此它们还没有达到全尺寸试验的状     

中国系统工程学会社会经济系统工程专业委员会第九届年会征文通知

中国系统工程学会社会经济系统工程专业委员会第九届年会将于2006年8月在新疆大学经济与管理学院召开(具体日期及其他事项再作通知),会期6天,会议注册费700元.会议的主题为”科学发展观与西部大开发”.年会的主要征文范围包括:(1)社会经济系统分析的理论、方法及应用;(2)社会经济系统分析与科学发展观的关系;(3)西部开发的产业调整与科学发展观;(4)西部开发的资源利用与科学发展观;(5)区域合作与协调发展;(6)区域经济发展与环境协调发展;(7)新疆发展战略与科学发展观;(8)其他.欢迎对以上议题感兴趣的会员和专家、学者踊跃投稿,也特别欢迎年…     

异速标度设施优化模型在东莞市基础设施布局中的应用和启示

异速标度律揭示了城市系统中规模扩张与资源增长之间的关系,基于异速标度律发展的设施优化模型则指出了不同类型设施在标度指数上的本质差异。本文采用异速标度设施优化模型分析东莞市人口与设施分布之间的关系,揭示中国镇域范围下商业设施和公共设施的布局规律,探讨异速标度理论在中国城镇发展实践中应用上的特殊性问题。研究结果显示:(1)东莞市基础设施布局符合设施优化模型的基本逻辑和结论;(2)现有的商业设施和公共设施分别基于常住人口密度和户籍人口密度规划布局,这一结论在中国具有一定的实践意义;(3)从标度指数来看,一些设施并不能被简单地归类为商业设施或公共设施,中国的市场化改革造就了一些兼具公益和盈利双重属性的中间设施;(4)东莞市公办中学、公办小学等公共设施的布局有待进一步优化。     

基于时空分析模型的城市房地产政策区域扩散效应

以全国7个行政区域的114个城市为样本,分别选取不同区域的7个主导城市作为政策受力点进行政策冲击的区域扩散实验。研究以时空扩散模型和事件分析法为基础,模拟主导城市的重要房地产政策的冲击作用在本区域的扩散效应,最后提出有针对性的政策策略。研究结果表明:(1)东北区域政策作用力主要向北部城市扩散,应该以刺激性消费政策为主;(2)西北区域扩散范围不大,应慎用限购政策;(3)西南区域扩散范围主要集中在三个城市,房产税政策扩散效果明显;(4)京津冀地区受北京政策的影响并不大;(5)华中地区政策扩散范围较广,公积金类政策扩散性最强,但应慎用限购政策;(6)华东地区政策影响幅度明显,但扩散范围较小,限购类政策扩散最强;(7)华南地区政策影响的地理范围较广,但幅度不大,限购类政策最有效。     

极小化加权总完工时间的同时加工排序问题

讨论了平行机串联工件同时加工排序问题。目标函数是极小化加权总完工时间,并假设满足每批均含有k个工件,并且每批的加工时间为该批中所有工件的加工时间之和。对平行机的情况,该问题是强NP难的。本文主要针对该问题的两种特殊情况:(1)所有工件的权相等;(2)所有工件的加工时间相等,分别给出了最优算法,分析了算法的时间复杂性,同时用数值例子作了说明。