C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。     

直接藕合多种语言编程模块的MTS的设计与实现

以通用菜单工具作为应用软件系统的用户界面、多种语言编程模块的藕合接口已成为一种趋势。本文提出一种可在操作系统和foxBASE环境下组合(或嵌入)运行的、支持DBMS授权扩充机制、实现多种语言混合编程模块直接藕合的通用菜单工具(MTS)。同时,又对MTS中的菜单对象、授权,菜单文件的数据结构、菜单驱动(维护)模块设计和基于批处理文件的模块藕合方法进行了讨论。     

软件开发自动化

软件开发到底是一个什么过程?这个过程中的哪些工作能自动化?这是软件开发自动化的两个核心问题。本文以这两个问题为中心来展开讨论,试图提出一些见解以改进过去的研究工作。值得指出的是;基于这里的思想,我们已经实现了一个用于开发Ada 软件的支持系统。实验表明:在该系统的支持下,开发者能以最少的干预半自动地实现从问题的自然语言描述到程序包规范的转换。     

COFF 文件装载机制的研究

结合通用的ＣＯＦＦ目标文件格式,研究了系统加速板执行文件的加载及运行控制机制,阐述了加载ＣＯＦＦ文件的思路和实现方法。文中还设计了能有效提高系统效率的文件预装载机制,讨论了这一机制的原理和具体实现。     

干扰信号的软件处理方法

在测量过程中,干扰信号直接影响测量精度。本文讨论三种干扰信号分别造成的系统误差、随机误差以及粗大误差的软件处理方法,并给出了相应算法和处理流程。     

Revisiting the Naga conflict: what can India do to resolve this conflict?

Soon after India attained its independence from British colonial administration in 1947 the Nagas started waging an armed conflict against India to establish a sovereign independent state in Nagaland in the country's Northeast region. The conflict is today one of the world's longer running and little known armed conflicts. India's central government has tried unsuccessfully to tackle the problem through political reconciliation, use of force, and several development measures. Over the years, it has also undergone several changes in which the situation of conflict deepened whenever India's central government intervened. And yet, the road ahead also faces severe challenges because the demand for bringing the Nagas of India together into a single political entity will not go unchallenged from other ethnic groups. Moreover, a bitter leadership battle divides the Naga rebels and hence any future agreement is likely to be difficult due to factional politics as have happened in the past. Thus one way to satisfy the aspirations of different ethnic groups while protecting the boundaries of the existing states in India is to explore the option of cultural autonomy. This idea is not entirely new, but has lost significance over the years.     

基于社会主义核心价值体系建设的文化哲学思考

每一种文化都有其独特的价值体系,文化的各个层面都受到价值体系的内在制约,价值体系在文化中处于核心地位.当前我们以社会主义核心价值体系引领思想文化建设,体现了我们党在全面推进中国特色社会主义伟大事业进程中高度的文化自觉.社会主义核心价值体系建设增强了民族认同,提升了文化软实力,凸显了文化传承与创新,促进了文化整合.     

高职软件技术专业顶岗实习研究与实践

顶岗实习是职业教育人才培养模式的重要组成部分,是职业院校人才培养的一个重要阶段。我国目前高职软件技术专业学生顶岗实习时间延长了,但质量不高。借鉴加拿大高职教育顶岗实习模式的特点,结合目前软件行业的特点,软件技术专业高职顶岗实习可以在时间安排上做出调整,实行订单式顶岗实习模式。     

一种基于任务-系统结构的软件可靠性建模方法

针对军用软件特点,提出并定义一种基于任务剖面的软件系统结构准则;基于该准则,给出一种从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法。与侧重于数学建模的相关工作不同,该方法更注重在建模中融合软件可靠性设计、测试和管理,成为可靠性保证的一种途径。     

基于GQM的装备软件可靠性参数选取方法

针对装备软件无可靠性定量要求以及开发过程缺少监管的问题,提出基于GQM(Goal-Question-Metric)的装备软件可靠性参数选取方法。首先构建了软件可靠性通用参数集和装备软件可靠性特有参数集,然后按照GQM方法的框架,从不同角度出发,制定装备软件可靠性度量目标,列出为实现目标需要回答的一系列问题,进而以回答问题的方式,确定不同情况下适用的软件可靠性参数,最终建立装备软件可靠性参数体系。