Transforming Model Oriented Program into Android Source Code Based on Drools Rule Engine

Model transformation is one of the prominent features and the rising research area of Model Driven Engineering (MDE). MDE promotes models to primary artifacts that drive the whole development process. This paper presents the model transformation approach for textual model oriented programs Umple (UML Programming Language) to generate android applications (apps). The proposed approach improved the generation of android source code by using Drools transformation rules and introducing new concern in model driven mobile engineering. The major objective of proposed transformation approach intends to address consistency between source and target model and also intends to handle productivity issues in model driven software development. The main results of model transformation approach are Java class for model layer, XML file for view layer and android activity class for controller layer. Results show that proposed approach achieves high consistency between source and target model and also improves model transformation productivity.

Supercompiler Scp4:Use of Quasi-Distributive Laws in Program Transformation

The author constructed a transformer Scp4 of functional programs. The transformer uses the technology known as Turchin's supercompilation. Scp4 was implemented in a functional language Refal 5. The input language for Scp4 is also Refal 5. In the present paper we give an outline of the supercompiler and consider a number of tools of the transformer in details. The tools can be formally thought of as quasi distributive laws.

Spatiotemporal transformable nano-assembly for on-demand drug delivery to enhance anti-tumor immunotherapy

Induction of tumor cell senescence has become a promising strategy for anti-tumor immunotherapy,but fibrotic matrix severely blocks senescence inducers penetration and immune cells infiltration.Herein,we designed a cancer-associated fibroblasts(CAFs)triggered structure-transformable nano-assembly(HSD-P@V),which can directionally deliver valsartan(Val,CAFs regulator)and doxorubicin(DOX,senescence inducer)to the specific targets.In detail,DOX is conjugated with hyaluronic acid(HA)via diselenide bonds(Se-Se)to form HSD micelles,while CAFs-sensitive peptide is grafted onto the HSD to form a hydrophilic polymer,which is coated on Val nanocrystals(VNs)surface for improving the stability and achieving responsive release.Once arriving at tumor microenvironment and touching CAFs,HSD-P@V disintegrates into VNs and HSD micelles due to sensitive peptide detachment.VNs can degrade the extracellularmatrix,leading to the enhanced penetration of HSD.HSD targets tumor cells,releases DOX to induce senescence,and recruits effector immune cells.Furthermore,senescent cells are cleared by the recruited immune cells to finish the integrated anti-tumor therapy.In vitro and in vivo results show that the nanoassembly remarkably inhibits tumor growth as well as lungmetastasis,and extends tumorbearing mice survival.This work provides a promising paradigm of programmed delivering multi-site nanomedicine for cancer immunotherapy.

Hologamous integrating strategies for incipient fault diagnosis of transformer

This paper studied an integrative fault diagnostic system on the power transformer. On-line monitor items were grounded current of iron core, internal partial discharge and oil dissolved gas. Diagnostic techniques were simple rule-based judgment, fuzzy logistic reasoning and neural network distinguishing. Considering that much faults information was interactional, intellectualized diagnosis was implemented based on integrating the neural network with the expert system. Hologamous integrating strategies were materialized by information-based integrating monitor devices, shared information database on several levels and fusion diagnosis software along thought patterns. The expert system practiced logic thought by logistic reasoning. The neural network realized image thought by model matching. Creative conclusion was educed by their integrating. The diagnosis example showed that the integrative diagnostic system was reasonable and practical.

Evaluation of Length of Hospital Stay Joining Educational Programs for Type 2 Diabetes Mellitus Patients: Can We Control Medical Costs in Japan?

Diabetes has become a growing concern in Japan, both medically and financially. The medical cost of diabetes was estimated at 1215 billion yen for fiscal year 2011. We analyzed the length of stay (LOS) in a hospital for type 2 diabetes mellitus patients who participated in educational programs to determine factors affecting LOS. Data on 991 patients obtained from 28 Red Cross hospitals in 2008 were used. For the analysis, we used the Box-Cox transformation model and Hausman test. The results revealed that patients aged 75 years and above and those with comorbidities and complications were prone to longer LOS. The analysis also revealed significant differences in LOS across the hospitals, even after controlling for patient characteristics. Finally, we applied the least squares method to determine the effects of hospital and regional factors and revealed that patients’ LOS was affected by the region’s average LOS. Regional corporations and networks appeared to be important in improving educational programs.

New reclosing scheme of distribution system for utilization of BESS using wavelet transform

This paper proposed the reclosing method in distribution system with battery energy storage system(BESS)using wavelet transform(WT).The proposed method performs the WT of load current and then calculates the absolute value of slope of detail coefficient.The mother wavelet used is db4of level6.The fault clearing is detected using the rapid increase of this value.After the detection of fault clearing,the reclosing is performed.To verify the proposed method,various simulations according to the fault clearing times,fault resistances,and fault lengths are performed using EMTP.The simulation results show that fault clearing can be detected using proposed absolute value of slope of detail coefficient and hence the reclosing can be performed successfully.

Computation of the Simplest Normal Forms for Resonant Double Hopf Bifurcations System Based on Lie Transform

The simplest normal form of resonant double Hopf bifurcation was studied based on Lie operator. The coefficients of the simplest normal forms of resonant double Hopf bifurcation and the nonlinear transformations in terms of the original system coefficients were given explicitly. The nonlinear transformations were used for reducing the lower- and higher-order normal forms, and the rank of system matrix was used to determine the coefficient of normal form which could be reduced. These make the gained normal form simpler than the traditional one. A general program was compiled with Mathematica. This program can compute the simplest normal form of resonant double Hopf bifurcation and the non-resonant form up to the 7th order.

Automatic Generation of Very Efficient Programs by Generalized Partial Computation

Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify Distribute Fold Unfold). This paper discusses the power of the program transformation system, its theorem prover and future works.

Source-to-Source Refactoring and Elimination of Global Variables in C Programs

A global variable in C/C++ is one that is declared outside a function, and whose scope extends the lifetime of the entire program. Global variables cause problems for program dependability, maintainability, extensibility, verification, and thread-safety. However, global variables can also make coding more convenient and improve program performance. We have found the use of global variables to remain unabated and extensive in real-world software. In this paper we present a source-to-source refactoring tool to automatically detect and localize global variables in a program. We implement a compiler based transformation to find the best location to redefine each global variable as a local. For each global, our algorithm initializes the corresponding new local variable, passes it as an argument to necessary functions, and updates the source lines that used the global to now instead use the corresponding local or argument. We also characterize the use of global variables in standard benchmark programs. We study the effect of our transformation on static program properties, such as change in the number of function arguments and program state visibility. Additionally, we quantify dynamic program features, including memory and runtime performance, before and after our localizing transformation.

GP Algorithm-Based Fourier Transform Infrared Spectrum Trend Term Removal Model

Trend term removal is a key step in Fourier transform infrared spectroscopy(FTIR)data pre-processing.The most commonly used least squares(LS)method,although satisfying the real-time requirement,has many problems such as highly correlated initial values of the expression parameters,the need to pre-estimate the trend term shape,and poor fitting accuracy at low signal-to-noise ratios.In order to achieve real-time and robust trend term removal,a new trend term removal method using genetic programming(GP)in symbolic regression is constructed in this paper,and the FTIR simulation interference results and experimental measurement data for common volatile organic compounds(VOCs)gases are analyzed.The results show that the genetic programming algorithm can both reduce the initial value requirement and greatly improve the trend term accuracy by 20%-30% in three evaluation indicators,which is suitable for gas FTIR detection in complex scenarios.

DEGENERATE OPTIMAL BASIS GRAPHS IN LINEAR PROGRAMMING

The basis graph \%G\% for a linear programming consists of all bases under pivot transformations. A degenerate optimal basis graph G * is a subgraph of \%G\% induced by all optimal bases at a degenerate optimal vertex x 0. In this paper, several conditions for the characterization of G * are presented.

Optimal Solution of Multi-Choice Mathematical Programming Problem Using a New Technique

The study deals with the multi-choice mathematical programming problem, where the right hand side of the constraints is multi-choice in nature. However, the problem of multi-choice linear programming cannot be solved directly by standard linear or nonlinear programming techniques. The aim of this paper is to transform such problems to a standard mathematical linear programming problem. For each constraint, exactly one parameter value is selected out of a multiple number of parameter values. This process of selection can be established in different ways. In this paper, we present a new simple technique enabling us to handle such problem as a mixed integer linear programming problem and consequently solve them by using standard linear programming software. Our main aim depends on inserting a specific number of binary variables and using them to construct a linear combination which gives just one parameter among the multiple choice values for each choice of the values of the binary variables. A numerical example is presented to illustrate our analysis.

企业如何通过数字化转型实现颠覆性创新?——基于潍柴集团的案例研究

数字经济时代促使企业进入数字化转型过程中,企业数字化转型离不开数字技术的发展与数字产物的嵌入,在二者的催化下多端颠覆性创新成为企业转型新常态,而数字化转型如何赋能制造业企业颠覆性创新形成数字化颠覆性创新以把握数字时代契机,打造企业新型竞争优势是可拓展的研究问题。本文以潍柴集团为例,依托于颠覆性创新理论,通过程序化扎根理论分析对象,对制造业企业实现数字化颠覆性创新的过程机制以及形成路径进行探究。研究发现,企业进行数字化颠覆性创新要经历驱动、转型以及多元三个阶段。驱动阶段,企业受内外驱动因素影响,启动数字化颠覆性创新;转型阶段,企业以生产模式转变与组织结构演化为行动路径,通过对企业内外的数字化实现企业的数字化颠覆性创新;多元阶段,通过实现商业生态系统的数字化颠覆性创新进行创新外延,形成数字商业生态系统模式,完成颠覆性创新转型。

The Local Transformation of the Catamaran-stern Hull

Lines plan of a ship related to resistance,structural strength,and economic benefit,is a complicated system engineering.Especially for the catamaran-stern hull,the designers have to modify the lines plan of the ship,in order to combine the catamaran-stern with the main ship hull.This paper use trigonometric function method to achieve the local transformation of catamaran-stern hull;on the other hand,making it programmed can effectively shorten the cycle of shipbuilding.

城市轨道交通乘务交路方案编制的禁忌搜索优化方法

针对城市轨道交通普遍采用轮乘制、日班和两头班混合等特点,对城市轨道交通乘务交路方案编制问题进行研究,旨在降低乘务成本并提高乘务效率.首先,通过分析城市轨道交通乘务交路方案的构成要素,考虑值乘时长、值乘片段接续时间和接续地点等要求,构建值乘片段、值乘任务构成和乘务规则约束,由此建立以乘务组数量和总接续时间等综合指标最小化为目标函数的多目标0-1整数规划模型.然后,针对该模型设计禁忌搜索(Tabu Search,TS)算法进行求解,以先到先走(First-In-First-Out,FIFO)的就近指派原则得到初始解,并设计4种邻域变换策略,以提高邻域解的多样性,并构建基于多邻域结构的禁忌搜索求解算法,实现对乘务交路方案的优化.最后,以广州地铁7号线的乘务交路方案为例进行实例验证.研究结果表明:优化方案较实际运营方案的乘务作业段数和总接续时间分别降低了20%和4.94%,每个乘务作业段值乘列车数量从8.2列增加到10.3列,有效驾驶时间从5.4 h增加到5.8 h,优化方案的各项指标均得到显著提升.研究成果可以为城市轨道交通乘务计划编制提供理论和方法支持.

新型电力系统电磁暂态加速仿真技术

为解决新型电力系统电磁暂态仿真时由于系统拓扑结构复杂、电力电子开关器件较多以及仿真机单核计算能力不足导致的仿真效率低下、仿真难度大等问题,文中采用理想变压器模型分割算法将大规模新型电力系统模型分割成若干子系统,实现了大系统的解耦和降阶,有效减少了仿真时整个系统作为一个状态空间系统矩阵的运算量。为进一步减轻单个处理器的计算负担,利用CPU(Central Processing Unit)多核并行技术设计一款在裸机环境下高效并行运算的加速仿真平台UREP300。将分割后的模型载入UREP300进行加速仿真实验,同时与基于MATLAB/Simulink的原模型离线仿真进行对比。实验结果表明,融合理想变压器模型分割与多核并行运行的加速仿真技术能够在保障仿真精度的同时将仿真速度提升至原来的586倍,可显著提高仿真效率,适用于大规模新型电力系统的仿真工作。

考虑输变电设备温度约束的配电网空调负荷实时聚合调控

为解决迎峰度夏期间因输变电设备温度限制而引发的紧急切负荷问题,充分考虑新能源出力和负荷的随机波动,提出考虑输变电设备温度约束的配电网多冷水机组暖通空调负荷实时聚合调控方法。建立考虑多冷水机组负荷分配策略的暖通空调线性能耗模型,设计基于聚合虚拟储能模型的统一信号调控方法,并根据输变电设备的物理结构,构建输变电设备的线性化温度约束模型;计及交流潮流、电压和输变电设备温度等运行约束,以系统经济性最优为目标建立配电网暖通空调负荷调控模型;为应对配电网的强随机性,提出基于近似动态规划的配电网暖通空调负荷实时调控策略,并采用与暖通空调虚拟储能荷电状态相关的分段线性函数对值函数进行近似,解决传统动态规划方法面临的“维数爆炸”问题。算例分析结果表明,所提方法可满足实时调控的快速性和准确性要求,并有效提升配电网供电的可靠性和经济性。

“Java程序设计”专业课数字化转型思路与实践

“Java程序设计”课程教学中存在教材内容覆盖面较小、融入课程思政元素不足、缺乏相关教学资源、主要以期末考试成绩作为最终评价依据等问题。因此,湖北职业技术学院软件技术等专业的教师团队对此课程进行了数字化转型,打破传统的教育教学模式,自编微课版活页式教材,建立在线开放课程,营造适应在线教育模式的学习环境,教学内容创新,丰富教学形式,引入在线判题平台,实现“岗课赛证”有机融合。

基于改进p-有效点法的多风电场共享储能联合参与一次调频的容量优化

以大规模多风电场接入电力系统的一次调频备用容量为研究对象,首先通过引入风电出力预测误差的概率分布描述系统的不确定性因素,考虑风储一次调频备用总成本最小为目标;然后建立基于机会约束规划的多风电场联合共享储能参与一次调频的容量优化模型;最后提出基于快速傅里叶变换快速求解联合变量概率分布的改进p-有效点法通过数学解析将机会约束规划从形式上转化为确定性规划,再通过Yalmip调用Cplex实现模型的快速求解。算例结果表明,所提模型和方法可有效提高风储调频效果和收益,且具有更高的求解效率。

水轮发电机受失磁保护限制的最大进相深度的预测模型研究及软件开发

发电机进相运行存在多种限制因素,进相深度的限制判据是由多种因素组成的综合判据,运行人员难以掌握,只能退出失磁保护压板。而发电机进相运行作为一种正常工况,将机组的保护直接退出显然是不合理的。本文从坐标变换原理出发,介绍一种基于PC端程序的发电机进相实验与失磁保护配合校验方法,可自动计算给定条件下的最大进相深度,并分析低励限制与失磁保护的配合正确性,防止发电机进相运行因进相深度过大而非正常停运,无需退出失磁保护。