构件演化的交互行为一致性研究

构件演化前后的交互行为执行序列不一致,会导致系统行为偏离系统的功能目标。针对该问题,基于进程代数描述构件间的交互行为,归纳交互行为一致性的定义,给出交互行为一致性所需满足的约束条件,提出一种保证交互行为一致性的方法。实例分析结果证明了该方法的可行性和正确性。

ZNF217 expression correlates with the biological behavior of human ovarian cancer cells

The aim of the study was to investigate the correlation of zinc-finger protein 217 （ZNF217） gone ex- pression with the biological behavior of human ovarian cancer HO-8910 cells. Methods： The expression of ZNF217 in ovarian carcinoma cell line：s was detected by RT-PCR and Western blot, respectively. The biological behaviors of the transfectants were investigated by MTT, in vitro Boyden chamber and in vivo invasion assay, respectively. Results： RT-PCR and Western blotting revealed that transfection of ZNF217 into the HO-8910 cells significantly increased their proliferation along with mark- edly enhanced in vitro and in vivo invasion and metastatic abilities. MTT assay showed that the proliferation ability of pEGFP- N1-ZNF217/HO-8910 cells was significantly higher than that of pEGFP-N1/HO-8910 cells and HO-8910 cells （P 〈 0.001）. The Boyden chamber assay showed that the numbers of migrating pEGFP-N1-ZNF217/HO-8910, pEGFP-N1/HO-8910 and HO-8910 cells were （141.25 ± 13.91） cells/200 x field, （82.50 ± 11.73） cells/200 × field and （81.75 ± 12.12） cells/200 x field, respectively, with a significant difference between them （F = 29.274, P 〈 0.001）. The nude mouse experiment showed that the in vivo tumor formation ability of pEGFP-N1-ZNF217/HO-8910 cells was significantly higher than that of pEGFP-N1/HO-8910 cells （P 〈 0.001）. Conclusion： Based on these clinical and laboratory observations, we conclude that ZNF217 may contribute to ovarian cancer invasion and metastasis, and associated with worse clinical outcomes. We evaluated ZNF217＇s role as a biomarker of ovarian carcinogenesis and tumor progression in patient samples and explored possible molecular mechanisms in promoting tumor growth and invasion.

A unified criterion for yielding behavior of metallic glasses

The yield behavior of metallic glasses was studied. Three yield criteria, including von Mises yield criterion, Mohr-Coulomb yield criterion and the unified yield criterion were used to describe the yield phenomena of the metallic glasses. Two classes of the experimental data were chosen to draw the yield loci using the unified yield criterion. It is shown that the unified yield criterion can be used to describe the yield behavior of the metallic glasses no matter whether the metallic glasses show strength- different effect or non-strength-different effect. Almost all the widely accepted yield criteria are the subsets of the unified yield criterion if the intermediate principle stress and/or the intermediate principle shear stress are not considered at all.

基于软件行为的可信动态度量

提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型.

Flocking behavior with multiple leaders and global trajectory

Aiming at the group of autonomous agents consisting of multiple leader agents and multiple follower ones,a flocking behavior method with multiple leaders and a global trajectory was proposed.In this flocking method,the group leaders can attain the information of the global trajectory,while each follower can communicate with its neighbors and corresponding leader but does not have global knowledge.Being to a distributed control method,the proposed method firstly sets a movable imaginary point on the global trajectory to ensure that the center and average velocity of the leader agents satisfy the constraints of the global trajectory.Secondly,a two-stage strategy was proposed to make the whole group satisfy the constraints of the global trajectory.Moreover,the distance between the center of the group and the desired trajectory was analyzed in detail according to the number ratio of the followers to the leaders.In this way,on one hand,the agents of the group emerge a basic flocking behavior; on the other hand,the center of the group satisfies the constraints of global trajectory.Simulation results demonstrate the effectiveness of the proposed method.

Characterization of exploratory patterns and hippocampal–prefrontal network oscillations during the emergence of free exploration

During free exploration,the emergence of patterned and sequential behavioral responses to an unknown environment reflects exploration traits and adaptation.However,the behavioral dynamics and neural substrates underlying the exploratory behavior remain poorly understood.We developed computational tools to quantify the exploratory behavior and performed in vivo electrophysiological recordings in a large arena in which mice made sequential excursions into unknown territory.Occupancy entropy was calculated to characterize the cumulative and moment-to-moment behavioral dynamics in explored and unexplored territories.Local field potential analysis revealed that the theta activity in the dorsal hippocampus(d HPC)was highly correlated with the occupancy entropy.Individual d HPC and prefrontal cortex(PFC)oscillatory activities could classify various aspects of free exploration.Initiation of exploration was accompanied by a coordinated decrease and increase in theta activity in PFC and d HPC,respectively.Our results indicate that d HPC and PFC work synergistically in shaping free exploration by modulating exploratory traits during emergence and visits to an unknown environment.

The coupling of fluid flow and uplift since Late Cretaceous in Zoige area, western Sichuan

The uplift indicated by five AFT (apatite fission track) samples is more than 3400 m by multi-episodic uplift since Late Cretaceous in Zoige area; especially the processes of fast uplift in Late Cretaceous and Neogene have important influences on the stress of paleo-fluid. Based on field geology, macroscopic features of fracture, and geochemistry of fluid inclusions, we decipher the paleo-fluid process of episodic migration. In early uplift stage, the temperature of inclusions increased with the constant salinity, whilst both of them proportionally decreased in the mid-late stage, indicating the different tendency of heat-fluid warming and freshwater contamination at different time. Of particular importance are the features of episodic fluid flow, such as ESR ages, and features of multi-episodic migration that correspond well with the process of multi-episodic uplift. Thus, concerning the rock stress-strain behavior responding to uplift, we further discuss the spatio-temporal coupling effect of episodic migration and decompression in multi-episodic uplift, thereby to better understand petroleum geology in the region.