一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

扩展的基于角色的访问控制模型

提出了一种扩展的基于角色的访问控制RBAC(Role Based Access Control)模型--RTBAC (Role & Task Based Access Control)模型.该模型在RBAC96模型之上引入了任务和任务实例的概念,形式化地定义了任务和任务实例的层次结构,界定了传统会话同任务实例之间的关系以及任务实例同权限之间的关系,并且提供了几种辅助函数.该模型可以更为自然地描述业务流程和访问控制策略,更适合分布式协作应用,特别是工作流和组合服务.基于该模型定义了一种新的动态职责分离约束--基于任务的动态职责分离约束,并且同传统动态职责分离约束进行了比较.该约束可以更准确地刻画访问控制相关的系统运行时上下文的范围,从而提高运行时访问控制的效率.     

基于描述逻辑DL_(RBAC)的RBAC形式化模型

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.     

分布式多媒体系统模型与传输控制算法的研究

作为分布式多媒体系统通信与表现控制研究的基础,提出分布式多媒体系统整体模型DMISIM(Distributed Multimedia Information System Integrated Model),将分布式多媒体系统抽象为3元组——多媒体同步时间单元SIU(Synchronization Interval Unit)、通信信道以及信道与SIU序列之间的一一映射关系．模型描述多媒体信息和通信网络的静态属性,反映系统通信传输的动态过程．基于DMISIM,对分布式多媒体通信传输控制机制进行研究,提出最小偏差调度算法MDSA(Minimum Deviation Scheduling Algorithm)作为古典列表调度算法CLSH(Classic List Scheduling Heuristic)的改进．理论分析和逻辑推导证明,在不增加算法时间复杂度,不降低多媒体同步表现质量的同时,算法提高了系统目的端缓冲区利用率,降低了缓冲区需求及多媒体数据溢出的可能性．算法与底层通信传输机制无关,可以广泛应用于分布式多媒体系统的通信传输过程中．      

多层次多策略的分布式网络信息过滤系统模型

在分析现有网络信息过滤技术的基础上,描述了一种多层次、多策略、可扩展的分布式网络信息过滤系统模型框架.该模型框架包括网络信息数据分析、过滤及转发等功能,采用细粒度的内容过滤策略,在保证信息数据安全性的基础上,提高了数据转发的速度,缩短了数据传送的延时,并可以插件的形式灵活地挂载过滤程序,具有很好的开放性和可扩展性.该系统模型可以根据具体的需求,以模块的形式灵活地重组和配置各项功能,可在分布式环境下协同工作,提高了系统的性能.本系统的各种数据处理过程对用户是完全透明的,减少了对用户的影响.      

一种分布式小卫星SAR单视复图像信号仿真方法

总结了分布式小卫星合成孔径雷达(DSS-SAR,Distributed Small Satellite Synthetic Aperture Radar)回波信号仿真所需具备的基本功能.给出了DSS-SAR的空间几何模型和信号模型.空间几何模型由描述小卫星编队构形的Hill方程给出,信号模型由单视复图像信号模型、信号相关性模型和干涉相位的统计特性共同描述.结合空间几何模型和单视复图像信号模型,提出了一种简洁的DSS-SAR单视复图像信号的仿真方法.该仿真方法中,小卫星的空间位置是根据虚拟中心空间位置和小卫星的编队构形计算得到,因此仿真时能够任意设置小卫星群的编队构形.通过对圆锥三维地形和平地两种地面场景的进行回波信号仿真,结果表明该仿真方法不但能够实现DSS-SAR信号仿真必须具备的功能,而且还具有实现简洁、误差加入方便等优点.      

一种支持工作流模式的扩展工作流网

为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力.      

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

基于COM/DCOM的分布式零件参数化 设计系统的研究

为解决基于UG(Unigraphics)的零件分布式设计的问题,分析比较了UG二次开发的两种模式,提出了一种基于零件库的通用参数化设计方法.采用COM(Component Object Model)方式建立了一个基于UG外部开发的通用参数化设计组件,利用DCOM(Distributed Component Object Model)实现了该组件的网络化,并在此基础上选用分布式三层网络模型,构建了一个基于COM/DCOM的分布式零件参数化设计系统,实现了LAN(Local Area Network)下对零件进行参数化设计的功能.      

一种面向最终用户的图形建模语言规范

图形语言形式化描述体系由于需要一定的理论背景而不适于最终用户,为了满足最终用户对领域建模语言进行规范描述的需求,提出了一种可以描述图形语言二维语法结构的语言(EUVDL,End-User Visual Definition Language),分别从设计范型、抽象语法和具体语法3个方面考虑了最终用户的支持,并且给出支持最终用户使用的具体设计策略、设计了基于EUVDL的图形建模语言环境开发平台.通过和其他图形语言描述方法的比较以及实例演示,可以看出利用EUVDL描述图形建模语言具有语法结构简单、描述能力较强、支持描述重用的特点,适于最终用户使用.      

Marangoni effects under electric fields

An electric field when applied across liquid-liquid interface was found to cause, due to different susceptibilities of the two phases, what the authors would term as Marangoni “type” of instabilities, that resulted in the generation of bubbles/drops and caused the movement of the interface countering gravity. Thus “mixing” of the two phases would occur and in systems involving mass transfer, enhanced rates of transfer could be expected.Equations for the bubble formation involving parameters such as electrostatic pressure, surface tension, gravity force have been derived.In the case of non-gravitational or weak-gravitational fields such as obtainable in space, the separation of two liquids one below the other, as obtaining on the earth, exhibiting an interface may well nearly be impossible. Under such conditions recourse may have to be taken to super-imposition of other fields as a tool for obtaining the necessary contacting/separation. The dynamics of bubble formation etc. under these contexts are theoretically analysed.     

基于顺序失效符的动态故障树形式规约

首先定义了顺序失效符(SFS,Sequence Failure Symbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,Dynamic Fault Tree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,Static Fault Tree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.     

A balloon-borne very long baseline interferometry experiment in the stratosphere: Systems design and developments

The balloon-borne very long baseline interferometry (VLBI) experiment is a technical feasibility study for performing radio interferometry in the stratosphere. The flight model has been developed. A balloon-borne VLBI station will be launched to establish interferometric fringes with ground-based VLBI stations distributed over the Japanese islands at an observing frequency of approximately 20?GHz as the first step. This paper describes the system design and development of a series of observing instruments and bus systems. In addition to the advantages of avoiding the atmospheric effects of absorption and fluctuation in high frequency radio observation, the mobility of a station can improve the sampling coverage (“uv-coverage”) by increasing the number of baselines by the number of ground-based counterparts for each observation day. This benefit cannot be obtained with conventional arrays that solely comprise ground-based stations. The balloon-borne VLBI can contribute to a future progress of research fields such as black holes by direct imaging.     

并发多媒体负载访问存储系统的模型分析

多媒体应用要求存储系统提供满足服务质量QoS(Quality of Service)需求的数据访问服 务,反应时间超过截止期限的访问请求必须小于一定的比例.在开放环境下,并发多媒体负载中访问请求的随机性增加了实现这一目标的难度.并发多媒体应用的访问请求经汇聚后到达存储系统的过程服从泊松分布,存储系统的服务时间服从指数分布;并发多媒体负载访问存储系统的过程用M/M/1排队论模型描述.通过对该模型的分析推导出构成并发负载的多媒体应用数量N与负载中访问请求的响应时间分布之间的关系.仿真试验的结果证明该模型对于保证并发多媒体应用的QoS是非常有效的.     

The influence of gravity on the process of development of animal systems

The development of animal systems is described in terms of a series of overlapping phases: pattern specification; differentiation; growth; and aging. The extent to which altered (micro) gravity (g) affects those phases is briefly reviewed for several animal systems. As a model, amphibian egg/early embryo is described. Recent data derived from clinostat protocols indicates that microgravity simulation alters early pattern specification (dorsal/ventral polarity) but does not adversely influence subsequent morphogenesis. Possible explanations for the absence of catastrophic microgravity effects on amphibian embryogenesis are discussed.     

Systems for long duration flights

This paper describes the systems for long duration flights developed in Japan for scientific observations. Much efforts have been expended to evolve systems for long duration flights in Japan, by controlling the balloon trajectories with a knowledge of wind pattern at high altitudes over Japan. These systems called “Cycling Balloon”, “Boomerang Balloon” and “New Boomerang Balloon” have been successfully used for the observations by keeping the balloons close to the balloon station.“Relay Balloon” is another system to extend the telemetry range by using an additional balloon as a relay station to link the telemetry from the main balloon.Some detailes of the exhaust valve, ascent meter and automatic level control devices used for the balloon control are also described in the paper.     

Remote sensing of the atmospheric from scientific stations “Salyut”

A review of the four-channel teleradiometer “Micron” calibration and data processing techniques has been presented. The sensor validation of the space-borne teleradiometer “Micron” was based on the following: the preflight absolute calibration with the state certificated standard, the secondary onboard standard (miniature filament lamp), the inflight measurements of the Moon's brightness. The procedure of the extinction coefficient determination from the daytime horizon profiles has been developed. The validity of the used techniques was estimated by carring out model calculations. An optimal measuring procedure has been recommended. The proposed simple techniques are used for processing the space measured horizon brightness data. The results have been compared with the earlier published ones.