-
松浦东郎
2012年第20卷第3期第页524
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
-
李Hark Jin，Young Sung Son，Jun Hee Park，Kyeong Deok Moon，Jae Cheo。。。
文章类型：操作系统和网络
主题领域：普通纸
2012年第20卷第3期第页525-530
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
本文研究了一种支持家庭网络上异构中间件之间互操作的集成体系结构。我们提出并实现了一个通用的中间件桥，以支持不同中间件上的设备互操作，从而实现高效的家庭网络。IWFEngine（互通功能引擎）体系结构提供了一个接口，用于使用其他简单规则识别和利用设备之间的服务，以支持异构中间件之间的互操作性。通过注册的规则，本地中间件消息被转换为标准消息，反之亦然。与现有的集成中间件体系结构不同，IWFEngine体系结构提高了效率，通过简单的规则和使用本地中间件消息可以方便地开发适配器。通过这种配置，描述了一种用于在各种中间件上的设备之间交换消息的转换规则，该规则不需要修改相应的中间件，并且可以按照现有的相应中间件机制执行操作。最后，通过将适配器分布到多个设备中，可以减少集中式集成中间件体系结构所产生的开销。
查看完整摘要
-
杉本富通、村上真本、加藤千子
文章类型：ITS
主题领域：普通纸
2012年第20卷第3期第页531-536
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
在本研究中，基于单词信息合成人脸的过程被定义为从单词空间到物理模型空间的映射，单词空间由表示面部元素尺寸和形状的单词组成，在物理模型空间中形成面部元素的物理形状。通过引入映射的概念，利用单词空间中存在的整词，可以基于自由无拘束的描述合成人脸。此外，我们只需制作与被选为训练数据的单词相对应的三维物理模型，以识别映射函数。其他是通过映射生成的。最后，我们检验了在本研究中获得的映射函数的有效性。
查看完整摘要
-
Masaharu Hirota、Naoki Fukuta、Shohei Yokoyama、Hiroshi Ishikawa
文章类型：ITS
主题领域：普通纸
2012年第20卷第3期第页537-547
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
虽然元数据有助于在图像聚类中获得更好的聚类结果，但一些图像没有关于拍照条件的社会标签或元数据。在本文中，我们提出了一种图像聚类方法，该方法对Web搜索结果中出现的照片图像的元数据缺失具有鲁棒性。该方法具有对图像搜索结果中其他图像中缺少社会标签或拍照条件的集成估计机制。我们的方法的一个优点是，我们的方法不需要另一个由搜索结果中未包含的其他图像构造的训练集。通过展示照片共享站点上按需聚类的性能，我们证明了该方法可以有效地对缺少元数据的图像进行聚类。
查看完整摘要
-
村上春一、中村信吾、桥本淑治
文章类型：应用系统
主题领域：普通纸
2012年第20卷第3期第页548-558
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
在大多数使用感性词的文章检索系统中，用户的感性与系统的感性模型之间存在差距。因此，检索所需的文章并不总是容易的。本文的目的是通过将推荐功能和交互设计与四个功能相结合，在不给用户带来压力的情况下弥合这一差距。首先，用户可以直观地检索，因为系统可视化了由环面类型SOM（自组织映射）组成的检索空间。其次，用户可以通过消除方法来删除用户指出的不需要的文章，从而在任何情况下找到最需要的文章。第三，神经网络在系统中基于用户最感兴趣的文章学习感性，提高检索精度。第四，用户可以使用任意感性词搜索文章，并可以根据自己的喜好编辑检索条件。在评价实验中，作者以实际绘画作品为文章，对可用性进行了评价(有效性,效率和满意),新颖和偶然发现这些结果是由推荐功能和交互设计的协同效应导致的。
查看完整摘要
-
长谷谷由纪夫、井上幸男、大木一郎、森喜树、贤正T……（Yuki Hasegawa，Yoshinao Isobe，Kazuhito Ohmaki，Hideki Mori，Kensei Ts……）。。。
文章类型：应用系统
主题领域：普通纸
2012年第20卷第3期第页559-569
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
基于通信顺序进程（CSP）的体系结构被认为是并发嵌入式系统开发中的一种有用方法。我们周围的产品嵌入到许多计算机系统中。在多核和多处理器环境中，为了更有效地利用硬件资源，软件并行处理是必要的。嵌入式系统的实现对层次结构、资源约束和安全性有着强烈的需求。我们在实验中实现了一个排序模型作为并发系统。我们尝试用基于CSP的体系结构设计、实现和验证并发排序模型。在本研究中，我们尝试将排序的并行化作为嵌入式系统的实现主题。由于排序已经被广泛研究，因此它适合作为并行化的主题。我们还对系统进行了评估。我们将通过开发示例考虑CSP的有用性，我们在本文中介绍了CSP。
查看完整摘要
-
长谷川久久、神山北崎、吉野秀美
文章类型：网络服务
主题领域：普通纸
2012年第20卷第3期第页570-577
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
虽然信息和通信技术有望提高能源效率，但由于服务器负载增加和网络流量增加，信息和通信技术的普及也将增加电力消耗。本文提出了一种在云架构中使用虚拟机（VM）控制流量和服务器负载的流量管理方案。所提出的方案解决了关于分发的内容和实际回放的内容之间的数量差异的低效性。因此，该方案通过抑制不必要的内容分发来减少网络流量。此方案还通过将正在播放的内容的负载集中到较少数量的VM上，有效地减少了服务器的总负载。我们评估了使用我们的方案实现的负载减少，发现用于分发内容的负载大大减少。我们提出的计划预计将有助于实现低碳社会，以减少全球变暖。
查看完整摘要
-
西川Takuya Nishikawa，藤田佐治
文章类型：网络服务
主题领域：普通纸
2012年第20卷第3期第页578-584
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
对等（P2P）系统作为实现可扩展、可靠网络服务的关键技术，近年来受到了广泛关注。然而，由于P2P系统具有高度的匿名性，因此它存在一些缺陷，例如对匿名对等点的恶意攻击缺乏抵抗能力。在本文中，我们提出了一种方法，通过明确考虑相互评估的准确性来评估每个对等点的可信度。该方法是Kamvar等人提出的EigenTrust的扩展，该方法在线性空间的加权和下计算与观测到的局部信任向量一致的全局信任向量。通过仿真评估了该方法的性能。仿真结果表明，与对EigenTrust的简单修改相比，该方法识别出了大量可靠节点，且消息传输次数足够少。
查看完整摘要
-
井上明彦、高野由纪夫、黑泽武史、岩田本一、西野贤治。。。
文章类型：网络服务
主题领域：普通纸
2012年第20卷第3期第页585-591
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
本文提出了一个手机运营商选择模型框架，用于分析手机市场中的客户偏好和理解客户选择行为。由于竞争条件严峻，手机运营商提供的手机服务之间几乎没有差异。我们提出了一种新的移动载波选择模型，将激励因素和限制因素作为决策因素考虑在内。进行了一次网络调查，以获取该模型的样本数据。我们展示了根据调查数据估计的模型，以分析移动载波选择行为。
查看完整摘要
-
Jasmine A.Malinao、Richelle Ann B.Juayong、Rona May U.Tadlas、Jhoir。。。
文章类型：网络服务
主题领域：普通纸
2012年第20卷第3期第页592-598
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
在本文中米-基于多维功率谱的数据签名是为了获得更好的矢量融合时间序列和周期的二维可视化n个-维交通数据集与使用整个数据集生成的可视化结果的比较n个-文献中的多维功率谱表示，其中m«n。我们能够确定四维数据签名提供了与所用数据集相关的经验最优表示。就原始数据表示而言，我们已实现≈97.6%的缩减n个具有签名的D数据集。我们提出了一种算法，用于确定所选的米-维度签名表示n个-维度数据集在数量上分为两个维度。我们使用矢量融合可视化算法将每个签名从米分为两个维度。绘制了一组改进的定性标准，以测量原始图像基于二维数据特征的视觉表示的优度n个-维度数据集。最后，我们进行了实证检验，讨论了结果，并总结了所提方法的贡献。
查看完整摘要
-
住田聪武、小野康彦、后藤高崎、伊藤胜彦、贤正。。。
文章类型：网络服务
主题领域：普通纸
2012年第20卷第3期第页599-606
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
我们描述了一个名为显式多用户广播上的无次序块传输协议（XCAST上的NBT）。该协议的目的是节省网络带宽并减少服务器在交付大容量存储文件时的负载。通常，文件以单播方式传输。然而，单播在响应每个客户端的请求时发送相同的大容量文件，从而浪费了带宽。此外，服务器负载增加。为了解决这个问题，非有序块传输（Non-ordered Block Transfer，NBT）被认为是一种使用异步传输模式（ATM）组播的大容量存储文件的高效传输系统。然而，带有ATM的NBT尚未实现，并且使用范围有限。在本文中，为了解决这个问题，我们提出了一种使用XCAST的NBT协议（NBT on XCAST），它是作为一种组播方案提出的。XCAST可以在纯IP网络中实现，不受数据链路层协议的限制。当服务器频繁传输大容量存储文件时，我们建议的系统尤其有效。我们讨论了带宽消耗效率、重传方案以及在XCAST上使用NBT的部分性能的实验结果。
查看完整摘要
-
福田直树
文章类型：网络服务
主题领域：普通纸
2012年第20卷第3期第页607-613
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
对等（P2P）数据共享是一种有价值的方法，用于在不同机构的人员之间共享数据。在点对点数据检索中，对灵活、高精度的搜索和隐私保护都有强烈的要求。特别是，需要通过使用元数据来搜索P2P环境中的相关文件，而在这种查询和注释中使用的元数据中的术语包括一些私有信息。本文提出了一种使用移动代理的基于P2P的语义文件共享和检索机制，并对其进行了分析。该机制使我们能够利用私有本体进行灵活的面向概念的语义搜索，而不会在处理文件的私有元数据和请求的语义查询之间的语义匹配时失去隐私。私有本体是在特定的参考本体上形成的，具有用于个性化的差异本体。在我的方法中，用户可以使用他们自己的私有本体来管理和注释他们的文件。引用本体用于查找给定查询的语义相关文件，其中包括现有文件和请求文件之间的语义关系。移动代理方法用于实现网络带宽使用较少的系统，并将其编码为一组简单的小程序。我展示了在基于元数据的文件检索中使用私有本体的有效性。此外，我还展示了当网络延迟相对较高时，移动代理方法的执行时间开销较小，而即使在网络速度理想的情况下，它也足够小。
查看完整摘要
-
中川弘子、长井明彦、伊藤孝文
文章类型：网络服务
主题领域：普通纸
2012年第20卷第3期第页614-621
出版时间：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
在本文中，我们建议使用中间代理框架来分析一个以分销商为中心的商业模式，通过揭示合作与协作的效果、影响和共识要求，实现合作与协作双赢。分销商可以通过制造公司和用户公司之间的中介来创造良好的合作与协作。我们举了一个新产品协同开发的例子，分销商在制造商和用户公司之间进行调解。应用特定标准产品（ASSP）是一种用于特定应用的LSI，正在引起人们的关注。为了开发ASSP，半导体公司和用户公司必须就ASSP的功能以及在不披露机密信息的情况下必须考虑多少ASSP达成一致。在本文中，我们在协作开发中对分销商进行建模，并实现了一个基于代理的模拟工具，在该工具中，我们设想了一个开发、销售和购买产品的市场。我们调查中间代理、分销商的作用以及它们如何影响市场。此外，我们还提出了一个用于检查新商业模式的框架。
查看完整摘要
-
Yasunori Shiono、Tomokazu Arita、Youzou Miyadera、Kimio Sugita、Takeo。。。
文章类型：数据库系统
主题领域：普通纸
2012年第20卷第3期共3页622-632
出版时间：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
各种形式的表格被用作可视化和排列许多领域信息的工具。此外，XML被广泛用作交换数据的语言。我们研究了如何使用软件开发工具正式处理文档。在本文中，我们提出了一个基于属性图语法创建和管理表格规范的系统。表格形式规范由标记图表示，其语法由属性NCE图语法定义。我们添加了一个新属性，其中包含表格格式规范的XML源代码。XML源代码是通过评估属性生成的，并自动注册到数据库中。然后从数据库中检索规范。我们的系统可以对软件规范进行特征检索。由于使用了基于图论和高级检索的统一形式化方法，这些结果可能会大大提高人工劳动的效率。
查看完整摘要
-
Ippei Torii、Kaoruko Ohtani、Takahito Niwa、Naohiro Ishii
文章类型：社会和人类信息系统
主题领域：普通纸
2012年第20卷第3期第页633-639
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
本文尝试使用新的互联网技术激活一个大型购物区（shotengai）。最近，由于大型购物中心的发展，shotengai的衰落是一个严重的问题。我们利用互联网技术采取了一种新的方法来激活shotengai，这是一个典型的日本购物区。Osu Shotengai是日本名古屋最著名的Shotengai之一，包括大约400家店铺。我们开发了Osu shotengai官方网站，名为“At Osu”。首先，收集了Osu-shotengai 400家店铺的信息，其中包括9条街道。然后我们创建了一个交互式的“信息可视化系统”，将shotengai的最新信息实时放到网站上。它包括“评论上传系统”，店主可以在这里上传评论，并直接在网站上通知新闻。此外，我们开发了一种新的方法来激发店主参与网站的动机。我们还提到了一个有吸引力的交互式网页设计，它使用推特来获取用户的意见。通过开发新网站，“At Osu”的访问者数量迅速增加。报纸或杂志上发表了许多关于这种通过网站激活shotengai的新方法的文章，我们收到了许多咨询。
查看完整摘要
-
谷本茂、横井正彦、佐藤裕久、金井忠寿
文章类型：社会和人类信息系统
主题领域：普通纸
2012年第20卷第3期第页640-648
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
通过云计算，无处不在的ICT环境得到了迅速发展，使用变得非常方便。然而，计算机病毒、未经授权的访问、对服务器的攻击等威胁已经出现。这些威胁也发生在学术环境中。因此，需要进行公钥基础设施（PKI）建设，以实现安全可靠的大学ICT环境。国家信息学院正在实施大学PKI项目，并提出了通用规范，如校园PKI供应规范和证书政策/认证实践声明指南。然而，PKI仍然很少部署。它们通常具有高成本结构，这已成为它们传播和推广中的问题之一。本研究通过估算和实际测量，定量地阐明了PKI的成本结构。这一澄清将有助于增加校园PKI的使用和发展。
查看完整摘要
-
Satoshi Takahashi、Tokuro Matsuo
文章类型：社会和人类信息系统
主题领域：普通纸
2012年第20卷第3期第页649-654
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
本文从双重拍卖中的竞价信息出发，提出了一种新的B2B电子商务模型。在B2B电子商务中，购买者试图同时购买多个项目，因为购买者使用购买的项目开发某种产品。此外，供应商有结成联盟的动机，因为买家希望在模型中购买多个项目。机制设计者必须考虑计算买方和供应商之间最佳匹配的最佳机制。要找到最佳匹配是非常困难的，因为一种机制会计算买家和供应商之间的所有组合。因此，我们提出了一种分为两步的计算方法；首先，该机制决定了买方的胜利者，其次，该机制利用买方的结果决定了供应商的联盟和胜利者。本文还讨论了利用投标信息进行动态机制设计的改进方法。本文的优点是，每个开发人员都可以采购组件来开发某个项目，并且任务可以有效地分配给供应商。可以利用之前的拍卖数据结果来缩短获胜者确定的时间。本文的贡献包括两部分。一是建立一个能够应用于实际情况的采购拍卖数学模型。二是提出采购拍卖的动态机制。
查看完整摘要
-
Shohei Hido、Shoko Suzuki、Risa Nishiyama、Takashi Imamichi、Rikiya Ta。。。
文章类型：社会和人类信息系统
主题领域：普通纸
2012年第20卷第3期第页655-666
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
当前的专利系统面临着一个严重的问题，即专利质量下降，因为申请数量越来越多，专利官员很难花足够的时间评估每一项申请。为了建立更好的专利制度，有必要以定量的方式确定公众对专利申请质量的共识。在本文中，我们解决了基于机器学习和文本挖掘技术的专利申请质量评估问题。对于每个专利申请，我们的工具会自动计算一个称为可专利性的分数，该分数表示申请获得专利局批准的可能性。我们采用了一种新的统计预测模型，根据包含30万件专利申请的大型数据集估计审查结果（批准或拒绝）。该模型基于一组特征变量（包括规范文档的文本内容）计算可专利性得分。实验结果表明，我们的模型优于仅使用文档结构属性的传统方法。由于用户可以通过基于Web浏览器的GUI访问估计结果，因此该系统允许专利审查员和申请人快速检测薄弱应用程序并发现其特定缺陷。
查看完整摘要
-
横田洋平Hideki Tsuiki
文章类型：信息数学
主题领域：普通纸
2012年第20卷第3期第页667-671
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
我们考虑了预分形对象上数独游戏的三维扩展。我们使用的预分形对象是两个3D分形的第二级三次近似。这两个物体由81个立方体组成，在三个正交方向上有9×9网格外观。在每个对象上，我们的问题是为81个部分中的每一个分配一个数字，以便在三个9×9网格外观中的每个部分都有一个数独解决方案模式。在本文中，我们提出了一种枚举此类赋值的算法，并给出了结果。
查看完整摘要
-
谢恩·戴伊（Shane Dye）、尼古拉·沃德·佩蒂（Nicola Ward Petty）
文章类型：算法理论
主题领域：普通纸
2012年第20卷第3期第页672-679
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
罗戈®是一种新型的数学难题，发明于2009年。Rogo是网格上的有奖子选择TSP。网格方块可以是空白的、禁止的或显示奖励值。目标是在网格周围的一个循环中使用给定数量的步骤来累积最大分数。本文将Rogo引入到离散优化问题中。给出了具有两组可选次四阶消去约束的问题的IP公式。基于解的性质和Rogo实例，提出了基于枚举的算法。本文报道了一些计算实验结果。
查看完整摘要
-
萨沙·库尔兹
文章类型：算法理论
主题领域：普通纸
2012年第20卷第3期第页680-685
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
我们考虑所谓的“正方形平方”难题，即给定的正方形（或矩形）应该被分割成更小的正方形。对于此类问题的一个具体实例，我们证明了数学上严格的解决方案可能非常复杂。作为使用定制算法的穷举枚举的替代方法，我们描述了将问题表述为整数线性程序的一般方法。
查看完整摘要
-
冈本达崎吉福敏万别
文章类型：算法理论
主题领域：普通纸
2012年第20卷第3期第页686-693
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
本文讨论了当蛋糕是由实线上的区间表示的异质货物时的蛋糕切割协议。我们提出了一个新的理想性质，即蛋糕切割的超绿色，这是以前从未被正式考虑过的。无Meta-envy-free意味着对角色分配没有嫉妒，也就是说，没有一方愿意与其他任何一方交换他/她在协议中的角色。如果对角色分配感到嫉妒，那么协议就无法实际执行，因为没有解决协议中哪一方扮演哪一角色的问题。一个类似的定义，即嫉妒，也被广泛讨论。嫉妒意味着没有玩家愿意与其他玩家交换他/她的蛋糕份额。尽管嫉妒被认为是最重要的理想属性之一，但嫉妒并不能阻止对协议中角色分配的嫉妒。我们定义元绿色来正式化这种嫉妒。我们建议在蛋糕切割中同时实现无中间产物和无中间产物是可取的。我们表明，当前的无环境蛋糕切割协议不满足元绿色。以前提出的强无嫉妒性、精确性和公平性等属性并没有直接考虑这种嫉妒，这些属性很难实现。然后，本文展示了两方和三方案例的蛋糕切割协议，该协议同时实现了无嫉妒和无元嫉妒。最后，我们展示了无元引擎的piecutting协议。
查看完整摘要
-
乔纳斯·科勒
文章类型：计算理论
主题领域：普通纸
2012年第20卷第3期第页694-706
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
在一个Kurodoko谜题中，必须以满足网格中数字线索指定的非重叠、非邻接、可达性和数字约束的方式将一些方块涂成黑色网格NP公司-完成。
查看完整摘要
-
乔纳斯·科勒
文章类型：计算理论
主题领域：普通纸
2012年第20卷第3期第页707-708
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
在磁铁拼图中，必须根据极性和数字限制将磁铁装在盒子里。我们证明了判定Magnets实例的可解性是NP完全的。
查看完整摘要
-
乔纳斯·Kölker
文章类型：计算理论
主题领域：普通论文
2012年第20卷第3期第页709-712
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
在Slither Link拼图中，玩家必须在平面图中绘制一个循环，以便与一组线索面相关的边数等于给定的线索值集。我们表明，对于一些常用的图类，Slither Link难题是NP公司-完成。
查看完整摘要
-
浅野忠雄、艾瑞克·D·德曼因、马丁·L·德曼恩、上原良惠
文章类型：计算理论
主题领域：普通纸
2012年第20卷第3期第页713-718
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
Kaboozle是一个由几个方块组成的拼图，每个方块上都有彩色的路径和两边画的圆点以及钻孔。目标是通过适当堆叠卡片，将两个彩色点与相同颜色的路径连接起来（并填充所有孔）。这里的自由是任意地反射、旋转和排序卡片，所以问题是NP完全（如我们所示）也就不足为奇了。更令人惊讶的是，这些自由中的任何一个——反射、旋转和顺序——都足以使谜题NP完成。此外，我们还证明了与1D纸张折叠相关的一种特殊约束形式的Kaboozle的NP完全性。具体地说，我们假设卡片被粘在一起形成一个条带，每个粘在一起的边缘都有一个特定的折叠方向（山峰或山谷）。这种变化消除了旋转和反射卡片的能力，并限制了订单成为给定1D山谷模式的有效折叠状态。
查看完整摘要
-
Kevin Buchin、Maike Buchin
文章类型：计算理论
主题领域：普通论文
2012年第20卷第3期第页719-722
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
在滚动块迷宫中，一个或多个块位于带有方形单元的矩形板上。在大多数迷宫中，方块都有大小k个×米×n个哪里k个,米,n个是根据板单元大小的单位确定块大小的整数。滚动块迷宫的任务是将特定的块从开始位置滚动到结束位置。将一块物体翻转到它的一个边缘上，使其滚动。板上的一些方块被标记为禁止滚动。我们表明解决滚动块迷宫是PSPACE完成的。
查看完整摘要
-
中井健一郎、竹中康彦
文章类型：计算理论
主题领域：普通纸
2012年第20卷第3期第页723-726
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
流行病是一个多层次的棋盘游戏，它模拟流行病的爆发和人类预防疫情的努力。这场比赛的一个特点是，所有球员都为一个目标而合作，他们没有竞争力。我们证明了在给定的博弈情况下，决定玩家是否能赢得广义大流行的问题是NP-完全的。
查看完整摘要
-
原口邦彦、安倍康彦、丸冈明
文章类型：应用系统
主题领域：普通论文
2012年第20卷第3期第页727-737
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
我们提出了一个框架，用于生成某些组合谜题的实例。为了探索这样一个框架，我们将重点放在某些类型的谜题上，这些谜题要求为n个×n个网格，使其满足某些约束以及拉丁方条件，即每行和每列包含{1、2、…、，。。。，n个}. 我们基于该框架的算法自动生成谜题实例，这些实例的求解难度可以通过算法中内置的谜题推理规则进行调整。以BlockSum谜题为例，我们进行了实验来证明，正如预期的那样，人类解算者倾向于正确解决用简单推理规则生成的谜题实例，而他们往往无法解决用复杂规则生成的那些谜题实例。
查看完整摘要
-
Asai大辅、Jarrod Orszulak、Richard Myrick、Chaiwoo Lee、Lisa D'Amb。。。
文章类型：老龄化社会与生命支持
主题领域：普通纸
2012年第20卷第3期第页738-748
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
就地老龄化是全世界老龄化社会的一项可持续战略，尽管仍有各种问题有待解决。其中一个问题是老年人的隔离，预计将通过技术解决。我们确定了三个设计系统的概念，以帮助老年人与家人沟通：为沟通提供触发、控制沟通和轻松沟通。我们根据这三个概念开发了电子家庭系统。e-Home是一种包括家庭监控的通信系统；它为通信媒体提供共享便笺和视频电话，同时监控药物依从性。我们对四个家庭进行了为期两个月的实地研究，研究了电子家居的使用及其对受试者沟通习惯的影响。结果显示，所有家庭的沟通都得到了加强。
查看完整摘要
-
李明美、今井直树、吉原清仁
文章类型：位置信息服务
主题领域：普通论文
2012年第20卷第3期第页749-756
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
非直瞄（NLOS）信号传播是无线到达时差（TDOA）室内系统的主要误差源。即使服务提供商或系统设计者可以部署足够的地标（LM），但当检测到很少的视线（LOS）测量值时，现有方法也会遇到定位精度问题。在时差测量总数满足最小三角测量要求（≥3）的条件下，提出了一种新的综合定位方法。该方法将手机内置传感器的用户步长和计数集成到无线时差定位系统中。首先，它使用用户的步长和计数检测LOS/NLOS测量值。其次，当检测到两个LOS测量值时，它将之前的位置和步长作为补充LM和测量值来估计位置。仿真结果表明，该方法能够以较高的比率检测到LOS/NLOS测量值。定位误差的性能取决于检测到的LOS测量值的数量。当检测到两个视线测量值时，该方法可以获得较低的定位误差。
查看完整摘要
-
Nobuharu Kami、Teruyuki Baba、Satoshi Ikeda、Takashi Yoshikawa、Hiroyu。。。
文章类型：位置信息服务
主题领域：普通纸
2012年第20卷第3期第页757-766
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
我们提出了一种基于数据点密度从原始GPS数据中概率提取重要位置的快速算法。从原始GPS数据中提取重要位置是为定位软件应用程序设计的算法的第一个基本步骤。大多数当前算法将空间/时间变量与给定的固定阈值进行比较，以提取重要位置。然而，适当的阈值尚不清楚先验的，并且具有固定阈值的算法天生就容易出错，特别是在高噪声水平下。此外，由于需要直接进行距离计算，因此它们通常不会随着系统大小的增加而进行缩放。我们开发了一种快速算法，通过使用位置敏感哈希构建随机直方图，基于密度信息在重要位置周围进行选择性数据点采样。理论分析和评估表明，即使在高噪声水平下，也可以通过宽松的参数设置准确地检测出重要位置。
查看完整摘要
-
川端隆（Takuro Kutsuna）、佐藤水池（Shuchi Sato）、中条直树（Naoya Chujo）
物品类型：安全
主题领域：普通纸
2012年第20卷第3期第页767-773
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
信息和通信技术中嵌入式系统的复杂性日益增加，导致了在系统故障时定位故障的问题。此问题的一个原因是，从其他组件接收异常输入数据的系统组件也可能输出异常数据，即使它们没有处于异常状态，因此系统中检测到许多冗余故障。本文提出了一种在可能发生故障传播的系统中自动定位故障来源的诊断方法。我们使用基于模型的诊断方案和抽象的行为建模技术来处理复杂的软件组件。我们提出了一种新的方法来诊断具有数据流循环的系统。最后，我们提出了一种基于抽象模型的诊断的一步解决方法，该方法基于抽象模型诊断的公式，将其转化为部分最大可满足性问题。
查看完整摘要
-
Amang Sudarsono、Toru Nakanishi、Nobuo Funabiki
文章类型：安全基础设施
主题领域：推荐论文
2012年第20卷第3期第页774-784
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
为了增强用户隐私，匿名凭证系统允许用户说服验证者拥有由颁发机构匿名颁发的证书。典型的应用是增强型电子ID（eID）。虽然之前提出的系统在用户的有限集属性数量上实现了恒定的复杂性，但它需要使用RSA。在本文中，我们提出了一个不包括RSA的基于配对的匿名凭证系统，该系统实现了恒定复杂性。我们建议的关键思想是采用基于配对的累加器，该累加器从大量输入值中输出恒定大小的值。使用基于配对的证书和累加器的零知识证明，任何and和OR关系都可以在有限集属性数的复杂性不变的情况下被证明。我们使用快速配对库实现了该系统，并与传统系统进行了效率比较，表明了该系统在移动eID应用程序中的实用性。
查看完整摘要
-
山口县Kazunori Fukase Masaharu Fukase
文章类型：安全基础设施
主题领域：普通纸
2012年第20卷第3期第页785-795
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
寻找近似最短非零格向量的格向量（近似SVP）是格的一个重要问题。某些基于格的密码体制的秘密密钥的格向量的发现等价于求解一些硬近似SVP。我们将这种向量称为极短向量（VSV）。格基约简是寻找VSV的主要工具。然而，主要格基约简算法无法在尺寸为～200或以上的格中找到VSV。穷举搜索可以被认为是消除当前格基约简算法局限性的关键技术。然而，执行穷举搜索的已知方法只能在相对低维的格中工作。我们定义了扩展搜索空间（ESS），并通过实验证实，ESS中的穷举搜索可以使用已知VSV计算的参数在尺寸为～200或更大的晶格中找到VSV。本文是我们早期工作的扩展。我们通过提出一种在不知道VSV的情况下选择参数的方法来证明我们的技术的实际有效性。我们还演示了分布式搜索的有效性。
查看完整摘要
-
Sho Tsugawa、Hiroyuki Ohsaki、Makoto Imase
文章类型：群组交互支持和群件
主题领域：普通纸
2012年第20卷第3期第页796-805
发布日期：2012年
J-STAGE发布日期：2012年7月15日
期刊
免费访问
在本文中，我们提出了一种使用用户之间的信任网络对电子邮件进行优先级排序的方法，以支持电子邮件分类，并通过大量实验评估其有效性。近年来，个人收到的电子邮件数量有所增加，因此对电子邮件进行分类（即处理未处理的电子邮件并决定如何处理）所需的时间也在增加。Golbeck等人提出了TrustMail，这是一种原型电子邮件客户端，使用信任网络（即代表用户之间信任关系的社交网络）对用户邮箱中的电子邮件进行优先级排序。在本文中，我们扩展了TrustMail的概念，以允许使用收件人间信任来进行基于消息的电子邮件优先级划分，该信任是从收件人到其他收件人的推断信任分数。我们提出一种称为EMIRT公司(从收件人之间的信任估计消息重要性)用于启用基于消息的优先级。通过使用两个电子邮件数据集的大量实验，我们定量评估了EMIRT对电子邮件优先级的有效性。我们的实验结果表明，EMIRT对电子邮件优先级划分是有效的。具体来说，我们的结果表明，EMIRT在两个电子邮件数据集中都比TrustMail实现了更高的查全率和查准率，并且EMIRT对紧急回复的电子邮件几乎没有给出低分（即，EMIRT实现了非常低的假阴性）。
查看完整摘要
