Network State Estimation and Prediction for Real-Time Traffic Management

Advanced Traveler Information Systems (ATIS) and Advanced Traffic Management Systems (ATMS) have the potential to contribute to the solution of the traffic congestion problem. DynaMIT is a real-time system that can be used to generate guidance for travelers. The main principle on which DynaMIT is based is that information should be consistent, and user optimal. Consistency implies that the traffic conditions experienced by the travelers are consistent with the condition assumed in generating the guidance. To generate consistent user optimal information, DynaMIT performs two main functions: state estimation and prediction. A demand simulator and a supply simulator interact to perform these tasks. A case study demonstrates the value of the system.     

基于特征的协同设计

随着虚拟企业概念的提出,迫切需要一个能够支持异地分布的多学科群体协同工作的系统,文中提出了一个基于特征的协同设计系统,简要介绍了该系统中协同设计的工作方式和特征的定义,分类及相互关系,详细探讨了实现基于特征协同设计的关键技术,并给出了系统结构。     

Triggered Updates for Temporal Consistency in Real-Time Databases

A real-time database systemhas temporal consistency constraints in addition to timing constraints.The timing constraints require a transaction to be completedby a specified deadline, and the temporal consistency constraintsrequire that temporal data read by a transaction be up-to-date.If a transaction reads out-of-date data, it will become temporallyinconsistent. A real-time database system consists of differenttypes of temporal data objects, including derived objects. Thevalue of a derived object is computed from a set of other objects,known as the read-set of the derived object. The derived objectmay not always reflect the current state of its read-set; a derivedobject can become out-of-date even if its read-set is up-to-date.Any subsequent transaction reading the derived object will thenbecome temporally inconsistent. In this case, in order to readup-to-date objects, a transaction will have to wait until someother transaction updates the out-of-date object. However, indoing so, the waiting transaction may miss its deadline, particularlyif the update is not periodic but instead arrives randomly. Wepropose to update the outdated objects so that not only is thetemporal consistency improved, but also the number of misseddeadlines does not increase significantly, and as a result thereis an overall improvement in the performance of the system. Wepropose, implement and study a novel approach, to be known astriggered updates, to improve temporal consistency in firm real-timedatabase systems when updates are not periodic. We identify propertiesof triggered updates and explain how they work by giving bothan intuitive and a probabilistic analysis. We present strategiesfor generating triggered updates, discuss their suitability invarious contexts and perform a detailed simulation study to evaluatetheir performance. Results show that it is possible to improvetemporal consistency without degrading the timeliness of real-time database systems to a great deal.     

基于SSMBSS的软件缺陷分析

该文首先介绍了上海软件度量基准体系,其次对缺陷的特征以及缺陷管理的意义进行了分析和研究,最后在上海软件度量基准体系收集的软件开发过程中的各种数据的基础上,按照项目过程模型,过程改进模型,系统架构类型,业务领域,开发平台,开发类型等标准,对缺陷密度进行了详细的分析和研究,随后研究了基于过程改进模型的企业在各开发阶段的缺陷分布情况,提出了自己的见解和意见。     

From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice

A steady increase in consumer demands,and severe constraints from both a somewhat damaged environment and newly installed government policies,require today‘s product design and development to be faster and more efficient than ever before,yet utilizing even fewer resources.New holistic approaches,such at total product life cycle modeling which embraces all aspercts of a product‘s life cycle,are current attempts to solve these problems,Within the field of product design and modeling,feature technology has proved to be one very promising solution component.Owing to the tremendous increase in information technology,to transfer from low level data processing towards knowledge modeling and information processing is about to bring a change in almost every computerized application.From this viewpoint,current problems of both feature frameworks and feature systems are analyzed in respect to static and dynamic consistency breakdowns.The analysis ranges from early stager of designing(feature)concepts to final system implementation and application.For the first tie,an integrated view is given on approaches,solutions and practical experience,with feature concepts and structures,providing both a feature framework and its implementation with sufficient system architecture and computational power to master a fair number of known consistency breakdowns,while providing for robust contexts for feature semantics and integrated models.Within today;s heavy use of information technology these are pre-requisites if the full potential of feature technology is to be successfully translated into practice.     

鲁棒并行设计的模型与算法

提出一种基于约束网络的鲁棒设计方法,该方法能用约束网络对并行设计中的一类不确定性参数进行有效的描述和处理。提出了反映该问题需求的数学模型,设计了通用的一致性求解算法框架,得到了满足该框架的算法都是弧一致的充分条件以及推论,并利用区间算法对该框架进行实现。飞行器布局设计实例说明了该方法的有效性。     

HLA桥接多联邦系统中时空一致性问题研究

针对HLA桥接多联邦系统,提出其时空一致性问题研究。将桥接转发的数据划分为3种数据类型,定义相应的实体类和交互类,给出3种处理方法,其中,延时补偿法解决实体属性更新时的延时,平移命中点法处理精确制导武器爆炸交互时的延时,回滚法面向非精确制导武器爆炸交互时的延时。实验结果表明,该方法可满足桥接多联邦系统中的时空一致性。     

基于改进AHP定权的优序法在地下水水质评价中的应用

基于三标度提出的改进层次分析法(AHP)降低了传统方法构造判断矩阵的主观性,通过特定的数学变换将判断矩阵转化为一致最优阵避免了繁琐的逻辑一致性检验过程,给出确定权重系数的一种简单计算方法。最后通过实例验证,基于改进AHP定权的优序法计算简单、方便,在地下水水质评价中能够合理地给出各水体样本的污染程度和类别。     

ND样本下密度核估计的相合性

设{Xn,n≥1}是同分布的ND随机变量序列,f（x）为其概率密度函数,基于x1,x2,…,Xn,对密度函数f（x）的核估计进行了讨论,根据ND序列的性质和不等式,在适当的条件下证明了其强相合和r阶矩相合.     

道路网匹配质量检核与修正机制研究

针对多源道路网匹配结果质量检核的问题,通过比较匹配道路节点及路段在形状、位置和拓扑等方面的特征相似度,提出了匹配结果的度量约束、拓扑关系约束以及一致性约束等概念,并据此构建了全局一致性测度函数.利用这些限制性约束条件对匹配结果进行质量评估,评估结果分为两类:质量可靠和质量不可靠.对于质量不可靠,需进一步交由人工判定,并以令全局一致性测度函数得到最快增长为目标,对匹配结果进行级联自动修正,直至全局一致性测度函数无法再增大为止.这种半自动的质量检核与修正机制能够对匹配结果进行快速的质量评定,消除误匹配和漏匹配,确保经修正的匹配结果相互兼容,满足全局一致性约束条件,从而改善数据质量.