基于WF State Machine的UML Communication Diagram动态构建及测试

在基于UML的业务流程分析与设计过程中,从静态模型分析到动态模型构建,经过一系列抽象转换和代码实现,往往满足不了业务需求,缺少一种所见即所得的业务过程实现。在探索UMLCommunicationDiagram和WF StateMachine业务流程映射关系的基础上,选取UML用户指南中典型案例,研究从CommunicationDiagram到State Machine编程模型之间的静态映射和动态规则转换,基于WF可视化地实现了动态构建与测试,解决了从分析、设计到构建的无缝转换。

Non-equilibrium State Salt-forming Phase Diagram：Utilization of Bittern Resource in High Efficiency

Salt-forming regions for a complex salt-water system in non-equilibrium state of evaporation process are usually different from those in solubility diagrams.To understand the solid-forming region of NaCl and improve the utilization of bittern resources,experiments were carried out to evaporate 20 representative mixture solution samples of Na +,Mg 2+ //Cl-,2 4 SO-H2O system with an average evaporation intensity of(1.4±0.4) g·L-1 ·min-1(water) at boiling temperature 348 K,and determine the NaCl solid-forming regions in non-equilibrium state.Because of the complexity of salt-forming region,a maximal region and a minimal region were proposed to express the non-equilibrium state salt-forming region with different crystal seed,and a conditional salt-forming region was proposed to present the characteristic region of non-equilibrium salt-forming phase diagram.The areas of the maximal and minimal regions are 2.00 and 1.56 times those in solubility diagram,so it is possible to utilize bittern resources in high efficiency.The recovery rates of NaCl were 99.65%,93.14%,88.57%,72.76%,and 83.68%for six typical bittern sources from Tulantai Salt Lake(China),Dongtai Salt Lake(China) ,Jilantai Salt Lake(China),Qarun Salt Lake(Egypt) and seawater,respectively.It is testified that the non-equilibrium state salt-forming phase diagram can be used in industrial processes.

Ground-State Phase Diagram of Transverse Spin-2 Ising Model with Longitudinal Crystal-Field

<正> The transverse spin-2 Ising ferromagnetic model with a longitudinal crystal-field is studied within themean-field theory based on Bogoliubov inequality for the Gibbs free energy.The ground-state phase diagram and thetricritical point are obtained in the transverse field Ω/zJ-longitudinal crystal D/zJ field plane.We find that there are thefirst order-order phase transitions in a very small range of D/zJ besides the usual first order-disorder phase transitionsand the second order-disorder phase transitions.

State Based Static and Dynamic Formal Analysis of UML State Diagrams

Design and specification is a serious issue in software engineering because of the semantics involved in transforming the real world problems to computer software systems. Unified Modeling Language (UML) has been accepted as a de facto standard for design and specification of object oriented systems. Unfortunately, UML structures lack defining semantics of a system. Formal methods are proved powerful, particularly, at requirement specification and design level. For a moment, formal methods are not welcomed because of much use of mathematics in formal languages. Therefore, a linkage between UML and formal methods is required to overcome the above deficiencies. In this paper, a new approach is developed by integrating UML and Z specification focusing on state diagram considering both the syntax and semantics. It is believed that this new approach will be effective and useful both at academics and industrial level. The resultant formal models of the approach are analyzed and validated using Z/Eves tool.

Islay3D—A Programming Environment for Authoring Interactive 3D Animations in Terms of State-Transition Diagram

An educational programming language is a programming language that is designed primarily as a learning instrument and not so much as a tool for writing programs for production. Three-dimensional (3D) interactive animations provide an effective means to engage the attention of the audience to learn programming language. Traditionally, creating 3D games had been difficult as it requires specialized programming skills. However, it had been proven that the state-transition diagram, which is the most fundamental principle for automata, is intuitively so comprehensive that even children can create programs for interactive animations and video games in the two-dimensional world. Islay3D is a programming environment for authoring interactive 3D animations based on this concept. In this paper, the Islay3D animation language is introduced, where a character is modeled as an object, and its behavior is defined in term of a set of state-transition diagrams. The interpretation of the state-transition diagrams to JavaScript is also presented. Finally, the web-based programming environment is introduced. With the web-based platform, the public will be able express their creativity in creating interactive 3D animations and video games easily from within their browser.

Phase Diagram and Edge States of Surface States of Topological Superconductors

Majorana fermions in two-dimensional systems satisfy non-Abelian statistics. They are possible to exist in topological superconductors as quasi particles, which is of great significance for topological quantum computing. In this paper, we study a new promising system of superconducting topological surface state topological insulator thin films. We also study the phase diagrams of the model by plotting the Majorana edge states and the density of states in different regions of the phase diagram. Due to the mirror symmetry of the topological surface states, the Hamiltonian can be block diagonalized into two spin-triplet p-wave superconductors, which are also confirmed by the phase diagrams. The chiral Majorana edge modes may provide a new route for realizing topological quantum computation.

Importance Analysis of a Multi-state System Based on Direct Partial Logic Derivatives and Multi-valued Decision Diagrams

Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system.

The contribution of solid-state chemistry in the determination of multicomponent phase diagrams

For a long period of time, the determination of phase diagrams was only supported by experiments related to thermal effects or thermodynamic measurements： thermal analysis, calorimetric measurements, vapor pressures, and EMF measurements. As a matter of fact, solid-solid transformations were not so accurately determined and could not be taken into account in the system＇s analysis. First, X-ray diffraction methods were used as a support for the thermal analysis. Second, the implementation of novel tools in structural analysis （for example, the Rietveld method） has permitted to increase the knowledge of phase stability. Finally, modeling the phases using a Calphad method needed increasingly more structural results to determine and better understand the phase diagrams. On the other hand, the Calphad method has been widely developed for metallic systems, for oxide systems, and in the past 10 years, for some semi-conductor systems, for example, gallium arsenide, cadmium telluride, and lead telluride systems. In such applications, it is very important to bring point defects in the modeling of the phases to map the defects as a function of the chemical composition. Owing to its complexity, this characteristic, the knowledge of which is crucial for the understanding and the control of potential physical applications, was ignored in the previous assessment of semi-conductor systems.

不同降雨量下基于宏观基本图的边界控制策略

在雨雪等不利天气条件下,城市交通拥堵加剧,北京、天津等大城市在降雨条件下经常发生多路段区域性交通拥堵。因此,根据天津市中心城区和市郊区域路网实际交通数据,以路网交通流宏观基本图模型为研究基础,对比不同降雨量以及不同路网的路网交通流时序和宏观基本图变化规律,分析不同降雨量对天津市中心城区和市郊区域路网交通状态的影响。基于不同降雨量下中心城区和市郊区域路网宏观交通流的变化规律,分别构建路网动态演化模型,并对模型的参数进行标定和有效性验证。针对降雨条件下路网发生的区域性拥堵问题,基于宏观基本图的边界控制分别设计了不同降雨量下中心城区和市郊区域路网控制策略,通过仿真实验分析验证了不同控制策略的效果,并给出了能够缓解中心城区和市郊区域路网拥堵的可行策略。结果表明:在小雨天气条件下,将从市郊区域向中心城区的交通流量的转移比例减小量控制在9%~50%范围之内时,中心城区与市郊区域交通状态更加均衡,路网调控效果更好;在大雨天气条件下,将从市郊区域向中心城区的交通流量的转移比例减小量控制在23%~50%范围之内时,中心城区与市郊区域交通状态更加均衡,路网调控效果更好。这表明该控制策略能够缓解中心城区和市郊区域路网的交通拥堵,保障路网交通系统的稳定运行。

龙眼果粉的水分吸附特性研究

以龙眼果粉为对象,利用静态测量法测定其在不同温度下的吸湿等温线,探究在不同含水率下龙眼果粉的X射线衍射图谱及玻璃化转变温度,并通过数学方程计算其热力学特性参数,以揭示龙眼果粉的水分吸附特性。结果表明,龙眼果粉的吸湿等温线为Ⅲ型等温线,Peleg模型是龙眼果粉吸湿等温线的最佳拟合模型。在水分活度(water activity,A_(w))>0.69时,龙眼果粉水分吸附量显著增加,导致糖类晶体结构消失。龙眼果粉的吸附过程符合熵焓互补理论,其吉布斯自由能为1586.6 J/mol>0,表明可通过控制环境条件来控制龙眼果粉的吸附过程。干基含水率从0.054 g/g上升到0.350 g/g时,龙眼果粉的玻璃化转变温度起始点从14.6℃降低至-26.5℃,其终点从39.1℃下降至-5.8℃。25℃下龙眼果粉的理论最佳贮藏A_(w)为0.086,对应的干基含水率为0.0495 g/g。该研究结果可为龙眼果粉贮藏条件的选择提供参考。

SDLSD:基于状态图的智能合约描述语言

智能合约在区块链发展中扮演着重要角色,并广泛应用于各领域。然而,已有的智能合约语言均由专业的合约研发人员开发,使得相关应用领域的专家难以轻松地设计合约。为了便于领域专家进行智能合约设计,引入领域特定语言的概念,提出一种基于状态图的智能合约描述语言SDLSD。该语言使用状态图描述合约条款与行为之间的逻辑结构关系,并通过词法、语法及语义分析生成可执行的Solidity语言。SDLSD实时支持语法检查、合约库引用和合约模板使用,同时跨平台编译和运行。测试结果表明,该语言不仅具有自然语言的简单性与可读性,还展现出更高的抽象语义,相较于已有方法具有明显优势。

Proper interpretation of sectional analysis results

Displacement control algorithms commonly used to evaluate axial force-bending moment(PM)diagrams may lead to incorrect interpretations of the strength envelopes for asymmetric sections.This paper aims to offer valuable insights by comparing existing displacement control algorithms with a newly proposed force control algorithm.The main focus is on the PM diagrams of three example sections that exhibit varying degrees of asymmetry.The comparative study indicates that conventional displacement control algorithms inevitably introduce non-zero out-of-plane bending moments.The reported PM diagram in such cases erroneously neglects the out-of-plane moment and fails to represent the strength envelope accurately.This oversight results in significant and unconservative errors when verifying the strength of asymmetric sections.

USBCAN总线转换设备在Stateflow下的建模和仿真

USBCAN总线转换设备作为USB总线和CAN总线之间的连接设备,其运行状况和软件设计是否能达到设计的需求,一般的方法很难进行验证,本文通过在Stateflow工具箱下对一种USBCAN总线转换设备进行建模,并且在Matlab/Simulink环境下对整个转换设备运行状态进行仿真验证,实现了USBCAN总线转换设备运行状态的验证,提出了一种新的总线转换设备的仿真和验证方法。

基于WF StateMachine的UML状态图动态构建与测试

采用UML分析与设计的业务信息系统,业务流程经过层层的抽象迭代,缺乏一种透明的业务流程实现。WF提供了可视化的业务过程编程模型,便于实现业务流程自动化,在对比分析WF State Machine和UML状态图的基础上,研究从UML状态图到WF State Machine业务流程映射关系,选取UML中典型状态图,依据一定的命名转换规则,实现了从UML状态图分析设计到WF状态机业务过程可视化的构建,完成了动态测试。

带有并发行为的UML状态机图的形式语义

在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、CHAM化学抽象机等作为状态机图的形式语义,但这些语义都是行为语义,并没有从结构上直接形成体现真并发的形式语义。该文提出一种新的模型——统一结构模型作为带有并发行为的UML状态机图的形式语义,该模型不会增加或减少状态机图的任何信息。基于统一结构模型首先定义了状态机图的格局(全局状态),用于表现状态机图的执行过程,并且给出了UML状态机图的格局的转换规则,说明格局如何在状态机图中执行,在此基础上给出了状态机图的可达性算法,然后还对状态机图的死锁等性质进行了介绍,最后开发出一个原型工具,实现了状态机图的可达性分析,并用实例说明了该方法的应用。

敦煌写本S.5648《圆形方形诗图》创作时间考论

S.5648杂诗抄写本为册子本装帧形式,杂抄佛道相关文学作品。通过诗文词句对仗对此件所抄《圆形方形诗图》进行内容破读;运用写本学考证方法,考察S.5648写本同抄内容之间的内在关系,以及“霜”字等白色事物在金山国时期文学作品中的代表性,由此推测《圆形方形诗图》的创作时间为金山国时期,其性质为带有现实意义的杂体诗作品,抄写在此卷中的时间断为癸酉年913年。通过对P.3351《十字图诗》的实际用途和抄写情境的简要判断,系联S.5648写本,推断《圆形方形诗图》的抄写者为佛寺学郎,其用途一为情感抒发,二为日常娱乐。

教科院教研活动网络管理系统的开发与实现

针对教科院教研活动管理上存在的问题,文章首先分析了教研活动的重要性、管理难点、课程类和非课程类教研活动的区别,提出构建教科院教研活动网络管理系统;其次使用用例图构建系统的主要功能模型,使用UML状态图分析教科院课程和教研活动开展的主要流程,使用E-R图分析数据实体的关系模型,使用SQL Server构建系统数据库;最后使用ASP.NET(C#)完成了系统的开发实现。通过使用该系统,提高了教研员组织开展教研活动的工作效率,获得了较好效果,规范了教研活动的管理。

高校听课评课管理系统的设计与实现

听课评课是学校教学质量监控体系的重要组成部分。随着高校规模的不断扩大,传统的听课评课管理方法存在效率低和处理不及时等问题,已无法满足高校的需求。鉴于此,开发高校听课评课管理系统至关重要。文章使用用例图分析系统的主要功能,使用状态图设计系统的业务流程,使用实体-联系图(Entity Relationship Diagram,E-R图)描述系统中的实体和实体关系,使用ASP.NET实现系统的主要模块。

基于UML状态图的PLC程序测试路径生成方法

为了提高可编程序控制器程序的测试效率,提出一种基于统一建模语言状态图的可编程序控制器程序测试路径生成方法。这一方法利用反蚁群算法生成测试路径,可以避免测试路径过多导致的爆炸问题。通过人工蚂蚁搜索未被遍历或信息素最小的顶点,得到测试路径,在满足测试路径充分性覆盖准则的同时,确保数量适中。通过案例试验,验证了方法的可行性和有效性,能够避免与其它文本重复。