Banach空间柱形域上微分方程解的存在性

讨论Banach空间柱形域上摄动微分方程解的存在性,证明了关于局部解、整体解及周期解的一些结论,推广并完善了文献[6.8.9]等中的结果。     

关于表决系统模糊—随机可靠性理论的研究

本文在文献[1]、[2]、[3]的基础上,应用模糊数学的原理和方法,建立了表决系统模糊——随机可靠度计算的基本理论。     

正实部函数的变分域与极值点

本文研究了正实部函数的变分域Pn(α1，α2，…，αm）以及Pn的边界点与Pn上解析函数极值点的关系，还证明了Bn(α1，α2，…，αm)的边界点与极值点的对应关系。     

协进陶瓷厨卫内墙砖透水的终结者

一只南美洲亚马逊河流域热带雨林中的蝴蝶，偶尔扇动几下翅膀，就在两周后引起美国德克萨斯州一场龙卷风! 日前，协进“完全不透水”内墙砖专家鉴定会成功举行。业内在为中国陶瓷技术的不断创新而欣慰之余，“山雨欲来风满楼”的紧迫气势更是迎面而来!如同蝴蝶振翅，或许，一场厨卫内墙砖品质的升级风暴正由协进陶瓷掀起……[编者按]     

西充县生态修复工程显成效

2004年西充县在启动实施虹溪河流域生态修复工程时，坚持采取人工治理与生态修复结合，以人为本，实行分类防治，突出重点，以沟池路为骨架工程，以产业开发为中心，以生态修复为重点，以生态新村建设为目标，把该小流域建设成为城郊型生态休闲农业观光区，取得了显著成效。     

非线性不等式约束规划的信赖域方法

将信赖域方法用于不等式约束问题，在不要求Ｈｅｓｓｉａｎ阵的近似矩阵正定的情况下，证明了算法的整体收敛性，且在一定条件下，证明了算法是二阶收敛的。最近给出了１个计算实例。     

X.400MHS实用系统中计费管理的实现

Ｘ．４００ＭＨＳ从１９８４年由ＣＣＩＴＴ首次提出，到１９８８年在原有版本的基础上补充完善，至今已在世界范围内得到广泛的应用。ＭＨＳ（Ｍｅｓｓａｇｅ Ｈａｎｄｉｎｇ Ｓｙｓｔｅｍ）是一种分布式的综合消息处理系统，它以计算机和通信网为支撑，采用存储转发方式提供消息的发送和接收服务，能够处理包括文字、数据、图象，以及数字化语音在内的各种消息，而且通过符合Ｘ．４００标准系统间的互连，它可以建立起一个通用的     

分析肋形介质波导的有限谱域法

本文提出了一种简便迅速而又足够精确的分析肋形介质波导的新方法。本方法与有限元法、有限差分法、等效介电常数法及其派生方法、谱域半严格解法、谱域折射率法及二维Fourier分析法的比较，证实了其正确性优越性。     

玛纳斯河流域水资源管理信息系统研究

玛纳斯河流域水资源管理信息系统的开发研究主要针对水资源管理的需要,解决目前管理效率低,水市场机制不完善等问题,建设高效可靠的、实用先进的综合查询信息系统。根据水资源管理信息系统(WRMIS)的开发目标,分析系统的功能需求和结构,提出新的开发方式,强调开发过程中用户参与的重要性,提高工作效率和管理水平。     

Domain-specific formal ontology of archaeology and its application in knowledge acquisition and analysis

Inherent heterogeneity and distribution of knowledge strongly prevent knowledge from sharing and reusing among different agents and software entities, and a formal ontology has been viewed as a promising means to tackle this problem. In this paper, a domain-specific formal ontology of archaeology is presented. The ontology mainly consists of three parts: archaeological categories, their relationships and axioms. The ontology not only captures the semantics of archaeological knowledge, but also provides archaeology with an explicit and forma specification of a shared conceptualization, thus making archaeological knowledge shareable and reusable across humans and machines in a structured fashion. Further, we propose a method to verify ontology correctness based on the individuals of categories. As applications of the ontology, we have developed an ontology-driven approach to knowledge acquisition from archaeological text and a question answering system for archaeological knowledge.