越来越多的系统采用UML(unified model language,统一建模语言)作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的...越来越多的系统采用UML(unified model language,统一建模语言)作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是:引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.展开更多
BACKGROUND：5-1ipoxygenase protein （ALOX5AP） has been recognized as a susceptibility gene for stroke and coronary artery diseases. The present study was to explore the role of this gene in the eastern Chinese patien...BACKGROUND：5-1ipoxygenase protein （ALOX5AP） has been recognized as a susceptibility gene for stroke and coronary artery diseases. The present study was to explore the role of this gene in the eastern Chinese patients with ischemic stroke.METHODS： Using a case-control design, we studied 658 patients with ischemic stroke and 704 unrelated population-based controls who were age- and sex-matched. The 658 patients were classified by the Trial of Org 10172 in Acute Stroke Treatment （TOAST）. Two single-nucleotide polymorphisms （SNPs） covering ALOX5AP were genotyped. RESULTS： The genotype frequencies of TG of the SNPs rs17222919 located in the promoter of the ALOX5AP gene were significantly higher in patients with ischemic stroke than in controls （OR＊=1.34, 95%C1＊=1.02-1.75）, especially in patients with ischemic stroke caused by small-artery occlusion （SAO） （OR＊=1.40, 95%C1＊=1.02-1.93）. Meanwhile, the genotype frequencies of TG and TG/ GG were higher in female patients than in the controls. After specification, the genotype frequencies of TG and TG/GG were higher in the patients than in controls with hypertension. The genotype frequencies of AG and AG/GG of the SNPs rs9579646 located in the intron of the ALOX5AP gene were higher in the controls than in the patients. After specification, the genotype frequencies of TG were higher in the controls than patients without hypertension. CONCLUSIONS： The present study suggests that sequence variants in the ALOX5AP gene are significantly associated with ischemic stroke.展开更多
文摘越来越多的系统采用UML(unified model language,统一建模语言)作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是:引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.
基金supported by Research Foundation of Jiangsu Province Hygiene Committee(H201005)
文摘BACKGROUND：5-1ipoxygenase protein （ALOX5AP） has been recognized as a susceptibility gene for stroke and coronary artery diseases. The present study was to explore the role of this gene in the eastern Chinese patients with ischemic stroke.METHODS： Using a case-control design, we studied 658 patients with ischemic stroke and 704 unrelated population-based controls who were age- and sex-matched. The 658 patients were classified by the Trial of Org 10172 in Acute Stroke Treatment （TOAST）. Two single-nucleotide polymorphisms （SNPs） covering ALOX5AP were genotyped. RESULTS： The genotype frequencies of TG of the SNPs rs17222919 located in the promoter of the ALOX5AP gene were significantly higher in patients with ischemic stroke than in controls （OR＊=1.34, 95%C1＊=1.02-1.75）, especially in patients with ischemic stroke caused by small-artery occlusion （SAO） （OR＊=1.40, 95%C1＊=1.02-1.93）. Meanwhile, the genotype frequencies of TG and TG/ GG were higher in female patients than in the controls. After specification, the genotype frequencies of TG and TG/GG were higher in the patients than in controls with hypertension. The genotype frequencies of AG and AG/GG of the SNPs rs9579646 located in the intron of the ALOX5AP gene were higher in the controls than in the patients. After specification, the genotype frequencies of TG were higher in the controls than patients without hypertension. CONCLUSIONS： The present study suggests that sequence variants in the ALOX5AP gene are significantly associated with ischemic stroke.
