从系统功能语言学扩展模式谈汉语的主语和主语结构

本文以Halliday系统功能语言学扩展模式为出发点,尝试解决汉语的主语和主语结构问题,认为主语是底层及物性语义关系中的主导参与者在语法形式层面的具体体现,从而说明汉语主语和英语等印欧语句的主语的同质性;主语分基本主语和准主语;典型小句只有一个主语;小句到复句的过渡现象可能有两个或以上的主语。

基于Agent的图书馆管理信息系统功能扩展

基于对Agent的应用,针对图书馆管理信息系统所需要提供的个性化信息服务进行了简要概括,进而指出了基于Agent构建新型图书馆管理信息系统功能扩展的一般性结构与设计思路,在此基础上重点分析了基于Agent的图书馆管理信息系统功能扩展中的几个关键问题。

电力负荷控制设备的功能扩展

以承德供电公司负荷功能扩展系统为依据 ,分析和介绍了在原有的负荷控制设备基础上改造老设备、增加新设备、建立新系统的具体方案。从而以技术、经济相结合的手段实现对地方电厂、变电站关口、一二级购电管理、大用户等能量计费的管理。

用电形势缓和后电力负荷管理系统的应用取向

2006年,我国供用电形势将进一步趋于缓和,负荷管理系统的主要功能——负荷控制功能将逐步弱化。在新的用电形势下,供电企业不能放松对负荷管理系统的管理,必须及时转变应用方向和管理重点,更好地发挥系统所具有的功能,为电力客户和电力营销管理提供如下服务:一是与客户共享系统记录的信息,为客户提供个性化的优质服务;二是加强用电异常的监测和处理,及时发现并处理计量故障和窃电行为;三是充分利用扩展功能,以科技自主创新推进电力营销现场管理水平的提高。

特种设备检验信息系统建设经验谈

信息化建设是现代特种设备检验事业发展过程中的重要一环。在我所检验信息系统建设过程中,我们摸索出一系列的经验和教训,该系统综合体现了人、机器、信息资源三者的关系。信息管理系统以实现大量信息快速,有效,准确地获取,处理,管理和传递为目标和发展原则。在拥有了在办公自动化方面开发应用的成功经验基础上不断追求技术进步和完善的服务,使广大用户在第一时间享受技术进步带来的便利。

基于Event-B的细化需求建模及验证

Event-B通过为每个event添加环境、变量及常量等限制条件,从而细化及快速扩展系统功能,避免数据冗余问题。以账单分摊系统为例,通过添加成员支付账单、账单全部付清及成员加入和退出小组的日期及时间等三点细分需求,详细描述了使用Rodin工具集细化需求建模及通过Pro-B animator进行规范性验证的方法和过程。