MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

化学问题解决的“信息加工”策略

本文借鉴现代认知心理学的某些观点，结合例证阐述了复杂化学问题解决的“信息加工”策略：信息简约、信息类比、信息引伸、信息转换、信息评价等等．     

基于F-B函数的牛顿法解一般约束优化规划问题

文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效.     

Methodological foundations of systems methodologies

In social systems science generally, and in management science particularly, recent developments in the variety of types of specific problem-solving methodologies (under the rubric of hard and soft systems approaches) have given an impetus to a line of inquiry, as well as debate on the nature of those methodologies. On the one hand, there has been the view that what we are witnessing is a form of Kuhnian crisis. On the other hand, a complementarist view of developments has been argued and a contingency approach proposed. But one thing has been common among the competing views: a belief that the prospects for further advances in the design and application of those methodologies, and in resolving the current controversies, lie in serious attempts to reconsider and clarify the underlying metatheoretical assumptions and concerns. This paper is an attempt to contribute to such an endeavor. A brief exposition of three methodological foundations (namely, empiricism, hermeneutics, and critique) is made, not only with the purpose of highlighting the nature as well as the limits of their epistemological and ethical claims, but also as a basis for illuminating both the nature of contemporary work on systems inquiry, design, and problem solving and the ongoing debate on what constitutes appropriate criteria for choice of specific methodologies.     

面向时间敏感网络的安全感知调度方法

时间敏感网络（TSN）中信息的真实性是系统的关键安全要素,然而直接引入传统安全认证机制会导致系统可调度性和实时性大幅降低。现有的方法仍存在适用场景少、资源消耗高等问题。针对这些问题,文中提出了一种面向TSN的安全感知调度方法。首先基于TSN流量特性设计了一种时间有效的一次性签名安全机制,为消息提供高效的组播源认证;然后提出相应的安全模型对该机制进行评估,描述安全机制对任务和流量的影响;最后对提出的安全感知调度方法进行数学建模,在传统调度约束的基础上,增加了安全机制相关的约束,同时以最小化应用端到端时延为优化目标,使用约束规划进行求解。仿真实验结果表明：改进的一次性签名机制的引入可以有效保护TSN中关键信息的真实性,且对调度的影响有限;在多个基于真实工业场景生成的不同规模测试用例中,产生的应用端到端时延平均仅增加13.3%,带宽消耗平均仅增加5.8%;与其他同类型方法相比,文中方法的带宽消耗更低,更加适用于有严格带宽限制的TSN。     

解决我国城市生活垃圾问题的出路

对目前国内垃圾主要处理方法进行了评价,认为要从根本上解决我国城市生活垃圾问题必须建立健全垃圾减量与处理的双重机制。提出了“清洁生活”的概念,指出了城市生活垃圾的减量要建立在“清洁生活”战略指导思想的基础上;建立城市生活垃圾多级、低熵分选处理体系是符合我国国情的有效处理垃圾的最佳选择。     

二、三、四、五阶常系数线性微分方程解法公式与计算机求解

推导出二、三、四、五阶常系数线性微分方程的解（即函数关系）的一般表达式,并分别用Ｂａｓｉｃ语言和Ｐａｓｃａｌ语言编制出使用计算机求解的应用软件。该软件实际运行的结果证明,这种求解方法比任何一本《高等数学》教材介绍的通常的求解方法要简单得多、运算速度要快得多,因而具有很大的现实意义。     

双层优化交通模型及其算法

提出了一个用于交通工程实践的考虑用户路径选择行为的两层数学规划模型.该模型可以应用在交通网络 设计、道路收费、交通信号灯配时等方面.分析了两层规划模型的特性和求解难点所在.并提出了一种基于路段变 量的连续可导的边际函数和距离函数,从而把两层规划转化成单层规划问题.通过把距离函数罚到目标函数上,转 化后的单层规划问题可以方便求解.