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.     

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

An effective means for analyzing and reasoning on software systems is to use formal specifications to simulate their execution. The simulation traces can be used for specification testing and reused for functional testing of the system later in the development process. It is widely acknowledged that, to deal with the complexity of industrial-size systems, specifications must be structured into modules providing abstraction mechanisms and clear interfaces. In our past work, we defined and implemented a method for simulating specifications written in the TRIO temporal logic language, and applied it to functional testing of time-critical industrial systems. In the present paper, we report on a case study with a tool that analyzes TRIO specifications by taking advantage of their modular structure, so as to overcome the well-known state-explosion problem and make the proposed method really scalable. We discuss the fundamental operations and the algorithms on which the tool is based. Then, we illustrate its use in a realistic case study, inspired from an industrial application. Finally, we comment on the overall results in terms of usability of the tool and effectiveness of the approach, and we outline future improvements.     

A functional presentation of Pi calculus

From the very beginning process algebra introduced the dichotomy between channels and processes. This dichotomy prevails in all present process calculi. The situation is in contrast to that withlambda calculus which has only one class of entities-the lambda terms. We introduce in this papera process calculus called Lamp in which channels are process names. The language is more uniform than existing process calculi in two aspects-. First it has a unified treatment of channels and processes.There is only one class of syntactical entities-processes. Second it has a unified presentation ofboth first order and higher order process calculi. The language is functional in the sense that lambda calculus is functional. Two bisimulation equivalences, barbed and closed bisimilarities, are proved to coincide.A natural translation from Pi calculus to Lamp is shown to preserve both operational and algebraic semantics. The relationship between lazy lambda calculus and Lamp is discussed.     

基于LINUX＋PHP＋MYSQL的大学生电子档案系统

针对PHP应用开发的要求及特点,阐述了基于LINUX的三层B／S体系结构的构建方法,介绍了系统的开发背景,设计并分析了系统的功能结构和层次结构,同时结合安装实例进行了说明。     

实例分析关系模式的规范化与反规范化

规范化是减少数据冗余、设计合理的数据库的重要手段,是数据库课程的重点。由于涉及到关系数学理论,仅做理论讲解,很难使学生理解,尤其是高职层次的学生。本文通过一个关系模式不断分解、规范化的实例,采用逐步深入的方法解决数据库设计中存在的问题,使学生既掌握数据库设计的技能,也加深对函数依赖、规范化理论的理解。     

A Minimax Method for Learning Functional Networks

In this paper, a minimax method for learning functional networks is presented. The idea of the method is to minimize themaximum absolute error between predicted and observed values. In addition, the invertible functions appearing in the modelare assumed to be linear convex combinations of invertible functions. This guarantees the invertibilityof the resulting approximations. The learning method leads to a linear programming problem and then: (a) the solution isobtained in a finite number of iterations, and (b) the global optimum is attained. The method is illustrated withseveral examples of applications, including the Hénon and Lozi series. The results show that the method outperforms standard least squares direct methods.     

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

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

基于B/S架构的教学设备管理系统的实现

随着计算机网络的进一步普及,已为浏览器访问奠定了夯实的基础。各二级学院管理员只需像平时通过浏览器访问网站一样,按主管部门提供的网址和账户就能使用教学设备管理系统。针对我校的实际需求及市售教学管理软件存在的不足之处,利用A SP.NET技术,设计符合我校实际需求的基于B/S架构的教学设备管理系统。     

含区间时变时滞的线性不确定系统非脆弱鲁棒控制

针对一类时滞是时变的且属于一个已知区间的线性系统,利用Lyapunov-Krasovskii泛函方法,结合积分不等式方法,以线性矩阵不等式的形式,给出了区间时滞线性系统的时滞相关鲁棒稳定性准则,并设计了非脆弱鲁棒控制器。数值算例表明,所得结论是有效的,具有更低的保守性。     

微控制器模块化综合实训平台的设计与研究

微控制器凭借其优异的性能、广泛的应用范围,已经成为了理工科相关专业的学生必须熟练掌握的专业技能。采用模块化设计了一个实训平台,该平台由多种微控制器及十多种不同的功能模块组成。学生可在实训过程中根据课题需要任意选择或添加合适的模块构建应用系统。该实训平台适用于微控制器综合应用实训、大学生电子设计竞赛赛前训练、电子科技创新、毕业设计等多种实践环节。