检索结果-南通市图书馆

书法 2009年第7期 58-58页

作者：闫安

在 XYZ/ E中实现混成实时系统——蒸气锅炉控制问题的解决(英文)

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2000年第6期11卷 711-719页

作者：闫安唐稚松中国科学院软件所计算机科学开放研究实验室北京100080

XYZ/E is a temporal logic system as well as a programming language. The temporal logic language XYZ/E can represent both high level and low level specifications in the same framework, so that the specification and implementation of software systems are very convenient. A specification and an implementation of the Steam Boiler Control Specification Problem in XYZ/E is presented in this paper. A visual user interface is also implemented.

关键词：时序逻辑语言混成实时系统描述 XYZ/E

耐用品动态古诺模型的长期产量解和短期产量解研究

在线全文

学校读者我要写书评

暂无评论

系统工程理论与实践 2006年第10期26卷 30-34页

作者：闫安达庆利东南大学经济管理学院

依据耐用品的市场容量可变的特点,研究了两阶段情形下的两个耐用品企业同时博弈的动态古诺模型,分别得到即期利润最大化时和长期利润最大化时的不同的产量博弈模型及其各自所对应的产量解.通过比较与分析可知,长期产量解优于短期产量解... 详细信息

依据耐用品的市场容量可变的特点,研究了两阶段情形下的两个耐用品企业同时博弈的动态古诺模型,分别得到即期利润最大化时和长期利润最大化时的不同的产量博弈模型及其各自所对应的产量解.通过比较与分析可知,长期产量解优于短期产量解.在此基础上,建立了分别以追求短期利润和长期利润为策略的新的博弈模型,由此可知两个企业依旧处于囚徒困境中,不得不以追求短期利润作为自己的选择.

关键词：博弈古诺模型长期利润市场容量

在线全文

学校读者我要写书评

暂无评论

纯钛的高频感应钎焊

稀有金属材料与工程 1998年第2期27卷 103-106页

作者：杨永福闫安军雷艳西北有色金属研究院

研究了银基钎料（ＦＡ００１Ａｇ，ＦＡ００２ＡｇＣｕ，ＦＡ００５ＡｇＡｌ等）和钛基钎料（ＦＴ１００ＴｉＣｕＮｉ，ＦＴ１０２ＴｉＣｒＮｉ，ＦＴ１０３ＴｉＺｒＣｕ等）对纯钛高频感应钎焊接头强度的影响。研究表明，新研制的钛基... 详细信息

研究了银基钎料（ＦＡ００１Ａｇ，ＦＡ００２ＡｇＣｕ，ＦＡ００５ＡｇＡｌ等）和钛基钎料（ＦＴ１００ＴｉＣｕＮｉ，ＦＴ１０２ＴｉＣｒＮｉ，ＦＴ１０３ＴｉＺｒＣｕ等）对纯钛高频感应钎焊接头强度的影响。研究表明，新研制的钛基ＦＴ１００ＴｉＣｕＮｉ钎料的钎焊性能优于传统的银基钎料，其钎焊接头剪切强度高于其它类型的钎料。试验得出了每种钎料钎焊接头剪切强度与保温时间的关系。

关键词：钛钎焊钎料感应钎焊

在线全文

学校读者我要写书评

暂无评论

关于加强执政环境建设的思考

理论前沿 2006年第6期 28-29页

作者：闫安中共中央党校研究生院

执政环境与执政能力是一种辩证关系,要加强执政能力建设,搞好执政环境建设至关重要。

关键词：执政环境执政能力建设中国共产党面临的环境

在线全文

学校读者我要写书评

暂无评论

咨询企业的知识管理

情报科学 2004年第10期22卷 1160-1163页

作者：闫安北京外国语大学图书馆北京100089

针对咨询企业以知识为核心的特点 ,需要对企业内外部的知识进行科学有效的管理。为此。

关键词：知识管理咨询企业知识

在线全文

学校读者我要写书评

暂无评论

离散事件系统中的攻击检测和修复

复杂系统与复杂性科学 2022年第4期19卷 99-106页

作者：闫安宋运忠河南理工大学电气工程与自动化学院河南焦作454000

为研究离散事件系统中的入侵检测,防御和修复问题,采用形式语言与自动机的方法对一个受到执行器启动攻击的系统进行建模。首先,采用一种诊断器算法对该模型进行分析,判断其在受到攻击后的安全性。之后,基于此提出了一种算法,使系统在受... 详细信息

为研究离散事件系统中的入侵检测,防御和修复问题,采用形式语言与自动机的方法对一个受到执行器启动攻击的系统进行建模。首先,采用一种诊断器算法对该模型进行分析,判断其在受到攻击后的安全性。之后,基于此提出了一种算法,使系统在受到攻击后不满足安全性时修复系统,使其满足系统安全性的要求。最后,通过一个交通系统验证了该方法的有效性。

关键词：离散事件系统安全可控性网络攻击诊断器

台商投资大陆经济政治研究--兼及台湾同胞与祖国大陆改革开放和现代化建设三十年

在线全文

学校读者我要写书评

暂无评论

中共党史研究 2011年第1期 53-69页

作者：闫安内蒙古工业大学呼和浩特010051

从1978年到2009年,经过改革开放和现代化建设30多年,中国社会经济进入新的发展阶段,台湾同胞在此过程中的位置、作用如何?本文对台商参加祖国大陆改革开放和现代化建设30多年的分期、演变历程、贡献、作用等问题进行研究,认为,台商投资... 详细信息

从1978年到2009年,经过改革开放和现代化建设30多年,中国社会经济进入新的发展阶段,台湾同胞在此过程中的位置、作用如何?本文对台商参加祖国大陆改革开放和现代化建设30多年的分期、演变历程、贡献、作用等问题进行研究,认为,台商投资活动初步奠定两岸关系和平发展的物质基础,是中国现代化经济建设的贡献者及现代化经济建设的一支重要力量;同时,台商到大陆投资也对台湾发展作出了贡献。文章对其历史经验、存在的问题和对策进行了思考。

关键词：台商投资中国改革开放现代化建设