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.     

Note of clarification on Scholten and Sherman (2006): Erratum.

Reports an error in "Tradeoffs and Theory: The Double-Mediation Model" by Marc Scholten and Steven J. Sherman (Journal of Experimental Psychology: General, 2006 May, Vol 135[2], 237-261). This article was inadvertently printed with the incorrect title. The original title was "Tradeoffs and Conflict: The Double-Mediation Model." This title highlights the relation between tradeoffs and conflict as investigated by the authors and accounted for by their model. However, readers are asked to refer to the article by the title with which it was printed to facilitate its retrieval.. (The following abstract of the original article appeared in record 2006-06642-006.) Most theories of decision making suggest that, when options imply tradeoffs between their attributes, conflict increases as tradeoff size increases, because greater sacrifices are to be incurred in choosing one option instead of another. An alternative view is that conflict decreases as tradeoff size increases, because stronger arguments can be made for any decision. The authors propose a unified model, the double-mediation model, which combines the mediating effects of sacrifice and argumentation. Our model generally predicts an inverse U-shaped relation between tradeoff size and conflict. Results support this prediction. Also, when the decision situation increases the mediating effect of sacrifice relative to that of argumentation, the relation between tradeoff size and conflict changes in an upward direction; conversely, when the decision situation increases the mediating effect of argumentation relative to that of sacrifice, the relation changes in a downward direction. Results support these predictions as well. Commonalities and differences between our model and other formulations are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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

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

数字电视用户管理系统

课题实现了数字电视用户管理系统的设计与开发,以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)