交通语言系统结构

用语言的规则性来比拟交通管制信息和出行相关信息系统的规则性。交通语言系统是交通管理者与出行者（设施使用者）之间进行信息交换的工具，是以文字、符号、颜色等为基础的符号体系和规则体系的集合，用于将交通管理者管理意图和出行信息等转化为直接面向出行者的交通信息，也能将这些信息反向的转化为人们可以理解的信息。文章首先给出了交通语言的定义，分析了交通语言的特点、功能和基本语素，进而建立了交通语言系统的框架结构体系，提出了系统的元素集和规则集，并将交通语言系统进行了初步的层次划分。     

面向服务的航天发射场信息化基础框架

为提高航天发射场试验任务能力,需研究航天发射场各类信息化应用之间的互联、互通问题.分析了“信息孤岛”产生的原因;提出了面向服务的航天发射场信息化基础框架,详细阐述了该框架的总体结构、功能体系、技术体系和应用模式构成;设计了基于基础框架的数字发射场应用系统.信息化基础框架强调软件设计的重用性和系统的可扩充性,支持各种服务的动态装配和松耦合集成,可为发射场信息资源集成与共享、服务构件设计、快速便捷搭建信息系统提供组合式、“即插即用”式的架构支持.     

空间信息系统仿真框架研究

空间信息系统是目前科研领域的热点课题,由于它规模大、技术含量高使其理论分析和物理实验实现起来非常困难,提出了一种空间信息系统仿真框架的体系结构,采用基于高层体系结构HLA的分布交互式系统仿真方法设计了地面仿真演示验证系统框架,采用运行时间支持系统RTI负责整个仿真分布环境的交互问题。     

面向服务的战场环境保障信息集成框架

为提高战场透明度,需研究和发展以卫星信息为支持的战场环境保障技术。深入分析了卫星支持的战场环境保障的特点及信息处理流程;构建了面向服务的战场环境保障信息集成框架,提出基础平台层、数据组织层、核心服务层和作战应用层的4层框架结构;研究了支持该框架的关键技术体系及接口,实现了原型系统。框架打破目前纵向的各卫星系统自成体系、数据共享困难的局面,使得系统具有更好的动态性和可扩展性,便于用户根据不同的作战需求建立不同的服务模式。     

买方“跳单”行为下房产中介代理合约选择

依据合约理论的分析框架,研究了面对中国普遍存在的买方"跳单"行为,房产中介应当如何在开放性代理合约和独家代理合约中进行选择.首先通过模型的建立与求解分析了各合约下中介的最优的努力水平,并研究了买方"跳单"概率和卖方房屋售价对最优决策的影响.然后基于最优决策,对两种合约进行了比较,结果显示中介在独家代理时应实施更高的努力水平;若买方"跳单"概率较小,中介应该选择开放性代理;若买方"跳单"概率较大,中介应对售价较高或较低的房屋采用开放性代理,对售价处在中间水平的房屋采用独家代理.另外,数值实验表明,随着买方"跳单"概率的增加,中介应对更多的房屋采用独家代理合约.而随着独家代理费的升高,在更大的"跳单"概率范围内,中介一定不应该选择独家代理合约.     

电子中介中多数量的多属性商品交易匹配模型与算法

以电子中介中买卖双方的商品交易为实际背景,研究了多数量的多属性商品交易匹配优化问题。首先,在给出新的买卖双方多属性商品交易匹配度概念和计算方法的基础上,以最大化买卖双方加权匹配度为目标,建立了电子中介中多数量的多属性商品交易匹配模型。然后,依据模型具有大规模和非线性的特点,设计了嵌入混沌扰动的捕食搜索算法对模型进行求解。最后,通过实例计算,并与遗传算法进行对比分析,验证了模型与算法的可行性和有效性。     

信息技术支持下组织重构的ORDSS模型框架

首先分析了信息技术（ＩＴ）对组织重构（ＯＲ）的驱动和使能作用,并给出了利用ＩＴ进行重构的几种不同方式;然后以模型驱动方式为基础,提出了一个ＯＲＤＳＳ模型框架支持重构的全过程,并对该模型的构成、连接及运行过程进行了详细分析     

A Formal Framework for Spreadsheet System

ＡＦｏｒｍａｌＦｒａｍｅｗｏｒｋｆｏｒＳｐｒｅａｄｓｈｅｅｔＳｙｓｔｅｍ￥ＷＡＮＧＸｉａｏｔｏｎｇ；ＹＡＮＧＤｅｌｉ；ＤＥＮＧＧｕｉｓｈｉ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＥｎｇｉｎｅｅｒｉｎｇ，ＤａｌｉａｎＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌ...     

A Teleonic Management Framework for Organizations

The hierarchical organization (HO) that has provided the prevailing model for business management for most of this century has been challenged repeatedly during the last 20 to 30 years. Matrix Management (MM), Total Quality Management (TQM), and Business Process Reengineering (BPR) are just three in the long line of approaches that have been suggested to remedy some of the problems with HO. Although these approaches have showed great promise, they either have been abandoned (MM), are on their way out (TQM), or are experiencing serious problems (BPR) in a large number of organizations that have tried to implement them. Yet many of these organizations have managed to make these approaches work. It is suggested in this paper that the main reasons for the failures do not lie in the models themselves, each of which have considerable merits, but in the absence of an overall theoretical framework, within which the various models could be validated and amalgamated. The authors are of the opinion that teleonics (proposed by Járos and Cloete, 1987) could serve as the basis for such a framework, which could thus be called the Teleonic Management Framework (TMF).     

A FRAMEWORK FOR REAL-VALUED CIPHER SYSTEMS

Most cipher systems designed thus far are binary-valued or integer-valued cipher systems. Their security relies on the assumption that one-way functions exist. Though the existence of one-way functions has not been proved yet, most cryptographic researchers believe that one-way functions exist. In addition, many candidates for one-way functions have been proposed. Therefore, the key step for developing real-valued cipher systems is to define real one-way functions and to propose candidates for them. In this paper, based on computational complexity theory over the real field, we give two definitions of real one-way functions; one is for digital one-way functions and the other is for general one-way functions. Candidates for these two classes of one-way functions are also proposed. Moreover, we present two examples to demonstrate that the candidates for both digital one-way functions and general one-way functions can be applied to construct secure real-valued cipher systems.     

信息系统体系结构的总体框架

探讨了信息系统体系结构（ＩｎｆｏｒｍａｔｉｏｎＳｙｓｔｅｍＡｒｃｈｉｔｅｃｔｕｒｅ,ＩＳＡ）的研究背景和开发实践情况,针对Ａｒｃｈｉｔｅｃｔｕｒｅ一词的词义、一般组成和实现Ａｒｃｈｉｔｅｃｔｕｒｅ必须考虑的因素,对ＩＳＡ的概念进行界定,确定ＩＳＡ的一般原理,并就ＩＳＡ的总体框架进行研究     

A Theoretical Framework for Facilitating Methodological Choice

Total Systems Intervention, in a recent version, facilitates the intervention process via three modes: problem solving, critical reflection, and critical review. Of these modes, there has been relatively little attention paid to the critical review mode, the purpose of which is to assess the value of different methodologies within a given problem situation. This paper takes as its basis the only major work in this area and seeks to build on this in order to improve the mixing of methodologies within a single intervention.     

Participatory Model Construction and Model Use in Natural Resource Management: a Framework for Reflection

In this article we propose a framework which can assist analysts in their reflection on the requirements for a participatory modelling exercise in natural resource management. Firstly, we distinguish different types of formal models which may be developed, ranging from models that focus on (bio)physical mechanisms to models which also include the actors involved in the utilisation of the resource and the social mechanisms that co-determine actor behaviour. Secondly, we consider what different modes of stakeholder participation entail for model construction and use. Finally, we propose six different purposes for a modelling exercise (clarify arguments and values, research and analyse, design and recommend, provide strategic advice, mediate, and democratise), and highlight conditions that affect the appropriateness of stakeholder participation for each purpose. The framework does not provide a straightforward recipe for the selection of participatory modelling methods, but we expect that the systematic reflection it affords will help analysts to make appropriate choices while designing a modelling exercise.     

创新思维的旋转动力学理论框架

提出创新思维的旋转动力学理论框架，包括理论的矛盾和不变性两个基本原理以及场模型推理规则，进而以微分拓扑为数学工具，构造了理论框架，包括思维时空、思维拓扑、思维流形、思维代数和思维动力系统，通过它们可推演出思维的旋转性、边界性和弯曲性等性质，最后讨论了旋转动力学理论的应用法则和实例。     

并行离散事件仿真框架研究

在综合分析并行离散事件仿真的研究现状的基础上,归纳了并行离散事件仿真难以应用推广的原因：对并行离散事件仿真性能的影响因素及关系的研究不够深入全面,缺乏性能预测工具;针对这种现象总结了理想的并行离散事件仿真系统应具备的特征,并提出了一个并行离散事件仿真系统的实施框架,探讨了基于Agent技术的实现方法。     

多智能体并行仿真框架

多智能体仿真具有广泛的应用前景。但是,现有的多智能体仿真和并行仿真无法解决数量庞大且具有复杂动力学特性的智能体仿真,因此研究这类多智能体的有效仿真具有重要的意义。为了能够有效仿真这类系统,设计了一个两层的多智能体并行仿真框架,指出了该框架中面临的挑战。除此之外,针对仿真中提高仿真效率的挑战,作者提出了一种加快仿真速度的方法。实验结果表明该方法可以明显提高仿真效率。     

非平衡和平衡统计系综的一个统一框架

提出通过子动力学方程(简称SKE)来建立一个非平衡统计系综体系。利用所构建的理论框架来研究在弱相互作用和强相互作用的情况下的自旋玻色子模型,从而很容易的得到正则系统的约简密度算子。也讨论了一种建立在安德森模型上的强关联量子网络。     

空间信息可视化查询语言SIVQL的研究和应用

在ＱＢＥ（ＱｕｅｒｙＢｙＥｘａｍｐｌｅ）的基础上扩展并构造了一种可视化的空间信息查询语言ＳＩＶＱＬ（ＶｉｓｕａｌＱｕｅｒｙＬａｎｇｕａｇｅｏｎＳｐａｔｉａｌＩｎｆｏｒｍａｔｉｏｎ）,论述了ＳＩＶＱＬ的基本原理、数学基础,并给出了ＳＩＶＱＬ的具体应用实例。     

基于自然语言处理与深度学习的信用贷款评估模型

针对目前信用贷款评估模型存在特征预处理复杂、受主观因素干扰、准确率较低的现象,提出一种新模型。该模型先组建连续性信贷特征文本数据,并使用Word2Vec算法进行词向量化后通过词嵌入层衔接CNN（卷积神经网络）进行评估,通过Keras框架并依据2008~2018年的银行个人信贷数据进行实证分析。结果表明：新模型的总体评估准确率高达91.7%,无需对缺失特征进行处理并可直接评估,且评估准确率更优异,达到85.8%。新模型将离散型的信贷特征转变为连续性文本,降低特征预处理复杂度,结合Word2Vec与自然语言处理实现直接评估缺失信贷特征的目的,并基于CNN优异的特征分析能力最终提高信贷评估模型鲁棒性,进一步改善了目前信用贷款评估模型中存在的部分问题,同时避免评估中主观因素的干扰。     

Vite:一个混合系统建模仿真框架

提出了一个使用通用平台实现的混合系统仿真框架:Vite.Vite基于方程建模,提取了构成仿真的模型、问题和数值求解器三个抽象,提高了模型的复用性,降低了Vite内部各组成部分的耦合性;使用关联和连接器以组合模型的方式搭建系统,构成系统的模型和方程可以被层次化的管理;用MathML表示方程,用XML表示模型,提高了模型的共享性;设计了模型与求解器的接口,增加了数值解法的选择性.