YH-2C语言优化编译器的设计

Ｃ语言优化编译器是借助于微机上的Ｉｎｔｅｌ８０３８６Ｃ语言编译器为研制平台，采用交叉编译的方法设计实现的，它是我国自行设计的第一个从底层开发实现的巨型机Ｃ语言编译器。本文首先给出了ＹＨ－２Ｃ语言优化编译器的设计原理，然后详细介绍了其主要系统组成和技术特点，最后指出了我们以后进一步要做的工作     

基于Pythagorean模糊语言集多属性群决策方法

为了解决直觉语言集不能够处理隶属于与非隶属于语言值的程度之和大于1的情况,提出了Pythagorean模糊语言集。针对Pythagorean模糊语言信息的集成问题,定义了Pythagorean模糊语言数的运算法则及其得分函数、精确函数,提出了Pythagorean模糊语言加权平均（PFLWA）算子、Pythagorean模糊语言有序加权平均（PFLOWA）算子、Pythagorean模糊语言混合平均（PFLHA）算子,并讨论了相应的性质。然后基于组合权重的PFLWA算子与拓展的TOPSIS,提出了两种多属性群决策方法。最后通过实例验证了该方法的有效性。     

一种用于静态分析的规约语言设计与实现

介绍一种用于程序静态分析检测的规约语言的设计与实现，对该语言的理论基础、要素、语法等进行了详细阐述，并通过对实验结果的对比分析，证明该语言的可靠性和实用性。     

无线局域网中的网络优化研究

近年来基于IEEE802．11标准系列的无线局域网技术发展速度迅猛。但随着接入点AP(Access Point)数目的不断增多，AP之间距离的不断减小，同频段的干扰问题将会严重影响到无线局域网的总容量。该通过对无线局域网的网络应用和特点的分析，介绍了如何在实际局域网中实现自动网络资源优化的。     

浅谈C语言编程方法优化与应用

伴随着科技的发展,计算机成为生活中必不可少的一个重要工具。C语言作为一种计算机程序设计语言,具备了汇编语言与高级语言的综合优点,在计算机工作者中得到了广泛关注和普遍认可。因此,C语言的编程显得尤为重要。本文将结合理论与实践着重对C语言编程在设计的整个过程中进行优化的方法进行分析和总结。旨在将C语言的优势得到充分的发挥,将可读性和运行效率提高。     

多目标优化非支配集构造方法的研究进展

多目标优化非支配集的构造是多目标进化算法研究领域的一个重要步骤,旨在研究用多目标进化算法解决多目标优化问题的效率。对多目标优化问题进行了描述并且给出了求解算法的一般框架,结合研究现状讨论了目前该领域几种主要的基于Pareto非支配集的构造算法,以及它们的计算时间复杂度;总结并展望了该领域未来的发展趋势。     

群AHP模糊综合评估方法研究及在DSS中的应用

目前在众多领域中迫切需求具有可操作性的科学决策方法.本文将群AHP与模糊综合评估方法有机结合,研制出多目标辅助优选模型,并开发出药学类科研项目决策支持系统（DSS）.此系统可辅助决策机构为了相应的目标评估、择优科研项目.在对样本的实际操作过程中取得了满意的效果.     

面向Agent的分析设计方法在大型系统研究开发中的应用

本文通过对Agent模型及多Agent系统体系结构 的研究,分析了面向Agent的分析设计方法的特点,总结了面向Agent的分析设计方法在大型 工程系统研究与开发中的主要应用,包括在先进制造领域的应用系统设计、机器人的协作控 制以及在INTERNET上的应用,指出了面向Agent的分析设计方法的意义．     

一种中文数据库查询语言的优化处理方法

本文介绍一种中文数据库查询语言的优化处理方法。该方法能将用户输入的查询条件自动分解成ＳＱＬ语言中条件子句ＷＨＥＲＥ和分类条件子句ＨＡＶＩＮＧ，以提高查询效率。     

面向对象的设计方法及有关语言的讨论

本文讨论了面向对象的软件设计方法,并分析了几种典型的面向对象的程序设计语言。面向对象的软件设计方法能使问题空间中的问题自然对应到解空间中的软件,由此能够提高软件的生产率和易维护性。面向对象的程序设计语言是面向对象软件的描述工具,它们通常具有如下特点:(1)信息隐蔽;(2)数据抽象;(3)动态结合;(4)继承。     

Petri网的一类禁止状态问题的混合型监控器算法设计

针对广义互斥约束下Petri网的不可控影响子网为状态机的一类禁止状态问题,给出了观测器的设计方法,并基于观测器得到了求解最大允许控制策略的算法.利用观测器将广义互斥约束简化为单禁止库所约束,并将存在不可控变迁的问题简化为相当于变迁全部可控的问题,这有效地解决了不可控变迁带来的计算复杂性问题.最后,利用一个地铁交通调度示例验证和说明该监控器设计方法.     

Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed.     

一类连续时间广义边值系统的能控性和能观性

连续时间广义边值系统被描述为Ｅｘ（ｔ）＝Ａｘ（ｔ）＋Ｂｕ（ｔ），Ｖ０ｘ（０）＋Ｖｒｘ（Ｔ）＝ｖ，其中Ｅ是奇异方阵，ｕ（ｔ）满足任意次可微，本文讨论了一类连续时间广义边值系统的有关向内和向外边值过程的两个重要概念，并在此基础上给出了能控性和能观性定义和判别准则．     

An improved (G′/G)-expansion method for solving nonlinear evolution equations

An improved (G′/G)-expansion method is proposed to seek more general travelling wave solutions of nonlinear evolution equations. We choose the Zakharov–Kuznetsov–BBM (Benjamin–Bona–Mahony) equation and the (2+1)-dimensional dispersive long wave equations to illustrate the validity and advantages of the proposed method. As a result, many exact travelling wave solutions are obtained, which include soliton, hyperbolic function, trigonometric function and rational, solutions.     

An Ontology for G2G Collaboration in Public Policy Making,Implementation and Evaluation

This paper concerns the development and use of ontologies for electronically supporting and structuring the highest-level function of government: the design, implementation and evaluation of public policies for the big and complex problems that modern societies face. This critical government function usually necessitates extensive interaction and collaboration among many heterogeneous government organizations (G2G collaboration) with different backgrounds, mentalities, values, interests and expectations, so it can greatly benefit from the use of ontologies. In this direction initially an ontology of public policy making, implementation and evaluation is described, which has been developed as part of the project ICTE-PAN of the Information Society Technologies (IST) Programme of the European Commission, based on sound theoretical foundations mainly from the public policy analysis domain and contributions of experts from the public administrations of four European Union countries (Denmark, Germany, Greece and Italy). It is a ‘horizontal’ ontology that can be used for electronically supporting and structuring the whole lifecycle of a public policy in any vertical (thematic) area of government activity; it can also be combined with ‘vertical’ ontologies of the specific vertical (thematic) area of government activity we are dealing with. In this paper is also described the use of this ontology for electronically supporting and structuring the collaborative public policy making, implementation and evaluation through ‘structured electronic forums’, ‘extended workflows’, ‘public policy stages with specific sub-ontologies’, etc., and also for the semantic annotation, organization, indexing and integration of the contributions of the participants of these forums, which enable the development of advanced semantic web capabilities in this area.     

G(Galam)模型在网络舆情演化中的应用

网络舆情的互动性、多元性、衍生性等特点,使得对网络舆情演化的分析相当复杂。首先,剖析网络舆情的来源、内容、传播和影响的特征,进而引入G (Galam)模型,并将其运用于网络舆情演化过程的研究中。通过实验分析,得出网络舆情的演化最终极化方向存在一定的规律性和可控性。通过干预公众个体间的交流和影响公众的公共偏好,可以引导网络舆情的最终演化方向。     

一类执行器幅值与速率受限的线性系统静态抗饱和综合

讨论一类线性约束系统的静态抗饱和综合问题, 将执行器动力学特性引入增广系统, 从而化原系统为仅有幅值饱和的高阶增广系统. 提出基于线性矩阵不等式(LMI)的优化算法, 求得的静态抗饱和增益同时保证闭环系统的局部稳定性与最小化的L2增益. 仿真算例验证了方法的有效性.     

高速铁路3G通信的覆盖与切换技术综述

针对高速铁路环境特点及其对移动通信网络的影响进行了综合探讨,重点分析了国内三大主流3G通信标准的技术特点及其在高速铁路通信系统建设方面所遇到的无线网络覆盖和快速切换关键技术问题,归纳总结了我国各主要高速列车部署3G通信网络的车体损耗、最小切换区和建网策略等优化方案,同时展望了高速铁路无线通信技术的发展趋势,长期演进(LTE)为高速铁路的高速率、大流量应用服务的承载提供了技术上的可行性,我国需要大力加强TD-LTE在高速铁路环境下的无线移动通信传输性能的改进优化研究。     

LMI Condition of Quadratic D-stability for a Class of Uncertain Linear Systems

A necessary and sufficient condition of the quadratic D-stability for a class of uncertain linear systems is presented in terms of linear matrix inequality (LMI) technology.Finally,the validity and less conservatism of the obtained results in this paper are illustrated by a benchmark example.     

一类时变时滞中立微分方程的时滞相关稳定性判据

针对一类时变时滞中立型微分方程,利用Lyapunov--Krasovskii泛函方法,并结合线性矩阵不等式技巧,给出系统基于线性矩阵不等式（LMI）的全局渐近稳定的时滞相关充分条件,并通过算例与现有准则相比,本文所给条件是有效的具有较小的保守性。