多回合组合双向拍卖交易机制研究

以组合双向拍卖分析为基础,建立了相关的数学模型,分别对单一回合和多个回合的组合双向拍卖交易机制进行了研究,证明多回合组合双向拍卖能更大地提高社会福利,也为进一步研究组合双向拍卖的市场效率、竞争均衡、竞标策略和计算机的模拟实验等问题提供了基础.     

群集性随机图中的波及效应

随机图是社会网络分析的重要工具,在Newman等对传统随机图模型的研究基础上,研究了具有群集性的随机图这一与现实社会网络更为接近的随机图模型中的波及效应。利用概率论的方法计算出群集性随机图中距离波动中心任意远的被波及对象的期望数量,利用推导出的一般公式分析了该类随机图中波及效应的特点,并考察了群集性对波及效应的影响。由分析知,每个点的平均阶是影响波及效应的最具决定性的因素。从总体上说,群集性降低了波及效应。     

地面坦克目标红外热成像物理模型研究

根据红外成像的基本流程，研究并建立了地面坦克的红外物理模型。针对复杂场景分别对目标和背景部分建模、求取温度场分布，同时考虑目标和背景之间的相互作用得到完整的场景红外理论模型；考虑红外辐射的大气吸收，建立了大气衰减模型；模拟红外传感器的工作特性建立成像综合响应模型。最后给出了地面坦克目标热成像系统的仿真流程，利用该系统可以在试验环境下进行目标的红外仿真，为红外系统以及武器的研制提供经济快捷的手段。     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

New structure of Kalman filter for radar networking

1.INTRODUCTION Inpractice,radarsoftenoperateasynchronouslyandpro videdataatdifferentrateswithdifferentcommunication timedelays,thustheproblemofdatafusioninradarnet workingsystemisasynchronousinsteadofsynchronous. However,theresearchinthefieldofdatafusionfocuses onthesynchronousproblems,andthemeasurementsof differentsensorsarealwayspredictedatthesametimefor updatingKalmanfiltersynchronously.Thisapproachis complicatedforengineering,anditwillreducethedata ratesofthesystem,atthesametimethee…     

机械基础课中双语教学的实施

通过分析机械设计专业基础课双语教学的特点,提出机械设计专业双语教师应该具有的素质,并通过学生对双语教学的意向及反馈意见,提出了教师应该采取的措施。     

层次分析法中数字标度的选择与评价方法研究

针对目前在AHP 中常用的各种数字标度,指出了专家语言描述与数字标度之间的不一致性,并提出数字标度的选择与评价应该从其与自然语言描述的符合程度出发,以能够准确表达专家的语言表述作为衡量标准.其次,给出了一类数字标度模型,其基本上可以涵盖目前常用的数字标度.最后,基于合理的语言逻辑假设,给出了一种一般性的评价方法,以便于决策者在实际应用中选择适当的数字标度进行决策,降低了由于数字标度选择不当而带来的决策偏差.     

ATO型供应链生产规划与库存协调集成决策经济模型

结合供应链分析模型研究的现状和ATO(assembletoorder)型供应链企业的特点,建立了供应链联盟生产规划与库存协调集成决策经济模型,该模型包括战略层子模型和运作层子模型两部分.战略层子模型以供应链整体增值利润最大化为目标来确定各层企业的生产计划;运作层子模型,在战略层确定的生产合作计划的基础上,来实现协调多层供应链成员企业生产周期或批量的目标.此外,文章还从合作博弈的角度证实了模型博弈核心解的存在性这样模型确定的生产合作计划可保证联盟整体的稳定性.     

拉瓦锡的"私密科学"

关于科学革命及其方法论本质,人们有种种不同的阐释.但是,与此不同的是,关于化学革命的方法论本质,多数史学家的意见是一致的,他们承认是拉瓦锡(Antoine Laurent Lavoisier,1743～1794)引入了化学定量方法.然而他们对拉瓦锡使用这一方法的起源却意见不一①.     

STS的首次国际峰会:社会中的科学技术京都论坛

2004年11月14—16日，在日本国立京都国际会馆举行了首届STS论坛。这是一次跨国界、跨界别的高峰会议，有50个国家和地区的部长级官员、科学界领袖、高技术公司的企业家、政策制订者共约480位代表出席论坛，以非正式的方式进行对话。日本现任首相小泉纯一郎说，这是“世界上处理人类在对付科学和技术的明面和暗面时所面临的问题以及人类未来的问题的第一个尝试”，