查询词典 formalized

The model opera styled gesticulations of robbers and the valiant elders give a deceiving first impression, but when we noticed that in the news report the formalized relation among violence and evil amidst the upstanding community, then we can say such purposeful postures rightly illuminate the increasingly subdued effects of any social mores on the population. It might agitate a moment of fear and anger about the gangsters' violence and successive respect for the upright elders, but these feelings do not last that long; everything finally comes to calm. We have seen so many similar stories replayed everyday in every way. In the end, we read violence, fear it for a while, then leave it by the wayside in an ulterior corner of our memory without any sigh until one day when the gangster really surround us.

抢夺的嫌犯与声张正义的老人样板戏式的造型，看起来甚是虚假――然而，当我们意识到暴力与邪恶的关系在连篇累牍的新闻报道中被形式化，那我们就能立刻推断出这种摆设倒是确确切切地说明了被模式化的道德律对人们的影响――它或许能够引起一阵对年轻人暴行的惊悸，旋而是片刻对老者秉持正义的赞赏，而最后，这些不断被复制的新闻故事被长久地搁在心里某个隐蔽的角落，引不起任何道德感的涟漪了。

For formalized lattice implication algebra theoryT, it is proved thatTis preserved under submodels, unions of chains and homomorphisms;Tis neither complete nor model complete, and hence there exists no built-in Skolem function.

讨论有关格蕴涵代数结构的模型论性质，证明了形式化格蕴涵代数理论T保子模型、保模型链之并、保模型同态，理论T不是完备的、也不是模型完备的，因而不存在内在Skolem函数。

Formalized description of reconfigurable manufacturing system is presented to serve as the theoretical basis for system optimization.

可重构制造系统的模型及其重构算法是可重构制造系统的形式化表示，是研究RcMS优化的理论基础。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48