On the implication problem for cardinality constraints and functional dependencies

In database design, integrity constraints are used to express database semantics. They specify the way by that the elements of a database are associated to each other. The implication problem asks whether a given set of constraints entails further constraints. In this paper, we study the finite implication problem for cardinality constraints. Our main result is a complete characterization of closed sets of cardinality constraints. Similar results are obtained for constraint sets containing cardinality constraints, but also key and functional dependencies. Moreover, we construct Armstrong databases for these constraint sets, which are of special interest for example-based deduction in database design.     

汉语同语的功能特点与英译策略

以北大语料库(CCL)为例,分析论述汉语同语的功能特点.除了和英语同语一样可以表示强调以外,它们还具有转折、让步和赞誉的功能.对汉语同语进行英译时,应通过“理解-传递-体现”三个阶段实现功能对等.对表强调功能的单举式同语,可以保留其语言形式;对具有转折、让步和赞誉功能以及表强调功能的对举式同语,则应弃形式、保功能.     

Does the ‘forbidden zone’ for sleep onset influence morning shift sleep duration?

Shiftwork researchers have concentrated on the problems on the night shift, and have tended to neglect the truncation of sleep that can occur before morning, or ‘early’, shifts. We examined the sleep timing and duration between morning shifts of shiftworkers on a variety of shift systems. The extent of morning shift sleep truncation depended very largely on the time at which individuals had to leave home. Further, there was some suggestive evidence that the failure of individuals to compensate by going to sleep earlier was not simply due to social pressures to stay up. Rather it would appear to have depended, at least in part, on the biological clock determined ‘forbidden zone’ for sleep that occurs shortly before habitual sleep onset.     

出境台湾游客旅游目的地选择关键因素之分析

游客选择不同旅游目的地的群体行为客观存在。这种游客对目的地的选择受多种因素影响,影响程度也大小不同。文章提出出境游客目的地选择四大关键因素的假设,并以出境台湾游客为研究对象,收集、计算台湾游客在23个目的地空间分布以及交通联系指数、旅游资源丰度、对外关系度、贸易依存度的数据,采用最小二乘估计法（0LS）建立多元线性回归模型,分析空间距离、资源禀赋、对外关系、经济贸易对出境台湾游客目的地选择影响。结果显示,台湾游客的出访率与交通联系指数、贸易依存度呈正相关关系,交通、经贸直接影响出境台湾游客对目的地的选择;但与旅游资源丰度、对外关系度呈略微负相关关系,资源禀赋、对外关系并不影响出境台湾游客对目的地的选择。     

乳胶漆对比率的影响因素

讨论了影响乳胶漆对比率的各种因素。     

利用网络日志去探索影响网站访问的先决因素

如何优化网站结构、提高访问量呢?在本文中,我们将提出一些客观方法来探讨网站的访问与一些先决因素之间关系,这些先决因素在早期利用web日志的研究中都曾经验证过。我们从万达公司网站(www.wondersgroup.com)上采集了日志数据,并建立了一个研究模型来解释这个关系。     

氮化硅晶须的研究现状

介绍了晶须的生长机理、氮化硅晶须的制备方法以及影响其生长的因素。阐述了氮化硅晶须增强复合材料的现状,指出加强晶须的基础研究,改进制备技术和降低成本是今后的发展方向。     

ASIC验证技术

描述ＡＳＩＣ验证方法和过程，有助于ＡＳＩＣ设计者对验证的认识。模拟是验证ＡＳＩＣ并产生测试矢量的唯一途径，设计者可以对ＡＳＩＣ芯片或者在ＡＳＩＣ应用系统中进行功能和时序模拟。     

纤维缠绕外压容器稳定性最佳铺层分析

在纤维缠绕压力容器设计中，纤维缠绕的方向及各方向纤维用量配比是关键问题。过去的研究中，这一问题一直没能得到很好地解决，特别是各方向纤维用量问题。本文在文献［１～４］的基础上，以加权因子和铺设角为参量给出了对称多层正交各向异性外压容器筒体失稳的最佳铺层理论值。得出了加权因子ｓ取最佳值的范围为０＜ｓ＜０．２５的结论。文中算例表明，按最佳取值给出的临界压力较其它情况有较大幅度的提高。     

Stress intensity factors for an interfacial crack between an orthotropic half-plane bonded to a dissimilar orthotropic layer with a punch

The plane strain problem of determining Stress Intensity Factors (SIF) for a moving interfacial Griffith crack between an elastic orthotropic half-plane and a dissimilar orthotropic layer with a moving punch situated along the boundary of the layer have been considered. The problem is reduced to the solution of three simultaneous singular integral equations with Cauchy-type singularities. Expressions for SIF for the case of a general loading are obtained. Numerical results for some particular cases are also presented graphically.