Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler

We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.     

Crystallization of progesterone polymorphs using polymer-induced heteronucleation (PIHn) method

Progesterone is a natural hormone steroid used in humans for several treatments and in livestock for artificial insemination, which exhibits two polymorphic forms at ambient conditions: form 1 and form 2. Form 2 is metastable and more soluble than form 1; however, it is not suitable to use as powder raw material because it transforms into form 1 by the effects of grinding. A polymorphic screening of progesterone based on polymer-induced heteronucleation method was performed as an alternative to prepare the metastable form. Polyvinyl alcohol, hydroxypropyl methylcellulose (HPMC), dextran, gelatin, polyisoprene (PI) and acrylonitrile-butadiene (NBR) copolymer were used. Crystals were prepared from 0.5, 10 and 40?mg/mL solutions in acetone at room temperature by solvent evaporation. The samples were characterized by X-ray powder diffraction, differential scanning calorimetry (DSC), scanning electron microcopy and attenuated total reflectance infrared Fourier transform spectroscopy. Form 1 was nucleated from 40?mg/mL solutions on the six polymers and from 10?mg/mL solutions on PI and NBR. The mixture of form 1 and form 2 was obtained from 10?mg/mL solution on HPMC, dextran and gelatin and from 0.5?mg/mL solution crystallizations. Therefore, the polymeric devices, which crystallized the metastable and more soluble polymorph (2) of progesterone, would be a promissory alternative for the pharmaceutical applications.     

Quantum computation based bundling optimization for combinatorial auction in freight service procurements

Combinatorial auction is a useful trade manner for transportation service procurements in e-marketplaces. To enhance the competition of combinatorial auction, a novel auction mechanism of two-round bidding with bundling optimization is proposed. As the recommended the auction mechanism, the shipper/auctioneer integrates the objects into several bundles based on the bidding results of first round auction. Then, carriers/bidders bid for the object bundles in second round. The bundling optimization is described as a multi-objective model with two criteria on price complementation and combination consistency. A Quantum Evolutionary Algorithm (QEA) with β-based rotation gate and the encoding scheme based on non-zero elements in complementary coefficient matrix is developed for the model solution. Comparing with a Contrast Genetic Algorithm, QEA can achieve better computational performances for small and middle size problems.     

移动运营商手机游戏业务的战略定位和发展策略探讨

分析了韩国、日本及国内运营商手机游戏业务的发展状况．探讨了手机游戏业务的模式．论述了该业务的战略定位和市场前景。从地区提供给移动通信市场对外部环境、产业链的准备是否充分以及运营商内部的资源和运营状况等三个方面阐明了手机游戏业务发展的关键因素。     

数字电视用户管理系统

课题实现了数字电视用户管理系统的设计与开发,以Oracle数据库作为后台数据库,以C Builder 6作为前台开发工具,包括表的设计与界面的设计.实现了数字电视用户管理系统基本功能,基本上满足了实际商业运营的需要.     

Measurement and numerical simulation of three‐dimensional fiber orientation states in injection‐molded short‐fiber‐reinforced plastics

To determine three‐dimensional fiber orientation states in injection‐molded short‐fiber composites, a confocal laser scanning microscope (CLSM) is used. Since the CLSM optically sections the specimen, more than two images of the cross sections on and below the surface of the composite can be obtained. Three‐dimensional fiber orientation states can be determined by using geometric parameters of fiber images obtained from two parallel cross sections. For experiments, carbon‐fiber‐reinforced polystyrene is examined by the CLSM and geometric parameters of fibers on each cross‐sectional plane are measured by an image analysis. In order to describe fiber orientation states compactly, orientation tensors are determined at different positions of the prepared specimen. Three‐dimensional orientation states are obtained without any difficulty by determining the out‐of‐plane angles utilizing fiber images on two parallel planes acquired by the CLSM. Orientation states are different at different positions and show the shell–core structure along the thickness of the specimen. Fiber orientation tensors are predicted by a numerical analysis and the numerically predicted orientation states show good agreement with measured ones. However, some differences are found at the end of cavity. They may result from the fountain flow effects, which are not considered in the numerical analysis. © 2003 Wiley Periodicals, Inc. J Appl Polym Sci 88: 500–509, 2003     

数据采集与监控软件Genie

Genie是具有国际先进水平的数据采集与监控软件，它提供了一个面向对象的图形化用户界面，因此简化了数据采集过程、控制应用程序开发和操作员界面。本文介绍了Genie的特点、功能、基本用途以及VISUALBA－SIC在设计这类监控软件中的作用。     

条件概率关系数据库模型

现实世界中大量存在着的不确定性信息，关系数据库模型仅视它们为空值，有必要增强其处理这类信息的能力，文章在总结前人工作的基础上推广关系数据库模型，创建有效处理随机型不确定性信息的条件概念关系数据库模型，该模型通过在关系模式中增加一个条件概率测度属性，为每条记录指定适当的条件概率的途径，来表示不确定性信息。文中以对象码为基本工具，创建了条件概率关系结构；以特征函数为基本工具，定义了一套基于该结构的代数运算规则。条件概率的语意比概率的语意广泛，灵活，因而该模型能有效克服概率关系模型的许多不足。     

Moral value transfer from regulatory fit: What feels right is right and what feels wrong is wrong.

People experience regulatory fit (E. T. Higgins, 2000) when the strategic manner of their goal pursuit suits their regulatory orientation, and this regulatory fit feels right. Fit violation feels wrong. Four studies tested the proposal that experiences of fit can transfer to moral evaluations. The authors examined transfer of feeling wrong from fit violation by having participants in a promotion or prevention focus recall transgressions of commission or omission (Studies 1 and 2). Both studies found that when the type of transgression was a fit violation, participants expressed more guilt. Studies 3 and 4 examined transfer of feeling right from regulatory fit. Participants evaluated conflict resolutions (Study 3) and public policies (Study 4) as more right when the means pursued had fit. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Highly ordered microstructures of poly(styrene-b-isoprene) block copolymers induced by solution meniscus

Microstructures of hundreds of micron thick poly(styrene-block-isoprene) copolymer films solution-cast in a cylindrical tube with the solvent evaporation controlled were investigated by transmission electron microscope (TEM), small angle X-ray scattering (SAXS) and optical microscope (OM). In a block copolymer with cylindrical polyisoprene microdomains, the orientation of the cylinders was varied along radial direction of the cylindrical tube. Highly aligned hexagonal arrays of in-plane polyisoprene cylinders were formed with their cylindrical axis parallel to the circumference of the tube in the regimes close to the wall edge. In contrast randomly ordered microdomains were observed at the center of the tube. We have also found that the orientation depends on the solvent evaporation rate and an intermediate rate (∼2.3 nL/s) provides the best orientation. In the case of a block copolymer with a bicontinuous double gyroid structure, we obtained a globally ordered microstructure where [111] crystallographic direction was parallel to the circumference of the tube. For both block copolymers, the area of highly ordered arrays of nanoscopic domains is over 1 mm². Development of the orientation was explained by coupling two orthogonal fields: (1) The flow of a solution induced by strong capillary force at a meniscus between the cylindrical tube wall and the block copolymer solution and (2) the solvent evaporation.