This article presents a metamodeling study for Live Sequence Charts (LSCs) and Message Sequence Charts (MSCs) with an emphasis
on code generation. The article discusses specifically the following points: the approach to building a metamodel for MSCs
and LSCs, a metamodel extension from MSC to LSC, support for model-based code generation, and finally action model and domain-specific
data model integration. The metamodel is formulated in metaGME, the metamodel language for the Generic Modeling Environment.
Summary The polymerization of methyl methacrylate (MMA), ethyl acrylate (EA), styrene (St) and 2-vinyl pyridine (VP) is initiated upon irradiation at >350 nm of dichloromethane solutions containing N-ethoxy-2-methylpyridinium hexafluorophosphate (EMP+PF6-) and anthracene or thioxanthone. Initiation mechanisms involving the formation of ethoxyl radicals during the decomposition of EMP+ ions via electron transfer are proposed. 相似文献
The chemical shift difference between signals of C() and C() of unsaturated ketones, , which we used before to measure acid strengths, has now been used to evaluate the hydrogen bond donor ability of solvents which are not acidic enough to hydronate the indicator. For such solvents there is no general correlation between H-bond donor ability and acid strength: hexa-fluoroisopropanol is a much weaker acid than acetic acid, but it is a stronger H-bond donor. The method can be applied to evaluate the H-bonding properties of solid surfaces, and it was thus found that silica gel has a much stronger H-bond donor ability than methanol or acetic acid. 相似文献
Since the first case of COVID-19 was reported in December 2019, many studies have been carried out on artificial intelligence for the rapid diagnosis of the disease to support health services. Therefore, in this study, we present a powerful approach to detect COVID-19 and COVID-19 findings from computed tomography images using pre-trained models using two different datasets. COVID-19, influenza A (H1N1) pneumonia, bacterial pneumonia and healthy lung image classes were used in the first dataset. Consolidation, crazy-paving pattern, ground-glass opacity, ground-glass opacity and consolidation, ground-glass opacity and nodule classes were used in the second dataset. The study consists of four steps. In the first two steps, distinctive features were extracted from the final layers of the pre-trained ShuffleNet, GoogLeNet and MobileNetV2 models trained with the datasets. In the next steps, the most relevant features were selected from the models using the Sine–Cosine optimization algorithm. Then, the hyperparameters of the Support Vector Machines were optimized with the Bayesian optimization algorithm and used to reclassify the feature subset that achieved the highest accuracy in the third step. The overall accuracy obtained for the first and second datasets is 99.46% and 99.82%, respectively. Finally, the performance of the results visualized with Occlusion Sensitivity Maps was compared with Gradient-weighted class activation mapping. The approach proposed in this paper outperformed other methods in detecting COVID-19 from multiclass viral pneumonia. Moreover, detecting the stages of COVID-19 in the lungs was an innovative and successful approach. 相似文献
Unmanned aerial vehicles have been widely used in many areas of life. They communicate with each other or infrastructure to provide ubiquitous coverage or assist cellular and sensor networks. They construct flying ad hoc networks. One of the most significant problems in such networks is communication among them over a shared medium. Using random channel access techniques is a useful solution. Another important problem is that the variations in the density of these networks impact the quality of service and introduce many challenges. This paper presents a novel density-aware technique for flying ad hoc networks. We propose Density-aware Slotted ALOHA Protocol that utilizes slotted ALOHA with a dynamic random access probability determined using network density in a distributed fashion. Compared to the literature, this paper concentrates on proposing a three-dimensional, easily traceable model and stabilize the channel utilization performance of slotted ALOHA with an optimized channel access probability to its maximum theoretical level, 1/e, where e is the Euler’s number. Monte-Carlo simulation results validate the proposed approach leveraging aggregate interference density estimator under the simple path-loss model. We compare our protocol with two existing protocols, which are Slotted ALOHA and Stabilized Slotted ALOHA. Comparison results show that the proposed protocol has 36.78% channel utilization performance; on the other hand, the other protocols have 24.74% and 30.32% channel utilization performances, respectively. Considering the stable results and accuracy, this model is practicable in highly dynamic networks even if the network is sparse or dense under higher mobility and reasonable non-uniform deployments.
Journal of Intelligent Manufacturing - The order batching problem is a combinatorial optimization problem that arises in the warehouse order picking process. In the order batching problem, the aim... 相似文献
In this study, effects of embossing temperature, time, and force on production of a microfluidic device were investigated. Polymethyl methacrylate (PMMA) substrates were hot embossed by using a micromilled aluminum mold. The process parameters were altered to observe the variation of replication rate in width and depth as well as symmetry of the replicated microfluidic channels. Analysis of variance (ANOVA) on the experimental results indicated that embossing temperature was the most important process parameter, whereas embossing time and force have less impact. One distinguishing aspect of this study is that, the channels were observed to be skewed to either side of the channel depending on the location of the protrusions on the mold. The mechanism of the skewness was investigated by finite element analysis and discussed in detail. Results showed that the skewness depends on the flow characteristics of the material and could be reduced by increasing the embossing temperature. The best replication rates were obtained at parameter settings of 115°C, 10?kN, and 8?min for the molds with minimum 56?µm wide features of 120?µm depth. We also showed that the fabricated channels could be successfully sealed by solvent-assisted thermo-compressive bonding at 85°C under 5.5?kN force. 相似文献
In this paper, a novel stochastic two-sided U-type assembly line balancing (STUALB) procedure, an algorithm based on the genetic algorithm and a heuristic priority rule-based procedure to solve STUALB problem are proposed. With this new proposed assembly line design, all advantages of both two-sided assembly lines and U-type assembly lines are combined. Due to the variability of the real-life conditions, stochastic task times are also considered in the study. The proposed approach aims to minimise the number of positions (i.e. the U-type assembly line length) as the primary objective and to minimise the number of stations (i.e. the number of operators) as a secondary objective for a given cycle time. An example problem is solved to illustrate the proposed approach. In order to evaluate the efficiency of the proposed algorithm, test problems taken from the literature are used. The experimental results show that the proposed approach performs well. 相似文献
This paper describes the application of the CFD code, Comsol Multiphysics, to modeling the 3-D metal flow in friction stir welding of AA 2024-T3 aluminum alloy in order to investigate the influence of tool shape over the metal flow. Heat transfer and non-Newtonian flow equations were solved simultaneously. The results from the benchmark experiments found in the literature were used for validation purposes. Scrolled shoulders and threaded pins were given as kinematic boundary conditions. This made the computational problem an easy one. A welding engineer can predict the metal flow around the tool with different scrolls and threads under any welding conditions without making expensive experiments. Investigation of the velocity field before actual welding can save a lot of engineering hours. 相似文献