新一代加油设备核心控制系统设计

针对电脑加油设备核心控制系统来自技术发展和市场新需求的挑战,提出基于32位微处理器的新一代电脑加油设备核心控制系统的设计,采用ARM和嵌入式Linux操作系统构建基础运行平台。基于CAN总线模块化设计功能硬件平台,运用ICS机制进程化设计功能软件模块。新一代控制器实现了单板4枪同时加油功能,并在降低设备成本及提高开放性、智能性和可维护性方面具有明显优点。     

Integrated Modeling Systems

This paper examines in some detail the concept of an integrated modeling system. It distinguishes three main types of integration: model integration, solver integration, and integration of various utilities. Model integration is further divided into four subtypes based on a four-level model abstraction hierarchy: specific models, model classes, modeling paradigms, and modeling traditions. The paper then goes on to consider how structured modeling supports the various types of integration. The overall conclusion is that structured modeling offers an attractive approach to the design of integrated modeling systems.     

CMOS-MEMS体硅集成陀螺的系统仿真

体硅MEMS和CMOS电路的单片集成技术是提高传感器性能的有效途径,但是集成技术会对陀螺的设计和CMOS电路的设计提出更高的要求.通过建立CMOS-MEMS体硅陀螺的等效电学模型,实现了对CMOS-MEMS体硅陀螺的系统级仿真.通过系统仿真,陀螺的结构部分、电路部分、集成产生的寄生效应以及工艺误差得到了有效的分析,从而能够了解它们相互之间的影响,更好的指导CMOS-MEMS体硅集成器件的设计.     

Optimal Period of Workload Redistribution for Dynamic Bulk Synchronous Computations in Heterogeneous Computing Systems

In dynamic bulk synchronous computations, processors may change their workloads from phase to phase. Such workload change will possibly increase the duration of a phase and the overall parallel execution time. Therefore, it is necessary to redistribute workload at runtime to reduce the parallel time. However, such workload redistribution at runtime can be expensive and the overhead of frequent runtime workload redistribution may exceed the benefit of workload redistribution and balancing. The problem of finding the optimal period of runtime workload redistribution for dynamic bulk synchronous computations is motivated by the combined consideration of parallel execution time and system overhead for workload redistribution and balancing. We develop an analytical method to solve the problem in heterogeneous computing systems. We also demonstrate numerical data of the analytical method and simulation results that verify the analytical data.     

基于紧缩状态表的高效数据定位方法

数据定位是松散式P2P系统面临的挑战性难题。本文提出了一种新的数据定位方法--紧缩状态表方法（CSTM）。在CSTM中,每个结点上维护一个状态表,保存了丁跳（Hop）内全部邻居上数据的关键字信息,各个结点按照状态表来转发数据定位消息。CSTM方法采用Bloom Filter技术来压缩表示状态表,采用查询Cache建立与最近访问的结点之间的快捷连接。模拟结果表明,与广播泛洪和二路随机转发方法相比,CSTM方法大大减低了P2P网络中数据定位的消息开销,并能够获得较短的查询路径长度。     

导弹逼近告警器及无源干扰设备测试软件设计

为解决导弹逼近告警器及无源干扰设备测试成本高、维护保障难的问题,研制了一套导弹逼近告警器及无源干扰设备自动检测系统;设计了系统测试软件,按照模块化设计方式,针对设备检测需求,开发不同的软件测试模块并集成;该系统集成度高,配置灵活,操作智能化,功能完整,测试项目全,测试和排故障效率高;经试用表明,该检测系统具有良好的操作性和维护性,可以为导弹逼近告警器及无源干扰设备检测维修提供技术支持,有效节省测试成本和维护保障费用。     

分布式系统中的一类任务分配算法

本文提出了分布式系统中各独立结点根据自身状态和系统反馈进行自适应，以使系统达到最优状态的一种机制。它突破了以往相关工作的一些重要限制，性能得到了很大的改善。     

Computational Experiments for Complex Social Systems: Integrated Design of Experiment System

Powered by advanced information industry and intelligent technology, more and more complex systems are exhibiting characteristics of the cyber-physical-social systems (CPSS). And human factors have become crucial in the operations of complex social systems. Traditional mechanical analysis and social simulations alone are powerless for analyzing complex social systems. Against this backdrop, computational experiments have emerged as a new method for quantitative analysis of complex social systems by combining social simulation (e.g., ABM), complexity science, and domain knowledge. However, in the process of applying computational experiments, the construction of experiment system not only considers a large number of artificial society models, but also involves a large amount of data and knowledge. As a result, how to integrate various data, model and knowledge to achieve a running experiment system has become a key challenge. This paper proposes an integrated design framework of computational experiment system, which is composed of four parts: generation of digital subject, generation of digital object, design of operation engine, and construction of experiment system. Finally, this paper outlines a typical case study of coal mine emergency management to verify the validity of the proposed framework.

     

Trellis Processes : A Compact Representation for Runs of Concurrent Systems

The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offline) to failure diagnosis (on-line). Their factorization properties form the basis of modular/distributed algorithms to achieve these tasks. The trellis structure proposed here is an alternate and more compact representation for the trajectory set of a concurrent system. In this structure, time is unfolded, but not the conflict relations. Trellis nets are the generalization to concurrent systems of the usual notion of trellis for an automaton. As for unfoldings, factorization properties are evidenced on trellises, which makes these more compact structures a possible candidate for distributed model checking or diagnosis algorithms. As an example, we show how trellises can be used for diagnosis purposes in a distributed observation setting.

面向服务的水泥企业信息系统集成架构

为满足水泥企业流程重组与业务协同对企业信息系统的要求,在充分考虑水泥企业的信息化现状的基础上,综合利用混合云的优势,以面向服务的方法构建了水泥企业信息系统应用集成架构,设计了一种针对大型水泥企业的服务划分算法,以移动服务和设备诊断检测服务为例详细阐述了服务实现的过程.以该应用集成架构为基础构建了某水泥企业应用集成平台,充分利用了云端资源及企业内部信息资源,实现了该水泥企业信息系统的应用集成、共享及远程访问,满足了该企业满足科学管理、流程优化、协同业务等信息化需求.     

一种基于体硅工艺的微机械可调节椭圆低通滤波器

提出了一种椭圆低通可调滤波器的调谐方法,即通过调节第一传输零点(FTZ)来改变3 dB截止频率Tc.解析计算表明,小范围内改变FTZ既可调节Tc和滚降速率,又能保证通带和阻带的特性基本不变.作者提出FTZ的移动可由串联谐振支路处容性MEMS开关的分布加载来实现,并基于微扰法求出器件中心谐振频率及特性的变化规律.本文相应设计了Tc为16 GHz的7阶步进式滤波器.高频有限元全波仿真表明,每加载一个MEMS开关,Tc改变约1.5 GHz,损耗特性则几乎不变.这证明了理论分析方法有较高的准确性,而且器件设计具有数字化调节能力和较出色的微波性能.这种方法也可用于高通和带通滤波器.论文还介绍了器件的体硅微加工流程及MEMS开关的初步加工结果.     

广义线性系统的结构分类方法

基于受限等价变换的结构分析方法,提出实现多个矩阵的同时标准化的方法,从而得到广义系统的标准型,该方法使复杂的广义系统等价于多种简单的系统;根据标准型的特点,对分解后的多种简单广义系统进行细化分类;对不同类型的简单广义系统的控制方法进行研究,使复杂广义系统的控制问题转化为简单广义系统的控制问题。数值仿真结果表明,该方法对广义系统的结构的分类更细致具体,便于后续对广义系统的解、脉冲及其能控等方面进行更深入的研究,理论创新前景十分广阔。     

面向IC制造的硅片机器人传输系统综述

介绍了面向集成电路制造业的硅片机器人传输系统,综述了其主要组成部分——硅片机器人和预对准装置——的工作原理及国内外研究成果．就直接驱动技术、磁性流体密封技术、磁力传动技术、硅片机器人轨迹规划与控制技术、校准技术以及夹持技术,对硅片机器人传输系统的关键技术进行了探讨．     

基于NGOSS体系的电信资源系统整合方法

针对福建电信两个资源系统——SRM系统和GCOMM系统的整合工作,引入国际电信管理论坛（TMF）NGOSS构架中ETOM和SID模型,分析福建电信两个主要的资源系统之间在模型上的差异,提出使用NGOSS整合SRM系统和GCOMM系统一种思路,并使用一个例子说明了具体整合的方法：使用UML语言自上而下对资源进行逻辑域和物理域进行划分,并在数据库进行模式设计时参照UML划分的结果进行E—R设计。     

对异构设备的系统集成

基于对异构设备的系统集成问题 ,提出了一种系统集成的方法。文中首先阐述了异构设备系统集成的意义 ,并主要针对异构设备系统集成中的设备接入问题 ,重点讨论了集成系统的构架 ,异构设备接口电路 ,数据格式及通讯规程问题。     

GPS多功能车载自主动态导航系统的研究与设计

GPS多功能车载自主动态导航系统是近几年得到飞速发展的新型的车载导航系统，文章介绍了GPS多功能车载自主动态导航系统的基本概念，阐述了车载路径导航系统的分类，对车载导航系统的组成进行了研究，对车载导航系统的主要模块进行了分析，提出了一种以GSM和集群方式复用信道进行通信，以GPS和DR组合导航形式导航的新型车载导航系统。     

用于制造系统的控制和集成网方法

本文给出了种扩展Ｐｅｔｒｉ网。这种方法是为了解决实际制造系统运行和控制中存在的不确定性、资源共享及外部应用程序的动态交互的问题。文中给出了一个用控制和集成网方法建立的生产系统模型。本文提出的控制和集成网方法适合用于制造系统的建模。它同样可以用作开发单元控制软件平台核心和实施ＣＩＭ开放系统体系结构中集成基础结构的经营过程控制的基础。     

基于知识资源管理的电子商务集成系统模型

构建一种新型的基于知识资源管理的电子商务集成系统模型.这套系统模型从客户关系、企业内部和供应链三方面去重建企业信息流、工作流、物流和资金流,包含知识管理、客户关系管理、企业内部生产制造、企业与外部合作伙伴协作四大模块.在该系统模型下,企业内部流程与外部交易完全一体化,真正体现网络经济"以客户为中心"的思想和电子商务"端到端"的实质.     

An Integrated Runge–Kutta Root Finding Method for Reliable Collision Detection in Multibody Systems

Described in this paper is an integrated approach for reliable detection of state events occurring during numerical integration of the equations of motion of multibody systems. The method combines an explicit Runge–Kutta 4/5 Dormand scheme with continuous dense output extension with a polynomial root detection algorithm warranting root detection for large time steps enclosing several roots. The method is implemented in C++ and integrated within an object-oriented code for simulation of the equations of motion of mechanical systems including collisions. Numerical comparisons with standard methods are shown for a number of test examples, displaying the robustness of the method.